Frmulas de Bessel:

Si A1, A2, A3, l1, l2, l3 son los ngulos y los lados de un tringulo esfrico, se cumplen las siguientes relaciones: 1. 2. 3. Demostracin: Consideremos {O; X, Y, Z} un sistema de referencia eucldeo en , siendo O el centro de la esfera que contiene el tringulo esfrico, el eje Z est determinado por la direccin de A2 y el plano XZ contiene a l3.Conviene recordar que trabajaremos con una esfera de radio 1 para facilitar los clculos. Calculemos las coordenadas (x, y, z) del vrtice A3: Sea B la proyeccin ortogonal de A3 sobre el plano XY, y B1 la proyeccin de B sobre el eje X. Consideremos los tringulos OBA3 y OB1B (rectngulos en B y B1 respectivamente). y

Ahora consideraremos un nuevo sistema de referencia eucldeo en {O; X, Y, Z}, siendo , y el eje Z determinado por la direccin del vrtice A1. Calculemos las coordenadas (x, y, z) de A3 en este nuevo sistema de referencia: Sea C la proyeccin ortogonal de A3 sobre el plano XY, y C1 la proyeccin de C sobre X. Consideremos los tringulos OCA3 y OC1C (rectngulos en C y C1 respectivamente). y

Con una rotacin de ngulo l3 y eje Y coincidirn los sistemas de referencia, por lo que tambin debern coincidir las coordenadas correspondientes al punto A3.

As llegamos a lo siguiente: 1) 2) 3) Sustituyendo en las igualdades anteriores con los datos correspondientes: ; y Obtenemos: 1)

2)

Si repetimos todo el procedimiento considerando otro de los vrtices del tringulo obtendremos:

3)

4. Demostracin: Consideremos el tringulo A1A2A'3, polar del A1A2A3. Por la primer frmula se Bessel A1A2A'3, polar del A1A2A3

Aplicando identidades trigonomtricas obtenemos:

5. Demostracin: Consideremos el tringulo A1A2A'3, polar del A1A2A3. Por la tercer frmula de Bessel A1A2A'3, polar del A1A2A3