Trigonometr a esferica

Prof. Luis G. Lopez

12 de septiembre de 2013

Resumen
Se deducen las tres formulas fundamentales de la trigonometr a
esferica, y otras para los casos particulares de los triangulos rectangu-
los y rectilateros. Tambien se ofrecen problemas para aplicarlas, al-
gunos de ellos clasicos, como la transformacion de coordenadas as-
tronomicas.

Indice
1. De niciones 2

2. Formulas fundamentales 3
2.1. Relacion del coseno . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2. Relacion del seno por el coseno o formula de los cinco elementos 4
2.3. Relacion de los senos . . . . . . . . . . . . . . . . . . . . . . . 4
2.4. Observacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

3. Formulas particulares 7
3.1. Triangulo esferico rectangulo . . . . . . . . . . . . . . . . . . . 7
3.2. Triangulo esferico rectilatero . . . . . . . . . . . . . . . . . . . 8

4. Aplicaciones y problemas 10
4.1. Transformacion de coordenadas . . . . . . . . . . . . . . . . . 10
4.1.1. Acimutales a ecuatoriales . . . . . . . . . . . . . . . . . 11
4.1.2. Ecuatoriales a acimutales . . . . . . . . . . . . . . . . . 12
4.2. Problemas varios . . . . . . . . . . . . . . . . . . . . . . . . . 13
o
4.2.1. Problema N 76 de [2] . . . . . . . . . . . . . . . . . . 13

1
 o
4.2.2. Problema N 168 de [2] . . . . . . . . . . . . . . . . . . 13
4.2.3. Proyeccion del recorrido solar sobre el ecuador celeste . 13
4.2.4. Acimut de salida y puesta de un astro . . . . . . . . . 13
4.2.5. Arco diurno de un astro . . . . . . . . . . . . . . . . . 13
4.2.6. Respuestas a los problemas . . . . . . . . . . . . . . . 14

A. Calculo de la hora siderea 15

A.1. Calculo del d a juliano a las 0hTU . . . . . . . . . . . . . . . . 16
A.2. Calculo de la hora siderea local . . . . . . . . . . . . . . . . . 16
A.3. Ejemplo: calculo de la hora siderea local . . . . . . . . . . . . 17

B. La trigonometr a plana como caso particular de la esferica 18

C. Deduccion vectorial de las formulas fundamentales 19

1. De niciones
Se llama triangulo esferico a la gura formada sobre la super cie de una
esfera con los arcos de tres c rculos maximos ( gura 1).

R
c
b
O
B
a
E
C
D

Figura 1: Triangulo esferico

Un triangulo esferico se caracteriza por seis angulos:

2
 Los tres lados (a, b y c en la gura 1) cuya medida es la medida de
su arco.

Los tres angulos diedros entre los planos de los c rculos maximos
(A, B y C en la gura 1).

Resulta natural estudiar solo los triangulos cuyos angulos y lados no su-
o
peren 180 , en cuyo caso puede demostrarse que la suma de sus
o o
angulos es mayor a 180 pero menor a 540 , y la suma de sus tres
o
lados es menor de 360 .

2. Formulas fundamentales
2.1. Relacion del coseno
Sea O el centro de la esfera sobre la que se forma el triangulo esferico
ABC. Tracemos desde A las tangentes AD y AE a los lados b y c hasta su
interseccion con las prolongaciones de los radios OC y OB. Aplicamos el
teorema del coseno de la trigonometr a plana a los triangulos OED y AED:
2 2 2
DE = OD + OE 2OD OE cos a
2 2 2
DE = AD + AE 2AD AE cos A

Restamos ambas ecuaciones y tenemos:

2 2 2 2
2OD OE cos a = OD AD + OE AE + 2AD AE cos A (1)

De los triangulos planos OAE y OAD se deduce:

2 2 2 2 2 2
OD AD = R AE = R OE AD = R tg b AE = R tg c
R R
OD = OE =
cos b cos c
Reemplacemos en (1) y obtenemos:

R R 2 2
2 cos a = R + R + 2R tg bR tg c cos A
cos b cos c
2 cos a = 2 + 2 tg b tg c cos A
cos b cos c

3
1 cos2 A = 1
Multiplicando por (cos b cos c)=2:

cos a = cos b cos c + sen b sen c cos A (2)

2.2. Relacion del seno por el coseno o formula de los

cinco elementos
La formula (2) puede escribirse para el lado b:

cos b = cos c cos a + sen c sen a cos B

y sustituir en ella el cos a de la ecuacion (2):

