LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

LAS FRMULAS DE LA

TRIGONOMETRIA ESFERICA

1. 2. 3. 4. 5. 6. 7. 8.

LA ESFERA. ELEMENTOS DE LA ESFERA. FORMULAS DE LOS SENOS. FORMULAS DE LOS COSENOS. FORMULAS DE BESSEL. FORMULAS DE LAS COTANGENTES. FORMULAS DE BORDA. ANALOGIAS DE DELAMBRE. ANALOGIAS DE NEPER.

---OO0OO---

MARCHENA

DICIEMBRE 2002

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

1. LA ESFERA. ELEMENTOS DE LA ESFERA:

La esfera: Una esfera E, de centro en el punto (a,b,c) y radio k, es el dominio de R3 definido por

E = (x , y , z ) R 3 / (x a ) + (y b ) + (z c ) k 2
2 2 2

Superficie de la esfera: Se llama superficie de una esfera de centro en el punto (a,b,c) y radio k, al dominio de R3 definido por

E = (x , y , z ) R 3 / (x a ) + (y b ) + (z c ) = k 2
2 2 2

Crculos mximos: Se llaman c rculos mximos de una esfera de radio k a las circunferencias de radio k. Los crculos mximos estn contenidos en la superficie de la esfera. Se llama ngulo barrido sobre un crculo mximo comprendido entre dos punto A y B del mismo al ngulo AOB, siendo O el centro matemtico de la esfera.

MARCHENA

DICIEMBRE 2002

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

Propiedades elementales: a) 4 puntos del espacio eucldeo R3 definen una esfera, y solo una. b) Por un punto P de la superficie de una esfera pasan infinitos crculos mximos. Por dos puntos P y Q de la superficie de una esfera pasa un crculo mximo y solo uno. c) Si la longitud de arco desde A a B es a y el radio de la esfera es k, el ngulo sobre el crculo mximo es @ = a/k.

Volumen y superficie de la esfera: El volumen de una esfera es el volumen de revolucin engendrado por un recinto circular que gira alrededor del dimetro. La superficie es la superficie lateral de un cuerpo de revolucin. Si consideramos a la esfera centrada en el origen, se tiene:

Para el volumen:

V = 2 y 2.dx , Para la superficie: S = 4 y. 1 + y ' 2 .dx

0 0

MARCHENA

DICIEMBRE 2002

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

Clculos:
k k 4 V = 2 y 2 .dx =2 k 2 x 2 .dx = .k 3 0 0 3

S = 4 0 y. 1 + y ' .dx = 40
2

k x k 2 y. 1 + y .dx = 40 y. y .dx = 4.k

Dominio sobre la superficie esfrica: Un dominio de superficie esfrica es un recinto o rea sobre la superficie de la esfera limitado por curvas contenidas en dicha superficie.

Tringulo esfrico: Un tringulo esfrico de vrtices A, B y C, es el dominio de superficie esfrica limitado por tres crculos mximos que se cortan en A, B y C.

Los lados, a, b y c, son respectivamente, los arcos de crculo mximo opuestos a A, B y C. En todo tringulo esfrico de lados a, b y c, y de vrtices A, B y C, sobre una superficie esfrica de radio k, se pueden distinguir 6 ngulos: A, B y C: son los ngulos diedros que definen los crculos mximos que se cortan en dichos
MARCHENA DICIEMBRE 2002

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

puntos.

CARLOS S. CHINEA

a/k, b/k, c/k son los ngulos centrales (con vrtice en el centro de la esfera) barridos por cada uno de los lados a, b y c. Las razones trigonomtricas seno, coseno, tangente, cotangente, secante y cosecante de cada uno de estos ngulos son tambin el seno, coseno, tangente, cotangente, secante y cosecante del ngulo plano de igual amplitud. Esto quiere decir que son validas las frmulas de la trigonometra plana para cada ngulo, esto es: Relaciones elementales:

cos2 a + sen2 a = 1,
ngulo suma/diferencia:

tg2 a =

sen2 a , cos2 a

sen2 a =

tg 2 a , 1 + tg2 a

cos2 a =

1 1 + tg 2 a

sen(a b) = sena. cos b cos a.senb cos(a b) = cos a. cos b m sena.senb tga tgb tg( a b) = 1 m tga.tgb
ngulo doble:

sen2 A = 2.senA. cos A,

