Let be a triangle with and circumcenter . The bisector of intersects at . Let be the reflection of with respect to the midpoint of . The lines through and perpendicular to intersect the lines and at and respectively. Prove that the quadrilateral is cyclic.
Solution
The bisector of and the perpendicular bisector of meet at , the midpoint of the minor arc (they are different lines as ). In particular is perpendicular to and intersects it at , the midpoint of .
Denote by the reflection of with respect to . Since , it suffices to prove that is cyclic.

We have
The first equality holds because , and the second one because and are both perpendicular to and hence parallel. But and are pairs of symmetric points with respect to , it follows that and hence
The last equation implies that is cyclic. By the powers of with respect to the circles and we obtain
It follows that is cyclic, as desired.
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.