MathDB
Two tangent circles

Source: 2020 Korean MO winter camp Test 1 P5

September 7, 2020
geometry

Problem Statement

ABCD\square ABCD is a quadrilateral with A=2C<90\angle A=2\angle C <90^\circ. II is the incenter of BAD\triangle BAD, and the line passing II and perpendicular to AIAI meets rays CBCB and CDCD at E,FE,F respectively. Denote OO as the circumcenter of CEF\triangle CEF. The line passing EE and perpendicular to OEOE meets ray OFOF at QQ, and the line passing FF and perpendicular to OFOF meets ray OEOE at PP. Prove that the circle with diameter PQPQ is tangent to the circumcircle of BCD\triangle BCD.