Circles intersect at two points . The common tangent line closer to touches at points respectively. Points are the reflections of with respect to respectively. The circumcircle of intersects at points different from , respectively. Prove that the circumradii of and are equal.
Solution
Take such that quadrilateral forms a parallelogram, extend to meet circle at , and extend to meet circle at .
Since are five concyclic points, we get ,
therefore are three collinear points. That is, . Similarly, .
Connect and extend it to meet at point . Since , ,
we get .
Also, , so , that is, ; similarly, . Thus , , therefore are respectively symmetric to with respect to .
Hence , therefore
therefore are four concyclic points.
Also, is a parallelogram, so and are congruent. Therefore the circumradii of and are equal.
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.