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.
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,000 problems in a working order, from AMC 10 level to the IMO shortlist.