MARTN JOSEMARA VUELTA ROJAS

NOCIONES DE TRIGONOMETRA ESFRICA

Seminario Permanente de Astronoma y Ciencias Espaciales Facultad de Ciencias Fsicas Universidad Nacional Mayor de San Marcos

NOCIONES DE TRIGONOMETRA ESFRICA

1. Introduccion
La Trigonometra aparece de forma incipiente, como auxiliar de la Geometra, en los primeros albores de la Matemtica. Los egipcios y los babilonios utilizan en sus clculos unos conceptos que pueden considerarse precursores de las razones trigonomtricas. Sin embargo, el estudio sistemtico de las relaciones entre los arcos de una circunferencia y las longitudes de las cuerdas que subtienden se lleva a cabo por primera vez entre los griegos, uno de los cuales, Hiparco de Nicea (180125 a.C.), al que se le atribuye un tratado sobre el clculo de las cuerdas en un crculo, suele considerarse como el padre de la Trigonometra. Tambin la Trigonometra esfrica tiene sus inicios en la antigedad clsica. Menelao de Alejandra (100 d.C.) fue el primero en definir un tringulo esfrico en su tratado Sphoerica, y desarroll en l un gran nmero de teoremas de la trigonometra esfrica basados en el clebre teorema de Menelao. Pero el gran maestro en cuestiones trigonomtricas fue sin duda Claudio Tolomeo (85-165 d.C.) cuya ingente obra de trece libros -Almagesto- puede considerarse el tratado de Astronoma por excelencia hasta la poca de Coprnico y Kepler. Luego del oscurantismo, es a partir del siglo XII que llega la trigonometra a los pases occidentales de manos de los matemticos rabes, que transmiten las contribuciones griegas e indias en esta materia. En todas ellas, los clculos trigonomtricos aparecen orientados de forma casi exclusiva a las aplicaciones astronmicas o nuticas; pero el matemtico rabe Nasir Al-Din (1201- 1274) ya preconiza la consideracin de la Trigonometra como una rama particular de las Matemticas dotada de entidad propia, al publicar un primer tratado sobre trigonometra plana y esfrica independiente de la Astronoma. Es en pleno siglo XV que se produce un decisivo avance en la trigonometra debido a las obras de Johan Mller (1436-1476), ms conocido como Regiomontano, que realiza una exposicin sistemtica de los distintos mtodos de resolucin de tringulos planos y esfricos. A principios del siglo XVII, el matemtico Jhon Napier inventa los logaritmos y gracias a esto los clculos trigonomtricos recibieron un gran empuje. Ya a mediados del mismo siglo, Isaac Newton inventa el clculo diferencial e integral. Uno de los fundamentos del trabajo de Newton fue la representacin de muchas funciones matemticas utilizando series infinitas de potencias. Newton encontr la serie para el y series similares para el y la . As, con la invencin del clculo, las funciones trigonomtricas fueron incorporadas al anlisis, donde todava hoy desempean un importante papel tanto en las matemticas puras como en las aplicadas. En el siglo XVIII, el matemtico Leonhard Euler demostr que las propiedaMartn Josemara Vuelta Rojas

NOCIONES DE TRIGONOMETRA ESFRICA

des de la trigonometra eran producto de la aritmtica de los nmeros complejos y adems defini las funciones trigonomtricas utilizando expresiones con exponenciales de nmeros complejos. Con anterioridad a 1971 la enseanza de la trigonometra esfrica, al lado de la trigonometra plana, formaba parte de los planes de estudios preuniversitarios. Sin embargo, desde entonces solamente la han cursado quienes han desarrollado estudios relativos a la Astronoma, a la Geodesia o a la Navegacin. Pese a ello, a partir de conocimientos elementales de Geometra Euclidiana y de las nociones bsicas de la Trigonometra plana se pueden obtener fcilmente las correspondientes nociones de la esfrica.

Figura 1. Angulo diedro. La media del ngulo diedro es . Considere que

2. Preliminares
2.1. Consideraciones geomtricas

