CAPITULO I

TRIGONOMETRIA ESFERICA
Indice del captulo
Preliminares
F
ormula del coseno
F
ormula del seno
Otras f
ormulas
Polaridad
Tri
angulos esfericos
Problemas propuestos
Bibliografa

1. Trigonometra esf
erica
Vamos a introducir unas nociones mnimas de trigonometra esferica para
poder abordar el resto de la asignatura. Al contrario de otros textos, nuestra
filosofa es la de intentar que las demostraciones no dependan demasiado de
representaciones gr
aficas. Sin embargo en algunas secciones no hemos tenido
m
as remedio que apelar a la intuici
on geometrica, para descargar algo las
demostraciones de contenido algebraico. Algunas de las herramientas b
asicas
en este capitulo son ciertas propiedades del producto escalar y del producto
vectorial en el espacio eucldeo R3 .

1.1. Preliminares
La geometra que queremos estudiar en esta secci
on es la geometra
esferica. Si consideramos una esfera S de centro O en el espacio eucldeo
R3 , y dos puntos A, B S distintos, se demuestra en geometra de variedades
que la curva de longitud mnima que pasa por dichos puntos es un arco de la
circunferencia centrada en O, que pasa por A y B. Por eso consideraremos
el espacio E cuyos puntos son los puntos de R3 situados sobre S y cuyas
rectas son las circunferencias contenidas en S con centro en 0. Llamaremos a
estas circunferencias crculos m
aximos porque son las circunferencias de radio
m
aximo contenidas en S. Utilizaremos la denominaci
on crculo para lo que en
realidad es una circunferencia, siguiendo la tradici
on habitual en astronoma.
Supongamos ahora que S = S 2 := {x R3 : kxk = 1} donde k k es la
norma eucldea. Tomemos tres vectores u, v, w S 2 (diferentes dos a dos y
no coplanarios). Consideraremos entonces el tri
angulo esferico determinado
por dichos tres vectores. Como elementos notables de dicho tri
angulo tenemos
los vectores u, v y w (que se pueden identificar con los vertices del tri
angulo).
En cada uno de los vertices hay un
angulo delimitado por los pares de rectas
a, b y c. Adoptamos el ya cl
asico convenio de denotar el
angulo opuesto al
lado a con la letra A y an
alogamente con los otros vertices del tri
angulo.
2

Figura 1. Elementos de un tri

angulo esf
erico.

C
omo medir el
angulo A limitado por las rectas b y c? En geometra
esferica, dicho
angulo es el
angulo diedro formado por los planos hu, wi y
hu, vi. Es bien conocido que para medir dicho
angulo tenemos que determinar
vectores R hu, vi y S hu, wi tales que R y S sean perpendiculares a la
recta de intersecci
on hu, wi hu, vi = hui. Entonces el
angulo determinado
por R y S ser
a la medida de A. El lector puede comprobar sin dificultad
que tal medida coincide con el
angulo que forman en el extremo de u, las
tangentes a las rectas c y b.
C
omo se suele dar la medida de los arcos a, b y c? Es costumbre en
trigonometra esferica dar la medida de dichos arcos en grados (sexagesimales).
Tengase en cuenta que el radio de la esfera es 1 por lo que los arcos a, b y c
coinciden con sus respectivos
angulos centrales.

1.2. F
ormula del coseno
Considerese una esfera (de radio unidad) centrada en el origen de coordenadas del espacio eucldeo R3 .

Sean u, v y w tres vectores distintos

no coplanarios de norma unidad que definen sendos puntos sobre la esfera.

Si denotamos por x y el producto escalar en R3 se tendr
a trivialmente
u u = v v = w w = 1. Definamos los
angulos a, b, c (0, ) de modo
3

que
v w = cos a
w u = cos b
u v = cos c.
Entonces R := v (v u)u est
a en el plano hu, vi y se comprueba de inmediato
que R u = 0. Por lo tanto R es perpendicular a u. Del mismo modo,
S = w (w u)u est
a en el plano hw, vi y S u = 0implicando que S es normal
a u. Ahora bien, R R = 1 (v.u)2 = 1 cos2 c = sen 2 c. Por lo tanto
kRk = senc (y an
alogamente kSk = senb). Entonces
R
v cos c u
=
,
kRk
senc
y adem
as el producto escalar de

