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