Let be an acute-angled triangle with , let be its circumcentre, and let be a point on the segment . The line through perpendicular to intersects the lines and at and , respectively. The circumcircles of triangles and intersect again at . Prove that if , then is tangent to the circle . (United Kingdom)
Solution
Let intersect at . As is a right-angled triangle and is on , the condition means is the circumcentre of this triangle. So which establishes that are reflections in the perpendicular bisector of . Now observe:
which shows is cyclic. !
We next show that . To do this, introduce point on circle such that . By the previous result, it suffices to prove that is cyclic. Notice that triangles and are reflections in the perpendicular bisector of . Using this and that are collinear:
so is cyclic, giving as desired. Using and cyclic we get:
which by the converse of alternate segment theorem shows is tangent to circle .
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.