S
w cos b u
=
kSk
senb

R
kRk

por

S
kSk

es el coseno del
angulo que

forman, es decir cos A. Teniendo en cuenta las expresiones que hemos encontrado para

R
kRk

S
kSk ,

tenemos
cos A =

cos a cos c cos b

.
senc senb

Manipulando un poco esta u

ltima expresi
on encontramos la ley de los cosenos
:
cos a = senb senc cos A + cos b cos c.

1.3. Form
ula del seno
A partir de la f
ormula del coseno tenemos
senb senc cos A = cos a cos b cos c
y elevando al cuadrado:
sen 2 b sen 2 c(1 sen 2 A) = cos2 a + (1 sen 2 b)(1 sen 2 c) 2 cos a cos b cos c
sen 2 b sen 2 c sen 2 b sen 2 c sen 2 A =
=2 ( sen 2 a + sen 2 b + sen 2 c)+
+ sen 2 b sen 2 c 2 cos a cos b cos c
4

Simplificando:
sen 2 b sen 2 c sen 2 A = 2 ( sen 2 a + sen 2 b + sen 2 c) 2 cos a cos b cos c.
Dividamos ahora entre ( sena senb senc)2 y obtenemos una expresi
on cuyo
miembro de la derecha es invariante frente a permutaciones de los
angulos a,
b y c:
2 ( sen 2 a + sen 2 b + sen 2 c) 2 cos a cos b cos c
sen 2 A
=
.
sen 2 a
( sena senb senc)2
Esto permite concluir la ley de los senos que afirma:
senB
senC
senA
=
=
.
sena
senb
senc
Adem
as la demostraci
on que hemos dado para la ley de los senos nos proporciona el valor
s

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

,
( sena senb senc)2

com
un para las tres fracciones.

1.4. Otras f
ormulas
La f
ormula del coseno se puede escribir de la forma
senc sena cos B = cos b cos c cos a =
= cos b cos c(cos b cos c + senb senc cos A) = ,
= sen 2 c cos b senb senc cos c cos A
y dividiendo por senc tenemos:
sena cos B = cos b senc senb cos c cos A,
que es conocida como la f
ormula an
aloga. Por otra parte, si aplicamos la
f
ormula del coseno dos veces tenemos:
cos b = cos a cos c + sena senc cos B
= cos a(cos a cos b + sena senb cos C) + sena senc cos B .
= cos2 a cos b + sena cos a senb cos C + sena senc cos B
5

Por lo tanto
sen 2 a cos b = sena cos a senb cos C + sena senc cos B
y dividiendo por sena senb tenemos
sena cot b = cos a cos C +

senc
cos B,
senb

c
sen C
pero a partir de la f
ormula del seno se tiene sen
ormula
sen b = sen B luego la f
anterior se puede escribir como:

sena cot b = cos a cos C + senC cot B,

o bien
cos a cos C = sena cot b senC cot B,
expresi
on que se conoce como la f
ormula de las cuatro partes.

1.5. Polaridad
Dado un tri
angulo esferico definido por la terna de vectores T = {u, v, w}
(tales que det(u, v, w) > 0 ), llamamos tri
angulo polar del anterior, al tri
angulo
definido por
T0 =

n vw
wu
uv o
,
,
.
kv wk kw uk ku vk

Esta definici
on encierra una peque
na tarea para el lector: si {u, v, w} define un
tri
angulo esferico, entonces el conjunto anterior es linealmente independiente
(y recprocamente). Por lo tanto hay que demostrar que el nuevo conjunto
T 0 es tambien linealmente independiente.
Una vez resulta la cuesti
on anterior, vamos a convenir en denotar al
tri
angulo polar T 0 de la forma T 0 = {u0 , v 0 , w0 } donde u0 =
wu
kwuk ,

y w0 =

uv
kuvk .

vw
kvwk ,

v0 =

Se tiene entonces trivialmente el siguiente conjunto de

relaciones de perpendicularidad:
u0 hv, wi,

v 0 hu, wi,
6

