Trigonometria no triângulo esférico
Se um triângulo esférico possui vértices A, B e C opostos aos lados a, b e c, respectivamente, então vale a lei dos senos esféricos, bem como a lei dos cossenos esféricos, descritas no applet a seguir:
Quando temos um ângulo reto, podemos zerar um dos fatores do segundo membro da lei dos cossenos, obtendo o Teorema de Pitágoras esférico, que diz que o cosseno da hipotenusa é igual ao produto dos cossenos dos catetos.