Sea $ABC$ un triángulo acutángulo con circuncírculo $\Omega$ y $\overline{AB} < \overline{AC}$ . La bisectriz del ángulo $A$ se encuentra con $\Omega$ de nuevo en $D$ , y la línea que pasa por $D$ , perpendicular a $BC$ se encuentra con $\Omega$ de nuevo en $E$ . El círculo centrado en $A$ , que pasa por $E$ se encuentra con la línea $DE$ de nuevo en $F$ . Sea $K$ el circuncírculo del triángulo $ADF$ . Demuestra que $AK$ es perpendicular a $BC$ .