MathDB
Tangency geo

Source: BMO Shortlist 2022, G4

May 13, 2023
geometry

Problem Statement

Let ABCABC be a triangle and let the tangent at BB{} to its circumcircle meet the internal bisector of the angle AA{} at PP{}. The line through PP{} parallel to ACAC meets ABAB at QQ{}. Assume that QQ{} lies in the interior of segment ABAB and let the line through QQ{} parallel to BCBC meet ACAC at XX{} and PCPC at YY{}. Prove that PXPX is tangent to the circumcircle of the triangle XYCXYC.