Let be a triangle with incentre such that . The second intersections of , and with the circumcircle of triangle are , and , respectively. Lines and intersect at and lines and intersect at . Suppose the circumcircles of triangles and intersect again at . Lines and intersect the circumcircle of triangle again at and , respectively. Prove that the circumcentre of triangle lies on .
Solution
Let be the circumcentre of triangle . First we note from standard properties of the Miquel point , we have:
* I and S are inverses with respect to circle ;
* .
From the above we have and
Observe that and . Combining these with shows . Therefore, we have . Similarly, . Thus we get
Now, observe that and which gives that . This, combined with (**), is enough to show by linearity, thus .
Combining with (***) shows , thus . Finally, we have that
from (*) and . Putting this together with above ratios, we have
which shows that circle is an Apollonius circle with respect to and , giving the desired conclusion.
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.