En triángulo $\triangle ABC$ , ángulo $\angle B$ es un ángulo recto. $\overline{BD}$ es la altitud, $\overline{DE}$ es perpendicular a $\overline{AB}$ y $\overline{DF}$ es perpendicular a $\overline{BC}$ , $a$ , $b$ y $x$ son los inradios de los triángulos $\triangle AED$ , $\triangle DFC$ y $\triangle EDF$ respectivamente. Demostrar que $x = \sqrt{ab}$
No veo ningún triángulo similar que pueda usar aquí. ¿Y tú?