Let be a quadrilateral, let be the intersection of and , and let be the intersection of the perpendicular bisectors of and . Suppose that does not lie on line and does not lie on line . Let and be the reflections of and across . Show that if and meet on , then is cyclic.
Problem 1515
Official solution
1. Identify Key Points and Properties:
- Let be a quadrilateral.
- Let be the intersection of and .
- Let be the intersection of the perpendicular bisectors of and .
- does not lie on line and does not lie on line .
- Let and be the reflections of and across .
- and meet on .
2. Define Intersection Point:
- Let .
3. **Properties of Point :**
- Since lies on the perpendicular bisectors of and , it is equidistant from and , and from and .
- is the midpoint of the arc in the circumcircle of .
4. Inversion and Symmetry:
- By inversion in with radius and symmetry across , and are swapped.
- This implies that .
5. Equality of Products:
- Since is the reflection of across , .
- Therefore, .
6. Cyclic Quadrilateral Condition:
- To show that is cyclic, we need to show that .
- From the previous step, we have .
- Similarly, by the same inversion and symmetry argument, .
7. Conclusion:
- Since , it follows that is cyclic.