Problem

Source: 2021 Sharygin Finals grades X-XI p3

Tags: geometry, Concyclic, Cyclic



The bisector of angle $A$ of triangle $ABC$ ($AB > AC$) meets its circumcircle at point $P$. The perpendicular to $AC$ from $C$ meets the bisector of angle $A$ at point $K$. A cừcle with center $P$ and radius $PK$ meets the minor arc $PA$ of the circumcircle at point $D$. Prove that the quadrilateral $ABDC$ is circumscribed.