cos b = cos c(cos b cos c + sen b sen c cos A) + sen c sen a cos B
2
cos b = cos c cos b + sen b sen c cos c cos A + sen c sen a cos B
2
cos b(1 cos c) = sen b sen c cos c cos A + sen c sen a cos B
2 2
Si sustituimos (1 cos c) por sen c y dividimos todo por sen c:

sen a cos B = sen c cos b cos c sen b cos A (3)

2.3. Relacion de los senos

Despejemos cos A de la ecuacion (2):

cos A = cos a cos b cos c

sen b sen c
Elevemos al cuadrado y restemos de la unidad ambos miembros:
2
cos a cos b cos c

sen b sen c

4
 2 2
sen2 A = 1 cos a 2 cos a cos b cos c + cos b
2 2 2
cos c sen b sen c
2 2 2 2
sen2 A = sen b sen c cos a + 2 cos a cos b cos c cos b
2 2 2
cos c sen b sen c
2 2 2 2
sen2 A = (1 cos b)(1 cos c) cos a + 2 cos a cos b cos c cos b
2 2 2
cos c sen b sen c
2 2 2 2 2 2
2 A=1 cos c cos b + cos b cos c cos a + 2 cos a cos b cos c cos b
2 2 2
cos c sen b sen c
2
Dividamos por sen a:
2 2 2
sen A 1 cos a cos b cos2 c + 2 cos a cos b cos c

2 =
sen a sen2 a sen2 b sen2 c
La expresion anterior es perfectamente simetrica con respecto a a, b
y c, por lo que:

sen a sen b sen c

= = (4)
sen A sen B sen C

2.4. Observacion
Las deducciones precedentes suponen que la construccion de la gura 1
es realizable, lo cual solo es posible si efectivamente existen los puntos D y
E. Para que esto ocurra, es necesario que los lados b y c sean menores
o
que 90 . Para veri car que las formulas anteriores resultan validas para cual-
quier triangulo esferico, restan por considerar entonces los siguientes
casos particulares:
o o
b > 90 y c > 90 : Es posible construir ( gura 2) sobre los respectivos c rcu-
o o
los maximos un triangulo esferico de lados a, 180 b y 180 c, con
vertices B, C y el punto diametralmente opuesto a A, para el cual
resultar valida la construccion, y en el que podemos comprobar
o o o o
que cos a = cos(180 b) cos(180 c) + sen(180 b) sen(180 c) cos
0
A (puesto que A = A ), lo cual nos conduce a la ecuacion (2)
o o
teniendo en cuenta que sin(180 ) = sin y cos(180 ) = cos .
5
 A
0
C
o
180 b
o
c > 90 A
o
b > 90

o o
180 a c < 90
B
o
a b > 90
C
o
180 c
o
180 b B a
C
0
A
o o
o o Figura 3: b > 90 y c < 90
Figura 2: b > 90 y c > 90

o o
b > 90 y c < 90 : Es posible construir un triangulo esferico ( gura 3) con
vertices en A, B y el punto diametralmente opuesto a C, y lados igua-
o o
les a 180 a, 180 b y c, para el cual nuevamente sera valida la
construccion de la gura (1), que nos permitira comprobar nuevamente
que la ecuacion (2) es valida para el triangulo original efectuando
los correspondientes reemplazos (hay que tener en cuenta que el
o o
angulo entre los lados c y 180 b es 180 A).
A A

o o
b = 90 c < 90
o
c > 90 o b = 90

D A C B
a a

D C
B
A

o o o
Figura 4: b = 90 y c 6= 90 (con AD = 90 )

o o
b = 90 y c = 90 : En este caso tanto B como C seran tambien iguales a
o
90 , y a sera igual a A, por lo que dicho triangulo veri car la formula
(2) trivialmente: cos a = cos A.
o o o
b = 90 y c 6= 90 : Unamos C con el punto D, ubicado a 90 de A y a
lo largo del c rculo maximo que va desde A hasta B |con lo cual

6
 o 1
CD = A. Si CD = 90 , el punto C sera un polo del arco AB (dado que
o
al encontrarse C a 90 de dos puntos distintos |A y D| de un mismo c
rculo maximo, se trata de un polo del mismo). En ese caso,
cualquier arco de c rculo maximo que lo una al arco AB tendra tambien
o
90 : en particular, a. Entonces, el triangulo ABC veri car
trivialmente la formula (2).
o o
Si CD 6= 90 , como tambien el arco BD 6= 90 , podemos aplicar al
triangulo BCD la formula (2): cos a = cos BD cos A+sen BD sen A cos
o o
BDC, pero BDC = 90 y BD = (90 c), con lo cual arribamos a cos a =
o
sen c cos A, que no es otra cosa que la ecuacion (2) con b = 90 .

