Gọi góc ngoài của góc B là ABF , góc ngoài của góc C là ACE
Có : góc ABC + góc ABF = \(180^0\) ( kề bù ) ; góc ACB + góc ACF = \(180^0\)
mà góc ABC = góc ACB ( △ABC cân )
⇒ góc ABE = góc ACF
và có Bx , Cy là tia pg của hai góc ABE , góc ACF
⇒ góc ABx = góc xBE = góc ACy = góc yCF
Lại có : góc xBE = góc OBC ( đối đỉnh ) ; góc yCF = góc BOC ( đối đỉnh )
mà góc xBE = góc yCF ( cmt )
⇒ góc OBC = góc OCB ⇒ △OBC cân
⇒ OB = OC
Xét △BAO và △AOC có :
OA : cạnh chung
OB = OC ( cmt )
AB = AC ( △ABC cân )
⇒ △BAO = △CAO ( c.c.c )
⇒ góc BAO = góc CAO ( 2 góc tương ứng )
⇒ AO là tia pg góc BAC