Let be the circumcenter of an acute triangle . A line perpendicular to intersects the line segments and at and , respectively. Let be a point on which is not on the line . The line intersects the circumcircle of triangle again at . Let be the point symmetric to with respect to the line . Show that the points , , , are concyclic.
Solution

Let and intersect at , and be the foot of the perpendicular line from to . Since and we get and hence the points , , , are concyclic. Using power equations we obtain
Since is the midpoint of and is the midpoint of , we get
On the other hand, implies that the points , , , are also concyclic. Using power equations again, we get
Using (1), (2) and (3), we conclude that
which shows that the points , , , are concyclic.
Looking for a route rather than an archive? The track puts 2,000
problems in a working order, from AMC 10 level to the IMO shortlist.