Trigonometra Hiperblica

Se puede demostrar, mediante el clculo de variaciones, que todas las geodsicas en el

plano-medio de Poincar sern necesariamente arcos de crculos centrados en la lnea
lmite (el eje x), de modo tal que esto nos permite definir las nicas dos rectas
hiperblicas posibles que puede haber en este plano-medio:
(1) arcos de crculo centrados en el eje x en donde y.=.0
(2) lneas verticales, perpendiculares al eje x; aunque hay algunos autores que
consideran a las lneas verticales como el caso lmite de arcos de crculo con un radio
infinitamente grande, con lo cual efectivamente todas las geodsicas en el plano medio
quedan definidas como arcos de crculos centrados en el eje x. En base a este resultado,
en la siguiente figura:

Todas las lneas k, l, m, n y p son geodsicas (rectas hiperblicas). Las lneas k y l no

son paralelas porque se cruzan. Tampoco lo son las lneas l y m por la misma razn. En
cambio, las lneas l y n son paralelas, como tambin lo son las lneas p y n, como
tambin lo son las lneas m y n. Las lneas hiperblicas k, m y n son designadas
como divergentemente paralelas, mientras que las lneas p y n son
llamadas asintticamente paralelas.
Dados dos puntos A y B cualesquiera en el plano-medio de Poincar, este
conocimiento nos permite encontrar la geodsica entre los puntos A y B; todo lo que
tenemos que hacer es trazar un arco de crculo que pase por dichos puntos y que tenga
su centro en la lnea lmite (y.=.0). Sabiendo esto, no debe ser ya ningn problema
construir un tringulo hiperblico en el plano-medio de Poincar cuyos vrtices estn
situados en los puntos A, B y C, como el que se muestra a continuacin:

El plano-medio de Poincar nos es de particular importancia porque es precisamente lo

que se adapta a la geometra desarrollada axiomticamente por Lobachevski, las
matemticas que se aplican dentro de este modelo y la demostracin de los teoremas
que se puedan llevar a cabo aqu corresponden a las relaciones hiperblicas
descubiertas por Nicolai Ivanovich Lobachevski.
Quienes ya leyeron las entradas anteriores puestas en esta bitcora, estn
familiarizados con el concepto de la perpendicular comn que dos rectas paralelas
comparten tanto en una geometra esfrica como en la geometra Saccheriana.
Entonces, al contemplar las lneas "paralelas" en la figura de arriba, tal vez se estn
preguntando ya en dnde est la perpendicular comn a cada par de rectas paralelas
en el plano-medio de Poincar? La respuesta es: todas las rectas (hiperblicas) trazadas
dentro del plano-medio de Poincar tienen una perpendicular comn con cualquiera de
las otras rectas, y esta perpendicular comn, siendo tambin una recta hiperblica, ser
tambin un arco de circunferencia trazado de una paralela a otra, de modo tal que al
tocar las dos paralelas formar ngulos rectos con cada una de ellas. A continuacin se
muestra la perpendicular comn pc a las rectas paralelas k y l:

Esta es la nica perpendicular comn que se muestra, porque en el plano-medio de

Poincar dos rectas hiperblicas paralelas divergentes pueden tener una y
solamente una perpendicular comn. Recordemos que tampoco en el
cuadriltero de Saccheri haba ms de una perpendicular comn. Contrstese esto con
la geometra Euclidiana, en donde dos rectas paralelas tienen una cantidad
infinitamente grande de perpendiculares comunes que se pueden trazar de una paralela
a la otra. Y como tampoco en la geometra esfrica se puede trazar ms que una
perpendicular comn entre dos paralelas (crculos mximos), se concluye que la
geometra Euclidiana es la nica geometra en la cual se puede trazar ms
de una perpendicular comn a dos rectas paralelas.
A continuacin se llevar a cabo la demostracin de que en el plano-medio de Poincar
solo es posible trazar una perpendicular comn a dos paralelas divergentes. Para
simplificar la demostracin de este hecho importante, vamos a considerar dos rectas
hiperblicas, una de las cuales es una lnea vertical perpendicular al eje x (la cual, como
ya se dijo, puede ser considerada como el caso lmite de una circunferencia en el planomedio centrada en el eje x con un radio infinitamente grande). En la siguiente figura se
muestran las dos paralelas divergentes k y l, habindose trazado tambin la tangente a
la semicircunferencia AB que pasa por el punto de tangencia T y por el punto P en el
cual la recta PQ toca al eje x:

Entonces, como se muestra en la figura, haciendo centro con un comps en el punto P y

trazando un arco de circunferencia que vaya desde la recta k hasta la recta l, tenemos en
dicho arco una perpendicular comn a las dos rectas hiperblicas k y l, ya que por ser
una perpendicular a la tangente y por ser tambin una perpendicular a la recta
vertical PQ, forma ngulos rectos con ambas lneas AB y PQ. Y como la tangente
mostrada es la nica que se puede trazar a la recta AB que pase por el
punto P (cualquier otra tangente pasar por otro punto que no sea P), se concluye que
esta es la nica perpendicular comn que se puede trazar entre las dos paralelas.
En relacin a la geometra esfrica (elptica), ya habamos visto que levantando
perpendiculares a una recta trazada a lo largo del Ecuador terrestre y marcando
distancias iguales en ellas para unirlas, formando as una lnea equidistante del
Ecuador terrestre, tal lnea no poda considerarse como una recta por no ser parte de
un crculo mximo. Las rectas paralelas equidistantes no existen sobre la superficie de
una esfera. Veremos ahora que lo mismo ocurre en el plano-medio de Poincar.
Empezaremos con la siguiente figura, en la cual se ha trazado una
lnea OB equidistante de la lnea OA:

PQ y RS son rectas hiperblicas de la misma longitud (medidas hiperblicamente con

la relacin matemtica dada para definir la longitud hiperblica). Por lo tanto, los
puntos Q yS son equidistantes de la recta hiperblica OA. Pero la lnea OB no es un
arco de crculo y por lo tanto no es una recta hiperblica. Se deduce que una
equidistante trazada a una recta hiperblica en el plano medio de Poincar no ser
hiperblicamente recta. As pues, ocurre lo mismo que en la geometra esfrica. Por lo
tanto, la nica geometra posible en donde una lnea equidistante a una
recta dada tambin ser una recta es la geometra Euclideana.
Podemos utilizar el plano-medio de Poincar para llevar a cabo la demostracin del
siguiente
Teorema: La suma de los ngulos internos de cualquier tringulo hiperblico es
menor que 180 grados (dos ngulos rectos).
Para llevar a cabo esta demostracin, considrese la siguiente figura:

Empecemos por examinar el tringulo hiperblico ABC, el cual dentro del plano-medio
de Poincar es un tringulo rectngulo (el ngulo recto est en el punto C). Sus
lados a, b y cson, respectivamente, un segmento de la perpendicular Euclideana a la
lnea lmite x (BC), un arco de la circunferencia Euclideana con centro en M (CA), y un
arco de la circunferencia Euclideana con centro en N (BA). El ngulo en el vrtice A es
igual al ngulo entre las tangentes de las circunferencias b y c en el punto A, o bien, el
ngulo entre los radios NA y MA de estas circunferencias. Adems, por construccin,
el ngulo en el vrticeB es igual al ngulo BNM.
Se ha construdo en el segmento BN, usndolo a manera de dimetro, la circunferencia
Euclideana q, la cual solo tiene un punto comn B con la circunferencia
Euclideana c en virtud de que su dimetro es el radio de dicha circunferencia c. Por
esta razn el punto A se encuentra fuera del crculo limitado por la circunferencia q, y
por lo tanto el ngulo en el vrtice A que es igual al ngulo MAN es menor que el
ngulo MBN. Entonces, en virtud de que, en la figura:
ngulo(MBN) + ngulo(B) = un ngulo recto (90 grados)
tenemos que:
La suma de ngulo(A) + ngulo(B) es menor que un ngulo recto (90 grados)
y por lo tanto, siendo el ngulo en el vrtice C un ngulo recto:
ngulo(A) + ngulo(B) + ngulo(C) es menor que dos ngulos rectos (180 grados)
Demostrado este teorema fundamental en la geometra hiperblica del plano-medio
superior, resulta fcil la demostracin del siguiente
Teorema: La suma de los ngulos del cuadriltero hiperblico es menor que 360
grados (cuatro ngulos rectos).
Para la demostracin basta con dividir el cuadriltero en dos tringulos.

