Let be a triangle and let and respectively denote its incentre and circumcentre. Let be the circle through and and tangent to the incircle of the triangle ; the circles and are defined similarly. The circles and through meet again at ; the points and are defined similarly. Prove that the lines and are concurrent at a point on the line .
Solution
Let be the incircle of the triangle and let be its contact points with the sides , respectively. Let further be the point of contact of the circles and . The latter circle is the image of the former under a homothety centered at . This homothety sends to a point on such that the tangent to at is parallel to . Consequently, is the midpoint of the arc of not containing . It follows that the angles and are congruent, so the triangles and are similar: . Rewrite the latter to deduce that lies on the radical axis of and . Similarly, lies on the radical axis of and .
Define the points and the line in a similar way and notice that the lines support the sides of the triangle . The lines and are both perpendicular to , so they are parallel. Similarly, the lines and are parallel to and , respectively. Consequently, the triangle is the image of the triangle under a homothety . Let be the center of and let be the similitude ratio. Notice that the lines and are concurrent at .
Since the points are concyclic, . Multiply both sides by to get and deduce thereby that lies on the radical axis of and . Similarly, both lines and pass through .
!
Finally, consider the image of under . It lies on the line through parallel to (and hence perpendicular to ); since is the midpoint of the arc , this line must be . Similarly, lies on the line , so . Consequently, the points and are collinear.
Remark 1. Many steps in this solution allow different reasonings. For instance, one may see that the lines and are concurrent at point on the radical axis of the circles and by applying Newton's theorem to the quadrilateral (since the common tangents at and intersect on ). Then one can conclude that , thus obtaining that the triangles and are homothetical at (and therefore is the radical center of , and ). Finally, considering the inversion with the pole and the power equal to followed by the reflection at we see that the circles , and are invariant under this transform; next, the image of is the circumcircle of and it is tangent to all the circles , and , hence its center is , and thus , and are collinear.
Remark 2. Here is an outline of an alternative approach to the first part of the solution. Let be the excenter of the triangle opposite . The line meets again at ; let and be the midpoints of the segments and , respectively. Since the segment is a diameter in the circle , it follows that , so . Consequently, the points and lie on some circle .
It is well known that lies on the perpendicular bisector of the segment , so the tangents to and at and are parallel. It follows that the tangents to these circles at coincide, so is in fact , whence and . It is also well known that the midpoint of the segment lies both on the circumcircle and on the perpendicular bisector of . Since is a midline in the triangle , it follows that , where is the radius of (the inradius of the triangle ). Consequently, each of the points and is at distance from (here is the circumradius). Now proceed as above.
!