En divisant chacune des trois premières par la dernière, il viendra, en chassant les dénominateurs,
![{\displaystyle r(a+b+c)=\alpha (b+c-a)=\beta (c+a-b)=\gamma (a+b-c),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8784a25c2569d7060bf894e203e59ef27ca87eab)
d’où on tirera aisément
\frac{\beta(\alpha-r)}{a}
\frac{\alpha(\beta-r)}{b}
![{\displaystyle {\frac {r(\alpha +\beta )}{c}}.\qquad }](https://wikimedia.org/api/rest_v1/media/math/render/svg/09cf61e0d0506d7dd48164b7bbb32c3294dad291)
(12)
Ainsi (11), si les trois côtés du triangle rectangle sont commensurables, les rayons des quatre cercles le seront aussi, et réciproquement (12).
Si, par exemple, il s’agit du triangle de Pythagore, pour lequel on a
on aura
![{\displaystyle \alpha =2,\qquad \beta =3,\qquad \gamma =6,\qquad r=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27ee70b55a6eea31512750c40f309c5bf48352ea)
L’équaticion
donne
ou bien
![{\displaystyle 2ab=(a+b+c)(a+b-c)\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ac5457b893ed4bda33beef21b55409f5227d985)
mais les deux dernières équations (11) donnent
![{\displaystyle \gamma r={\frac {a^{2}b^{2}}{(a+b+c)(a+b-c)}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60d4cca0a1be14ce780778516fd7a3571aa5475c)
donc