Soient présentement le pôle et le rayon sphérique du cercle inscrit, on sait que si de ce point on conduit des arcs de grands cercles aux trois sommets, ces arcs diviseront les angles du triangle en deux parties égales. Si en outre on désigne par les points de contacts respectifs avec les côtés, on aura
d’où, en retranchant la première équation de la somme des deux autres,
mais on a ici
réduisant donc, à l’aide de ces relations, il viendra
d’où
mais le triangle sphérique rectangle donne
c’est-à-dire,
(
XLIII)
ou bien (xiv)
(
XLIV)
ou encore (VIII)