Two circles and are internally tangent at the point . The chord of is tangent to at the point , and the segments and intersect at the points and . Let and be the reflections of and about the line ; and let and be the reflections of and about the line . The lines and intersect at the point .
Prove that the lines and are perpendicular.
Solution
By the Archimedes's lemma, is the bisector of , so and . Denote and . Since , the quadrilateral is cyclic with the diameter . Hence
Thus and, similarly , which implies that the quadrilateral is cyclic. Homotety with center , mapping to , maps to , hence these triangles are similar. Since the lines and are antiparallel with respect to , we can write (in oriented angles):
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.