w0 hu, vi

y sus duales
u hv 0 , w0 i,

v hu0 , w0 i,

w hu0 , v 0 i.

Supongamos que los tri

angulos T y T 0 est
an representados con sus elementos
notables como en la siguiente figura:

Figura 2. Un tri
angulo y su polar.

Hemos representado, para mayor facilidad visual, cada tri

angulo independientemente uno del otro. Entonces el conjunto de relaciones de perpendicularidad anterior se traduce en el siguiente conjunto de relaciones:
u0 a, v 0 b,
u a0 , v b0 ,

w0 c
w c0 .

Podemos enunciar entonces el siguiente:

Teorema I.1 Si T y T 0 son un tri
angulo esferico y su dual como en la
figura , entonces
A0 = 180o a, B 0 = 180o b, C 0 = 180o c,
A = 180o a0 , B = 180o b0 , C = 180o c0 .
Dem. Sea L el punto de intersecci
on de la recta que contiene al lado a con
la recta c0 com
un a los
angulos A0 y B 0 (vease el dibujo). An
alogamente
definimos el punto M de la recta b0 .
7

Entonces, siendo O el centro de la esfera, el vector OL est

a en el plano
hu0 , v 0 i y es perpendicular a u0 (esto u
ltimo se debe a que OL hv, wi mientras
que u0 hv, wi). Del mismo modo OM hu0 , w0 i y OM u0 . Por lo
tanto el valor del
angulo A0 es el del
angulo que forman OL y OM . Pero
dicho
angulo es la suma del
angulo que forman OL y v m
as el
angulo que
as el
angulo que forma w con OM . Por lo tanto A0 =
forma v con w m
ang(OL, v) + ang(v, w) + and(w, OM ) como puede verse en el dibujo.

Pero por otra parte, si volvemos a nuestro tri

angulo esferico junto con
su polar de la figura I.3), tenemos que w = OC es perpendicular a la recta
que contiene a A0 y B 0 (esto no es m
as que una forma de decir lo que ya
sabemos: w hu0 , v 0 i). Por lo tanto el
angulo que forma w con OL es de 90o
. Simetricamente el
angulo que forma v con OM tambien es 90o . Podemos
8

pues escribir:
ang(OL, w) = 90o = ang(OL, v) + ang(v, w) = ang(OL, v) + a
ang(v, OM ) = 90o = ang(v, w) + ang(w, OM ) = a + ang(w, OM ).
En resumen
A0 = ang(OL, v) + ang(v, w) + and(w, OM ) = ang(OL, v) + a + and(w, OM )
= 90o + and(w, OM ) = 90o + 90o a = 180o a.
An
alogamente se demuestran las igualdades B 0 = 180o b y C 0 = 180o c. El
resto de las igualdades que tenemos que demostrar son inmediatas aplicando
las ya demostradas al polar T 00 = T de T . 
Se pueden obtener algunas consecuencia inmediatas de la polaridad aplicando las formulas que hemos demostrado al tri
angulo polar de uno dado. Si
T es el tri
angulo de
angulos A, B, C y lados a, b, c, sabemos que el tri
angulo
angulos 180o a, 180o b, 180o c, y por lados 180o
polar T 0 tiene por
A, 180o B, 180o C. Entonces la f
ormula del coseno aplicada a T 0 no dice
cos C = cos B cos A senB senA cos c
y por lo tanto podemos obtener el coseno de un
angulo conociendo los otros
dos y el lado opuesto al
angulo. La polaridad es una herramienta interesante
ya que todas las f
ormulas demostradas tiene un versi
on polar que es interesante
salvo en el caso de la f
ormula de los senos que es autopolar.
Otro corolario de la polaridad es la posibilidad de resolver el tri
angulo
esferico del que se conocen s
olo los tres
angulos. Tal tri
angulo no se puede
resolver en geometra eucldea por tener infinitas soluciones. Pero en trigonometra esferica pasaramos al tri
angulo polar del que conoceramos entonces
sus tres lados. Las f
ormulas que hemos estudiado en este captulo permiten
resolver el tri
angulo conocidos sus tres lados y polarizando de nuevo obtendramos
9

