Hello BG5965Join , and note that it is the bisector of , since the angle bisectors of a triangle are concurrent.

Also (exterior angle of )

is a cyclic quadrilateral (exterior angle = interior opposite angle)

Now join , and use angles in the same segment:

and

(isosceles )

Grandad