La trigonometra del tringulo hiperblico

La Ley de los Senos y la Ley de los Cosenos (de la cual hay dos versiones, una para los
lados y otra para los ngulos) para tringulos hiperblicos fueron derivadas
simultneamente y de modo independiente por el hngaro Janos Bolyai (1802-1860) y
por el ruso Nicolai Lobachevski (1793-1856). Este desarrollo es lo que marca un avance
importante sobre la geometra desarrollada por Saccheri basada en su cuadriltero, la
cual era ms bien un intento futil de demostrar el postulado de las paralelas de Euclides
a partir de los otros postulados. De hecho tanto Bolyai como Lobachevski tambin
estaban buscando demostrar el quinto postulado de Euclides reducindolo a la
categora de teorema, pero al ver que tal cosa no era posible tuvieron el coraje
intelectual de investigar las consecuencias que derivaran de la negacin del quinto
postulado de Euclides, descubriendo nuevas frmulas entre las cuales no era posible
hallar ninguna contradiccin. Y esto, a fin de cuentas, es lo que pone a prueba cualquier
teora matemtica: si partiendo de ciertos principios se incurre en contradicciones,
entonces algo en los principios es fallo, pero si por ms que se le busque se van
derivando una cantidad creciente de teoremas entre los cuales no hay contradiccin
alguna, entonces se debe aceptar el hecho de que los principios forman parte de un
sistema consistente. Naturalmente, si alguien obtuviera alguna contradiccin partiendo
de los axiomas de la geometra esfrica o de la geometra hiperblica, ello bastara para
enviar abajo toda la estructura. Pero a siglo y medio de los descubrimientos hechos por
Bolyai y Lobachevski, nadie ha podido encontrar contradiccin alguna, y existe casi la
certeza total entre los matemticos contemporneos de que tal contradiccin no ser
encontrada. En relacin a las frmulas encontradas por Bolyai y Lobachevski, fue la
enorme semejanza de las frmulas que descubrieron con su contraparte en la geometra
Euclideana que esto fue lo que termin por convencer a ambos de la justeza de la
geometra hiperblica as como de la independencia total de la misma del quinto
postulado de Euclides. Otra cosa que tambin habr terminado por convencerlos a
ambos es que las frmulas de la geometra hiperblica se reducen a las mismas
frmulas de la geometra Euclideana cuando las distancias relativas dentro de la
geometra hiperblica se vuelven extremadamente grandes, lo cual tiene el efecto de
"aplanar" la hoja hiperblica. Veamos a continuacin algunas de las semejanzas,
tomando en cuenta las definiciones aceptadas para las tres funciones bsicas de la
trigonometra hiperblica que son definidas de modo similar a las funciones
trigonomtricas Euclideanas:

En primer lugar, tenemos la conocida Ley de los Senos de la geometra Euclideana:

A continuacin, tenemos la Ley de los Senos Hiperblica:

En la geometra Euclideana, una importante identidad trigonomtrica nos dice que,

para todo tringulo rectngulo, el cuadrado del seno de un ngulo sumado al cuadrado
del coseno de dicho ngulo es igual a la unidad, o sea:
sen(x) + cos(x) = 1
Comparemos esta frmula con su contraparte hiperblica:
cosh(x) - senh(x) = 1
Como una muestra de la verificacin de frmulas trigonomtricas hiperblicas, a
continuacin tenemos el procedimiento para comprobar la validez de esta ltima
frmula:

Como otra muestra de la verificacin de frmulas trigonomtricas hiperblicas, a

continuacin tenemos el procedimiento para comprobar que el coseno hiperblico de la
suma de dos ngulos hiperblicos x y y es igual al producto del coseno hiperblico de
cada uno de dichos ngulos sumado al producto del seno hiperblico de dichos
ngulos:

Comparemos esta frmula hiperblica con su contraparte Euclideana:

cos(x + y) = cos(x)cos(y) - sen(x)sen(y)
Veamos ahora la frmula para la tangente hiperblica de la suma de dos ngulos x y y:

Comparemos esta frmula con su contraparte Euclideana:

