Si l’on pose en quarrant les équations (1) et ayant égard à l’équation (3), on aura
s^2=\frac{\alpha\beta\gamma}{r},\quad
(19)
ou, en vertu de l’équation (15),
(20)
au moyen de quoi les équations (4) deviennent
(21)
Si, au moyen de la première des équations (19), on élimine des trois autres, elles deviendront
d’où on tirera
ou, en y mettant pour sa valeur donnée par la première des équations (20),
(22)
formules qui feront connaître les trois côtés d’un triangle lorsque