In an isosceles triangle (), point is arbitrarily chosen on the altitude from vertex . Suppose that the circumcircle of intersects for the second time at point . Let be the reflection of with respect to the midpoint of . intersects the circumcircle of at (), and intersects the circumcircle of at (). The tangent to the circumcircle of at intersects at . Prove that is tangent to the circumcircle of .
Solution
We denote by the intersection of and . First, we show that quadrilateral is cyclic. Note that . Therefore, if we prove that , it follows that is cyclic. This is also equivalent to proving that is parallel to .

To prove this, we use , which is the intersection of and . We can write:
Thus, also lies on the circumcircle of triangle . Clearly, , so we only need to show that passes through . Note that:
This equation implies that , , and are collinear, yielding is cyclic. Note that , , and are reflections of , , and with respect to line . Moreover, since the pentagon is cyclic, we can conclude that:
Implies that is tangent to the circumcircle of .
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.