Let be a point on the side of the triangle . The circumcircles of the triangles and meet the lines and again at points and , respectively. The bisector of the segment intersects the line at and meets the altitude to from at . Let be the intersection of the lines and , and let be the intersection of the line and the circumcircle of the triangle . Prove that .
Solution
First, we will show that the points , , , and are concyclic.
Let the circumcircle of the triangle intersect the line at . The quadrilaterals and are cyclic, so . The triangle is isosceles with the apex at , so lies on the bisector of the segment . This implies that and the points , , and are concyclic.
The bisector of the chord is the diameter of the circle passing through the points , , and . We have and lies on the bisector, so by Thales' theorem must also lie on the circle. This means that , , , and are concyclic.
Now, . Since lies on the bisector of the segment and , we see that is the centre of the circumcircle of the triangle .
The quadrilaterals and are cyclic and by the power of a point theorem we have . We conclude that is also a cyclic quadrilateral. Thus, the points and both lie on the circle centred at and .
