Geomticos en Accin

LAS FRMULAS DE LA

TRIGONOMETRIA ESFERICA

El siguiente documento es una recopilacin de las formulas ms utilizadas en la trigonometra esfrica, se incluyen casi todas las formulas, pero, no sus deducciones por cuestiones de volumen del documento. Se Incluye entonces:
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.

INTRODUCCIN Trigonometra esfrica:

Es la parte de la geometra esfrica que estudia los polgonos que se forman sobre la superficie de la esfera, en especial, los tringulos. La resolucin de tringulos esfricos tiene especial relevancia en astronoma nutica y navegacin para determinar la posicin de un buque en altamar mediante la observacin de los astros, entre otros ejemplos.

Geomticos en Accin

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 crculos 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.

Geomticos en Accin

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

Geomticos en Accin

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 puntos. 3

Geomticos en Accin

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

Geomticos en Accin

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.

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 5

Geomticos en Accin

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:

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

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.

Geomticos en Accin

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 8

Geomticos en Accin

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
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

Geomticos en Accin

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.

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 10

Geomticos en Accin

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

11

Geomticos en Accin

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 ( 12

tg2

Geomticos en Accin

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

p-c p-b A sen( k ).sen( k ) 2 = tg p p-a 2 sen( )sen( ) k k p-a p-c B sen( k ).sen( k ) 2 = 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 p b).sen(p c) ( 2 ( 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 13 cos2 A = 2

Geomticos en Accin

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

14

Geomticos en Accin

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 2 . cos A = 2 . cos A = = a a sena 2 2 2.sen . cos 2 2 b c b c cos cos 2 . cos A sen B + C = 2 . cos A = 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 15

Geomticos en Accin

cos

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

B+C b+ c 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

16

Geomticos en Accin

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

17

Geomticos en Accin

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

18