Hay de hecho una regla, conocida como la regla de Osborne, que nos dice que uno
puede convertir cualquier identidad trigonomtrica en una identidad hiperblica,
expandindola completamente en trminos de potencias integrales de senos y cosenos,
cambiando el seno(sen) a seno hiperblico (senh) y el coseno (cos) a coseno
hiperblico (cosh), cambiando el signo de cada trmino que contenga el producto de
dos senos hiperblicos.
Resulta instructivo hacer algunos clculos dentro del entorno de la geometra
hiperblica, razn por la cual haremos eso a continuacin.
El primer problema que resolveremos es el siguiente:
Si tenemos un tringulo hiperblico cuyos ngulos internos son A=10, B=20
y C=40, cules son las longitudes (hiperblicas) de sus tres lados a, b y c?
Para resolver este problema utilizaremos la Ley Hiperblica de los Cosenos para
los Angulos en la determinacin de la longitud hiperblica del lado a, con expresiones
similares para obtener las longitudes hiperblicas de los lados restantes:
cos(A) = -cos(B)cos(C) + sen(B)sen(C)cosh(a)
La solucin procede de la siguiente manera:

El segundo problema que resolveremos es el siguiente:

Si tenemos un tringulo cuyos lados son a=3, b=4 y c=5, cules son los ngulos
internos en los vrtices de este tringulo? Cul es el rea (hiperblica) de dicho
tringulo?
Para resolver este problema utilizaremos la Ley Hiperblica de los Cosenos para
los Lados en la determinacin del ngulo en el vrtice A, con expresiones similares
para obtener los ngulos correspondientes a los vrtices restantes:
cosh(a) = cosh(b)cosh(c) - senh(b)senh(c)cos(A)
La solucin procede de la siguiente manera:

Conociendo los valores de los tres ngulos internos del tringulo hiperblico
expresados en radianes, resulta fcil a travs del defecto del tringulo obtener el rea
del mismo cuando sus ngulos internos son A, B y C:
= - (A + B + C)
= - (0.09178919299 + 0.2523642536 + 0.7463119988)
= 2.051127211
La demostracin de identidades trigonomtricas hiperblicas procede de forma muy
parecida a como se lleva a cabo en la trigonometra Euclideana. Por ejemplo, para
demostrar la siguiente relacin, vlida para todo tringulo rectngulo (hiperblico) con
ngulos internos A, B y C y con un ngulo recto en el vrtice opuesto al lado c:

cos(A) = cosh(a)sen(B)
el procedimiento de demostracin es el siguiente (en el segundo paso se utiliza el
equivalente hiperblico del teorema de Pitgoras):

Y para obtener la siguiente relacin para el mismo tringulo hiperblico

trigonomtrico:
cot(A)cot(B) = cosh(c)
el procedimiento de demostracin es el siguiente:

De este modo, podemos desarrollar un curso completo de trigonometra hiperblica, el

cual puede ser llevado an ms lejos extendindolo hacia una geometra analtica
hiperblica. Para el cual, desafortunadamente, ya no hay espacio disponible ni siquiera
en muchos de los programas universitarios de licenciatura en matemticas. Los lectores
observadores habrn notado que, por la forma en la que estn definidas las funciones
hiperblicas, podemos obtener de inmediato las derivadas de las mismas. E inclusive
en lugar de la variable real x que utilizamos como argumento en las funciones
trigonomtricas hiperblicas, podemos utilizar una variable compleja z definida
como:
z = x + iy
en donde i es la representacin simblica de la raz cuadrada de -1, con lo cual podemos
desarrollar muchas relaciones nuevas. Como puede verse, el campo por cubrir es
amplio, y aqu apenas hemos tocado la superficie.
Sobre los signos de las curvaturas de las superficies

Al hablar sobre superficies en geometras no-Euclideanas, es comn asignarles un signo

