MathDB
Hard Cyclic Quadrilateral

Source: 2020 RMM Shortlist G3

October 8, 2022
geometrycyclic quadrilateralRMMRMM 2020RMM Shortlist

Problem Statement

In the triangle ABCABC with circumcircle Γ\Gamma, the incircle ω\omega touches sides BC,CABC, CA, and ABAB at D,ED, E, and FF, respectively. The line through DD perpendicular to EFEF meets ω\omega at KDK\neq D. Line AKAK meets Γ\Gamma at LAL\neq A. Rays KIKI and ILIL meet the circumcircle of triangle BICBIC at QIQ\neq I and PIP\neq I, respectively. The circumcircles of triangles KFBKFB and KECKEC meet EFEF at RFR\neq F and SES\neq E, respectively. Prove that PQRSPQRS is cyclic.
India, Anant Mugdal