Let $l$ be a line not intersecting circle $\omega$ that has center $O$. Draw $OP$ perpendicular to $l$ at point $P$ and draw $PA$ tangent to $\omega$ at point $A$. Extend $OA$ to cut $\omega$ again at point $B$ and cut $l$ at point $C$. $PB$ cuts $\omega$ at point $D$ and $AD$ cuts $l$ at point $E$. Prove that $PE=PC$.
My thought :
Pole of point $P$ passes point $A$.
Since $P, C, E$ are collinear, so polar of $P, C, E$ are concurrent.