Sea $ABC$ un triángulo rectángulo con $\angle ACB=90^o$. Sean $E, F$ respectivamente los puntos medios de $BC, AC$ y $CD$ su altura. Luego, sea $P$ el punto de intersección de la bisectriz del ángulo interno desde $A$ y la línea $EF$. Prueba que $P$ es el centro del círculo inscrito en el triángulo $CDE$.