Sea $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 $ADE$ en $F$. Si $\angle ADF=45^\circ$, probar que $CF$ es tangente a $\omega$.