Problem

Source: Czech-Polish-Slovak Junior Match 2015, Individual p4 CPSJ

Tags: geometry, angle bisector, incenter, right triangle, midpoints



Let $ABC$ ne a right triangle with $\angle ACB=90^o$. Let $E, F$ be respecitvely the midpoints of the $BC, AC$ and $CD$ be it's altitude. Next, let $P$ be the intersection of the internal angle bisector from $A$ and the line $EF$. Prove that $P$ is the center of the circle inscribed in the triangle $CDE$ .