In the plane, there is a scalene triangle and a point outside it. On rays , take points and respectively, such that , . Let point be the reflection of with respect to line . Suppose the circumcircles of and meet again at point , and the circumcircles of and meet again at point . Let points , be the circumcenters of and respectively. Prove that
(1) , , are collinear.
(2)
Solution
1. Clearly , , , are concyclic, since they form an isosceles trapezoid. Applying the radical axis theorem to this circle and the circumcircles of , , we get that , , are collinear. Similarly , , are collinear. Since , it follows that , , , are concyclic.
2. Let be the other intersection point of the circumcircles of and . As in 1., , , are collinear, and , , , are concyclic.
3. Observe that and are symmetric with respect to the internal angle bisector of , and , so we get
, i.e. . Using the symmetry again, we know that
. Therefore .
4. Let , , , , be the three side lengths, the circumradius, the area of the triangle, and the -altitude respectively. Since ,
Hence the reflection of with respect to line is . Therefore is an isosceles trapezoid.

5. By 1. and 3., we know . Also by 2. and 4., we know . From this it is proved that , , are collinear.
Since , we get that is tangent to the circumcircle of at , so . Q.E.D.