Problem:
In triangle , . Let and be points on the extensions of and such that . The circumcircle of intersects in (different from ). Prove that lies on the bisector of .
Problem:
In triangle , . Let and be points on the extensions of and such that . The circumcircle of intersects in (different from ). Prove that lies on the bisector of .
Solution:
Let the bisector of intersect the circumcircle of at . The arcs, and hence the chords, and are equal; since is given, we have and so is on the bisector of . This shows that is the excenter of opposite . By symmetry, we could have defined as the intersection of the bisector of and the circumcircle of , and it would have been the same excenter.
To prove that , it remains to show that , , and are collinear. Since (by cyclic quads and ), it suffices to show that . But this follows from the properties of the excenter: