Problem

Source:

Tags: perpendicular, incircle, geometry



Let $ABC$ be a right-angled triangle, $I$ its incenter and $B_0, A_0$ points of tangency of the incircle with the legs $AC$ and $BC$ respectively. Let the perpendicular dropped to $AI$ from $A_0$ and the perpendicular dropped to $BI$ from $B_0$ meet at point $P$. Prove that the lines $CP$ and $AB$ are perpendicular.