Sea $\triangle ABC$ un triángulo acutángulo, y sea $D$ el pie de la altura trazada desde $C$. La bisectriz de $\angle ABC$ intersecta a $CD$ en $E$ y vuelve a intersectar al circuncírculo $\omega$ de $\triangle ADE$ en $F$. Si $\angle ADF = 45°$, muestra que $CF$ es tangente a $\omega$.