Sean $I$ y $I_A$ el incentro y el excentro $A$-excentro de un triángulo acutangulo $ABC$ con $AB < AC$. El incirculo es tangente a $BC$ en $D$. La recta $AD$ interseca a $BI_A$ y $CI_A$ en $E$ y $F$, respectivamente. Demuestra que las circunferencias circunscritas de los triángulos $AID$ y $I_AEF$ son tangentes entre sí.