Sea $ABC$ un triángulo con $AB < AC$ , incentro $I$ y $A$ excentro $I_{A}$ . La circunferencia inscrita se encuentra con $BC$ en $D$ . Define $E = AD\cap BI_{A}$ , $F = AD\cap CI_{A}$ . Demuestra que la circunferencia circunscrita de $\triangle AID$ y $\triangle I_{A}EF$ son tangentes entre sí.