$O$ es la circunferencia circunscrita del triángulo no isósceles $ABC$ y la bisectriz del ángulo $A$ se encuentra con $BC$ en $D$. Si la línea perpendicular a $BC$ que pasa por $D$ se encuentra con $AO$ en $E$, demuestre que $ADE$ es un triángulo isósceles.