Deje $ABC $ ser un ángulo agudo del triángulo. Vamos $D$, $E$, $F$ estar a los pies de las perpendiculares desde $A $, $B$, $C $ en los lados opuestos $BC $, $CA $, $AB $. Deje $\rho,\rho_1,\rho_2 ,\rho_3$ ser los radios de los círculos inscritos en los triángulos $DEF$, $AEF$, $BFD$, $CDE$.
Demostrar que $r^3\rho=2R \rho_1\rho_2 \rho_3$.
Aquí, $r $ es el radio de la circunferencia inscrita de triángulo $ABC$, e $R$ es el circunradio de $ ABC$.