Las ecuaciones (3) y (4) se deducen de la (2), por lo que comprobamos la

validez de las tres formulas fundamentales para todos los triangulos
esfericos posibles.

3. Formulas particulares
3.1. Triangulo esferico rectangulo
o
Si uno de los angulos es igual a 90 , se dice que el triangulo esferico es
rectangulo. Sea A igual a un recto. De la relacion del coseno (2) obtenemos:

cos a = cos b cos c (5)

De la relacion del seno por el coseno (3):

sen a cos B = sen c cos b

sen a = sen c cos b (6)

cos B

1Se llama polo de un c rculo maximo porque, si imaginamos a este ultimo como un ecuador de la
esfera, se hallar en uno de los polos de la misma.

7
 Si dividimos (6) y (5):

tg a = tg c (7)
cos B

De la relacion de los senos (4):

sen b
sen a = (8)

Tambien de la relacion del seno por el coseno (3):

sen b cos A = sen c cos a sen a cos c cos B

sen a = sen c cos a (9)
cos c cos B
Y si ahora igualamos el segundo miembro de (8) con el sen a de (9):

sen b
cos a = (10)
tg c tg B

Si tambien igualamos el segundo miembro de (10) con el de (5):

sen b
cos b cos c = tg c tg B

tg b
sen c = (11)

3.2. Triangulo esferico rectilatero

o
Si uno de los lados es igual a 90 , se dice que el triangulo esferico es
rectilatero. Sea a igual a un recto. De la relacion del coseno (2) obtenemos:

cos a = cos b cos c + sen b sen c cos A

8
 cos A = cotg b cotg c (12)

Tambien de la relacion del coseno (2):

cos b = cos a cos c + sen a sen c cos B

cos b = sen c cos B (13)

De la relacion de los senos (4):

sen B
sen A = (14)

9
4. Aplicaciones y problemas
4.1. Transformacion de coordenadas
Para deducir las ecuaciones de transformacion de coordenadas acimuta-
les a ecuatoriales y viceversa, planteamos el triangulo paralactico ( gura 5),
cuyos vertices son el polo celeste visible (PC), el cenit (Z) y el astro (F).
Recordemos que para que la aplicacion de las formulas anteriores resulte
vali-da, los lados que unen dichos vertices deberan ser arcos de c rculos
maximos: entre PC y Z el meridiando del lugar, entre Z y F el c rculo vertical
del astro, y entre PC y F el meridiano celeste o c rculo horario del mismo.
Adoptaremos como convencion que el acimut se mide desde el sur hacia el
oeste, y para la construccion de la gura que el polo visible es el austral. De
esta manera, comprobamos que los angulos con vertice en Z y PC son el
acimut (A) y el angulo horario (t), respectivamente. El angulo q con vertice
en F se denomina angulo paralactico.

90o +' PC
t
Z
A
o +
90 o 90

h q

Figura 5: Triangulo paralactico

Como vemos, en el triangulo paralactico aparece el angulo horario, y

no la ascension recta, por lo que estrictamente las ecuaciones siguientes
vincu-laran el sistema acimutal con el ecuatorial horario o relativo. Por
supuesto, la obtencion de la ascension recta solo requiere el
conocimiento de la hora siderea ( s), ya que:

s =t+

10
4.1.1. Acimutales a ecuatoriales
Por la formula (2) aplicada al triangulo paralactico:
o o o o o
cos(90 + ) = cos(90 + ') cos(90 h) + sen(90 + ') sen(90 h) cos A

sen = sen ' sen h cos ' cos h cos A (15)

Es interesante comprobar que la ecuacion (15) nos devuelve la declinacion