la soluci
on del tri
angulo conocidos sus tres
angulos. En la secci
on siguiente
nos vamos a plantear los diferentes casos que se pueden dar en la resoluci
on
de tri
angulos esfericos.

1.6. Resoluci
on de tri
angulos esf
ericos
Tri
angulo LLL. En este primer apartado consideraremos el problema
en que se conocen los lados a, b y c de un tri
angulo esferico y nos planteamos
conocer los
angulos A, B y C. La f
ormula del coseno nos permitir
a determinar
uno de los
angulos y la del seno los restantes. Hag
amoslo en un supuesto
pr
actico. Sea el tri
angulo tal que a = 15o 120 , b = 20o , y c = 19o 10 . Entonces
como cos a = cos b cos c + senb senc cos A tenemos
A = arccos

 cos a cos b cos c 

senb senc

= 46o 340 27.574100 .

Ahora la f
ormula de los senos nos da
senB =

senA senb
,
sena

senC =

senA senc
,
sena

lo que nos permite resolver el problema por completo.

Tri
angulo LLA-1. Se conocen a, b y A (dara igual conocer a, b y B).
A sen b
. Se podra
En este caso el teorema del seno nos da senB = sensen
a
aplicar ahora alguna f
ormula como las analogas de Napier que nos daran la
soluci
on directamente. Pero para no complicar mas este captulo recurriremos
al siguiente sistema de ecuaciones:
n

cos a = cos b cos c + senb senc cos A

cos b = cos a cos c + sena senc cos B

donde todo es conocido excepto senc y cos c.

Otra posibilidad es hacer uso de la f
ormula del coseno que nos produce
una ecuacion del tipo
a1 cos c + a2 senc = a3 ,
10

donde la incognita es c.
senc =

2t
1+t2 ,

cos c =

Entonces haciendo uso de las transformaciones

1t2
1+t2

donde t = tan 2c , llegamos a que la soluci

on

viene dada por la igualdad

p
a2 a21 + a22 a23
c
tan =
.
2
a1 + a3
Tri
angulo LLA-2. Se conocen a, b y C. Este caso es m
as sencillo: la
ormula de los senos nos
f
ormula del coseno nos da directamente c y ahora la f
proporciona los valores de A y B.
Resto de los casos. Nos falta por analizar los casos AAL y AAA, pero
estos se resuelven pasando al tri
angulo polar que ser
a de alguno de los casos
LLA-1, LLA-2, o LLL ya estudiados.

1.7. Problemas propuestos

Problema 1. En la esfera de radio unidad S 2 R3 , se definen los
siguiente elementos:
(i) El ecuador como la intersecci
on de S 2 con el plano z = 0. El ecuador es
un crculo m
aximo que divide a S 2 en el hemisferio norte definido como
2
S+
:= {(x, y, z) S 2 : z > 0},

2
y el hemisferio sur S
cuyos puntos tienen coordenada z estrictamente

negativa.
(ii) El meridiano cero como la intersecci
on de S 2 con el plano y = 0. Este
crculo m
aximo divide a S 2 en dos semiesferas. Los puntos (x, y, z) de
S 2 con y < 0 se dice que est
an al oeste del meridiano. Aquellos puntos
(x, y, z) de S 2 con y > 0 se dicen al este del meridiano cero.
(iii) El polo norte como el punto N = (0, 0, 1) y el polo sur S como su opuesto.
(iv) La colatitud de un punto X cualquiera de la esfera, como la medida del
\
angulo N

OX (de modo que N y S tienen colatitud 0 y 180o respectvamente).

11