La trigonometra esfrica suele considerarse parte de la geometra esfrica que, de modo anlogo a la trigonometra plana, estudia los polgonos que se forman sobre la superficie de la esfera, en especial, los tringulos. Como tal podemos partir de unos cuantos conceptos geomtricos y trigonomtricos para poder construir la teora bsica de la trigonometra esfrica asociada a los tringulos esfricos. Empecemos recordando algunas nociones de geometra del espacio Definicin 1. Un ngulo diedro es cada una de las dos partes del espacio delimitadas por dos semiplanos que parten de recta comn denominada arista. Definicin 2. El valor de un ngulo diedro o el ngulo correspondiente al diedro es el de menor amplitud posible que conforman dos semirrectas pertenecientes a cada semiplano y contenidas en un plano perpendicular a la arista del diedro.

Martn Josemara Vuelta Rojas

NOCIONES DE TRIGONOMETRA ESFRICA

Una definicin importante que deriva de la anterior es la de ngulo poliedro, que ms adelante nos proporcionar una definicin de polgono esfrico. Definicin 3. Un ngulo poliedro es la regin del espacio limitada por tres o ms semirrectas no coplanarias y con un origen comn, llamado vrtice. Cada semirrecta es una arista del ngulo poliedro, y dos de estas aristas consecutivas determinan un plano llamado cara. Dos caras consecutivas forman un ngulo diedro. El ngulo poliedro ms sencillo es un ngulo triedro, formado por tres caras. Cuando el ngulo poliedro est todo l en el mismo semiespacio respecto a cada una de sus caras, se dice que es convexo, siendo cncavo en caso contrario.

Figura 2. Angulo poliedro.

El caso de inters para nosotros, por razones que se pondrn de manifiesto ms adelante, es el del ngulo triedro que segn la Definicin 3 es el ngulo poliedro limitado por tres semirrectas no coplanarias.

Figura 3. Angulo triedro.

Martn Josemara Vuelta Rojas

NOCIONES DE TRIGONOMETRA ESFRICA

y se denominan caras del triedro, aunque en Los ngulos sentido estricto las caras son los planos determinados por los puntos y . Por otro lado los ngulos diedros opuestos a las caras son aquellos formados por los otros dos planos distintos de la cara, as p. ej. el diedro opuesto a la cara es el formado por las caras y . Las medidas correspondientes a las caras se representan con letras latinas minsculas, as y , y la medida de los diedros opuestos de representa por las respectivas letras maysculas. Los convenios de notacin y nomenclatura recin establecidos nos permitirn expresarnos de forma clara y sin ambigedades. As pues veamos algunas de las propiedades del ngulo triedro que ha de sernos tiles en lo sucesivo. Propiedades. 1. La medida de las caras y de sus diedros opuestos siempre son menores que

2. La medida de una cara siempre es mayor que las diferencia de las dos restantes y menor que la suma de las mismas.

3. A mayor medida ngulo diedro le corresponde mayor medida de la cara.

4. La suma de las caras es menor que

5. La suma de los diedros es mayor que

y menor que

2.2. Consideraciones trigonomtricas

A la par de las consideraciones geomtricas tambin es de gran valor tener en cuenta el siguiente formulario bsico de trigonometra pues le evitara andar corriendo por el libro de consultas trigonomtricas. En lo sucesivo considere y

Martn Josemara Vuelta Rojas

NOCIONES DE TRIGONOMETRA ESFRICA

menores de aunque algunas frmulas son de carcter general.

Relaciones entre ngulos complementarios. a. b. ( ( ) )

Relaciones entre ngulos complementarios. a. b. ( ( ) )

Relaciones entre ngulos opuestos. a. b. ( ( ) )

Razones trigonomtricas de ngulos compuestos. a. b. ( ( ) )

Razones trigonomtricas de ngulo doble. a. b. ( ( ) )

Razones trigonomtricas de ngulo mitad. a. b. ( ) ( )

Transformaciones de suma y diferencia a producto. a. b. c. d. ( ( ( ( ) ) ) ) ( ( ( ( ) ) ) )

Martn Josemara Vuelta Rojas

NOCIONES DE TRIGONOMETRA ESFRICA

Es recomendable para el lector manipular las formulas aqu dadas para obtener otras identidades para las dems razones trigonomtricas. Adems de estas identidades es tambin de inters que el lector tenga presente los resultados bsicos de resolucin de tringulos planos. Estos resultados se agrupan en dos conjuntos bsicos de frmulas: el grupo de cosenos y el grupo de senos. Como referencia para la lectura de estas frmulas tome la Figura 4. Grupo de los cosenos a. b. c. Grupo de los cosenos a.

Teniendo en cuenta las consideraciones geomtricas y trigonomtricas se espera que el lector est listo para el posterior desarrollo del tema: Trigonometra Esfrica.

Figura 4: Tringulo plano.

3.

Geometra de la esfera

El anlisis de las figuras que se representan sobre la superficie esfrica lo lleva a cabo la Geometra Esfrica. Los conceptos fundamentales de esta Geometra son los siguientes: circunferencias mximas, circunferencias menores, distancia esfrica, ngulo esfrico, etc. Mediante estos conceptos se definen el tringulo esfrico y su tringulo polar y adems se deducen sus propiedades fundamentales.

Martn Josemara Vuelta Rojas

NOCIONES DE TRIGONOMETRA ESFRICA

3.1. Elementos geomtricos de la esfera

Para empezar definamos lo que ha de ser la base de nuestro objeto de estudio: Definicin 4. Dado un punto C en el espacio euclideo tridimensional , se denomina esfera con centro en C y de radio R al lugar geomtrico que contiene a todos ubicados a una distancia menor o igual a R de C1. Si queremos una definicin simblica de esfera bastara reescribir la definicin anterior como sigue { }

Para quienes gustan de las representaciones analticas podramos escribir { ( ) ( ) ( ) ( ) }

donde y son las coordenadas del centro de la esfera respecto de algn referencial cartesiano definido sobre . De la esfera solo estamos interesados en su frontera, es decir, en la superficie esfrica que se define de la siguiente manera Definicin 5. Dado un punto C en el espacio euclideo tridimensional , se denomina superficie esfrica con centro en C y de radio R al lugar geomtrico que contiene a todos ubicados a una distancia R de C. Las expresiones tipo 1 o 2 para la superficie esfrica se obtiene sin ms que cambiar la desigualdad por una igualdad. Algunos elementos de inters, para nosotros, asociados a la superficie esfrica son los siguientes Definicin 6. Se denomina circunferencia mxima a la interseccin de la superficie esfrica con el plano secante que contiene al centro de la misma. Definicin 7. Se denomina circunferencia menor a la interseccin de la superficie esfrica con cualquier plano secante que no pase por el centro de la misma.
1

Para objetivos del presente artculo, En esta definicin debemos tener en cuenta que la distancia viene definida mediante el producto escalar cannico en el espacio vectorial inducido por las traslaciones en , es decir que la distancia entre dos puntos y pertenecientes a viene dada por donde y son las coordenadas del vector en alguna base ortonormal de .

Martn Josemara Vuelta Rojas

NOCIONES DE TRIGONOMETRA ESFRICA

Definicin 8. Se denominan polos de una circunferencia mxima a los extremos del dimetro perpendicular al plano que contiene a dicha circunferencia mxima.

Figura 5. Elementos geomtricos de la esfera

3.2. ngulos en la esfera

Ahora que tenemos nocin de los elementos bsicos en la geometra de la esfera lo siguiente es saber cmo vamos a medir los ngulos en la esfera y para ello utilizaremos algunos de los elementos definidos en las preliminares. Definicin 9. El ngulo esfrico entre circunferencias mximas es ngulo diedro de menor amplitud formado por los planos que las contienen.

Figura 6. Angulo esfrico

Martn Josemara Vuelta Rojas

NOCIONES DE TRIGONOMETRA ESFRICA

