La geometr el a ptica

Hasta ahora hemos estudiado dos ejemplos de geometr mtricas, es decir, as e geometr donde est denida la distancia entre dos puntos y la perpendicularias a dad entre rectas. Una es la geometr de los planos parablicos, que se obtienen a o eliminando una recta de un plano proyectivo; la segunda es la geometr hia perblica, en la que nos quedamos slo con los puntos interiores de una cnica. o o o La geometr el a ptica, que vamos a estudiar ahora, es la geometr mtrica del a e plano proyectivo completo, considerando a todos los puntos nitos. As como la geometr hiperblica incumple el axioma E de Euclides porque por un punto a o exterior a una recta pasa ms de una paralela, la geometr el a a ptica lo incumple en sentido contrario: como bien sabemos, en un plano proyectivo no existen paralelas. Formalmente, la geometr el a ptica se puede desarrollar de forma completamente anloga a la hiperblica. El unico cambio es que vamos a tomar como a o cnica innita una cnica imaginaria, de modo que no d lugar a ninguna dio o e visin de los puntos del plano. Al igual que en los otros casos, podr o amos denir espacios el pticos de cualquier dimensin, pero nosotros nos limitaremos al caso o plano porque es completamente representativo y ms simple en la prctica. a a

13.1

El plano el ptico

Denicin 13.1 Un plano el o ptico es un plano proyectivo real en el que hemos seleccionado una cnica imaginaria (cnica innita). Diremos que dos rectas o o son perpendiculares si son conjugadas respecto a la cnica innita. Llamareo mos grupo el ptico o grupo de isometr al grupo de las homograf que jan as as a la cnica innita. Dos guras son congruentes si existe una isometr que o a transforma una en otra. Vamos a introducir un modelo que nos permita relacionar la geometr a el ptica con la eucl dea. El plano proyectivo es de la forma P(V ), donde V es un espacio vectorial tridimensional real. Existe un sistema de referencia proyectivo respecto al cual la cnica innita tiene ecuacin x2 + y 2 + z 2 = 0. Este o o

ww

w.

at

em

at

ic a

1.c

om

sistema de referencia se corresponde con una base de V . Dotamos a V del producto escalar que en dicha base tiene matriz identidad, es decir, el producto respecto al cual dicha base es ortonormal. Ms en general, podemos considerar a a V como un espacio af eucl n deo en el que hemos jado un sistema de referencia ortonormal de modo que los puntos del plano proyectivo son las rectas que pasan por el origen O y las coordenadas homogneas de un punto son las e coordenadas en el sistema de referencia jado de uno de los puntos (que no sea O) de la recta correspondiente. Dos puntos de coordenadas X e Y son conjugados respecto de la cnica o innita si y slo si XY t = 0, es decir, si y slo si vistos como rectas de V son o o ortogonales. Las rectas proyectivas estn formadas por los puntos que cumplen una a ecuacin ax + by + cz = 0, es decir, son los planos de V que pasan por O. o Tambin es claro que un punto y una recta son conjugados si y slo si, vistos e o como recta y plano, uno es perpendicular al otro. Todas estas relaciones se pueden simplicar si escogemos representantes concretos en V para los puntos proyectivos. Sea S la esfera en V de centro O y radio 1. Cada recta que pasa por O corta a S en dos puntos ant podas. En trminos proyectivos, cada punto tiene dos ternas de coordenadas homogneas e e sujetas a la restriccin x2 + y 2 + z 2 = 1. Podemos, pues, identicar el plano o proyectivo con el conjunto de los pares de puntos ant podas de S. De ahora en adelante y salvo que indiquemos lo contrario, cuando hablemos de un punto de S nos referiremos a un par de puntos ant podas considerados como un solo objeto. Las rectas proyectivas se corresponden con las intersecciones con S de los planos que pasan por su centro, es decir, son los llamados c rculos mximos de la esfera, a las circunferencias cuyo radio coincide con el de la esfera. Dos circunferencias son ortogonales (en el sentido de la geometr el a ptica) si la perpendicular por el origen del plano de una pasa por la otra. En otros trminos, que si tomamos e a una como ecuador de la esfera, sus perpendiculares son las circunferencias que pasan por los polos. Es fcil ver que esto equivale a que sean ortogonales en el a sentido del cap tulo 11. Consideremos ahora una isometr el a ptica f . Podemos verla tambin como e un automorsmo de V (visto como espacio vectorial). Sean X e Y las coordenadas de dos puntos y sean X e Y las coordenadas de sus imgenes. Puesto que a f ha de conservar la polaridad de la cnica innita, los puntos sern conjugados o a si y slo si lo son sus imgenes, es decir, XY t = 0 es equivalente a X Y t = 0. o a Esto signica que f conserva la ortogonalidad en V , luego es una semejanza, luego f = kg, donde k es un nmero real no nulo y g es una isometr lineal u a de V . Ahora bien, es claro que f y g inducen la misma homograf en el plano a proyectivo, luego podemos concluir que las isometr el as pticas estn inducidas a por las isometr lineales de V . El rec as proco es cierto: si f es una isometr a lineal y A es su matriz en el sistema de referencia que estamos considerando, un punto est en la cnica innita si sus coordenadas (imaginarias) cumplen a o XX t = 0. Su imagen por f tiene coordenadas XA y, como A es una matriz ortogonal, XAAt X t = XX t = 0, luego la imagen sigue en la cnica. En reo

