Okrąg wpisany w trójkąt prostokątny

W trójkąt prostokątny o przyprostokątnych długości \(a\) i \(b\) wpiszemy okrąg o promieniu \(r\). Długość przeciwprostokątnej \(c\) możemy wyrazić wzorem: \[\begin{split} c&=a-r+b-r\\[6pt] c&=a+b-2r \end{split}\]