En la Figura 6 tenemos una ilustracin del ngulo esfrico de medida determinado por los planos contenedores de los arcos de circunferencia mxima y . Un concepto importante asociado al de anglo esfrico es el de distancia esfrica ente dos puntos. Definicin 10. La distancia esfrica entre dos puntos situados sobre una superficie esfrica es la longitud menor del arco de circunferencia mxima que contiene a dichos puntos.

Figura 7. Distancia esfrica entre dos puntos situados sobre una superficie esfrica

El clculo de la distancia esfrica (la lnea (1) en la Figura 7) como un valor numrico se establece de la medicin de arcos en el plano. As, la longitud de esfrica entre dos puntos viene determinada por

Donde es la medida del diedro formado por los planos determinados por los puntos y con el dimetro perpendicular a la circunferencia mxima que los contiene.
3.3. Tringulo esfrico

Sabiendo calcular distancias y medir ngulos sobre la esfera podemos ahora estudiar las propiedades de los tringulos sobre la esfera. Definicin 11. Recibe el nombre de tringulo esfrico la interseccin de un triedro y una esfera centrada en el vrtice del triedro. Algunas veces suele definirse el tringulo esfrico como una regin esfrica

Martn Josemara Vuelta Rojas

NOCIONES DE TRIGONOMETRA ESFRICA

limitada por tres arcos de circunferencia mxima que se cortan dos a dos, sin embargo cualquier intento de hacer trigonometra morira si consideramos as mismo como tringulo a complemento, respecto de la esfera, de la regin limitada por el triedro.

Figura 8. Triedro O-ABC y tringulo esfrico ABC.

La definicin dada es particularmente conveniente pues nos permite derivar algunas propiedades del tringulo esfrico a partir de las vistas para el triedro que le da origen. Consideremos pues los siguientes convenios antes de ver las propiedades.

Figura 9. Triedro O-ABC y tringulo esfrico ABC dentro de la esfera.

Los lados del triedro

y corresponden a los arcos y del trinMartn Josemara Vuelta Rojas

10

NOCIONES DE TRIGONOMETRA ESFRICA

gulo y se denominan lados del tringulo esfrico ABC. Ntese que se identifica el lado del tringulo esfrico con la medida angular correspondiente a la cara del triedro a la cual pertenece. Los ngulos diedros del triedro se identifican con los ngulos del tringulo esfrico. De la analoga expuesta tenemos entonces Propiedades. En un tringulo esfrico ABC: 1. La medida de las caras y de sus ngulos opuestos siempre son menores que 2. La medida de un lado siempre es mayor que las diferencia de las dos restantes y menor que la suma de las mismas.

3. A mayor medida ngulo le corresponde mayor lado.

4. La suma de los lados es menor que

5. La suma de los ngulos es mayor que

y menor que

Es interesante notar que la determinacin de un tringulo esfrico permite descomponer la superficie esfrica en un total de 8 tringulos esfricos incluido el que definimos intencionalmente. Consideremos el tringulo esfrico ABC de la Figura 9 y dibujemos los puntos diametralmente opuestos a sus vrtices (antpodas) entonces tenemos 7 tringulos ms que son segn vemos en la Figura 10. Es un ejercicio interesante expresar los ngulos y los lados en de estos tringulos en funcin de los lados y ngulos del tringulo .

Martn Josemara Vuelta Rojas

11

NOCIONES DE TRIGONOMETRA ESFRICA

Figura 10. Descomposicin de la superficie esfrica en tringulos esfricos.

3.4. Tringulo polar

Adems de estos tringulos es tambin importante en la demostracin y comprensin de algunas propiedades, que veremos ms adelante, el denominado tringulo polar definido como Definicin 12. Dado un tringulo esfrico , se define su tringulo polar y se denota por tos , al que se obtiene uniendo por arcos de circunferencia mxima los polos correspondientes a cada uno de los lados, escogiendo en cada caso aquel que se encuentre en el mismo hemisferio que el tringulo esfrico.

Figura 11. Tringulo esfrico

y su tringulo polar correspondiente

12

Martn Josemara Vuelta Rojas

NOCIONES DE TRIGONOMETRA ESFRICA