ww

w.

M at

em

at

ic

a1

.c om

sumen: las isometr el as pticas son exactamente las homograf inducidas por as las isometr lineales de V o, equivalentemente, por las isometr de V (visto as as como espacio af que jan a O. n) Denicin 13.2 Llamaremos modelo esfrico de la geometr el o e a ptica al conjunto S formado por los pares de puntos ant podas de una esfera eucl dea. Las rectas el pticas son los c rculos mximos. Dos rectas son perpendiculares si lo a son sus tangentes en los puntos de corte. Una isometr el a ptica es la restriccin o a S de una isometr del espacio eucl a deo que ja al centro de S. Adems hemos visto que el polo de una recta en el modelo esfrico es el par a e de polos (en el sentido geogrco) cuando consideramos a la recta como ecuador. a Las isometr del modelo esfrico son en particular homograf luego conas e as, servan ngulos en el sentido del cap a tulo 11. Podemos, pues, denir el angulo entre dos rectas el pticas en la esfera como el ngulo eucl a deo entre sus tangentes por los puntos de corte y es claro entonces que dos pares de rectas son congruentes si y slo si forman el mismo ngulo. Veamos que el ngulo entre o a a dos rectas puede denirse sin hacer referencia al modelo esfrico exactamente e como en la geometr hiperblica, es decir, a o r 1 r2 = 1 |arg R(r1 , r2 , I1 , I2 )| , 2

