En un triángulo $ABC$ con $B = 90^\circ$ , $D$ es un punto en el segmento $BC$ tal que los inradios de los triángulos $ABD$ y $ADC$ son iguales. Si $\widehat{ADB} = \varphi$ entonces prueba que $\tan^2 (\varphi/2) = \tan (C/2)$ .