La definicin anterior puede ser un poco oscura, pero bien entendida permite construir el tringulo polar asociado al tringulo de manera univoca. La construccin del tringulo polar (Figura 11) vendra a ser como sigue: El vrtice es el polo, de la circunferencia que contiene al lado , ms cercano al vrtice . El vrtice es el polo, de la circunferencia que contiene al lado , ms cercano al vrtice . Finalmente vrtice es el polo, de la circunferencia que contiene al lado , ms cercano al vrtice . Es curiosos notar que, dada la definicin de triangulo polar, si el punto es el polo de la circunferencia que contiene al lado y es el polo, de la circunferencia que contiene al lado entonces el vrtice comn de y , es el polo de la circunferencia mxima que contiene a . Haciendo la misma observacin sobre los vrtices y llegamos a una importante conclusin enunciada en el siguiente teorema. Teorema 1. Todo tringulo esfrico es el polar de su polar correspondiente. Es comn encontrar algunos textos que definen al tringulo polar en funcin de las relaciones de sus ngulos y sus lados con los del tringulo , relaciones que bajo ciertas condiciones son satisfechas tambin por el tringulo formado por los puntos , y diametralmente opuestos a los puntos , y , vrtices del tringulo polar asociado al tringulo . Estas relaciones de las que hablamos son las siguientes. Propiedades. En un tringulo esfrico ABC, sus lados y ngulos cumplen las siguientes relaciones con los lados y ngulos de su polar: 1. Los lados del tringulo ABC tiene por suplemento a los ngulos homlogos de su polar. 2. Los ngulos del tringulo ABC tiene por suplemento a los lados homlogos de su polar Las propiedades resultan evidentes a partir de la forma en la cual se construMartn Josemara Vuelta Rojas

13

NOCIONES DE TRIGONOMETRA ESFRICA

ye el polar del tringulo ABC, veamos entonces una breve demostracin. Demostracin de 1. En el tringulo esfrico ABC (Figura 12) prolonguemos el lado c hasta que corte a los lados y en los puntos y respectivamente. Resulta pues que el arco tiene la misma medida que el ngulo . Consi . Del Teorema 1 derando esto se tenemos la igualdad sabemos que es el polo de la circunferencia mxima que contiene al lado y que cumple la misma relacin respecto al lado , tenemos entonces que con lo cual expresamos la igualdad como de conde se deduce autom ticamente la primera igualdad de 1. Las demostraciones para los otros ngulos son anlogas.

Figura 12.

Demostracin de 2. En el tringulo esfrico ABC (Figura 13) prolonguemos los lados y hasta que corten al lado en los puntos y . Resulta pues que el arco tiene la misma medida que el ngulo . Considerando esto se te . Si tenemos en cuenta el hecho nemos la igualdad que que es el polo de la circunferencia mxima que contiene al lado y cumple la misma relacin respecto al lado , tenemos entonces se que con lo cual la igualdad de donde se deduce automticamente la expresa como

14

Martn Josemara Vuelta Rojas

NOCIONES DE TRIGONOMETRA ESFRICA

primera igualdad de 2. Las demostraciones para los otros ngulos son anlogas.

Figura 13.

3.5. rea de un tringulo esfrico

Puede resultar un ejercicio interesante la interesante el clculo del rea de un tringulo esfrico, para lo cual haremos uso de la descomposicin en tringulos de la superficie. Antes consideremos las siguientes definiciones: Definicin 13. Se denomina exceso esfrico del tringulo esfrico ABC a la cantidad . Definicin 14. Se denomina exceso esfrico del tringulo esfrico ABC a la cantidad . Podemos enunciar ahora el siguiente teorema: Teorema 2. El rea, de un tringulo esfrico es igual a producto del cuadrado del radio de la esfera sobre la que se encuentra por su exceso esfrico medido en radianes. Demostracin. Sea una superficie esfrica de radio . En la Figura 10 los tringulos esfricos y forman el huso esfrico correspondiente al ngulo . El rea de este huso esfrico viene dada por ( ) . De igual forma los tringulos y forman el huso esfrico correspondiente al ngulo y tiene por rea ( ) . Por ltimo los