ngulo mitad:

cos 2 A = cos A sen A,

2 2

2.tg2 A tg2 A = 1 tg 2 A

cos2

A 1 + cos A = , 2 2

sen2

A 1 cos A = , 2 2

tg 2

A 1 cos A = 2 1 + cos A

Factorizacin de suma/diferencia de senos y de suma/diferencia de cosenos:

p + q p q senp + senq = 2.sen . cos 2 2 p + q p q senp senq = 2. cos .sen 2 2 p + q p q cos p cos q = 2.sen .sen 2 2 p + q p q cos p + cos q = 2. cos . cos 2 2

MARCHENA

DICIEMBRE 2002

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

Tringulo polar: Se llama tringulo polar relativo al tringulo esfrico de vrtices A,B y C, y lados a, b y c, al tringulo de vrtices A', B' y C', y lados a', b' y c', definido por: A' = 180 - a/k, B' = 180 - b/k, C' = 180 - c/k a'/k = 180 - A, b'/k = 180 - B, c'/k = 180 - C Esfera trigonomtrica: Llamaremos esfera trigonomtrica a una esfera de radio unidad. Los ngulos centrales coinciden en esta esfera con los lados del tringulo.

MARCHENA

DICIEMBRE 2002

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

2. FORMULAS DE LOS SENOS: Sea el tringulo esfrico ABC sobre una esfera de radio k y centro en el punto O(0,0,0). Tracemos la normal AD al plano OBC. Por el punto D tracemos ahora la normal DF a la recta OB y la normal DE a la recta OC. La paralela por F a DE corta a OC en el punto G y la paralela a OC por D corta a OB en el punto H. Analicemos los tringulos planos que se forman al efectuar el trazado de las anteriores rectas al objeto de obtener una relacin entre los senos de los ngulos que aparecen en el tringulo esfrico.

Si consideramos el tringulo rectngulo plano AFD y tambin que el ngulo de vrtice en F coincide con el ngulo B del tringulo esfrico se tiene:

AD = AF .sen B = AO. sen c / k. sen B

Anlogamente, podemos considerar el tringulo plano AED y que el ngulo de vrtice en E coincide con el ngulo C del tringulo esfrico:

AD = AE.sen C = AO. sen b / k . sen C

al identificar:

AO. sen c / k . sen B = AO.sen b / k . sen C

o sea:

sen b / k sen c / k = sen B sen C

Haciendo lo mismo con los otros vrtices B y C (normales desde B y desde C), se tienen las formulas de los senos:
MARCHENA DICIEMBRE 2002

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

a b c sen sen sen k = k = k sen A sen B sen C

que, si se trata de la esfera trigonomtrica (k = 1) se puede escribir:

sen a sen b sen c = = sen A sen B sen C

Frmulas que guardan una cierta analoga con las frmulas del mismo nombre de la trigonometra plana. En definitiva: En un tringulo esfrico se verifica siempre que el ngulo central que barre cada uno de los lados es proporcional al seno del ngulo diedro opuesto.

MARCHENA

DICIEMBRE 2002

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

3. FORMULAS DE LOS COSENOS: Para deducir ciertas relaciones bsicas entre los cosenos de los ngulos del tringulo esfrico, volvemos a utilizar la figura del apartado anterior.

Podemos partir de la relacin:

OE = OG + GE

obtenemos la expresin de cada uno de estos tres trminos: Si consideramos el tringulo plano ADE, vemos que est situado en un plano perpendicular al segmento OC, por lo que el lado AE es perpendicular a OC. Se verifica, entonces, que

OE = OA. cos b / k = k. cos b / k

Anlogamente, se obtienen:

OG = OF. cos a / k = k. cos c / k. cos a / k GE = FD.sen a / k = AF . cos B.sen a / k = k.sen c / k. cos B.sen a / k
Por tanto, se verifica que:

k. cos b / k = k. cos c / k. cos a / k + k.sen c / k. cos B.sen a / k

es decir:

cos b / k = cos c / k . cos a / k + sen c / k . cos B.sen a / k

Anlogamente se obtienen, proyectando los otros dos vrtices del tringulo esfrico, frmulas anlogas. Se tiene, en definitiva, el sistema de frmulas conocido como las formulas de los cosenos:

cos a / k = cos b / k. cos c / k + sen b / k. sen c / k . cos A

