Sea $O$ el circuncentro de $\triangle ABC$ ( $AB<AC$ ) , y $D$ un punto en la bisectriz interna del ángulo $\angle BAC$ . El punto $E$ se encuentra en $BC$ , satisfaciendo $OE\parallel AD$ , $DE\perp BC$ . El punto $K$ se encuentra en $EB$ extendido tal que $EK=EA$ . La circunferencia circunscrita de $\triangle ADK$ se encuentra con $BC$ en $P\neq K$ , y se encuentra con la circunferencia circunscrita de $\triangle ABC$ en $Q\neq A$ . Demuestra que $PQ$ es tangente a la circunferencia circunscrita de $\triangle ABC$ .