Martn Josemara Vuelta Rojas

15

NOCIONES DE TRIGONOMETRA ESFRICA

tringulos y el huso esfrico correspondiente al ngulo y rea ( ) . Considerando que los tringulos y forman la mita de la superficie esfrica y que las reas de los tringulos ABC y ABC son iguales pues son simtricos respecto del ) centro de la superficie esfrica tenemos la igualdad ( de donde se deduce inmediatamente el teorema. Hay que tener en cuenta que en la demostracin se han considerado los ngulos y estn medidos en radianes. Otro resultado interesante se expresa en el siguiente teorema. Teorema 3. El exceso y defecto esfrico de un tringulo ABC son iguales al defecto y exceso esfrico de su tringulo polar asociado respectivamente. La prueba es inmediata y un tanto trivial pero resulta importante pues permite expresar el rea del tringulo polar en funcin de los elementos del tringulo que lo origina.

4. Trigonometra de la esfera.
Uno de los objetivos primordiales de la Trigonometra esfrica es calcular un elemento - lado o ngulo- cualquiera de un tringulo esfrico, a partir del conocimiento de otros tres. Adems, conviene que el clculo de dicho elemento sea independiente, es decir, que no utilice ningn elemento distinto de los previamente conocidos.
4.1. Resolucin de tringulos esfricos

La determinacin realizada los lados y ngulos desconocidos en estas condiciones es lo que se considera resolver un tringulo esfrico. Existen unos grupos de frmulas que permiten estos clculos independientes en todos los casos posibles; son los llamados grupos de Bessel y los expresamos en los siguientes teoremas.
4.2. Frmulas de Bessel

Teorema 4. (Primer grupo de Bessel) En un tringulo esfrico ABC, Los senos de los lados son proporcionales a los senos de sus ngulos opuestos. Demostracin. En el tringulo esfrico ABC de la Figura 14 es la proyeccin ortogonal de sobre la recta , es la proyeccin ortogonal de sobre la recta y es la proyeccin ortogonal de terminado por , y . Entonces sobre sobre el plano dey . Martn Josemara Vuelta Rojas

16

NOCIONES DE TRIGONOMETRA ESFRICA

, por otro lado Con esto tenemos que . Igualando las expresiones tenemos obtenidas y repitiendo el procedimiento para las otras caras, llegamos al resultado establecido por el Teorema 4.

Figura 14.

Este teorema relaciona los lados y los ngulos va sus razones trigonomtricas y permite la determinacin de un ngulo o un lado a partir del conocimiento de dos ngulos y el lado opuesto de uno de ellos o dos lados y el ngulo opuesto a uno de ellos respectivamente. Teorema 5. (Segundo grupo de Bessel) En un tringulo esfrico el coseno de cualquier lado es igual a la suma del producto de los cosenos de los otros dos lados y el producto de los senos de los mismos por el coseno del ngulo opuesto Demostracin. Consideremos de nuevo las mismas condiciones del Teorema 4 en la Figura 14. Tenemos que . Sea , entonces Con ( ) , desarrollando el ( ), e igualando lleesto gamos a donde, segn el . Reemplagrafico, y zando y repitiendo el procedimiento para los otros ngulos obtenemos el resultado establecido por el Teorema 5.

Martn Josemara Vuelta Rojas

17

NOCIONES DE TRIGONOMETRA ESFRICA

Con este teorema podemos calcular un lado en funcin de los lados restantes y el ngulo opuesto al lado deseado. El tercer grupo de Bessel es un tanto ms complicado pero es deducible del primero y del segundo grupo. Cada formula de este tercer grupo relaciona dos lados con dos ngulos no opuestos. Teorema 6. (Tercer grupo de Bessel) En un tringulo esfrico los ngulos y los lados cumplen las siguientes relaciones: Demostracin. Demostraremos solo la primera igualdad pues las dems son anlogas. Partimos del Teorema 5 aplicado al lado , as tenemos que Del Teorema 4 y Teorema 5 aplicado al lado la igualdad anterior se transforma en ( ) Lo cual concluye la prueba. Los grupos de Bessel vistos hasta ahora dependen de los lados ms que de los ngulos, sin embargo el cuarto grupo es un teorema para aplicar a los ngulos, cada frmula de este grupo relaciona los ngulos del tringulo esfrico con uno de sus lados.

18

Martn Josemara Vuelta Rojas

NOCIONES DE TRIGONOMETRA ESFRICA

Teorema 7. (Cuarto grupo de Bessel) En un tringulo esfrico ABC, los ngulos y los lados cumplen las siguientes relaciones:

La prueba es bastante sencilla y consiste en la aplicacin directa del Teorema 5 al triangulo polar asociado al triangulo esfrico y de las relaciones establecidas segn las propiedades (cf. pg. 13). Con estas indicaciones se espera que el lector realice la prueba detalladamente. Mediante estos cuatro grupos de Bessel puede calcularse cualquier elemento de un tringulo esfrico, a partir de otros tres conocidos. Los tres elementos conocidos, junto con el Que deseamos conocer, son los cuatro elementos que tienen que relacionarse; ellos nos indicarn el grupo al que hay que acudir y la frmula nica, dentro de este grupo, en la Que aparecen. Para cada una de las quince combinaciones cuaternarias posibles entre los seis elementos de un tringulo esfrico, existe una y solo una frmula de Bessel Que los relaciona.
4.3. Formulas auxiliares

Supongamos que tenemos alguno de los datos dados en trminos de su funcin trigonomtrica, las dificultades aparecen si la incgnita viene dada mediante un seno pues en este caso disponemos de dos valores suplementarios como posibles soluciones. Para decidir si deben aceptarse los dos valores o slo uno de ellos, necesitamos conocer otras propiedades relativas a los lados y ngulos de un tringulo esfrico; dichas sern deducidas de unas frmulas notables, las de Briggs y las de Delambre-Gauss. Teorema 8. (Frmulas de Briggs) En un tringulo esfrico ABC, los ngulos y los lados cumplen las siguientes relaciones: ( ( ) ( Donde ( ) ( ( ) ( ) ) )

) es el semipermetro del tringulo.

Martn Josemara Vuelta Rojas

19

NOCIONES DE TRIGONOMETRA ESFRICA

Demostracin. Considerando el caso del seno tenemos y despejando el coseno de tenemos

Aplicando el Teorema 5 al lado

Aplicando las identidades vistas en la pg. 5 se llega a Con lo que concluimos la prueba. La demostracin para el coseno es por completo anloga y para la tangente basta con dividir las expresiones para la el coseno y el seno. Las frmulas de Briggs permiten obtener unas proporciones conocidas como analogas en las que intervienen todos los elementos del tringulo esfrico. Las utilizaremos para establecer equivalencias muy tiles entre relaciones con pares de lados del tringulo y relaciones anlogas entre los ngulos opuestos. Teorema 9. (Analoga de GaussDelambre) En un tringulo esfrico ABC, los ngulos y los lados cumplen las siguientes relaciones: Demostracin. Consideremos la primera de las analogas y calculemos el seno. ( ( ) ) ( )

20

Martn Josemara Vuelta Rojas

NOCIONES DE TRIGONOMETRA ESFRICA

Aplicando las frmulas de Briggs (Teorema 8) ( ) ( ) ( )

( )

) )

Aplicando la transformacin del seno a producto (pg. 5) obtenemos finalmente la igualdad buscada Con lo que concluimos la demostracin.

5. Bibliografa

[1] A. Vila Mijta, Elementos de Trigonometria esfrica, Barcelona: Ediciones UPC, 1992. [2] M. Barrero Ripoll, L. Casado Fuente, A. Castejon Solanas y L. Sebastian Lorente, Trigonometria Esferica. Fundamentos., Madrid: E.T.S.I., 2008. [3] C. Chinea, Formulas de la Trigonometra Esfrica, Marchena, 2002.

Martn Josemara Vuelta Rojas

21