positivo o negativo a las reas representadas en alguna hoja que aqu designaremos
comocarta (manifold), usndose aqu el concepto de carta suponiendo una hoja
(Euclideana o no-Euclideana) infinitamente grande en la cual se monta la regin bajo
estudio, trtese de un tringulo, un cuadriltero, un polgono, o cualquier otra figura
geomtrica. Por convencin, una superficie tiene una curvatura positiva si es "cncavacncava" o "convexa-convexa", mientras que una superficie tiene una curvatura
negativa si es "cncava-convexa" o "convexa-cncava". Como esta jerigonza matemtica
en s no es muy ilustrativa aunque sea muy precisa, las definiciones de los signos se
aclararn mejor de la siguiente manera: Tomemos la regin bajo estudio y tracemos
dos rectas sobre la misma de modo tal que se crucen a ngulos rectos. Si las dos rectas
se tuercen en la misma direccin, decimos que una superficie delimitada en dicha
regin tiene una curvatura positiva. Claramente, esto es lo que ocurre sobre la
superficie de una esfera, razn por la cual a una regin localizada dentro la geometra
esfrica se le asigna una curvatura positiva. Sin embargo, si las dos rectas se
tuercen en direcciones opuestas (como ocurrira sobre la superficie de una "silla de
montar" como la carta -hoja- del paraboloide hiperblico que est entre lo ms cercano
que tenemos para representar una superficie hiperblica en tres dimensiones) decimos
que una regin localizada dentro de la geometra hiperblica tiene una
curvatura negativa. Y una curvatura de cero significa que por lo menos una de las
rectas trazadas sobre tal superficie realmente es una lnea recta en el sentido
Euclideano, sin curvatura de ningn tipo, como ocurre en la superficie de un cilindro en
la cual, dicho sea de paso, permite el trazado de rectas paralelas Euclideanas que nunca
se cruzarn. La geometra Euclideana, el plano sobre el cual Euclides realiz todas sus
demostraciones, obviamente tiene una curvatura cero. A continuacin tenemos una
comparacin de los tres tipos de curvatura (positiva, negativa, cero) en tres figuras
distintas:
Curvatura positiva:

Curvatura negativa:

Curvatura cero:

La ltima superficie, con curvatura cero, es conocida como un cilindro parablico.

Sin embargo, no es en realidad un cilindro, porque en un cilindro las lneas trazadas
sobre su superficie que son perpendiculares a su eje de simetra se vuelven a encontrar
al darle la vuelta al crculo que encierran, mientras que en el "cilindro" parablico estas
lneas se separan indefinidamente sin volverse a encontrar. Esta curva es obtenida
desplazando una curva parablica del tipo y=ax a lo largo de un eje perpendicular al
plano en el que se encuentra la parbola.
La superficie que exhibe una curvatura negativa merece atencin especial. Esta
superficie es generada por una curva plana conocida como la tractriz:

En el plano Cartesiano, la curva es trazada por las siguientes frmulas paramtricas:

x = 1/cosh(t)
y = t - tanh(t)
La presencia de funciones trigonomtricas hiperblicas en la generacin de la tractriz
sugiere que esta curva puede ser importante en el estudio de la geometra hiperblica. Y
de hecho, lo es. Si se hace girar a la tractriz alrededor del eje horizontal x, se generar
una superficie conocida como la seudoesfera, de la cual se muestra otra vista
diferente:

La seudoesfera es tambin conocida como la tractoide precisamente por derivar de

una tractriz. Esta superficie comparte con la esfera la propiedad de que cualquier parte
de la misma exhibe la misma curvatura (estamos hablando de la curvatura de una
superficie, no de la curvatura de una lnea), una curvatura constante. Mientras que para
la esfera su curvatura constante es positiva, para la seudoesfera (tractoide) su curvatura
constante es negativa. Por esta ventajosa propiedad, la seudoesfera fue precisamente la
superficie utilizada por Beltrami para zanjar de una vez por todas el asunto sobre si
la geometra hiperblica descubierta simultneamente por Janos Bolyai y Nicolai
Lobachevski poda ser considerada una geometra tan consistente como la geometra
Euclidana, clsica (la palabra empleada es equiconsistencia), lo cual logr
demostrar. Esto no significa que Beltrami haya logrado demostrar la consistencia total
de ambas geometras, dndonos la garanta absoluta de que tarde o temprano no
surgirn contradicciones internas al penetrar en la demostracin de nuevos teoremas.
Lo que demostr Beltrami es que si la geometra hiperblica es inconsistente, entonces
la geometra Euclideana tambin lo ser, y viceversa.