o o
como un arcoseno, funcion cuyo conjunto imagen es [-90 ;90 ], coincidente
con los posibles valores que puede tomar la declinacion. Si la formula, en
cambio, nos devolviera el valor del coseno de , nos encontrar amos ante una
ambig•uedad del valor de , que deber amos resolver mediante otra formula.
Tambien resulta interesante comprobar que la formula (15) expresa,
como esperabamos, que el valor de la declinacion solo depende de la
altura, el acimut y la latitud del lugar de observacion.
Apliquemos ahora la formula (4):
sen t sen A
o o
sen(90
h) = sen(90 + )
sen A cos h
sen t = (16)
cos
Esta formula nos permite obtener el seno de t en funcion de parametros
conocidos (la declinacion la obtuvimos previamente gracias a (15)). El in-
conveniente es que nos encontramos ante una ambig•uedad en el valor del
o o2
angulo horario: si bien este puede tomar valores entre 0 y 360 , el arco-
o o
seno nos devolvera valores dentro de su conjunto imagen: [-90 ;90 ].
Por esta razon, debemos hacer uso de la relacion (3):
o o o o o
sen(90 + ) cos t = sen(90 + ') cos(90 h) cos(90 + ') sen(90 h) cos A

cos t = cos ' sen h + sen ' cos h cos A (17)

cos
Ahora s , podemos aprovechar la informacion que nos ofrecen ambas ecua-
ciones para conocer inequ vocamente el valor de t. Una posible manera de
2 h h
O entre 0 y 24 , como con mas frecuencia se emplea en Astronom a.

11
conseguirlo, es usar primero la ecuacion (16), y luego tomando el signo
del segundo miembro de (17), ubicar a t en el cuadrante correcto.
Observemos tambien que podemos expresar tg t como un cociente,
divi-diendo (16) y (17):

sen A cos h (18)

tg t = cos ' sen h + sen ' cos h cos A

La utilidad de esta formula queda de mani esto al considerar que la ma-yor

a de los lenguajes de programacion (incluyendo los que forman parte
de las planillas de calculo) tienen una funcion arcotangente que admite dos
parametros, que son interpretados por el lenguaje precisamente como el
nu-merador y el denominador de una fraccion igual a la tangente del angulo
buscado, devolviendo este en el cuadrante correcto de manera automatica.
Resulta interesante observar, nuevamente, que esta formula expresa
que t depende exclusivamente de la altura, el acimut y la latitud del lugar
(<incluso la declinacion tuvo la delicadeza de desaparecer en el cociente!).

4.1.2. Ecuatoriales a acimutales

El problema es en esencia el mismo, pero propuesto para otros angulos:

sen h = sen ' sen + cos ' cos cos t (19)

sen A = sen t cos

cos h
cos A = sen ' cos cos t cos ' sen
cos h

sen t cos (20)

tg A = sen ' cos cos t cos ' sen

Pueden realizarse las mismas observaciones que en el apartado anterior.

12
4.2. Problemas varios
o
4.2.1. Problema N 76 de [2]
Expresar la distancia angular d entre dos puntos de la esfera celeste,
las coordenadas de los cuales son dadas en el sistema ecuatorial.

o
4.2.2. Problema N 168 de [2]
Deducir la formula que expresa, para una estrella de declinacion mayor
a la latitud ' del lugar (siendo ambas del mismo signo), el valor maximo
del acimut A (al este y al oeste del meridiando del lugar).

4.2.3. Proyeccion del recorrido solar sobre el ecuador celeste

1. Expresar la proyeccion del recorridodel Sol sobre el ecuador ce-
leste desde un equinoccio, conociendo el valor de su recorrido
3
sobre la ecl ptica y, por supuesto, la inclinacion de este plano .
2. Expresar la proyeccion del recorrido del Sol sobre el ecuador
celeste desde un equinoccio, conociendo el valor de la declinacion
solar y, por supuesto, la inclinacion de la ecl ptica.

4.2.4. Acimut de salida y puesta de un astro

Expresar el valor del acimut de salida y puesta de un astro,
conociendo su declinacion y la latitud del lugar.

4.2.5. Arco diurno de un astro

Expresar el valor del arco D del recorrido diurno de un astro no
circum-polar, conociendo su declinacion y la latitud del lugar.

3
Como ejercicio interesante puede el lector usar la solucion de este problema para
trazar la parte de la ecuacion de tiempo debida a la inclinacion de la ecl ptica.

13
4.2.6. Respuestas a los problemas
4.2.1
cos d = sen 1 sen 2 + cos 1 cos 2 cos

Lo importante es elegir correctamente el triangulo esferico; existe el

riesgo de pretender construir uno rectangulo, con la hipotenusa coinci-
dente con la distancia buscada: el problema que puede pasarse por alto
es que uno de los catetos, en ese caso, sera un arco de paralelo celeste,
que (salvo el caso especial del ecuador) no es un c rculo maximo, por lo
que el pretendido triangulo esferico no es tal, resultando inaplicables a el
las ecuaciones deducidas en este apunte. El triangulo esferico que nos
permite resolver el problema es el de la gura 6.

