Escolar Documentos
Profissional Documentos
Cultura Documentos
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.
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:
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):
Curvatura negativa:
Curvatura cero: