MathDB
Weird cyclic quadrilateral to prove

Source: Bulgarian Spring Tournament 2023 9.2

March 25, 2023
geometry

Problem Statement

Given is triangle ABCABC with angle bisector CLCL and the CC-median meets the circumcircle Γ\Gamma at DD. If KK is the midpoint of arc ACBACB and PP is the symmetric point of LL with respect to the tangent at KK to Γ\Gamma, then prove that DLCPDLCP is cyclic.