Let be a triangle and its incenter. The point is on segment and the circle is tangent to the circumcircle of triangle but is also tangent to , at , , respectively. Prove that , and are collinear.
Solution
Denote the circumcircle of and the circle tangent to , , . Let touch at and be the midpoint of on not containing . One has the dilation with center sending to and to the tangent of at . Hence , , are collinear. We also have , , are collinear and .
Let meet again at . Since , have the same tangent at then is cyclic. One has . Hence
Therefore, . This implies that is tangent to , and .
Hence , , are collinear.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.