350
FORMULES
prenant successivement les signes supérieurs et les signes inférieurs, en ayant égard à la valeur de et réduisant, il viendra
Ces formules sont, pour les triangles rectilignes, ce que sont, pour les triangles sphériques, les formules de MM. Gauss et Delambre, démontrés par M. Servois, à la page 84 du second volume de ce recueil.
En divisant successivement la première par la seconde, la troisième par la quatrième, la première par la troisième, et la seconde par la quatrième, il vient
Ces dernières formules sont exactement, pour les triangles rectilignes ce que sont les Analogies de Néper pour les triangles sphériques.
Dans le triangle sphérique, on a, sans aucune ambiguïté de signes
On déduit de là