Problem 4
Let be a circle with centre , and a convex quadrilateral such that each of the segments , , and is tangent to . Let be the circumcircle of the triangle . The extension of beyond meets at , and the extension of beyond meets at . The extensions of and beyond meet at and , respectively. Prove that
Step 2 of 6: Find the reflection symmetry
In plain words
The incenter axis of the two circles exchanges the opposite points on .
Detailed analysis
Let be the centre of . Since is the incenter of the tangential quadrilateral, an angle chase in cyclic quadrilateral gives . Thus the chords and are equal, so are mirror images in . The same argument on gives that are mirror images in .