Let be an acute triangle with circumcircle centered at . A point is chosen on the extension of the segment . The line meets again at . Let be the reflection of over the line and be the point of intersection of lines and . Prove that .
Solution
Note that lies on . Therefore,
On the other hand, since is the perpendicular bisector of we get . Therefore, , which in turn implies that are concyclic. By writing powers of the point with respect to the circles and , we get that
Hence, are concyclic. Therefore,
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.