On the extension of side of , take a point such that . The circumcircle of intersects the circle with as diameter at points , , the line intersects at , and the line intersects at . Prove that the three points , , are collinear.
Taiwan IMO Selection Camp
Solution
As shown in the figure. Since point lies on the circumcircle of , and , we have
that is, is the external bisector of . Thus, letting the line meet at , bisects . Also, since point lies on the circle with as diameter, , so is the external bisector of , from which we obtain
On the other hand, since , , meet at point , by Ceva's theorem we have
hence
and then by Menelaus's theorem, the three points , , are collinear.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.