4.2.2
cos

sen A =

La clave consiste en observar que la condicion establecida por el pro-

blema se corresponde al momento en que el c rculo de altura del astro es
tangente a su paralelo celeste, lo que determina un valor del angulo
o
paralactico igual a 90 .

PC o + '
o
1
90 PC
90
Z t
P 2
A
o o +
90 90

o
o
90 90
d h

Q F

Figura 6: Problema 4.2.1 Figura 7: Problema 4.2.2

4.2.3

1.
tg = tg cos i

14
 Podemos aplicar la relacion (7), teniendo en cuenta que la pro-
yeccion se realiza a lo largo de un meridiano celeste, que es per-
pendicular al ecuador celeste, por lo que queda determinado un
triangulo esferico rectangulo, como se aprecia en la gura 8.

ptica

Ecl i
Ecuador

Eq celeste

Figura 8: Proyeccion del recorrido solar sobre el ecuador celeste desde

un equinoccio

2. tg

sen =

Se utiliza la ecuacion (11), valida por las mismas razones del

pro-blema anterior.
4.2.4
sen

cos A =

Solo hay que usar la ecuacion (2) con h = 0.

4.2.5
D
cos 2= tg tg '
Nuevamente hay que usar la ecuacion (2) con h = 0, teniendo en cuenta
ademas que el angulo buscado es el doble del angulo horario.

A. Calculo de la hora siderea

Como dijeramos en la seccion 4.1, para obtener la ascension recta
de un astro conociendo su angulo horario es preciso saber la hora
siderea del lugar de observacion. En este apendice se da una receta |sin
demostracion| para calcularla.

15
A.1. Calculo del d a juliano a las 0hTU
En primer lugar, es necesario obtener el valor del d a juliano para las
~

0hTU del d a en cuestion. Sean DIA, M ES y AN O los valores

numericos de la fecha (para enero, febrero, marzo, etc., los valores de M
ES son 1, 2, 3, etc.).
Deben realizarse los siguientes pasos preliminares:
~
1. Si M ES < 3, restar 1 a AN O y sumar 12 a M ES.
~ 4

2. Calcular A = bAN O=100c

3. Calcular B = 2 A + bA=4c
Finalmente, obtenemos el d a juliano a las 0hTU:
~
DJ0hT U = b365; 25 (AN O+4716)c+b30; 6001 (M ES+1)c+DIA+B 1524; 5

A.2. Calculo de la hora siderea local

Primero debe calcularse, para el d a en cuestion:
DJ 2451545
T = 0hT U
36525

Entonces la hora siderea en Greenwich a las 0hTU ( G;0hT U ) se obtiene

as :
h m s s
G;0hT U = 6 41 50 ; 54841 + 8640184 ; 812866 T
s 2
+ 0 ; 093104 T
s 3
0 ; 0000062 T

Para obtener la hora siderea en Greenwich a otra hora de tiempo universal

( G;t) de ese mismo d a, es necesario sumarle dicha hora multiplicada por
1; 00273790935:

minutos segundos

G;t = G;0hT U + 1; 00273790935 hora + 60 + 3600

4el operador bxc devuelve la parte entera de x por truncamiento: b5; 12c = 5; b7; 99c = 7; b 3; 14c
= 3.

16
 Finalmente, para obtener la hora siderea local en ese mismo instante
( s), es necesario sumar a G;t la longitud ( ) del lugar (expresada en
horas), tomada positiva al este de Greenwich y negativa al oeste:

s = G;t +

A.3. Ejemplo: calculo de la hora siderea local

