MathDB
A bisector in a complete cyclic quadrilateral

Source: 4th Memorial Mathematical Competition "Aleksandar Blazhevski - Cane"- Senior D1 P3

December 21, 2022
geometrycyclic quadrilateralcomplete quadrilateraltangent circlesangle bisector

Problem Statement

Let ABCDABCD be a cyclic quadrilateral inscribed in a circle ω\omega with center OO. The lines ADAD and BCBC meet at EE, while the lines ABAB and CDCD meet at FF. Let PP be a point on the segment EFEF such that OPEFOP \perp EF. The circle Γ1\Gamma_{1} passes through AA and EE and is tangent to ω\omega at AA, while Γ2\Gamma_{2} passes through CC and FF and is tangent to ω\omega at CC. If Γ1\Gamma_{1} and Γ2\Gamma_{2} meet at XX and YY, prove that POPO is the bisector of XPY\angle XPY.
Proposed by Nikola Velov