o donde I1 e I2 son las tangentes a la cnica innita por el punto r1 r2 y el argumento se toma en ], [. En efecto, el ngulo denido as es sin duda invariante por isometr Basta a as. probar que ambas deniciones coinciden sobre rectas que pasan por el polo norte (0, 0, 1). Sus coordenadas homogneas sern de la forma (a, b, 0) y (a , b , 0). Sus e a tangentes por el polo norte sern las intersecciones de los planos ax + by = 0 y a a x + b y = 0 con el plano z = 1. Ahora bien, podemos identicar el plano z = 1 con el plano af que resulta de eliminar la recta z = 0 en el plano proyectivo n de partida. Entonces las tangentes cuyo angulo hemos de medir son las propias rectas iniciales (sin su punto innito). Con ms detalle: en este plano af a n tenemos ahora una estructura eucl dea, de modo que las coordenadas cartesianas (x, y) correspondientes a las coordenadas homogneas (x, y, 1) estn asociadas a e a un sistema de referencia ortonormal. Hasta aqu tenemos que el ngulo entre las a rectas denido en el modelo esfrico corresponde con el ngulo entre ellas mismas e a respecto a esta estructura eucl dea. Este ngulo puede calcularse por la frmula a o de Cayley, que es formalmente idntica a la que queremos probar. Slo hemos e o de asegurarnos de que las tangentes a la cnica innita por el punto de corte o (0, 0, 1) coinciden con las rectas istropas por dicho punto, pero esto es obvio, o pues ambas son las rectas x iy = 0. En efecto, ambas pasan por los puntos circulares (1, i, 0) y sus coordenadas homogneas cumplen x2 + y 2 + z 2 = 0. e Podemos plantearnos la frmula anloga a la distancia hiperblica entre dos o a o puntos P y Q en trminos de la razn doble R(P, Q, P , Q ), donde P y e o Q son los puntos de corte entre la cnica innita y la recta P Q. Ahora bien, o

ww w.

at

em at

ic a1 .c

om

puesto que las coordenadas homogneas de un punto coinciden con las de su e e polar, vemos que las coordenadas de P y Q son tambin las de las rectas tangentes a la cnica innita por el punto en que se cortan las polares de P y o Q, luego dicha razn doble es un nmero complejo de mdulo 1 cuyo argumento o u o es el ngulo entre dichas polares. Esto nos lleva a la denicin siguiente, donde a o recogemos tambin la denicin de ngulo que hemos discutido anteriormente. e o a Denicin 13.3 Llamaremos distancia el o ptica entre dos puntos P y Q como d(P, Q) = 1 |arg R(P, Q, P , Q )| , 2

donde P y Q son los puntos en que la recta P Q corta a la cnica innita y o el argumento se toma en ], [. El ngulo el a ptico entre dos rectas r1 y r2 es r1 r2 = 1 |arg R(r1 , r2 , I1 , I2 )| , 2

Exactamente el mismo argumento que en el caso de la geometr hiperblica a o nos lleva a las frmulas: o cos d = xx + yy + zz x2 + y 2 + z 2 x2+y2+z2 ,

ww

Ambas magnitudes pueden variar en [0, /2[, con el convenio de que son nulas si los puntos o las rectas son iguales. Ambas se conservan por isometr as. Hemos probado que la distancia entre dos puntos es el angulo entre sus polares. En el modelo esfrico la distancia entre dos puntos P y Q coincide con el ngulo e a entre las rectas OP y OQ, donde O es el centro de la esfera. El ngulo entre a dos rectas es el denido en el cap tulo 11. Tambin es claro que dos pares de puntos/rectas son congruentes si y slo e o si su distancia/ngulo es el mismo. a

w.

cos =

at em

xx + yy + zz x2 + y 2 + z 2 x2+y2+z2

at

ic

a1

donde I1 e I2 son las tangentes a la cnica innita por el punto r1 r2 y el o argumento se toma en ], [.

.c o

donde (x, y, z) y (x , y , z ) son las coordenadas homogneas de dos puntos/rece tas. No obstante estas frmulas se siguen inmediatamente del modelo esfrico o e usando las propiedades del producto escalar en V .

13.2

Bilteros y tringulos a a

La ordenacin circular de la geometr el o a ptica conere a plano propiedades muy distintas de las que se siguen de la ordenacin lineal de las geometr o as eucl dea e hiperblica. Para empezar hemos de tener presente que dos puntos no o

determinan un segmento, sino dos segmentos complementarios. De este modo, cuando hablemos de un segmento AB habremos de entender que se trata de uno de los dos segmentos de extremos A y B. Recordemos que hab amos adoptado el convenio de llamar ACB al segmento de extremos A y B que contiene a C. Es fcil ver que un segmento y su complementario no son congruentes salvo a que los extremos disten /2. Por ello no podemos denir la longitud de un segmento como la distancia entre sus extremos, ya que en tal caso estar amos asignando la misma longitud a segmentos complementarios no congruentes. Para denir adecuadamente la longitud de un segmento nos basaremos en el hecho siguiente, que se comprueba sin dicultad en el modelo esfrico: e Cada segmento el ptico AB contiene un unico punto C con la pro piedad de que d(A, C) = d(C, B). Lo llamaremos punto medio del segmento. Ahora denimos la longitud de un segmento como el doble de la distancia de sus extremos a su punto medio. La idea es que en el modelo esfrico un segmento e es un arco de circunferencia de amplitud menor que (en realidad es un par de arcos ant podas de amplitud menor que ), por lo que la mitad de un segmento es un arco de amplitud menor que /2 y as la amplitud de este arco s coincide con la distancia entre sus extremos, luego la longitud del segmento completo as denida coincide con su amplitud como arco. Ahora s podemos armar que dos segmentos son congruentes si y slo si tienen la misma longitud. Es fcil probar o a que la longitud de un segmento y la de su complementario suman . Podemos expresar esto diciendo que las rectas tienen longitud . Una recta no divide al plano en dos partes. Dos rectas no lo dividen en cuatro angulos, sino en dos regiones que pode mos llamar bilteros. Un biltero tiene un vrtice y dos lados. a a e Dos puntos estn en el mismo biltero si existe un segmento a a que los une sin cortar a los lados. Una forma fcil de probar a estos hechos es observar que los bilteros son simplemente los a semiplanos que determina una recta en el espacio af que n resulta de tomar a la otra como recta innita. Podemos asignar una medida al a ngulo de cada biltero del mismo modo que hemos hecho con los segmentos. a La suma de los ngulos de dos bilteros complementarios es . a a Consideremos tres puntos no colineales A, B, C. Tomemos AB como recta innita. Entonces los bilteros de a vrtice A y lados AB y AC se convierten en los dos semiplae nos determinados por AC. La recta BC es secante a AC, luego divide al plano en cuatro angulos. Dos puntos estn a en el mismo ngulo si y slo si el segmento (af que los a o n) une no corta a BC ni a AC, o equivalentemente, si y slo si existe un segmento o que los une y no corta a ninguna de las rectas AB, AC, BC. Esta caracterizacin es simtrica y no depende de la recta que hemos too e mado como innita ni del orden de los puntos, luego podemos armar que tres puntos no colineales A, B, C dividen al plano en cuatro partes que llamaremos

ww

w.

at em

at ic

a1 .c

om

tringulos de vrtices A, B, C. Es claro por las deniciones que dos puntos a e estn en el mismo tringulo de vrtices A, B, C si y slo si estn en el mismo a a e o a biltero de vrtice A y lados AB, AC, en el mismo biltero de vrtice B y lados a e a e BA, BC y en el mismo biltero de vrtice C y lados CA y CB. Llamaremos a e A, B y C para un tringulo dado T a los bilteros de vrtices A, B, C que a a e contienen a T , y los llamaremos ngulos de T a Sea T un tringulo de vrtices A, B, C. Podemos tomar una recta que pase a e por A pero no est contenida en A. Si la convertimos en recta innita las rectas e AB y AC se vuelven paralelas y T se convierte en el conjunto de los puntos comprendidos entre ambas y que estn en uno de los semiplanos determinados a por BC. Vemos entonces que de los dos segmentos que B y C determinan en BC, uno est contenido en el angulo A y el otro es exterior a l. a e En general, llamaremos lado opuesto al vrtice A al segmento de BC contee nido en A. Lo mismo vale para los otros vrtices. Dado un tringulo T , cada uno e a de los otros tres tringulos con sus mismos vrtices comparte con T un angulo a e y su lado opuesto. Los otros dos lados y angulos son los complementarios de los de T . Si, al igual que antes, representamos a un tringulo T como el conjunto de a puntos anes comprendidos entre dos rectas paralelas y situados en un mismo semiplano respecto a una tercera recta r, veremos claramente que existe una recta que no corta a ninguno de sus lados (ni pasa por sus vrtices). Basta e tomar una recta paralela a r en el semiplano opuesto a T . Tenemos, pues, que siempre existe una recta que no corta a ninguno de los lados de un tringulo. Si a tomamos esta recta como innita T se convierte en un tringulo af ordinario. a n De aqu podemos traducir al plano el ptico algunos teoremas sobre la ordenacin o lineal. Por ejemplo, una recta no puede cortar a los tres lados de un tringulo. a Sin embargo, el hecho de que exista una recta que no corta a los vrtices y lados e de un tringulo implica que corta a los complementarios de los lados, luego estos a segmentos no son los lados de ningn tringulo. u a Esto muestra que tres segmentos pueden conectar tres puntos y pese a ello no ser los lados de ningn tringulo. u a Con ms detalle: digamos que un tringulo tiene lados a, a a b, c y llamemos a, b, c a los complementarios. Entonces los otros tringulos tienen lados (a, b, c), (a, b, c) a y (a, b, c). Las otras cuatro combinaciones son imposibles. Vemos entonces que si en una combinacin posible de o segmentos cambiamos uno por su complementario obtenemos una combinacin o imposible y viceversa. Teorema 13.4 Un lado de un tringulo es menor que la suma de los otros dos. a Demostracion: Consideremos un tringulo el a ptico ABC. Supongamos que AB es el lado mayor. Si el tringulo tiene dos lados iguales mayores o iguales a que el tercero la desigualdad es obvia. Bastar probar que AB < AC + CB. a Trabajamos en el modelo esfrico. Sea O el centro de la esfera. En cuanto e sigue AB representar el segmento eucl a deo de extremos A y B y en lugar del segmento el ptico correspondiente.

ww

w.

at

em

at ic a1

.c om

Sea D el punto sobre AB que hace AOD = AOC. Sea O C el punto sobre la semirrecta OC tal que OC = OD. Entonces AOC = AOD, pues tienen dos lados iguales y el a ngulo entre ellos, luego AC = AD. Ahora, BC > AB AC = AB AD = DB. Los D B A tringulos OBC y OBD tienen dos lados iguales y un lado a C desigual BC > DB, luego BOC > BOD = AOB AOD, es decir, BOC > AOB AOC, que en trminos del tringulo el e a ptico original a es AB < AC + CB, como hab que probar.
Ejercicio: Probar que un lado de un tringulo el a ptico es siempre mayor que la diferencia de los otros dos.

Teorema 13.5 La suma de los lados de un tringulo es menor que 2. a Demostracion: Si el tringulo tiene lados a, b, c, consideramos uno de a los tringulos adyacentes, digamos el de lados a, b, c. Por el teorema a anterior c < a + b, luego a + b + c < 2. Al aplicar la polaridad de la cnica innita a las rectas que pasan por el o vrtice de un biltero y estn contenidas en l obtenemos un segmento. Es e a a e fcil ver que si el ngulo del biltero mide a lo sumo /2 lo mismo le ocurre al a a a segmento, y en tal caso el ngulo del biltero coincide con el que forman sus a a lados y la longitud del segmento coincide con la distancia entre sus extremos, y adems sabemos que ambas coinciden. Es decir, la polaridad transforma a bilteros rectos y agudos en segmentos de la misma longitud. Pasando por los a complementarios vemos que tambin es cierto para bilteros obtusos. e a En particular la polaridad transforma los tres angulos de un tringulo T a en tres segmentos que conectan los polos de sus lados. La longitud de cada segmento es igual a la amplitud del angulo del que proviene. Sin embargo estos segmentos no son los lados de ningn tringulo. Para probarlo observamos que u a un punto P del tringulo est contenido en una recta contenida en cada angulo, a a luego su recta polar pasa por un punto de cada segmento. Por consiguiente, los complementarios de estos segmentos s son los lados de un tringulo (al a tomar complementarios tres veces pasamos de una combinacin imposible a o otra posible). Denicin 13.6 Llamaremos tringulo polar de un tringulo el o a a ptico T al tria ngulo que tiene por vrtices los polos de las prolongaciones de sus lados y por e lados los complementarios de los segmentos formados por los polos de las rectas contenidas en sus ngulos. a Hemos probado que si T es el tringulo polar de T y los ngulos de T miden a a , y , entonces los lados de T miden , , . a Veamos que los ngulos de T son los complementarios de los bilteros fora mados por las polares de los puntos de los lados de T . Digamos que los vrtices e

ww

w.

at

em

at

ic a

1.c

om

de T son A, B, C y sus lados opuestos son a, b, c. Tomemos un punto Q de la recta BC. Entonces Q estar en a si y slo si la recta AQ est en A, si y slo si a o a o o p(AQ) no est en el lado de T de extremos p(AB), p(AC), si y slo si p(Q) no a est en el biltero de vrtice p(BC), si y slo si p(Q) est en el complementario a a e o a de dicho biltero. a Con esto es inmediato el teorema siguiente: Teorema 13.7 Si T es un tringulo el a ptico y T es su tringulo polar, entonces a T es el tringulo polar de T . Si los angulos de T miden , , y sus lados a miden a, b, c, entonces los lados de T miden , , y sus angulos miden a, b, c. Este teorema nos permite extender a la geometr el a ptica el principio de dualidad de la geometr proyectiva. Veamos una primera aplicacin: a o Teorema 13.8 La suma de los ngulos de un tringulo es mayor que y menor a a que 3. Demostracion: Si los ngulos del tringulo son , , , entonces el teorema a a anterior aplicado al tringulo polar nos da 0 < + + < 2, a luego < + + < 3.

Las isometr el as pticas son mucho ms simples que las eucl a deas o las hiperblicas. Consideremos el modelo esfrico. Una isometr el o e a ptica est indua cida por una isometr eucl a dea que ja a la esfera, y sabemos que en un sistema de referencia adecuado su matriz ha de ser de la forma cos sen 0 sen cos 0 . 0 0 1 Si multiplicamos todos los coecientes por 1 obtenemos otra isometr a eucl dea que induce la misma isometr el a ptica (pues estamos componindola e con la isometr que intercambia los puntos ant a podas). Por consiguiente podemos suponer que la ultima entrada es un +1. En denitiva, cada isometr a el ptica est inducida por un unico giro en R3 . a El eje del giro corta al plano el ptico en un unico punto O. Es claro que O es un punto jo, al igual que lo es su recta polar r. Si el angulo es distinto de entonces O es el unico punto jo y r la unica recta ja. Si = entonces la isometr ja tambin a todos los puntos de r y a todas las rectas que pasan a e por O. En denitiva:

ww

w.

13.3

Isometr el as pticas

at em

Ejercicio: Probar que un tringulo coincide con su polar si y slo si todos sus lados a o y ngulos miden /2. a

at

ic

a1

.c om

Teorema 13.9 Si f es una isometr del plano el a ptico distinta de la identidad, existen un punto O y una recta r un vocamente determinados, a los que llamaremos centro y eje de f de modo que los unicos puntos jados por f son O y quiz los puntos de r, y las unicas rectas jadas por f son r y quiz las a a rectas que pasan por O. Adems r es la recta polar de O. a Por razones obvias las isometr el as pticas se llaman tambin giros. e

13.4

Trigonometr el a ptica

La trigonometr el a ptica es completamente anloga a la hiperblica. Cona o sideremos un tringulo de vrtices A, B, C, lados a, b, c y angulos , , , a e relacionados como es habitual. Comenzaremos demostrando el teorema del coseno. C Supongamos primeramente que y b son agudos. Sea P la proyeccin ortogonal de C sobre el o plano AOB y sea M su proyeccin ortogonal sobre o a OA. El plano CP M es perpendicular a OA, pues hc contiene las rectas CP y CM , ambas perpendib culares a OA. Por consiguiente, las rectas M P B y M C son paralelas a las tangentes a la esfera O por M contenidas en los planos OAB y OAC resc P pectivamente, es decir, CM P = . Claramente M se tiene adems que OM = cos b, M C = sen b, a M P = sen b cos , P C = sen b sen . A Consideremos la suma de vectores OM + M P + P C = OC y proyectmosla e ortogonalmente sobre la recta OB. Si llamamos p a la proyeccin es fcil como a probar que p(OM ) = cos b cos c, p(M P ) = sen b cos cos(/2 c) = sen b sen c cos , p(P C) = 0, p(OC) = cos a. Por lo tanto cos a = cos b cos c + sen b sen c cos . (13.1) Si > /2 entonces cambia el sentido de M P , pero tambin cambia el signo e de cos , luego la frmula sigue siendo vlida. Si b > /2 entonces aplicamos o a la frmula al tringulo adyacente de lados a, b, c y el mismo ngulo o a a y obtenemos la misma frmula para el tringulo dado. Si = /2 entonces o a M = P y si b = /2 entonces O = M . En ambos casos la frmula se deduce sin o dicultad.

ww

w.

at

em

at

ic

a1

.c o

Volviendo al caso en que y b son agudos, consideremos ahora la proyeccin o sobre el eje perpendicular al plano AOB. Entonces p(OM ) p(M P ) p(P C) p(OC) = = = = 0, 0, sen b sen , sen hc ,

donde hc es la altura del tringulo que une C con c. Tenemos, pues, a sen hc = sen b sen , y como antes se comprueba que esta relacin es vlida en el caso general. o a Aplicndola a obtenemos sen hc = sen a sen . Despejando sen hc e igualando a obtenemos el teorema de los senos. As pues,

La frmula (13.1) muestra que si dos tringulos tienen los lados iguales o a entonces tambin tienen los ngulos iguales, y de aqu se sigue fcilmente que e a a son congruentes. Por dualidad, si dos tringulos tienen los angulos iguales a tambin son congruentes. De hecho, aplicando la frmula (13.1) al tringulo e o a polar obtenemos el teorema del coseno para un lado: cos = cos cos + sen sen cos a.

ww w.

at

em

Las frmulas (13.1) y (13.2) se conocen como frmulas de Bessel. o o

at

ic

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

a1

.c

om

(13.2)

(13.3)

Dejamos a cargo del lector la comprobacin de que todas las frmulas de o o la trigonometr hiperblica son vlidas para tringulos el a o a a pticos cuando las razones hiperblicas se sustituyen por las correspondientes circulares. Todas o las comprobaciones son fciles a partir de las frmulas que ya tenemos. Por a o ejemplo, el teorema del coseno cuando = /2 se convierte en el teorema de Pitgoras el a ptico: cos a = cos b cos c. Cada relacin tiene una dual, resultante de aplicarla al tringulo polar. Por o a ejemplo, todo tringulo rectiltero (con un lado recto, digamos a) cumple a a cos = cos cos .