MathLabs

Problem 4

Let Γ\Gamma be a circle with centre II, and ABCDABCD a convex quadrilateral such that each of the segments ABAB, BCBC, CDCD and DADA is tangent to Γ\Gamma. Let Ω\Omega be the circumcircle of the triangle AICAIC. The extension of BABA beyond AA meets Ω\Omega at XX, and the extension of BCBC beyond CC meets Ω\Omega at ZZ. The extensions of ADAD and CDCD beyond DD meet Ω\Omega at YY and TT, respectively. Prove that AD+DT+TX+XA=CD+DY+YZ+ZC.AD+DT+TX+XA=CD+DY+YZ+ZC.
Step 2 of 6: Find the reflection symmetry
In plain words

The incenter axis of the two circles exchanges the opposite points on Ω\Omega.

X↔Y,T↔Zunder reflection in OIX\leftrightarrow Y,\quad T\leftrightarrow Z\quad\text{under reflection in }OI
Detailed analysis

Let OO be the centre of Ω\Omega. Since II is the incenter of the tangential quadrilateral, an angle chase in cyclic quadrilateral ACZXACZX gives ∠IZX=∠IAB=∠IAD=∠IAY\angle IZX=\angle IAB=\angle IAD=\angle IAY. Thus the chords IXIX and IYIY are equal, so X,YX,Y are mirror images in OIOI. The same argument on C,I,T,ZC,I,T,Z gives that T,ZT,Z are mirror images in OIOI.