Długość rrrr promienia okręgu wpisanego w trójkąt prostokątny o przyprostokątnych długości aaaa i bbbb oraz przyprostokątnej długości cccc dany jest wzorem: