D’après le problème des deux cercles tangents entre eux et tangents à une droite, on a les relations
AB2 = 4R1R2
IB2 = 4R3R2
AI2 = 4R3R1
Mais AB = AI + IB
=
En divisant par chaque élément de la formule, on obtient
= +