Sea el triángulo $ABC$ un triángulo acutángulo con $AB\neq AC$. La bisectriz de $BC$ interseca las rectas $AB$ y $AC$ en los puntos $F$ y $E$, respectivamente. La circunferencia circunscrita del triángulo $AEF$ tiene centro $P$ e interseca la circunferencia circunscrita del triángulo $ABC$ en el punto $D$ con $D$ diferente de $A$. Demuestra que la recta $PD$ es tangente a la circunferencia circunscrita del triángulo $ABC$.