Calculemos el valor de la hora siderea para la ciudad de Buenos
o 0 h m
Aires ( = 58 29 59" = 3 54 ) el d a 2 de julio de 2012, a las 13:26 hora
local (16:26 TU).
~
1. DIA = 2, M ES = 7 y AN O = 2012.
~
2. M ES > 2, por lo que M ES y AN O mantienen sus valores.
~
b c
3. A = AN O=100 = 20
4. B = 2 20 + b20=4c = 13

5. DJ0hT U = b365; 25 (2012 + 4716)c + b30; 6001 (7 + 1)c + 2 + ( 13)

1524; 5 = 2456110; 5
2456110;5 2451545
6. T = = 0; 1249965776865
36525

7.
h m s s
G;0hT U = 6 41 50 ; 54841 + 8640184 ; 812866 0; 1249965776865 +
s 2
0 ; 093104 0; 1249965776865
s 3
0 ; 0000062 0; 1249965776865
h m s h m s
= 306 41 57 18 41 57 (mod 24)
h m s 26 h m s h m s
8. = 18 41 57 +1; 00273790935 16 +
G;t 60 = 35 10 39 11 10 39
(mod 24)

h m s h m h m s
9. s = 11 10 39 + 3 54 = 7 16 39

17
B. La trigonometr a plana como caso parti-cular
de la esferica
Si tomamos sobre la esfera triangulos de lados cada vez mas peque~nos
(sin que por eso var en sus angulos diedros), resulta natural pensar que iremos
obteniendo triangulos cada vez mas \aplanados". Otra forma de pensarlo es
imaginar que la esfera adopta |en relacion al triangulo de interes| un
radio tan grande que en el entorno del triangulo su super cie no di ere sen-
5
siblemente de un plano . En ese sentido resulta interesante intentar obtener
formulas que sabemos validas en el plano como casos \l mite" de las formulas
validas en la esfera.
Si los lados de un triangulo esferico son lo su cientemente peque~nos, po-
dremos reemplazar el valor de sus senos y cosenos por las correspondien-tes
aproximaciones segun los primeros terminos de sus series de Taylor 6: sen = y
cos = 1 2=2. Apliquemos estas relaciones a la ecuacion (2):
a2 2 2
b c

1 2 = 1 2 1 2 + bc cos A
a2 c2 b2 b2 c2

1 2 =1 2
2 + 2 2 + bc cos A
2 2
bc
a2 = b2 + c2 2bc cos A 2 (21)
El lector reconocera en (21) la famosa formula del coseno de la
7
trigono-metr a plana .
La aplicacion a la formula (4) es aun mas directa |la formula del seno:

sen A sen B sen C

= =
a b c
o
Vimos en la seccion 3.1 que si A = 90 , resulta valida la ecuacion (5):
5
Resulta inevitable compartir con el lector el ejemplo que sin duda ya adivino: un
triangulo sobre la super cie terrestre, si es de peque~nas proporciones en relacion con el
tama~no de nuestro planeta, debe dejarse tratar tanto con las formulas de la trigonometr a
plana como con las de la esferica.
6
Naturalmente, con los angulos expresados en radianes.
7 El termino b22c2 no deber a distraernos demasiado, ya que al ser un in nitesimo de orden
superior al resto, ser a uno de los primeros \fantasmas de cantidades evanescentes" en desaparecer. .
.

18
 cos a = cos b cos c
>Querra el lector obtener de ella la correspondiente y ubicua formula
que sin duda ya anticipa?

C. Deduccion vectorial de las formulas fun-

damentales
Podemos formar tres vectores con el centro de una esfera y los tres vertices
~
de un triangulo trazado sobre la misma. As , el angulo entre los vectores A y
~ ~ ~ ~ ~
B sera igual a c, el angulo entre A y C sera igual a b, y entre B y C sera a.
~ ~
Tambien, el angulo entre el plano que contiene a los vectores A y B y el que
~ ~
contiene a A y C sera igual a A (lo propio puede decirse de los restantes
planos respectivos).
y

c b

a
B C
x

Figura 9: Triangulo esferico

~
De acuerdo a la gura (9), orientaremos los ejes de forma que el vector~

A coincida con el eje y y el vector B se halle en el plano yz (es facil ver que
esto siempre es posible). En este sistema de coordenadas (y si asumimos |
sin perdida de generalidad| que la esfera tiene radio unitario), resulta:
~ ~ ~

A = (0; 1; 0), B = (0; cos c; sen c) y C = (sen b sen A; cos b; sen b cos A).

19
 Por un lado: ~ ~

B C = cos a
Por el otro:
~~
B C = 0 sen b sen A+cos c cos b+sen c sen b cos A = cos c cos b+sen c sen b cos A

Igualando ambos resultados:

cos a = cos c cos b + sen c sen b cos A

que es la formula (2). Y las demas formulas pueden deducirse de esta.

Referencias
[1] Bakulin, Kononovich, Moroz, Curso de astronom a general, MIR,
Moscu, 1987.

[2] Vorontsov, Veliam nov, Problemas y ejercicios practicos de

astronom a, Mir, Moscu, 1979.

[3] As n, Astronom a, Paraninfo, Madrid, 1990.

[4] Meeus, Astronomical Algorithms, Willmann{Bell, Richmond, 1991.

[5] Todhunter, I., Spherical Trigonometry, MacMillan, Londres, 1886.

20