MARCHENA DICIEMBRE 2002

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

cos b / k = cos c / k. cos a / k + sen c / k. sen a / k . cos B cos c / k = cos a / k. cos b / k + sen a / k . sen b / k. cos C

CARLOS S. CHINEA

O sea: En un tringulo esfrico, el coseno del ngulo central barrido por un lado es igual al producto de los cosenos de los ngulos barridos por los otros dos lados ms el producto de los senos por el coseno del ngulo diedro opuesto. Si se trata de la esfera trigonomtrica, se tiene:

cos a = cos b. cos c + sen b. sen c. cos A cos b = cos c. cos a + sen c. sen a. cos B cos c = cos a. cos b + sen a. sen b. cos C

MARCHENA

DICIEMBRE 2002

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

4. FORMULAS DE BESSEL: Desde las frmulas de los cosenos, obtenidas en la seccin anterior, se pueden obtener de inmediato un conjunto de varias frmulas conocidas como "relaciones del seno por el coseno" o tambin denominadas Frmulas de Bessel. Fueron deducidas por primera vez por el gran matemtico Friedrich Wilhelm Bessel (Wesfalia, Alemania, 1784-Kaliningrado, Rusia, 1846).

cos a / k = cos b / k. cos c / k + sen b / k. sen c / k . cos A cos b / k = cos c / k. cos a / k + sen c / k. sen a / k . cos B cos c / k = cos a / k. cos b / k + sen a / k . sen b / k. cos C
Si en las frmulas del coseno, sustituimos alguno de los cosenos despejados, por el ejemplo el que figura en la tercera relacin, en su expresin en el primer sumando de alguna de las otras dos relaciones, se obtiene una frmula para el producto de un seno por un coseno: As, por ejemplo, sustituimos en la segunda formula el la tercera:

cos c / k , que figura despejado en

sen c / k. sen a / k. cos B = cos b / k cos c / k . cos a / k = = cos b / k cos a / k. (cos a / k. cos b / k + sena / k. senb / k. cos C ) = = cos b / k cos2 a / k. cos b / k cos a / k . sena / k. senb / k. cos C = = cos b / k.sen2 a / k cos a / k. sena / k . senb / k. cos C
Dividiendo toda la expresin por

sen a / k : sen c / k. cos B = cos b / k . sen a / k cos a / k . senb / k. cos C

permutando las letras se obtiene todo el conjunto de las frmulas:

sen c / k. sen c / k. sen b / k. sen b / k. sen a / k. sen a / k.

cos B = cos b / k . sen a / k cos A = cos a / k. sen b / k cos A = cos a / k . sen c / k cos C = cos c / k. sen a / k cos B = cos b / k. sen c / k cos C = cos c / k. sen b / k

cos a / k . senb / k. cos C cos b / k. sena / k . cos C cos c / k. sena / k. cos B cos a / k. senc / k. cos B cos c / k . senb / k. cos A cos b / k. senc / k. cos A

El conjunto de las frmulas de Bessel puede escribirse, para la esfera de radio unidad, esto es, la esfera trigonomtrica, de la forma:

sen c. sen c. sen b. sen b. sen a. sen a.

MARCHENA

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

cos a. senb. cos C cos b. sena. cos C cos c. sena. cos B cos a. senc. cos B cos c. senb. cos A cos b. senc. cos A
DICIEMBRE 2002

10

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

5. FORMULAS DE LAS COTANGENTES: Combinando las frmulas de Bessel con la frmula de los senos, se obtiene el grupo de frmulas llamado formulas de las cotangentes. Tomando una cualquiera de las frmulas de Bessel, la primera del grupo, por ejemplo:

sen c / k. cos B = cos b / k . sen a / k cos a / k . sen b / k . cos C

dividimos a continuacin por la expresin del teorema de los senos

senA. senb / k = sena / k. senB

resulta:

ctgB =
multiplicando por

ctg b / k. sen c / k cos c / k. ctgA senA

sen A y despejando:

senA. ctgB = ctg b / k . sen c / k cos c / k . cos A

o sea:

sen c / k. ctgb / k = senA. ctgB + cos c / k. cos A

permutando letras, obtenemos el bloque de las frmulas de las cotangentes:

senc / k . ctgb / k = senA. ctgB + cos c / k. cos A senc / k . ctga / k = senB. ctgA + cos c / k . cos B senb / k. ctga / k = senC. ctgA + cos b / k. cos C senb / k. ctgc / k = senA. ctgC + cos b / k. cos A sen a / k. ctgb / k = sen C . ctgB + cos a / k . cos C sen a / k. ctg c / k = sen B. ctg C + cos a / k . cos B
que, para la esfera trigonomtrica, se convierten en :

senc. ctgb = senA. ctgB senc. ctga = senB. ctgA senb. ctga = senC. ctgA senb ctgc = senA. ctgC sena. ctgb = senC. ctgB sena. ctgc = senB. ctgC

+ cos c. cos A + cos c. cos B + cos b. cos C + cos b. cos A + cos a. cos C + cos a. cos B

MARCHENA

DICIEMBRE 2002

11

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

6. FORMULAS DE BORDA: A partir de las frmulas del ngulo mitad de la trigonometra plana, y sustituyendo las frmulas del coseno, podemos obtener un grupo de frmulas que explicitan la tangente del ngulo diedro mitad, obtenidas por primera vez por Jean Borda (Pars, 1733-1799). Si llamamos p al semipermetro del tringulo definido por los arcos a, b y c, se tiene:

p=

a+b+c b+ca a+c b b+ca , pa= , pb= , pc = 2 2 2 2

de las frmulas del coseno para la esfera trigonomtrica, se tiene:

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

cos a cos b. cos c senb.senc

y, a partir de la frmula de la trigonometra plana que da la tangente del ngulo mitad, se puede escribir:

cos a cos b. cos c A 1 cos A senb.senc cos a + cos b. cos c senb.senc tg2 = = = = cos a cos b. cos c 2 1 + cos A senb.senc + cos a cos b. cos c 1+ senb.senc b + a c b c a 2.sen .sen cos(b c ) cos a 2 2 = = = cos(b + c ) + cos a a b c a+ b+c 2.sen .sen 2 2 1 b + a c a + c b sen .sen 2 2 = sen(p c ).sen(p b ) = b + c a a + b + c sen(p a).senp sen .sen 2 2
podemos, entonces, escribir que:

tg2
y, por analoga:

A sen( p c ).sen ( p b) = 2 sen(p a).senp

tg2

B sen ( p c ).sen( p a) = 2 sen(p b).senp C sen( p a).sen( p b) = 2 sen ( p c ).senp

DICIEMBRE 2002

tg2

MARCHENA

12

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

En definitiva, se obtiene, para una esfera de radio k:

p-c p-b sen( ).sen( ) A 2 k k = tg p p-a 2 sen( )sen( ) k k p-a p-c sen( ).sen( ) B 2 k k = tg p p- b 2 sen( )sen( ) k k p-a p- b sen( ).sen( ) C 2 k k = tg p p-c 2 sen( )sen( ) k k
O sea: La tangente del ngulo diedro mitad es la raiz cuadrada del cociente de dividir el producto de los senos del complemento semiperimetral de los angulos centrales adyacentes por el producto del seno del semipermetro por el seno del complemento semiperimetral del ngulo central opuesto. Para despejar desde estas frmulas el seno y el coseno correspondientes, tengamos en cuenta las frmulas de trigonometra plana que nos dan:

sen2
Por lo cual, al sustituir:

A = 2

tg2

A 1 + tg2 2

A 2

cos2

A = 2

1 1 + tg2 A 2

sen(p b).sen( p c ) A sen( p b).sen (p c) senp.sen(p a) sen2 = = = sen( p b).sen ( p c ) senp.sen( p a) + sen 2 ( p b).sen(p c) 1+ senp.sen( p a) sen( p b).sen(p c) = senb.senc 1 senp.sen ( p a) = = sen( p b).sen(p c ) senp.sen( p a) + sen ( p b).sen( p c ) 1+ senp.sen( p a) senp.sen ( p a) = senb.senc MARCHENA DICIEMBRE 2002 13 cos2 A = 2

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

Donde se ha simplificado la expresin del denominador haciendo:

cos a cos(2p a) + 2 cos(c b) cos a cos(c b) cos(c + b) 2senb.senc + = = = senb.senc 2 2 2 senp.sen ( p a) + sen ( p b).sen( p c ) =
Se obtienen, as, el seno y coseno del ngulo diedro mitad, referidos a una esfera trigonomtrica, esto es, de radio unidad:

sen

A = 2 B = 2

sen(p b).sen(p c ) A , cos = senb.senc 2 sen(p a).sen(p c ) B , cos = sena.senc 2 sen(p b).sen( p a) C , cos = senb.sena 2

senp.sen(p a) senb.senc senp.sen(p b) sena.senc senp.sen(p c ) senb.sena

sen

sen

C = 2

MARCHENA

DICIEMBRE 2002

14

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

7. ANALOGIAS DE DELAMBRE: Usando las frmulas de Borda, y teniendo en cuenta que por la frmula del ngulo suma de la trigonometra plana es

B+C B C B C sen = sen .cos + cos .sen 2 2 2 2 2

Podemos obtener mediante una sencilla sustitucin las frmulas llamadas analogas de Delambre, obtenidas por Jean Baptiste Joseph Delambre (Amiens, 1749 - Pars, 1822). Efectivamente, se tiene:

sen + + +

B+C = 2

sen( p a).sen( p c ) senp.sen(p c) . + sena.senc sena.senb sen2 ( p c).senp.sen( p a) + sen2 a.senb.senc

senp.sen(p b) sen( p a).sen( p b) . = sena.senc sena.senb

sen2 (p b).senp.sen(p a) sen( p c ) senp.sen( p a) = + sena senb.senc sen2 a.senb.senc sen(p b) senp.sen(p a) sen ( p c ) + sen(p b) A = . cos = sena senb.senc sena 2

a 2p c b b c b c 2.sen . cos 2.sen . cos 2 2 A 2 2 A = . cos = . cos = a a sena 2 2 2.sen . cos 2 2 b c b c cos cos 2 A B+C 2 A = . cos sen = . cos a a 2 2 2 cos cos 2 2
Se obtiene, en definitiva:

Anlogamente se obtienen:

B+C b-c sen cos 2 = 2 A a cos cos 2 2 B-C b-c sen sen 2 = 2 A a cos sen 2 2

MARCHENA

DICIEMBRE 2002

15

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

Permutando circularmente las letras, se obtienen otras ocho frmulas que completan el grupo.

B+C b+ c cos cos 2 = 2 A a sen cos 2 2 B-C b+c cos sen 2 = 2 A a sen sen 2 2

C+A c-a sen cos 2 = 2 B b cos cos 2 2 C-A c-a sen sen 2 = 2 B b cos sen 2 2 C+A c+a cos cos 2 = 2 B b sen cos 2 2 C-A c+a cos sen 2 = 2 B b sen sen 2 2 A+B a-b cos 2 = 2 C c cos cos 2 2 A- B a-b sen sen 2 = 2 C c cos sen 2 2 A+B a+b cos cos 2 = 2 C c sen cos 2 2 A- B a+ b cos sen 2 = 2 C c sen sen 2 2 sen
MARCHENA DICIEMBRE 2002

16

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

8. ANALOGIAS DE NEPER: Si se dividen las analogias de Delambre, se obtienen las relaciones siguientes, conocidas como analogias de Neper:

B-C b+ c 2 .tg a tg = B+C 2 2 cos 2 cos B-C b- c 2 .tg a tg = B+C 2 2 sen 2 sen b-c B+C 2 .cotg A tg = b+c 2 2 cos 2 cos b-c sen B-C 2 .cotg A tg = b+c 2 2 sen 2

Permutando circularmente las letras, se obtienen otras ocho frmulas que completan este grupo.

C-A c+a 2 .tg b tg = C+A 2 2 cos 2 cos C-A sen c-a 2 .tg b tg = C+A 2 2 sen 2 c-a C+A 2 .cotgB tg = c+a 2 2 cos 2 cos

MARCHENA

DICIEMBRE 2002

17

LAS FRMULAS DE LA TRIGONOMETRA ESFRICA

CARLOS S. CHINEA

c-a sen C-A 2 .cotgB tg = c+a 2 2 sen 2 A- B cos a+ b 2 .tg c tg = A+ B 2 2 cos 2 A-B sen a-b 2 .tg c tg = A+B 2 2 sen 2 a- b cos A+ B 2 .cotgC tg = a+ b 2 2 cos 2 a-b sen A- B 2 .cotgC tg = a+ b 2 2 sen 2

MARCHENA

DICIEMBRE 2002

18