Problem

Source:

Tags: geometry, incenter, Asymptote



Let $\Gamma$ be a circumference and $A$ a point outside it. Let $B$ and $C$ be points in $\Gamma$ such that $AB$ and $AC$ are tangent to $\Gamma$. Let $P$ be a point in $\Gamma$. Let $D$, $E$ and $F$ be points in $BC$, $AC$ and $AB$ respectively, such that $PD \perp BC$, $PE \perp AC$, and $PF \perp AB$. Show that $PD^2 = PE \cdot PF$