Let be the incenter, circumcenter, orthocenter, and circumcircle of triangle , respectively. Let meet at , let meet at , and let meet at .
Prove that line is tangent to the circumcircle of .
, 2022
Solution
Take a point such that . We first prove that lies on : take such that , then by spiral similarity, . This tells us that , that is, are concyclic. Similarly, are concyclic. Let be the intersection of and ; then again by spiral similarity, , so we obtain
that is, lies on . Then from we get that also lies on .
Since , is tangent to , so we only need to prove that are concyclic. Note that , so , hence
that is, are collinear. Therefore, from we obtain that are concyclic.
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.