En divisant chacune des trois premières par la dernière, il viendra, en chassant les dénominateurs,
d’où on tirera aisément
\frac{\beta(\alpha-r)}{a}
\frac{\alpha(\beta-r)}{b}
(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
L’équaticion donne ou bien
mais les deux dernières équations (11) donnent
donc