(v) Se define la latitud de un punto del hemisferio norte como el complementario de su colatitud: = 90 colatitud. La latitud de un punto X
del hemisferio sur es la opuesta de la latitud de X. De este modo la
latitud de N sera 90o mientras que la de S seria 90o .
(vi) El conjunto de todos los puntos de S 2 con la misma latitud se llama
paralelo. Es una circunferencia cuyo plano es paralelo al ecuador.
(vii) Se define la longitud de un punto X al este del meridiano cero como el
^
valor del
angulo Y
RX donde Y es el u
nico punto del meridiano cero que
tiene la misma latitud que X, y R es el centro del paralelo que pasa por
X e Y . Por su parte la longitud de un punto X al este del meridiano
^
cero es el opuesto del valor del
angulo Y
RX (donde Y es como antes).
De este modo la longitud vara de 0 a 180o para puntos del oeste, y de
180o a 0 para los puntos del este.
Encuentrense expresiones analticas que expresen las coordenadas cartesianas (x, y, z) de un punto de S 2 en funci
on de la latitud y la longitud de
dicho punto (podemos simplificar suponiendo por ejemplo que el punto est
a
en el hemisferio norte y al este del meridiano cero). Recprocamente, se pide
expresar latitud y longitud en funci
on de las coordenadas cartesianas.
Problema 2. Demuestrese que el tri
angulo polar T 00 del polar T 0 de un
tri
angulo esferico T , es el propio T .
Problema 3. En la esfera S de centro O se supone dada una recta
esferica r como intersecci
on de un plano (que pasa por O) con la propia
esfera S. Se definen los polos de r como los puntos de intersecci
on de la
perpendicular a por O con S. De forma dual, si P es un punto de la esfera,
se define su recta polar como la intersecci
on del plano ortogonal a OP que
pasa por O con la esfera. Demuestrese que si tres puntos est
an alineados
en una recta esferica r, entonces sus rectas polares inciden en un polo de r.
Demuestrese la propiedad dual de la que acabamos de enunciar.
Problema 4. Demuestrese que la noci
on de tri
angulo polar que se ha
dado en este captulo es equivalente a la siguiente definici
on de corte m
as
12

geometrico: Dado un tri

angulo esferico T de vertices P, Q, R y lados p, q, r se
define el polar T 0 como aquel cuyos vertices son P 0 , Q0 , R0 de modo que P 0
es el polo de p que est
a en el mismo hemisferio que P respecto del crculo
m
aximo p (y an
alogamente se definen Q0 y R0 ).
Problema 5. En un tri
angulo esferico se conoce C = 90o , a = 119o 460 3600
y B = 52o 250 3800 . Determinar los valores de b, c y A. (Soluci
on: 48o 260 4900 ,
109o 140 y 113o 100 4600 ).
Problema 6. En un tri
angulo esferico se conoce a = 57o 220 1100 , b =
72o 120 1900 , y C = 94o 10 4900 . Determinar los valores de c, A y B. (Soluci
on:
83o 460 3200 , 57o 400 4500 y 72o 490 5000 ).
Problema 7. En un tri
angulo esferico se conoce c = 90o , B = 62o 200 4200 ,
y a = 136o 190 . Determinar los valores de A, C y b. (Soluci
on: 139o 460 1300 ,
69o 140 4500 y 71o 180 900 ).
Problema 8. Dos barcos X e Y viajan a lo largo de sendos paralelos de
latitud 48o Norte y 15o Sur respectivamente. Se sabe que en todo momento
los dos barcos est
an en el mismo meridiano de longitud. Si la velocidad de X
es de 15 km/h, encuentrese la velocidad de Y .

Problema 9. Este,
no es en realidad un problema de trigonometra
esferica. Pero es el fundamento del c
alculo del punto de mayor latitud en un
crculo m
aximo: consideremos un crculo m
aximo que no sea el ecuador ni
un meridiano. Demuestrese que el punto de mayor latitud de dicho crculo es
aquel en el que el crculo m
aximo corta perpendicularmente a los meridianos.
Problema 10. Pruebese que dos lados de un tri
angulo esferico son
iguales si y s
olo si sus
angulos opuestos lo son.
Problema 11. En un tri
angulo esferico isosceles, escrbase:
(i) La expresi
on del lado desigual en funci
on del lado de valor repetido y del
angulo comprendido.

(ii) Escrbase en funci

on de las mismas variables el valor del
angulo repetido.
Problema 12. Sup
onganse que P y Q son dos puntos con la misma
latitud y cuya diferencia de longitudes es 2l. Sea X el punto del crculo
13

m
aximo que pasa por P y Q que tiene latitud m
axima. Escrbase dicha latitud
m
axima en funci
on de y l.

14