Stelling:
De formule voor de lengte van de straal van de ingeschreven cirkel in een rechthoekige driehoek is:
Bewijs:
\( a=b-r+c-r \) dus daarom geldt: \( r=\frac{1}{2}(b+c-a) \)
Hierbij is gebruikt: