INTRODUCCIN A LA GEOMETRA

HIPERBLICA

J HON F REDY D ELGADO VSQUEZ

UNIVERSIDAD INDUSTRIAL DE SANTANDER

FACULTAD DE CIENCIAS
ESCUELA DE MATEMTICAS
BUCARAMANGA
2004

INTRODUCCIN A LA GEOMETRA
HIPERBLICA

J HON F REDY D ELGADO VSQUEZ

Monografa presentada como requisito para optar al
ttulo de Licenciado en Matemticas

Director

M ARLIO PAREDES G UTIRREZ

Doctor en Matemticas

UNIVERSIDAD INDUSTRIAL DE SANTANDER

FACULTAD DE CIENCIAS
ESCUELA DE MATEMTICAS
BUCARAMANGA
2004

A mis padres

Agradecimientos

A Dios, por obsequiarme tan maravilloso milagro, la vida.

A mis padres, por hacerme entender que la libertad que tengo en la vida es
sinnimo de responsabilidad.
A mi hermana Kelly Carolina, por compartir y luchar porque mis sueos
sean una realidad.
A Claudia, por darme la oportunidad de conocer lo ms hermoso que hay
en la vida, el amor y la amistad. Enseandome a dejar entrar la alegra en
mi corazn.
Al profesor Marlio Paredes, por su paciencia, colaboracin y orientacin
en el desarrollo de esta monografa.
A los profesores, que durante mi estada en la universidad incentivaron mis
deseos de desarrollo personal y profesional.
A mis amigos, por su continua voz de aliento para lograr alcanzar ascender
este escaln en mi vida.
A mi Alma Mater Universidad Industrial de Santander, la cual se convirti en parte de mi vida, en donde no solo me prepare en un conocimiento
cientfico, sino que tambin aprend sobre la vida.

A todas aquellas personas que de forma directa o indirecta colaboraron con

la realizacin de este trabajo.

TITLE: INTRODUCTION TO THE HYPERBOLIC GEOMETRY1

AUTHOR: JHON FREDY DELGADO VSQUEZ2
KEY WORDS: Hyperbolic geometry, fifth postulate, euclidian geometry, parallel
lines, paralellism angle.
DESCRIPTION:
In the early nineteenth century the problem of Euclides fifth postulate was resolved. Gauss and Bolyai were two mathematicians who, independently, make great
advances in the study of the fifth postulate demonstration. The solution of this
famous problem belongs to Nicolai Ivanovich Lobachevski who showed the impossibility to demonstrate the fifth postulate as a consequence of the another four
postulates of the euclidian geometry. In addition, Lobachevski showed that it is
possible to contruct a geometrical system consistent, in that system the parallel
postulate is replaced with another postulate in which through a point out of a given line pass two lines parallel to the given line. In this way began the study of
the non-ecludian geometries.
This monograph makes an historical summary on the birth of the non-euclidian
geometries, through the study of the fifth postulate of the euclidian geometry. We
present the basic concepts of the hyperbolic geometry due to Lobachevski.

1
2

Monograph
Faculty of Sciences, School of Mathematics. Marlio Paredes, Ph.D. in Mathematics

TTULO: INTRODUCCIN A LA GEOMETRA HIPERBLICA3

AUTOR: JHON FREDY DELGADO VSQUEZ4
PALABRAS CLAVES: Geometra hiperblica, quinto postulado, geometra euclidiana, rectas paralelas, ngulo del paralelismo.
DESCRIPCIN:
Las primeras dcadas del siglo XIX trajeron la solucin del problema del quinto
postulado de Euclides. Gauss y Bolyai son dos matemticos que independientemente realizaron grandes avances en el estudio de la demostracin del quinto
postulado. Pero los laureles de la resolucin de est famoso problema pertenece a
Nicolai Ivanovich Lobachevski quien a finales de la tercera dcada de este siglo
mostr la imposibilidad de demostrar el quinto postulado a partir de los otros cuatro postulados de la geometra euclidiana. Adicionalmente, Lobachevski mostr
la posibilidad de construir un sistema geomtrico coherente, en el que el postulado de la paralela nica de Euclides se reemplaza por otro que nos dice que por
un punto exterior a una recta, se pueden trazar por lo menos dos rectas que no
se encuentren con la recta dada, dando inicio asi al estudio de las geometras no
euclidianas.
Esta monografa hace un recuento histrico sobre el nacimiento de las geometras no euclidianas, a travs del estudio del quinto postulado de la geometra euclidiana. Adems se presenta los conceptos bsicos de la geometra hiperblica,
introducida por Lobachevski.

3
4

Monografa
Facultad de Ciencias, Escuela de Matemticas, Licenciatura en Matemticas. Marlio Paredes,

Ph.D. en Matemticas

ndice general
INTRODUCCIN

1. Preliminares

1.1. Fundamentos de la Geometra Euclidiana . . . . . . . . . . . . .

1.1.1. Resea histrica . . . . . . . . . . . . . . . . . . . . . .

1.1.2. Generalidades . . . . . . . . . . . . . . . . . . . . . . . .

1.2. El quinto postulado de Euclides . . . . . . . . . . . . . . . . . .

16

1.3. Nacimiento de una nueva Geometra . . . . . . . . . . . . . . . .

23

1.3.1. Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . .

24

1.3.2. Bolyai . . . . . . . . . . . . . . . . . . . . . . . . . . . .

25

1.3.3. Lobachevski . . . . . . . . . . . . . . . . . . . . . . . .

27

2. Geometra hiperblica

31

2.1. El quinto postulado de la geometra hiperblica . . . . . . . . . .

33

2.2. Propiedades elementales de las paralelas . . . . . . . . . . . . . .

36

2.3. Tringulos generalizados . . . . . . . . . . . . . . . . . . . . . .

40

2.4. El ngulo de paralelismo . . . . . . . . . . . . . . . . . . . . . .

45

2.5. Cuadrilteros especiales . . . . . . . . . . . . . . . . . . . . . . .

46

2.6. Suma de los ngulos de un tringulo . . . . . . . . . . . . . . . .

50

2.7. Puntos ultraideales . . . . . . . . . . . . . . . . . . . . . . . . .

53

BIBLIOGRAFA

56

II

Introduccin
La geometra fue desarrollada empricamente en muchas culturas hace varios miles de aos. Como ciencia que compila una coleccin de proposiciones abstractas
y sus pruebas, fue fundada en la cultura griega alrededor de los 600 aos A.C. La
geometra clsica ha sobrevivido a travs de los famosos trece libros escritos por
Euclides alrededor del ao 300 A.C conocidos como Elementos [2].
Euclides y sus predecesores reconocieron lo que hoy en da todo estudiante de
filosofa o matemticas sabe: no todo se puede demostrar. En la construccin de
una estructura lgica, una o mas proposiciones siempre deben admitirse como
axiomas a partir de la cuales todas las otras son deducidas.
En la poca de Euclides, lo que hoy llamamos geometra euclidiana estaba totalmente desarrollada. De hecho, el trabajo de Euclides fue el de un compilador que
reuni los teoremas conocidos, ya demostrados por sus predecesores, y los coloc
en nico texto con una presentacin unificada. Segn especialistas en historia de
la matemtica, quienes han analizado la obra, los Elementos de Euclides fueron
escritos con el fin de presentar la teora de los slidos de Platn y la de los nmeros racionales de Teteto, consideradas dos de las grandes contribuciones de los
griegos a la matemtica.
Euclides se hizo famoso por la concepcin del libro en si, el cual hoy en da es

considerado el primer tratado cientfico de la historia y fue modelo para otros de

ramas de la ciencia diferentes a las matemticas.
Los diez axiomas de Euclides fueron presentados en dos grupos: las nociones
comunes y los postulados. La diferencia entre ellos no es muy clara; las nociones
comunes parecen haber sido consideradas como hiptesis aceptables para todas
las ciencias, mientras que los postulados seran hiptesis particulares para la geometra.
Es el quinto postulado de Euclides uno de los resultados ms importante de los
Elementos, ya que el estudio de ste a travs de los siglos acumul un entendimiento profundo de la geometra euclidiana y di paso al nacimiento de nuevas
geometras, como es el caso de las geometras hiperblica y elptica.
Esta monografa tiene como objetivo realizar una introduccin a la geometra hiperblica. Para lo cual es necesario conocer y comprender algunas proposiciones
de la geometra euclidiana, que faciliten el acercamiento a la geometra hiperblica. De igual manera conocer el quinto postulado de Euclides y algunos resultados
que aparecieron en el transcurso de los siglos debido a su estudio, los cuales se
encuentran consignados en el primer captulo. En este captulo tambin encontraremos una resea sobre los precursores de la geometra hiperblica y su proceso
de acercamiento a esta.
En el segundo captulo hacemos una presentacin del quinto postulado de la geometra hiperblica y una introduccin a resultados referentes a paralelas, tringulos, ngulos y cuadrilteros en esta nueva geometra, que tuvo su nacimiento
formal en el siglo XIX, gracias a matemticos como Johann Bolyai y Nicolai Lobachevski.

Captulo 1
Preliminares
1.1.

Fundamentos de la Geometra Euclidiana

1.1.1. Resea histrica

La geometra es una ciencia muy antigua. Conocimientos geomtricos no triviales
ya eran manejados en la antigedad (en Egipto, Babilonia y Grecia). Podemos
decir que la forma en que la conocemos hoy en da tuvo su punto de partida en la
antigua Grecia, cuando Euclides public los Elementos [2].
Realicemos un recorrido de la Geometra a travs de la historia hasta llegar a la
antigua Grecia y Euclides.
BABILONIA. En la Mesopotamia, regin situada entre los ros Tigris y Eufrates,
floreci una civilizacin cuya antigedad se remonta aproximadamente a 57 siglos. En esta regin se invent la rueda. Tal vez de ah el inters por descubrir las
propiedades de la circunferencia, este afn los condujo a un resultado interesante,
la relacin entre la longitud de la circunferencia y su dimetro era igual a 3. Este

valor es muy famoso e interesante porque aparece en el antiguo testamento (primer

libro de Reyes). Los babilonios llegaron a esta conclusin considerando que la
longitud de la circunferencia era un valor intermedio entre los permetros de los
cuadrados inscrito y circunscrito a la circunferencia. En Babilonia se realizaron
grandes avances en astronoma, conociendo que el ao tiene aproximadamente
360 das.
EGIPTO. La civilizacin egipcia bas su florecimiento en la agricultura. La aplicacin de los conocimientos geomtricos a la medida de la tierra fue la causa de
que se bautizara a este segmento de la matemtica con el nombre de Geometra
que significa medicin de tierras. Los faraones egipcios dividieron las tierras que
conformaban sus imperios en parcelas. Cuando el Nilo, en sus crecidas peridicas se llevaba parte de las tierras, los topgrafos egipcios tenan que rehacer las
divisiones y calcular cuanto deba pagar el dueo de cada parcela por concepto de
impuestos, ya que este era proporcional a la superficie cultivada.
Pero la utilizacin de los conocimientos geomtricos no fue aplicada solamente
en la agricultura, en Egipto el conocimiento de las matemticas tambin fue usado por sus sacerdotes en la construccin. Hace ms de 20 siglos fue construida la
Gran pirmide maravilla que an nos deja estupefactos. Un pueblo que emprendi una obra de tal magnitud posea, sin lugar a dudas, extensos conocimientos de
Geometra y Astronoma ya que se ha comprobado que, adems de la precisin
con que estn determinadas sus dimensiones, la Gran Pirmide de Egipto est
perfectamente orientada.
Los pocos conocimientos y pruebas de la matemtica egipcia los debemos a los
papiros. Entre los problemas inmortalizados en estos se encuentran la medida del
rea de un triangulo issceles, la medida del area de un trapecio issceles y la

medida del rea de un crculo. Adems, en los papiros hay un estudio sobre los
cuadrados que hace pensar que los egipcios conocan algunos casos particulares
de la propiedad del tringulo rectngulo, que ms tarde perpetu a Pitgoras.
GRECIA. La geometra de los egipcios era notablemente emprica, ya que los
resultados se basaban ms en la experiencia que en un sistema lgico de deduccin
a partir de axiomas y postulados.
Los griegos, grandes pensadores, no se contentaban con conocer reglas y soluciones de casos particulares; ellos deseaban obtener explicaciones racionales de
los casos generales. En Grecia se da nacimiento a la geometra como ciencia argumentada. Es probable que algunos matemticos griegos fueran a Egipto a iniciarse
en los conocimientos de la geometra, su gran merito recae en que ellos transformaron la geometra a partir de la deduccin y la argumentacin.
Es indudable que fueron muchos los hombres que aportaron en Grecia a la matemtica especialmente a la Geometra, nombres como Tales de Mileto, Pitgoras
de Samos, Platn, Arqumedes de Siracusa, entre otros son algunos de esos grandes pensadores que participaron en la construccin de la Geometra, pero hay un
nombre en especial que debemos recordar por ciertos aportes o mas bien por la
recopilacin de los resultados ya demostrados que se conocan. Este hombre fue
Euclides (siglo IV A.C.), quien escribi una de las obras ms famosas de todos los
tiempos: Elementos (considerado el primer tratado cientfico de la humanidad),
que consta de 13 captulos llamados libros. De esta obra se han hecho tantas
versiones y adaptaciones que solo existe un libro en la historia de la humanidad
que lo aventaja, La Biblia.
Euclides escribi sus libros partiendo de definiciones, postulados y axiomas con
los cuales demuestra teoremas que, a su vez, le sirven para demostrar otros teore-

mas. La composicin de los Elementos est dada de la siguiente manera:

Libro I. Relacin de Igualdad de tringulos. Teoremas sobre paralelas. Suma de
los ngulos de un polgono. Igualdad de las reas de tringulos o paralelogramos
de igual base y altura. Teorema de Pitgoras.
Libro II. Conjunto de relaciones de igualdad entre reas de rectngulos que conducen a la resolucin geomtrica de la ecuacin de segundo grado.
Libro III. Circunferencia, ngulo inscrito.
Libro IV. Construccin de polgonos regulares inscritos o circunscritos a una
circunferencia.
Libro V. Teorema general de la medida de magnitudes bajo la forma geomtrica,
hasta los nmeros irracionales.
Libro VI. Proporciones y tringulos semejantes.
Libro VII, VIII y IX. Aritmtica
Libro X. Nmeros inconmensurables bajo forma geomtrica a partir de los radicales cuadrticos.
Libro XI y XII. Relacin entre volmenes de prismas y pirmides; cilindro y
cono.
Libro XIII. La construccin de los cinco poliedros regulares.

1.1.2. Generalidades
Los Elementos de Euclides son una obra en la que se sigue el mtodo axiomtico. Durante el transcurso de la historia se han encontrado varias fallas lgicas en
los libros de Euclides, es decir no cumplen con todas las exigencias que impone
la lgica. Sin embargo, todos los errores que se han encontrado no tiene punto de
comparacin con el mrito extraordinario de haber construido una ciencia deduc6

tiva a partir de conocimientos empricos.

Como ya se dijo antes los Elementos de Euclides contienen diez axiomas que
fueron presentados en dos grupos: nociones comunes y postulados.

Nociones comunes
I. Las cosas iguales a una misma cosa son tambin iguales.
II. Si se aaden cosas iguales a cosas iguales, los totales son iguales
III. Si de cosas iguales se quitan cosas iguales, los restos son iguales.
IV. Las cosas que coinciden entre si son iguales entre s.
V. El todo es mayor que cualquiera de sus partes
Postulados
I. Se puede trazar una (nica) recta ligando cualesquiera dos puntos.
II. Se puede prolongar una lnea recta indefinidamente a partir de una recta
finita.
III. Se puede trazar un crculo con cualquier centro y radio dado.
IV. Todos los ngulos rectos son iguales entre s.
V. Si una recta al incidir sobre dos rectas hace los ngulos internos del mismo
lado menores que dos rectos, las dos rectas prolongadas indefinidamente se
encontrarn en el lado en el que estn los ngulos menores que dos rectos.

Existen otras hiptesis que Euclides utiliz y no fueron mencionadas en la lista

anterior. Entre ellas se destacan las siguientes:
a. Las rectas son conjuntos ilimitados.
b. Sean A, B y C tres puntos no colineales y sea m una recta que no contiene
ninguno de estos puntos. Si m corta el segmento AB, entonces ella tambin cortara el segmento AC o el segmento CB. Este resultado es conocido
como el teorema de Pasch.
El primer libro de los Elementos contiene 48 proposiciones, a continuacin citaremos algunas de estas para observar el trabajo de Euclides y otras que nos interesan
para facilitar nuestro acercamiento al quinto postulado. Debemos decir que stas
han sido tomadas textualmente del libro original. Es importante aclarar que en el
desarrollo de est monografa cuando se hable de igualdad entre figuras, segmentos de rectas y ngulos, lo que se desea expresar realmente es la congruencia entre
ests, ya que la igualdad solamente se da entre medidas.

Proposicin 1.1. (Proposicin 1, Libro I de los Elementos [2]) Construir un tringulo equiltero sobre una recta finita dada.
Demostracin. Sea AB la recta finita dada. Descrbase con el centro A y la distancia AB el radio del crculo BC, y con centro B y la distancia BA el radio
del crculo AD y a partir del punto donde los crculos se cortan entre s, ver
Figura 1.1. Trcense las rectas A, B hasta los puntos A, B.
Puesto que el punto A es el centro del crculo BC, A es igual a AB, si realizamos un anlisis anlogo para el punto B y el crculo AD, tendremos que B es
8

Figura 1.1: Tringulo equiltero

igual a AB, y si recordamos la primera nocin comn se concluir que A, B y
AB son iguales entre s.
Por consiguiente el tringulo AB es equiltero y ha sido construido sobre una
recta finita dada.

Proposicin 1.2. (Proposicin 15, Libro I de los Elementos [2]) Si dos rectas se
cortan, hacen los ngulos del vrtice iguales entre si.
Demostracin. Sean AB y CD, dos rectas que se cortan.
A

D
O

B
Figura 1.2: ngulos opuestos

Primero vamos a demostrar que los ngulos AOC y DOB son iguales. Sabemos
que la suma de los ngulos AOC y AOD es igual a dos ngulos rectos; esto
debido a que son ngulos adyacentes y que la suma de los ngulos AOD y DOB
9

es igual a dos ngulos rectos por la misma razn. Esto es,

]AOC + ]AOD =

]AOD + ]DOB = .

Si despejamos ]AOC de la primera igualdad y ]DOB de la segunda obtendremos

]AOC = ]AOD

]DOB = ]AOD.

(1.1)

Ahora comparando las igualdades tenemos

]AOC = ]DOB

(1.2)

Anlogamente se demuestra la igualdad entre los ngulos ]AOD y ]COB.

Proposicin 1.3. (Proposicin 16, Libro I de los Elementos [2]) En todo tringulo, si se prolonga uno de sus lados, el ngulo externo es mayor que cada uno de
los ngulos internos y opuestos.
Demostracin. Sea ABC el tringulo (Figura 1.3) y prolonguemos el lado BC
hasta un punto D. Vamos a probar que el ngulo externo ACD es mayor que el
ngulo BAC. Crtese en dos partes iguales AC por el punto E y, trazada BE
prolonguese en lnea recta hasta F de tal forma que EF sea igual a BE. Trcese
F C y prolnguese por el otro lado AC hasta G. Asi pues, como AE es igual a
EC y BE a EF , los dos lados AE, EB son iguales repectivamente a los dos
lados EC y EF y el ngulo AEB es igual al ngulo F EC, pues son opuestos
por el vrtice. Entonces la base AB es igual a la base F C y el tringulo ABE
es congruente al tringulo CF E, y los ngulos restantes, a saber: los subtendidos
por lados iguales son respectivamente iguales, entonces el ngulo BAE es igual
10

E
B

G
Figura 1.3: ngulo externo
al ngulo ECF . Pero el ngulo ECD es mayor que l ngulo ECF , luego el
ngulo ACD es mayor que el ngulo BAE. De manera semejante, si se divide
en dos la recta BC, se demostrar que tambin el ngulo ACD es mayor que el
ngulo ABC.

Proposicin 1.4. (Proposicin 17, Libro I de los Elementos [2]) En todo tringulo
dos ngulos tomados juntos de cualquier manera son menores que dos rectos.
Demostracin. Sea AB el tringulo, ver Figura 1.4.
A

Figura 1.4: Suma de dos ngulos internos

11

Prolnguese B hasta . Y puesto que el ngulo A es un ngulo externo del

tringulo AB, es mayor que el interno y opuesto AB. Aadase a ambos AB,
entonces los ngulos A, AB son mayores que los ngulos AB, BA. Pero los ngulos A, AB son iguales a dos rectos, por tanto, los ngulos AB,
BA son menores que dos rectos. De manera semejante se demostrara que tambin los ngulos BA, AB son menores que dos rectos, as como los ngulos
AB, AB.

Proposicin 1.5. (Proposicin 27, Libro I de los Elementos [2]) Si una recta al
incidir sobre dos rectas hace los ngulos alternos iguales entre s, entonces las
dos rectas sern paralelas entre s.
Demostracin. Supongamos que al incidir sobre las dos rectas AB, , la recta
EZ forma los ngulos alternos AEZ, EZ iguales entre s, ver Figura 1.5. Vamos a probar que AB es paralela a . Pues en caso contrario, si prolongamos
A

B
H

Figura 1.5: ngulos alternos

AB, , se encontrarn o bien en el sentido de B, , o bien en el sentido de A,
. Prolnguense y encuntrense en el sentido de B, en H. Entonces el ngulo
externo AEZ del tringulo HEZ es igual al ngulo interno y opuesto EZH, lo
cual es imposible por la Proposicin 1.5. Por tanto, AB, prolongadas nose

12

encuentran en el sentido de B, . De manera semejantedemostrariamos que tampoco se encuentran en el sentido de A, . Pero las rectas que no se encuentran en
ninguno de los dos sentidos son paralelas; por tanto, AB es paralela a A.

Proposicin 1.6. (Proposicin 28, Libro I de los Elementos [2]) Si una recta al
incidir sobre dos rectas hace un ngulo externo igual al interno y opuesto del
mismo lado, o los dos internos del mismo lado iguales a dos rectos, las rectas
sern paralelas entre s.
Demostracin. Supongamos que al incidir sobre las dos rectas AB, , la recta
EZ hace el ngulo externo EHB igual al interno y opuesto H, o los ngulos
internos del mismo lado: BH, H iguales a dos rectos, ver Figura 1.6. Como
E
A

Figura 1.6: ngulos alternos opuestos

el ngulo EHB es igual al ngulo H, mientras que el ngulo EHB es igual
al ngulo AH, entonces el ngulo AH tambin es igual al ngulo H. Por
ser estos ngulos alternos tenemos que AB es paralela a . Como los ngulos
BH, H son iguales a su vez a dos rectos, tambin los ngulos AH, BH
son iguales a dos rectos. Por tanto, los ngulos AH, BH son iguales a los
ngulos BH, H. Qutemos de ambos el ngulo BH, entonces el ngulo
13

restante AH es igual al ngulo restante H y son alternos. Por tanto, AB es

paralela a .

Proposicin 1.7. (Proposicin 29, Libro I de los Elementos [2]) La recta que incide sobre rectas paralelas hace los ngulos alternos iguales entre s, y el ngulo
externo igual al interno y opuesto, y los ngulos internos del mismo lado iguales
a dos rectos.
Demostracin. Supongamos que la recta EZ incide sobre las rectas paralelas AB
y . Debemos probar que los ngulos alternos AH, H son iguales, que el
ngulo externo EHB es igual al interno y opuesto H, y que los internos del
mismo lado: BH, H son iguales a dos rectos, ver Figura 1.6.
Si AH no es igual a H, uno de ellos es mayor. Sea AH el mayor, aadase a ambos el ngulo BH, entonces los ngulos AH, BH son mayores
que los ngulos BH, H. Pero los ngulos AH, BH son iguales a dos
rectos. Por tanto, los ngulos BH, H son menores que dos rectos. Ahora,
como las rectas prolongadas indefinidamente a partir de ngulos menores que dos
rectos se encuentran, luego las rectas AB y prolongadas indefinidamente se
encontrarn. Lo cual no es posible porque se les ha supuesto paralelas, por lo tanto
el ngulo AH no es diferente del ngulo H, luego son iguales. Como el ngulo AH es igual al ngulo EHB entonces el ngulo EHB es tambin igual al
ngulo H. Aadase a ambos BH, entonces los ngulos EHB y BH son
iguales a los ngulos BH y H. Pero los ngulos EHB, BH son iguales a
dos rectos, por tanto, los ngulos BH y H son tambin iguales a dos rectos.

14

Proposicin 1.8. (Proposicin 31, Libro I de los Elementos [2]) Por un punto
dado trazar una lnea recta paralela a una recta dada.
Demostracin. Sea A el punto dado y B la recta dada. Hay que trazar por el
punto A una lnea recta paralela aB. Tmese al azar un punto en B y trcese
E

Figura 1.7: Una paralela en la geomtria euclidiana

A, ver Figura 1.7. Constryase en la recta A y en el punto A de ella el ngulo
AE igual al ngulo A y sea AZ el resultado de prolongar en lnea recta EA.
Dado que la recta A al incidir sobre las dos rectasB, EZ ha hecho iguales los
ngulos alternos EA, A, entonces EAZ es paralela a B.
Por consiguiente, se ha trazado la lnea EAZ paralela a la recta dada B por el
punto dado A.
De los cinco postulados de Euclides, el V es el que, desde un comienzo, llam
ms la atencin. Desde entonces se trat de demostrar, con un resultado muy poco
satisfactorio. Finalmente se pens que si de verdad era un postulado, el hecho de
negarlo, aceptando los dems no deba conducir a contradiccin alguna. De est
manera procedieron Lobachevski (1793-1856) y Riemann (1826-1866). Con estas
negaciones o nuevos postulados se construyeron nuevas geometras que se llaman
Geometras no Euclidianas.

15

1.2.

El quinto postulado de Euclides

El libro de Geometra, y podramos decir de Matemticas, ms importante es sin

duda los Elementos. El quinto postulado de Euclides es una de las cuestiones mas
controvertidas de la historia de las matemticas. El quinto postulado dice: Si una
recta al incidir sobre dos rectas hace los ngulos internos del mismo lado menores
que dos rectos, las dos rectas prolongadas indefinidamente se encontraran en el
lado en el que estn los ngulos menores que dos rectos.
El quinto postulado de Euclides es muy famoso. Muchos matemticos han tratado de demostrarlo como teorema, pero no se ha conseguido (ni se conseguir).
Saccheri (1667-1733), Lambert (1728-1777), Bolyai (1802-1860) y Gauss (17771855) fueron algunos de los matemticos que estudiaron el quinto postulado.
Lobachevski (1792-1856), matemtico ruso, en su libro Nuevos elementos de Geometra, formul una nueva geometra partiendo del postulado de que por un punto
exterior a una recta se pueden trazar ms de una paralela a ella. Lobachevski demostr que el quinto postulado no se puede probar y que la geometra que se
desarrolla, partiendo de este nuevo quinto postulado es consistente. La geometra
que obtena, aunque consistente, le pareca tan contraria al sentido comn que
la calific como Geometra Imaginaria. A esta geometra se le llama hoy en da
geometra hiperblica. Bolyai (1802-1860) tambin demostr la imposibilidad de
probar el quinto postulado y la existencia de geometras no euclidianas. El padre
de Bolyai envi a Gauss el trabajo de su hijo y Gauss le contest a labando el
trabajo y dicindole que el haba llegado haca tiempo a la misma conclusin pero
que no se haba atrevido a publicar nada por miedo a ser mal interpretado. Bernhard Riemann (1826-1866) partiendo del postulado "Por un punto exterior a una
recta no se puede trazar ninguna paralela", desarroll la Geometra Elptica. A
16

estas geometras se les llama geometras no euclideas. A la geometra euclidiana

se le denomina tambin geometra plana. En la geometra euclidiana la suma de
los ngulos de un tringulo es 180o , en la elptica la suma de los ngulos de un
tringulo es mayor de 180o y en la hiperblica, menor de 180o .

Sin duda alguna una de las consecuencias mas notorias en la busqueda de una
prueba del quinto postulado, fue producir un gran nmero de afirmaciones equivalentes. A continuacin se citarn algunos de los sustitutos mas conocidos.

POSTULADO V1 . Por un punto exterior a una recta se puede trazar una nica
recta paralela a la recta dada.

Esta es la formulacin ms conocida del quinto postulado pues es la que aparece

en la mayora de los libros de texto de geometra y es atribuida al geometra John
Playfair.
En la geometra euclidiana la afirmacin anterior puede ser facilmente deducida,
utilizando el quinto postulado de Euclides para lograrlo. Dados una recta m y
un punto P fuera de m, es consecuencia de los cuatro primeros postulados que
existe una recta m0 paralela a m que pasa por P . Su construccin, basada en la
proposicin 1.5, es la siguiente: Trace la recta n perpendicular a m que pasa por
P y trace por P la recta m0 perpendicular a n. Entonces m0 y m son paralelas.
Para probar la unicidad supongamos la existencia de otra paralela a la recta dada,
digamos m00 pasando por el punto P . Esta recta forma un ngulo agudo con n,
luego por el quinto postulado concluimos que m00 intercepta a m. Este absurdo
prueba el resultado.

17

m00

m0
m

n
Figura 1.8: Grafica para el quinto postulado
Ahora tenemos que probar que el quinto postulado es una proposicin en la teora
desarrollada a partir de los cuatro postulados de Euclides mas el Postulado V1 .
Para esto hacemos uso de la Figura 1.9, en donde vamos a suponer que + es
menor que dos ngulos rectos y que las rectas m y m0 son paralelas.
n0

S
m

Figura 1.9: equivalencia

Trazamos por el punto S una recta n0 formando un ngulo 0 tal que + 0 sea
igual a dos rectos. De acuerdo con la Proposicin 1.5, esta nueva recta es paralela a
m. Entonces tendremos dos rectas diferentes pasando por S paralelas a una misma
recta, lo cual es absurdo segun V1 . Esto completa nuestra prueba.
A continuacin se presentarn otros postulados equivalentes al quinto postulado,
con el objetivo de exhibir el transcurso de este a travs de la historia de la Geome-

18

tra Euclidiana.

POSTULADO V2 . La suma de los ngulos internos de un tringulo es siempre

igual a dos ngulos rectos.

Este es el enunciado clsico del teorema de la suma de los ngulos de un tringulo,

este es parte fundamental de la Geomtria Euclidiana.
Para probar la equivalencia con el quinto postulado, es suficiente probar que con
los cuatro primeros postulados y el Postulado V1 se puede llegar al quinto postulado. Pero para esto vamos a necesitar los siguientes dos lemas.
Lema 1.1. Todo ngulo externo de un tringulo es siempre igual a la suma de los
dos ngulos internos que no le son adyacentes.
Demostracin. Sea ABC el tringulo dado, x el ngulo exterior que tomaremos.
Por lo tanto, A y C sern los ngulos interiores no adyacentes a x.
C

x
A

Figura 1.10: Algo interesante sobre ngulos

Sabemos que la suma de los ngulos x y B es igual a dos rectos (debido a que son
ngulos adyacentes), por lo tanto trasponiendo se obtendr:
]x = 2R ]B
19

Ahora, si trazamos una recta m que pase por el vertice C y paralela a la recta AB,
entonces podemos decir que el ngulo A es igual al ngulo ya que son alternos
internos.
Si realizamos el mismo anlisis para el ngulo x, diremos que el ngulo x es
igual a la suma de los ngulos C y ya que son alternos internos. Pero hay algo
importante que concluimos anteriormente:

]A = ].
Por lo tanto podemos concluir que el ngulo x es igual a la suma de los ngulos
A y C. Si tomamos cualesquiera de los dos ngulos exteriores restantes, podemos
realizar el mismo anlisis y concluiremos que:
Cualquier ngulo externo de un tringulo es siempre igual a la suma de los ngulos internos no adyacentes.
Lema 1.2. Por un punto P , se puede trazar una recta, formando con una recta
dada un ngulo menor que cualesquiera nmero positivo dado.
P

1
1

m
A1

2
A2

A3

Figura 1.11: Un ngulo menor a cualquier nmero positivo

Demostracin. Consideremos un punto P , una recta m y una perpendicular a m

que pasa por P . La perpendicular corta a m en un punto que llamaremos A1 .
20

Sobre m, sea A2 un punto tal que A1 A2 = P A1 . Por consiguiente el tringulo

P A1 A2 es un tringulo issceles con un ngulo de base 1 midiendo la mitad de
un ngulo recto. Marcamos otro punto A3 , como lo muestra la Figura 1.11, tal
que A2 A3 = P A2 . Como en el caso anterior, el ngulo de la base de este tringulo ser 2 = 1 /2. Este argumento puede ser repetido cuantas veces se quiera,
obteniendose en una etapa n (n N), un ngulo:
n = 1 /2n1
Es claro entonces que, dado cualquier nmero positivo , podemos escoger n suficientemente grande tal que n < .
Estamos ahora preparados para probar que si la suma de los ngulos interiores de
cualquier tringulo es igual a dos ngulos rectos, entonces, por un punto exterior
a una recta, pasa una nica recta paralela a una recta dada. En realidad, Sea m una
recta y P un punto fuera de m (ver Figura 1.12).
Por lo tanto, podemos construir una recta n paralela a m y que pase por P . Sea
entonces ABP el tringulo dado y , y los ngulos internos del tringulo
ABP . La recta n que pasa por el vrtice P del tringulo y es paralela a la recta m
, permite la formacin de los ngulos y .
Debido a que , y son ngulos consecutivos la suma de ellos es igual a dos
ngulos rectos. Pero y son iguales debido a que son alternos internos. Si
realizamos un anlisis anlogo a los ngulos y obtendremos que son iguales.
Por lo tanto, si sustituimos por y por en + + = 2R (donde R
representa un ngulo recto), obtendremos:
+ + = 2R.
Que es en conclusin lo que se deseaba probar.
21

Figura 1.12: Suma de los ngulos

Un corolario que se desprende a partir de el postulado anterior es: La suma de los
ngulos no rectos de un tringulo rectngulo vale un ngulo recto. La prueba de
este es obvia ya que si los tres ngulos suman dos rectos y uno de ellos mide un
recto entonces, la suma de los otros dos deber valer un ngulo recto.

POSTULADO V3 . Las rectas paralelas son equidistantes.

POSTULADO V4 . Existe un par de tringulos semejantes y no congruentes.

POSTULADO V5 . Dados tres puntos no alineados, siempre ser posible construir

un crculo que pase por todos ellos.

POSTULADO V6 . Si tres de los ngulos de un cuadriltero son rectos, entonces,

el ltimo tambin es recto.

22

1.3.

Nacimiento de una nueva Geometra

El siglo XIX merece ser llamado ms que ningn otro perodo anterior, la edad
de oro de la Matemtica. Los progresos realizados durante este siglo superan con
mucho, tanto en calidad como en cantidad, la produccin reunida de todas las
pocas anteriores. Este siglo fue tambin, con la excepcin de la poca Herica
de la Antigua Grecia, el ms revolucionario de la historia de la Matemtica. Los
esfuerzos a lo largo de tantos siglos en busca de demostrar el quinto postulado de
Euclides haban acumulado frutos y un entendimiento profundo de la geometra
euclidiana por muchas mentes. Como ocurre frecuentemente en las matemticas,
cuando sucede un descubrimiento, no es concebido por un solo hombre.
El descubrimiento realizado durante la segunda y tercera dcada del siglo XIX
por Lobachevski, Bolyai y Gauss de los hechos fundamentales de la geometra
hiperblica no euclidiana y en los aos 60-70 la bsqueda de sus interpretaciones,
provocaron en el sistema de ciencias geomtricas transformaciones de carcter revolucionario. Sin embargo, el primer intento de creacin de una nueva geometra
(inconscientemente) lo dio en siglo XVIII el jesuita Girolamo Saccheri, profesor
de Matemticas en la universidad de Pavia, en Italia, quien se propuso negar el
postulado euclidiano de la paralela, y a continuacin dedujo todas las consecuencias lgicas de esta negacin, en la bsqueda de una contradiccin que demostrase
mediante el absurdo el famoso postulado. En otras pa labras, el procedimiento de
Saccheri es el siguiente: tomemos cinco axiomas, de los cuales cuatro coinciden
con los de Euclides y el quinto es la negacin del quinto postulado de Euclides.
Desarrollemos las consecuencias de este conjunto de axiomas as manipulado y
si encontramos una contradiccin, habremos demostrado que es errneo rechazar
el quinto postulado de Euclides. Esto fue lo que hizo Saccheri. A lo largo de su
23

proceso deductivo, aparecieron teoremas que a la luz de la intuicin resultaban

monstruosos. Sin embargo la monstruosidad, no es incoherencia y la intuicin
puede engaarnos. Aunque al comienzo cometi algn un error, Saccheri encontr la contradiccin que buscaba y pens que haba logrado el objetivo que se
haba marcado previamente. En realidad, sin darse cuenta de ello, haba construido la primera geometra no euclidiana. Esta contradiccin empeor pero tuvo que
esperar todava un siglo para verse conscientemente elaborada y desarrollada. La
gran obra de Saccheri , un tratado de Geometra Euclideana que public en 1733,
de la cual no hay indicio que Bolyai, Gauss ni Lobachevski la hayan ledo.

1.3.1. Gauss
En los aos que antecedieron la consolidacin del descubrimiento o nacimiento
de una nueva geometra, la figura dominante en el mundo matemtico era Carl
Friedrich Gauss ( 1777-1855 ), quien dio grandes aportes y contribuciones a la
matemtica en general y en especial al nuevo descubrimiento. Solamente algunos de sus resultados, fruto de muchos aos de investigacin sobre problemas
e inquietudes relacionados con el quinto postulado, se hicieron pblicos durante
su vida. Algunas cartas a otros interesados en aquellos problemas, crticas sobre
paralelas y notas inditas descubiertas entre sus trabajos, son toda la evidencia
disponible de que l fue el primero en entender claramente la posibilidad de una
geometra lgicamente precisa y diferente de la euclidiana, ya que se di cuenta
de la naturaleza intrnseca de las dificultades de demostrar el quinto postulado.
La hiptesis que formul es que La suma de los ngulos de un triangulo es menor
a 180o , conduce a una geometra muy curiosa. Esta geometra es completamente
consistente. En su poca consider, en una carta a un amigo (Taurinus, F. A.), que
24

los teoremas eran paradjicos y para los no iniciados absurdos, aunque con un poco de reflexin no tienen nada de imposible. Gauss no public sus investigaciones
por temor al griteri de los torpes. Y la gloria de la fundacin de la geometra
no euclidiana hiperblica corresponde al hngaro Janos Bolyai ( 1802-1860) y al
ruso Nicolai Ivanovich Lobachevski (1793-1856).

1.3.2. Bolyai
El hngaro Wolfgang Bolyai (Bolyai Farkas, 1775-1856), se convirti en amigo
de Gauss a finales del siglo XVIII mientras estudiaban en la universidad. Los
dos discutan frecuentemente sobre problemas relacionados con la teora existente
sobre paralelas. Despus de la universidad continuaron su discusin por medio
de cartas. En 1799 una carta escrita por Gauss a Bolyai, muestra que los dos se
encontraban trabajando en la prueba del quinto postulado. En 1804, Bolyai crey
tener la solucin de dicho problema, presentando sus ideas a Gauss por medio
de un pequeo tratado titulado teora paralela, el cual envi acompaado de una
carta. Sin embargo su demostracin tena un error, Gauss contest a su amigo
indicndole el error. Bolyai continu tratando de demostrar su idea y cuatro aos
ms tarde envi nuevamente junto a una carta un tratado donde complementaba
su prueba. Gauss nunca contest a esta. Desconcertado, Bolyai coloc toda su
atencin en otras actividades como profesor, poeta, msico e inventor. A pesar de
sus ocupaciones logr colocar sus ideas en un tratado de dos volmenes. Wolfgang
Bolyai fue un hombre muy talentoso, lamentablemente fue mas conocido por ser
el padre de Johann. El 15 de Diciembre de 1802, naci Johann Bolyai (Bolyai
Janos, 1802-1860). Johann estudio matemticas como su padre, por lo cual fue
natural que muy joven generara inters por el teorema de las paralelas. Durante
25

su estancia en el Royal College para ingenieros, en Viena durante 1817, dedic

mucho esfuerzo en probar el quinto postulado de Euclides, a pesar de que su
padre le haba sugerido dejar ese problema de lado. Hacia 1820, sus esfuerzos para
probar el quinto postulado a travs de sustituirlo por una afirmacin contradictoria
(negarlo), comenzaba a dar resultados que se tornaban interesantes y especiales.
Su atencin fue girando de direccin gradualmente ante la posibilidad de formular
una nueva geometra, una geometra general, con la geometra euclidiana como
caso particular.
Al negar el quinto postulado, se generaban dos hiptesis posibles a considerar. La
primera tena que ver con que dado un punto externo a una recta, la no existencia
de una recta paralela a la recta dada que pase por el punto. La segunda posibilidad
que se poda cotejar era el hecho de que puede haber ms de una recta paralela
a la recta dada que pase por el punto tratado. Iniciando desde este punto, Bolyai
observ que la existencia de dos de estas rectas acarreaba la existencia de una
infinidad de estas. Estos resultados constituan el origen de la nueva geometra.
Al parecer lo que mas impresionaba a Bolyai era el hecho de que las proposiciones
no dependan del quinto postulado, y que por lo tanto, eran vlidas en cualquier
geometra.
En 1831 Bolyai realizo un apndice de 26 paginas al tratado de su padre, donde
plasmaba las investigaciones de 10 aos. Farkas Bolyai el padre de Johann, le
envi una copia del texto a su amigo Gauss. La respuesta fue inesperada:
Si digo que soy incapaz de elogiar este estudio, quizs le extrae. Pero no puede
ser de otra manera, porque ello equivaldra a elogiar mis propios trabajos. En
efecto, el enfoque preconizado por su hijo y los resultados que ha obtenido coinciden casi enteramente con las ideas que han ocupado mi espritu desde hace 30

26

 35 aos. No tengo la intencin de publicar estas meditaciones durante mi vida,

pero haba decidido escribirlas para que pudieran conservarse. Es, en consecuencia una sorpresa agradable para m el poder ahorrarme ese trabajo, y me llena
de alegra el pensamiento de que es precisamente el hijo de mi amigo de siempre,
el que me ha suplantado de forma tan notable.
Cuando Johann recibi de su padre una copia de esta carta, fue decepcionante, y
lleg a pensar que Gauss pretenda arrebatarle su descubrimiento. Este suceso dejo
tan mal a Johann Bolyai que abandon sus actividades matemticas. Sin embargo,
en una carta escrita por Gauss a su amigo G. I. Gerling, dice: Considero al joven
gemetra Bolyai un genio de primera fila, porque estos resultados coinciden con
los que obtuve hace mucho tiempo.
Tristemente el reconocimiento de Gauss al trabajo de Johann Bolyai nunca fue
pblico por lo cual el trabajo de Johann no fue conocido en ese momento, ni
tampoco se dio a conocer los avances de que Gauss estaba al tanto en geometra.

1.3.3. Lobachevski
A pesar de que Bolyai se entero del trabajo de Nikolai Ivanovich Lobachevski
(1793-1856) apenas en 1848, ste ya haba publicado sus conclusiones en 1829,
dos aos antes de la publicacin del apndice. Nikolai Lobachevski naci el 1 de
Diciembre de 1792 en Nizhi Novgorod, en una modesta familia. Cuando Lobachevski cumpli los 10 aos, su madre lo llev junto a sus dos hermanos a la
ciudad de Kazan para que estudiaran (educacin media). Desde un comienzo se
distingui por sus capacidades y aplicacin, en 1807 ingreso a la Universidad de
Kazan. Donde se gradu en 1811. Inmediatamente se convirti en instructor de
esta, siendo promovido a profesor rpidamente. Una copia de sus notas de cla27

se de 1815, revelan que ya por aquella poca estaba tratando de probar el quinto
postulado de Euclides. En 1823, Lobachevski termin un texto de geometra, el
cual no fue publicado, en este se presentaba sus estudios sobre el quinto postulado, uno de los resultados ms interesantes era el hecho de que el quinto postulado
no se poda demostrar matemticamente. Durante 1826, en una conferencia sobre
matemticas y fsica ofrecida en la universidad de Kazan, Lobachevski sugiere la
existencia de una nueva geometra, basada en el hecho de que por un punto fuera
de una recta pasan ms de una recta paralela. En 1829 public unas memorias,
sobre las bases de la geometra, en donde expuso totalmente su teora referente a
las paralelas. Esta publicacin fue la primera sobre la geometra no euclidiana, lamentablemente su publicacin y expansin para el resto del mundo fue muy lenta
o casi nula, debido a que el texto de Lobachevski se encontraba escrito en ruso.
En los aos siguientes Nikolai Lobachevski escribi varios trabajos sobre la nueva
geometra, con la esperanza de trazar alguna atencin sobre su obra, talvez el ms
importante fue un libro titulado "Geometrischen Untersuchungen zur Theorie der
Parallellinien"(Investigaciones geomtricas acerca de las lneas paralelas), escrito
en alemn. Lobachevski estaba convencido de que la nica persona en el mundo
que podra emitir un concepto final sobre su trabajo en geometra era la figura
cientfica ms importante de ese tiempo: Gauss, con este fin decidi enviarle una
versin de su libro investigaciones geomtricas acerca de las lneas paralelas, hay
que hacer nfasis que dicho texto es una versin completa de la teora de Lobachevski. En la biblioteca de Gauss se encontraron dos ejemplares del texto. Se
presume que uno lo adquiri directamente Gauss y el otro lo recibi del mismo
Lobachevski.
En una carta de Gauss al astrnomo Encke, en 1840, se refera a Lobachevski, en

28

esta se lee lo siguiente:

Comienzo a leer en ruso con bastante xito, y encuentro en esto gran satisfaccin. El seor Knorre me ha enviado una memoria de Lobachevski (de Kazan),
escrita en ruso, y tanto est memoria como un librito en alemn sobre las lneas
paralelas (acerca del cual apareci en el Repertorium de Gersdorf una nota por
completo estpida) despertaron en m el deseo de saber ms sobre este agudo matemtico. Segn Knorre, en las memorias cientficas de la universidad de Kazan,
que se publicaron en ruso, han salido muchos trabajos suyos.
Y en 1846 le escribe al astrnomo Schumacher, mencionndole que se encuentra
leyendo una vez ms el libro de Lobachevski (investigaciones geomtricas acerca
de las lneas paralelas), reconociendo un gran merito en el trabajo de Nikolai,
pero reconociendo que los resultados obtenidos ya eran de su conocimiento, pero
demostrados por mtodos totalmente diferentes. Lamentablemente como sucedi
en el caso de Johann Bolyai, Gauss no realiz ningn comentario pblico que
tuviera que ver con el trabajo de Lobachevski en la Geometra.

Los trabajos de Bolyai y Lobachevski no recibieron el reconocimiento cuando

fueron publicados, a pesar de que representaban el resultado de siglos de investigacin en el mundo matemtico. Pero esto no debe ser sorpresa, la historia nos
ha enseado que grandes descubrimientos y aportes al mbito cientfico se han
reconocido despus de mucho tiempo, en algunos casos despus de la muerte de
sus creadores, como es el caso de la geometra hiperblica. En este caso particular
el retraso en su publicacin y expansin tal vez se debido a varias razones: Bolyai
abandon sus investigaciones matemticas debi a la respuesta de Gauss, hay que
reconocer que esta golpeo y maltrato demasiado la parte psicolgica de Johann.

29

En el caso de Lobachevski tal vez son dos las limitaciones ms marcadas, primero sus tratados y publicaciones eran escritas en ruso y en aquella poca el Latn,
Alemn y Francs eran las principales lenguas de la ciencia. Por ello Nikolai se
vi abocado a realizar un libro en alemn (Investigaciones Geomtricas acerca de
las lneas paralelas), y la segunda limitacin que tuvo que enfrentar Nicolai fue el
rechazo de gran parte de sus contemporneos en el imperio ruso.
A pesar de las dificultades e impedimentos, a partir de la publicacin de la correspondencia de Gauss, nueve aos despus de la muerte de Lobachevski, e impulsados por eventos como: La primera traduccin a Francs de Geometrischen Untersuchungen zur Theorie der parallellinien publicada en 1866, la del apndice al ao
siguiente y la famosa conferencia de Riemann de 1854 que fue dada a conocer en
1868 "Sobre las hiptesis en que se apoyan los fundamentos de la Geometra", se
di inicio a una poca de evolucin no solo en las matemticas sino en la ciencia.

30

Captulo 2
Geometra hiperblica
Como se ha venido mencionando, la geometra hiperblica se hadesarrollado abstractamente a partir del conjunto de conocimientos que surgieron en el estudio del
Quinto Postulado (de Euclides), pues nace al negarlo: Son muchas las paralelas
a una recta que pasan por un punto fuera de ella.
A principios del siglo XIX algunos matemticos como Bolyai y Lobachevski presentaron sus fundamentos para el nacimiento de la geometra hiperblica. Estaban
convencidos de su solidez y por consiguiente de su existencia o posibilidad. Pero es tambin cierto que se encontraban en franca minoria. En algunas ocasiones
se les calificaba de extravagancia o vil locura entre la comunidad cientfica.
Como se ha mencionado anteriormente matemticos de renombre y que contaban
con el reconocimiento del mundo cientifico, como es el caso de Gauss, conocian
resultados de geometra hiperblica pero no los hicieron pblicos por temor al
descrdito. Fue hasta la segunda mitad de ese siglo que gracias al surgimiento de
modelos del plano hiperblico basados en la geometra euclidiana, que la comunidad matemtica acabo por reconocerla.
31

La presentacion que se da en este de texto a la geometra hiperblica ser axiomtica como homenaje a sus precursores que se dieron el lujo de creer lo increible,
de crearlo y demostrarlo, reconociendo que este texto es tan solo una introduccin
a esta geometra.
A pesar de lo citado anteriormente, al decir que nuestro acercamiento a la geometra hiperblica se realizar por el camino axiomtico, daremos a continuacin
ideas intuitivas respecto a sus puntos, lneas y plano hiperblico, con la intencin
de que esto facilite al lector el acercamiento a la geometra hipeblica. El modelo
de puntos, lneas y plano que se presenta a continuacin es debido a la interpretacin realizada por F. Klein del sistema geomtrico de Lobachevski, basada en la
geometra proyectiva [5].

Puntos: El plano hiperblico, H, consiste de los puntos interiores del crculo unitario:
H := {(x, y) R2 | x2 + y 2 < 1}

Figura 2.1: El plano hiperblico

Lneas: Las lneas rectas, del plano hiperblico son sus intercepciones con las
32

lneas rectas euclidianas. Es decir son cuerdas del crculo unitario cuyos extremos
pertenecen al borde del crculo unitario, por ende, los segmentos que representan
rectas hiperblicas son abiertos (no contienen sus extremos propios). Es claro
entonces que por cada par de puntos en H hay una nica recta que pasa por ellos,
y por tanto, que si dos rectas diferentes en el plano hiperblico se interceptan,
entonces se interceptan en un nico punto.

2.1.

El quinto postulado de la geometra hiperblica

Como se ha mencionado anteriormente el quinto postulado de Euclides es equivalente a la afirmacin: Por un punto fuera de una recta, puede ser trazada una nica
recta dada. En nuestra introduccin a la geomtria hiperblica, nos encontramos
con un postulado caracterstico de esta, que ocupa el lugar del quinto postulado
en la geomtria Euclidiana.

POSTULADO. Por un punto fuera de una recta, se pueden trazar por lo menos
dos rectas que no se encuentran con la recta dada.

Observemos que si existen dos rectas pasando por un punto y sin interceptar la
recta dada, existen infinitas rectas con esta propiedad.
Consideremos dos de estas rectas m y m0 que pasan por un punto P y no interceptan a una recta n.
Alrededor de la intercepcin de las rectas m y m0 (en el punto P ), se forman
cuatro ngulos. La recta n esta contenida en uno de ellos. Si observamos todas las
rectas que pasan por el punto P y cruzan los ngulos y son rectas que tampoco

33

m0
n

Figura 2.2: Quinto postulado de la geomtria hiperblica

E

B
A

A0

Figura 2.3: Infinitas rectas que no intersectan a n

interceptan a la recta n. Y es obvio que este conjunto de rectas es infinito.
Con un conjunto tan grande de rectas que no interceptan a n, es conveniente modificar la definicin de paralelismo. Vamos a llamar paralela a la recta n que pasa
por P apenas a dos de tales rectas, las cuales describiremos mas adelante.
Proposicin 2.1. Dada una recta n y un punto P fuera de esta, existen exactamente dos rectas m y m0 que pasan por el punto P y que separan el conjunto de
las rectas que interceptan n del conjunto de las rectas que no interceptan n.
Demostracin. Trazamos una perpendicular por el punto P a la recta n y designamos por Q el pie de esta perpendicular. Posteriormente, trazamos una recta
pasando por P y perpendicular al segmento P Q, la cual sabemos que no intercepta la recta n. Escogemos dos puntos E y F sobre esta recta de tal forma que
34

P pertenezca al segmento EF y considere el tringulo EF Q. Como el punto P

pertenece al lado EF todas las rectas que pasan por P , con excepcin de la que
pasa por E y F , son rectas que cortan el segmento EF en un punto y que por tanto
tambin cortan el segmento EQ o el segmento QF . Inicialmente, nos restringiremos a las rectas que cortan el segmento EQ. Observese que en este segmento
cada punto representa una de las rectas que pasa por P .
Estos puntos pueden separarse en dos clases, la de los que representan las rectas
que no iterceptan a n y que llamaremos N , y la de los que representan rectas que
interceptan a n y que llamaremos M. Es claro que N M es vacio, que E N
y que Q M. Adicionalmente si A M entonces QA M. Para ver esto, sea
A0 el punto de n donde la recta que pasa por P y A intercepta a n, observemos
que cualquier recta que penetre en el tringulo P QA0 por el vrtice P debe cortar
el lado QA0 . Asi, si B N entonces EB N .
Entonces existe un punto S que separa los conjuntos M y N . La pregunta que
surge inmediatamente es si este punto de separacin pertenece al conjunto M o
al conjunto N . Supongamos que pertenece a M o sea la recta que pasa por P y
S e intercepta n en un punto S 0 . Tomemos ahora cualquier punto de la semirecta
de origen Q, pasa por S 0 y y que esta fuera del segmento QS 0 . Es claro que esta
recta intercepta EQ en un punto que est por fuera del segmento QS, lo cual es
un absurdo y por tanto S N .
El mismo argumento puede repetirse para el segmento QF obteniendo asi otro
punto de separacin en ese lado. Estos dos puntos corresponden a las rectas que
separan todas las rectas que pasan por el punto P en dos categoras, las que interceptan a n y las que no interceptan a n. Adems, estas dos rectas no interceptan a
n.

35

Llamaremos las dos rectas de la proposicin anterior paralelas a la recta n que

pasan por P .
Proposicin 2.2. Las rectas paralelas a una recta n que pasan por P forman
ngulos iguales con la perpendicular a n que pasa por P . Adems el ngulo
mencionado es agudo.

P
2
1

R2

R1

Figura 2.4: ngulos iguales y agudos

Demostracin. Sea P Q el segmento perpendicular a n que pasa por el punto P .
Sean 1 y 2 los dos ngulos citados en la proposicin. Supongamos que 1 < 2 .
En el lado en que est 2 , tracemos una recta que pase por P y forme un ngulo 1
con P Q. Es entonces claro que tal recta cortar a n en un punto, que llamaremos
R2 . Sea entonces R1 , un punto en la recta n, tal que Q sea el punto medio de R1 R2 .
Los tringulos P QR1 y P QR2 son entonces congruentes. En consecuencia, el
ngulo QP R1 = 1 , lo cual es un absurdo.

2.2.

Propiedades elementales de las paralelas

Ciertas propiedades de las paralelas euclidianas son vlidas en la geometra hiperblica. Tres de estas se darn a continuacin.
36

Teorema 2.1. Si una recta es paralela, pasando por un punto y en un determinado

sentido, a una recta dada, entonces, ella es en cada uno de sus puntos, paralela
en el mismo sentido a la recta dada.
mA

R
U

T
O

Figura 2.5: Paralela en todos sus puntos

Demostracin. Supongamos que la recta m que pasa por A y B sea una de las
paralelas a n pasando por P . Digamos que es la paralela a la derecha. Ahora
tomemos un punto cualquiera de m, al que llamaremos R. Debemos mostrar que
m es tambin una de las paralelas a la recta n pasando por el punto R y que es
paralela a la derecha. Entonces tendriamos dos casos a considerar:

CASO 1. El punto R est en el lado del punto P en la direccin del paralelismo.

Tracemos P Q y RS perpendiculares a n. Vamos a mostrar que toda recta pasando
por n y entrando en el ngulo SRB corta la recta n. Sea RT un segmento de una
de estas rectas y escojamos un punto cualquiera U en el. A continuacin tracemos
P U y RQ. Por el paralelismo en el punto P , tenemos que la recta P U debe cortar
n en un punto M y, por el axioma de Pasch, debe cortar el segmento RQ en un
punto N . Nuevamente usando el axioma de Pasch, concluimos que la semirecta

37

RU prolongada, debe cortar el lado QM del tringulo QN M . De donde se sigue

el resultado.

CASO 2. El punto R, esta en el lado del punto P en la direccin opuesta al paralelismo. En este caso la demostracin es esencialmente la misma y por eso no la
presentamos.
Teorema 2.2. Si una recta es paralela a una segunda entonces la segunda es
paralela a la primera.
A

E
F
G
C

H
J

Figura 2.6: Paralelas recprocas

Demostracin. Considerense las rectas m y n que pasan por los puntos A y B,

C y D, respectivamente. Sea P un punto del segmento AB. Supongamos ahora
que m sea paralela a la recta n pasando por P en una direccin, digamos que sea
a la derecha. Tracemos P Q perpendicular a n y QR perpendicular a m. El punto
R estar a la derecha de P (del lado del paralelismo), de lo contrario el tringulo
P QR tendra dos ngulos no agudos, lo cual es prohibido por el teorema del
ngulo externo. Debemos probar que la recta n es paralela a la recta m pasando
por el punto Q.

38

Para esto, tenemos que probar que toda recta que pasa por el punto Q y divide
el ngulo RQD, intercepta a la recta m. Considrese una de estas rectas y sea E
uno de sus puntos dentro del ngulo citado. Tracemos la recta P F perpendicular
a esta recta. El punto F pertenece a la semirecta de origen en Q pasando por E.
En la semirecta SP Q (semirecta de origen en P y que pasa por Q) marquemos
un punto G, de modo que P G = P F . El punto G P Q, ya que P F < P Q
como cateto e hipotenusa de un tringulo rectngulo. Tracemos una perpendicular
GH al segmento P Q y construya un ngulo GP I igual al ngulo F P B. Sea J el
punto en donde la semirecta SP I corta la recta n. Como la semirecta SGH corta
el lado P Q del tringulo P QJ, pero no corta el lado QJ, entonces, debe cortar
P J en algn punto K. En SP B marquemos un punto L tal que P L = P K y
tracemos F L. Se puede observar que P GK y P F L son congruentes (primer caso
de congruencia). Por lo tanto, ]P F L = ]P GK = 90o , luego, los puntos Q, F ,
E y L son colineales. Entonces la semirecta SQE corta la recta m, como se quera
demostrar.
El siguiente y ltimo teorema lo presentamos sin demostracin.
Teorema 2.3. Si dos rectas son paralelas a una tercera en la misma direccin
entonces son paralelas entre si.
Con el fin de simplificar los enunciados se introduce la nocin de punto ideal. Lo
que se hace es agregar dos puntos a cada recta del plano, los cuales en el orden
de estas rectas se ubican uno antes de todos sus puntos y otro despus de todos
los puntos. El procedimiento que utilizado es el mismo que se usa para incluir los
puntos + y en el conjunto de los nmero reales. Ellos sern denominados
puntos ideales. Admitiremos que estos nuevos puntos son adicionados de modo
39

tal que las rectas paralelas tengan en comn un punto ideal en la direccin del
paralelismo, o sea que el mismo punto ideal es adicionado a rectas paralelas en
el lado del paralelismo. As, dos rectas son paralelas si tienen un punto ideal en
comn.

2.3.

Tringulos generalizados

Consideremos, inicialmente, los tringulos generalizados formados por dos puntos ordinarios y un punto ideal. Vamos a representar los puntos ideales por letras
griegas maysculas. As mismo, nos referiremos al tringulo generalizado AB,
que tiene vrtices ordinarios A y B, y el vrtice ideal . Como en la Figura 2.7,
la cual queda formada por el segmento AB y por dos semirectas paralelas con
orgenes en los puntos A y B.
A

B
Figura 2.7: Tringulo generalizado

Teorema 2.4. Si una recta penetra en un tringulo generalizado AB por uno

de sus vrtices, entonces, ella corta el lado opuesto a este vrtice.
Demostracin. Si la recta penetra por A, o por B, entonces, debe interceptar el
lado opuesto. Esto ocurre simplemente porque las rectas A y B son paralelas.
40

Considrese, pues una recta que proviene del punto y pasa en algn punto P interior del tringulo. Por paralelismo, la semirecta SAP intercepta B en un punto
Q. Por el axioma de Pasch, una recta que viene de y pasa por P debe interceptar
uno de los otros lados del tringulo ABQ. No puede interceptar BQ, pues de lo
contrario, coincidir con el lado B. Luego, intercepta AB.
A

Q
B
Figura 2.8: Intercepcin del lado opuesto

Teorema 2.5. (Teorema del ngulo externo) Un ngulo externo de un tringulo

generalizado AB es siempre mayor que el ngulo interno que no le es adyacente.
Demostracin. Dado un tringulo generalizado AB, sea C un punto de la semirecta SAB , fuera del segmento AB. Tenemos que ]CB es un ngulo externo
del tringulo. Debemos probar que ]CB >]BA. Para esto, tracemos a partir
de B un segmento BD, tal que ]CB = ]BA. Como consecuencia de los
cuatro primeros postulados, la recta que pasa por B y D no intercepta A. En
consecuencia, el punto D no puede estar en la regin interior del tringulo AB.
Si el punto D est fuera del tringulo, como en la Figura 2.9, entonces, el resultado

41

est demostrado. Nos falta solamente excluir las posibilidades de que el punto D
est sobre B.
L

M
N
B

C
Figura 2.9: El ngulo externo
Suponga que esto sucede, sea M el punto medio de AB. Bajemos una perpendicular de M hasta un punto N B. En la recta que pasa por A y , marquemos el
punto L de modo que LA = BN y que L y N estn en lados opuestos relativamente a la recta que pasa por A y B. Por el primer caso de congruencia de tringulos
(ordinarios), LAM = N BM y enconsecuencia, LN es una perpendicular comn
a L y a N . Lo cual es absurdo ya que esto contradice la proposicin 2.2.
Diremos que dos tringulos generalizados, AB y A0 B 0 0 , son congruentes si
existe una correspondencia entre sus vrtices de modo que, los lados finitos se
correspondan y sean congruentes, y los ngulos correspondientes sean tambin
congruentes. Como en el caso de los tringulos ordinarios, escribiremos AB =
A0 B 0 0 , para decir que dos tringulos son congruentes y que la congruencia lleva
A en A0 , B en B 0 y en 0 . A continuacin se darn las condiciones mnimas
bajo las cuales dos tringulos generalizados, del tipo que venimos considerando,
42

son congruentes.
Teorema 2.6. (Caso 1 de congruencia de tringulos) Si AB = A0 B 0 y ]BA =
]B 0 A0 0 entonces AB = A0 B 0 0 (ver Figura 2.10).
Demostracin. Debemos mostrar que ]AB = ]A0 B 0 0 . Vamos a suponer que
este no es el caso, y sin perdida de generalidad, podemos suponer que ]AB >
]A0 B 0 0 . Sea SBC una semirecta tal que los ngulos ABC, y, A0 B 0 0 son iguales.
Esta semirecta penetra en el ngulo AB. Ahora, por el Teorema 2.4 podemos
decir que esta semirecta corta a el lado A en el punto D. Tomemos un punto D0
en A0 0 , tal que AD = A0 D0 , por lo que podemos decir que los tringulosABD y
A0 B 0 D0 son iguales. Por lo tanto,
]ABD = ]A0 B 0 D0 = ]A0 B 0 0
lo cual es un absurdo.
A

D
C

Figura 2.10: Primer caso de congruencia

Teorema 2.7. (Caso 2 de congruencia de tringulos) Si ]AB = ]A0 B 0 0 y

]BA = ]B 0 A0 0 entonces los tringulos AB y A0 B 0 0 son iguales.
43

C
B

B
Figura 2.11: Segundo caso de congruencia

Demostracin. Debemos probar que AB = A0 B 0 . Supongamos que este no sea el

caso. Sin perdida de generalidad, podemos suponer AB > A0 B 0 . Sea C un punto
de AB tal que AC = A0 B 0 . Consideremos la recta C, por el primer caso de
congruencia de tringulos generalizados, tenemos que AC = A0 B 0 0 . Por lo
tanto, ]AC = ]A0 B 0 0 . Como este ltimo es, por hiptesis, igual al ngulo
AB, entonces, el tringulo CB posee un ngulo externo igual a un ngulo
interno no adyacente. Y esto es una contradiccin al teorema del ngulo externo
(Teorema 2.5).
Teorema 2.8. Si AB = A0 B 0 , ]AB = ]BA y ]A0 B 0 0 = ]B 0 A0 0 entonces
los tringulos AB y A0 B 0 0 son iguales.
Demostracin. Es suficiente probar que los ngulos AB y A0 B 0 0 son iguales
(ya que tendramos el primer caso de congruencia de tringulos). Vamos a suponer
que este no sea el caso. Podemos asumir, sin perdida de generalidad que ]AB >
]A0 B 0 0 . Construyamos entonces, ngulos ABC y BAD iguales entre si e iguales al ngulo A0 B 0 0 . Por el Teorema 2.3 y por el axioma de Pasch, concluimos
que las semirectas SAD y SBC se interceptan en un punto, que llamaremos E, en
el interior del tringulo AB. Ubiquemos en el lado A0 0 del tringulo A0 B 0 0
44

A
D

B
Figura 2.12: Igualdad de tringulos

un punto E 0 , talque A0 E 0 = AE. Se deduce que los tringulos ABE y A0 B 0 E 0

son congruentes. Entonces tenemos que los ngulos A0 B 0 E 0 y ABE son iguales.
Como este ltimo es igual al ngulo A0 B 0 0 , el punto E 0 debe pertenecer a B 0 0 .
Por lo tanto hemos llegado a un absurdo.

2.4.

El ngulo de paralelismo
P

A
Figura 2.13: ngulo de paralelismo

Considrese un tringulo generalizado AP , como en la Figura 2.13, en el que el

ngulo ]A = 90o . Por el teorema del ngulo externo para tringulos generalizados, es fcil concluir que el ngulo P es agudo. A este lo llamaremos el ngulo de
paralelismo. Debido al primer caso de congruencia de tringulos generalizados,
45

probado en la seccin anterior, podemos deducir inmediatamente que, el ngulo de paralelismo depende del segmento de recta AP . Vamos a representar por
h tal segmento y por el ngulo de paralelismo, observar la Figura 2.13. Una
consecuencia inmediata del teorema del ngulo externo es que la funcin es
estrictamente decreciente, esto es:
Si h1 < h2 entonces (h1 ) > (h2 ).
Como el tamao del segmento AP es arbitrario, la funcin est definida para
cualquier nmero real no negativo siendo igual a un ngulo recto cuando h = 0. Se
puede probar que la funcin tiene por imagen el conjunto de todos los ngulos
en el intervalo (0o , 90o ], tendiendo a cero cuando h crece demasiado (es decir,
tiende a +). As, es continua ya que es estrictamente decreciente. Podemos
extender la definicin de a valores negativos de h a travs de la ecuacin:
(h) + (h) = 180o .
Esto permite que podamos colocar coordenadas en una recta, en la forma usual, y
tengamos la funcin definida para cada punto de esta recta.

2.5.

Cuadrilteros especiales

Como se ha mencionado anteriormente, la bsqueda de probar el quinto postulado

de Euclides origin resultados equivalentes a este, algunos han sido mencionados
en el primer captulo de esta monografa, dentro de ellos encontramos uno que se
debe al jesuita Girolamo Saccheri (1667-1733) tambin mencionado anteriormente. Saccheri us como base de sus investigaciones cuadrilteros. Otro postulado
equivalente que tambin utiliza a los cuadrilteros, es el producido por Johann
46

Heinrich Lambert (1728-1777). A continuacin hablaremos del trabajo desarrollado por Saccheri.
Supongamos un cuadriltero ABCD con sus lados AB y CD iguales y los ngulos DAB y ABC rectos, ver Figura 2.14. Tales cuadrilteros son comnmente
llamados cuadrilteros de Saccheri. En la geometra euclidiana ellos seran rectngulos, pero esto no ocurre en la geometra hiperblica. En un cuadriltero de
Saccheri, el lado comn a los dos ngulos rectos (DAB y ABC) es llamado base
y el lado opuesto a la base es llamado tapa, los otros dos son llamados simplemente lados del cuadriltero. Los dos ngulos no rectos son denominados ngulos de
la tapa o simplemente ngulos del cuadriltero.
D

Figura 2.14: Cuadriltero de Saccheri

Proposicin 2.3. La recta que une los puntos medios de la base y de la tapa de
un cuadriltero de Saccheri es perpendicular a la tapa y a la base; los ngulos de
la tapa son congruentes.
Demostracin. Sea AB la base del cuadriltero de Saccheri DABC. Sean M y
H los puntos medios de la base y la tapa respectivamente, ver Figura 2.14. Es
fcil probar que ]DAM = ]CBM y que en consecuencia los tringulos DM H
y CM H son iguales. Se sigue de lo anterior que M H es perpendicular a DC, y
47

sumando los ngulos en M que M H es tambin perpendicular a AB. Sumando

ngulos en D y C obtenemos la igualdad de los ngulos de la tapa.
Corolario 2.1. La base y la tapa de un cuadriltero de Saccheri forman parte de
rectas que no se interceptan.
Teorema 2.9. los ngulos de la tapa de un cuadriltero de Saccheri son agudos.
Demostracin. Usaremos las mismas letras de la figura anterior. Sea un punto
ideal de la recta que pasa por A y B. Sin perdida de generalidad podemos suponer
que B A. Consideremos entonces, las semirectas D y C. Sea E un punto
tal que C DE.
D

Figura 2.15: La parte superior de un cuadriltero

Debido al corolario anterior, sabemos que D est contenida en el ngulo ADE
y que C est contenida en el ngulo BCE. Tenemos entonces que los ngulos AD y BC son iguales, por ser ngulos de paralelismo correspondientes
a segmentos congruentes. Adems, en el tringulo generalizado CD, el ngulo
externo EC es mayor que el ngulo interno no adyacente CD. Por lo tanto,
]BCE > ]ADC = ]BCD. Por consiguiente, ]BCD es agudo.

48

Si observamos con atencin la proposicin 2.3 nos damos cuenta que depende
solamente de los cuatro primeros postulados, siendo, por tanto, tambin vlida en
la geometra euclidiana.
Lambert tambin utiliz, como figura fundamental de su estudio de geometra un
cuadriltero, pero con una caracterstica interesante, con tres ngulos rectos. Estos
cuadrilteros son conocidos como cuadrilteros de Lambert. Su nico ngulo no
conocido es llamado el ngulo del cuadriltero de Lambert.
Teorema 2.10. El ngulo de un cuadriltero de Lambert es siempre agudo
Demostracin. Sea ABCD un cuadriltero de Lambert con ]A = ]B = ]D =
90o . Prolonguemos la semirecta SBA , marcando un punto E, tal que EA = AB.
Tracemos adems un segmento de recta F E perpendicular a AB y congruente
a BC, ver Figura 2.16. Tracemos las semirectas F A, F D y AC. Es inmediato
que los tringulos F EA y CBA son iguales. Como consecuencia, obtenemos la
F

Figura 2.16: Cuadriltero de Lambert

congruencia de los tringulos F AD y CAD. Por tanto, el ngulo ADF es recto
entonces los puntos F , D y C son colineales. Por construccin, F EBC es un
cuadriltero de Saccheri luego el ngulo BCD es agudo.

49

Teorema 2.11. Sea ABCD un cuadriltero con ]A = ]B = 90o . Entonces,

]C > ]D si y slo si AD > CB.
Demostracin. Si AD > BC, tomemos un punto E sobre la semirecta AD, tal
que AE = BC y tracemos EC (ver Figura 2.17). Entonces, EABC es un cuadriltero de Saccheri, luego ]AEC = ]BCE. Como ]AEC es un ngulo externo del tringulo DEC y claramente ]BCD > ]BCE, podemos concluir que
]ADC < ]BCD. La prueba de la afirmacin recproca se puede hacer fcilD
C

Figura 2.17: Un resultado interesante

mente y no la presentaremos aqu.

2.6.

Suma de los ngulos de un tringulo

En la geometra euclidiana la suma de los ngulos internos de cualquier tringulo

es igual a dos rectos, dicho resultado se demostr en el primer captulo. Un resultado que se deduce del anteriormente citado es que la suma de los dos ngulos
restantes de un tringulo rectngulo es igual a un recto. En la geometra hiperblica existen resultados similares, los cuales vamos a presentar a continuacin.

50

Teorema 2.12. La suma de los ngulos de cualquier tringulo rectngulo es menor que dos ngulos rectos.
Demostracin. Sea ABC un tringulo rectngulo con un ngulo recto en C, ver
Figura 2.18. Sabemos con base en los cuatro primeros postulados, que la suma
de cualesquiera dos ngulos de un tringulo es siempre menor que dos ngulos
rectos. As, los otros dos ngulos de nuestro tringulo son agudos. Tracemos un
A

Figura 2.18: ngulos internos de un tringulo

segmento AD de tal forma que ]DAB = ]ABC. Sea M el punto medio de AB.
Tracemos una semirecta M P perpendicular a BC. En la semirecta SAD se marca
un punto Q tal que AQ = P B. Entonces tenemos que los tringulos AQM y
BP M son iguales. En consecuencia, el ngulo M QA es un ngulo recto y P , M
y Q son colineales. Por lo tanto, ACP Q es un cuadriltero de Lambert con ngulo
agudo en el vrtice A. Luego la suma de los dos ngulos no rectos del tringulo
rectngulo ABC, que es exactamente igual al ngulo agudo CAD, es menor que
un ngulo recto.
El siguiente resultado es un corolario inmediato del teorema anterior.
Teorema 2.13. La suma de los ngulos de cualquier tringulo es menor que dos
ngulos rectos.
51

Corolario 2.2. La suma de los ngulos de todo cuadriltero es menor que cuatro
ngulos rectos.
Teorema 2.14. Si los tres ngulos de un tringulo son respectivamente iguales a
los tres ngulos de otro tringulo, entonces los tringulos son congruentes.
A

A
C

B
C

B
Figura 2.19: ngulos congruentes

Demostracin. Sean ABC y A0 B 0 C 0 dos tringulos tales que ]A = ]A0 , ]B =

]B 0 y ]C = ]C 0 , ver la Figura 2.19. Supongamos que los lados correspondientes
no son iguales. Por ejemplo, supongamos que AB > A0 B 0 , sea entonces un punto
D en AB tal que AD = A0 B 0 . En la semirecta SAC marquemos un punto E tal que
AE = A0 C 0 . Entonces tenemos que los tringulos ADE y A0 B 0 C 0 son iguales.
Es claro que AE < AC, pues de no ser cierto sera una contradiccin a nuestra
hiptesis. Entonces, BDEC es un cuadriltero en el que la suma de los ngulos
internos es igual a cuatro rectos, lo que esta en franca contradiccin al Corolario
2.2. Esto concluye nuestra demostracin.
El siguiente teorema lo presentamos sin demostracin.
Teorema 2.15. La funcin ngulo de paralelismo est definida para cualquier
nmero real no negativo, es sobreyectiva y tiene como rango el intervalo (0o , 90o ].
52

2.7.

Puntos ultraideales

Vamos ahora a llevar nuestra atencin a las rectas que no se interceptan. Sabemos
que si dos rectas tienen una perpendicular en comn, entonces estas rectas no se
interceptan. La afirmacin inversa es tambin verdadera y se constituye en una de
las propiedades importantes de la geometra hiperblica.
Teorema 2.16. Dos rectas que no se interceptan tienen una y solamente una perpendicular comn.
Demostracin. En esta demostracin tenemos que realizar dos pruebas, la primera relacionada con la existencia y la segunda con la unicidad.
Existencia. Sean m y n un par de rectas que no se interceptan. Escojamos dos
puntos cualesquiera A y B en n y tracemos los segmentos AC y BD perpendiculares a m. Si AC = BD, ACDB es un cuadrilatero de Saccheri. Se sigue de
inmediato que n y m poseen una perpendicular comn. Si AC no es congruente
a BD, podemos suponer, sin perdida de generalidad, que AC > BD. Vamos a
llamar a un punto ideal de la semirecta SAB . Ubiquemos un punto E en AC tal
que EC = BD y marquemos un punto cualesquiera H en la semirecta SCD fuera
del segmento CD. A continuacin construimos el ngulo CEF igual al ngulo
DB con un punto F en el cuadrilatero ACDB.
Vamos a mostrar que la semirecta SEF intercepta a n. Para esto, considere las semirectas C y D las cuales estn respectivamente dentro de los ngulos ACH
y BDH. Como por el teorema del ngulo externo ]HD > ]HC, entonces
podemos trazar una lnea CJ penetrando el ngulo ACD tal que los ngulos
]HCJ = ]HD. Tal recta imterceptar la recta n en un punto que por simplicidad podemos suponer que es el punto J. Una inspeccin de la informacin que
53

B K
M

m
C

D L

Figura 2.20: Puntos ultraideales

tenemos sobre las figuras F ECJ y JBD nos convence de que SEF es paralela a SCJ . Inmediatamente SEF intercepta la recta n en un punto K situado en el
intercalo AJ.
Tracemos el segmento KL perpendicular a la recta m como en la Figura 2.20.
En la semirecta B ubiquemos un punto M tal que M B = EK, en la semirecta
SDH marquemos un punto N talque N D = CL y tracemos la recta M N . Usando
congruencia de tringulos, es facil ver que los cuadrilteros EKLC y BM N D
son congruentes, entonces M N es perpendicular a M y M N = KL. Por lo tanto, el cuadriltero KLN M es un cuadriltero de Saccheri y de ah se deduce el
resultado al que queriamos llegar.
Unicidad. Si existieran dos rectas perpendiculares a las rectas, tendramos un cuadriltero con cuatro ngulos rectos, lo cual vimos que es imposible. Esto concluye
la demostracin.
Volvemos nuevamente nuestra mirada al plano y aumentamos la familia de puntos
con un nuevo conjunto al que llamaremos puntos ultraideales. El conjunto de
puntos sera indizado por las rectas del plano; o sea, vamos a asociar a cada recta m
uno de estos puntos que representaremos por m . Estos puntos sern adicionados

54

a los puntos ordinarios e ideales, segun la siguiente regla:

En una recta n sern agregados los puntos ultraideales m , en donde m es cualquier recta perpendicular a n.

Como consequencia de esta regla y del teorema anterior, dos rectas que no se
interceptan tienen ahora en comn exactamente un punto ultraideal. Adems, el
conjunto de todas las rectas que pasan por el punto ultraideal m est constituido
exactamente por el haz de rectas perpendiculares a la recta m. Observese que
ahora dos rectas cualesquiera siempre se interceptan y el punto comn a las dos
rectas puede ser:
1. Ordinario
2. Ideal (en el caso de las rectas paralelas)
3. Ultraideal (en el caso de las rectas que no se interceptan)

55

Bibliografa
[1] Joo L. M. BARBOSA. Geometra hiperblica. CEGRAF - UFG, Universidad Federal de Gois, Goinia, Brasil, 2002.
[2] EUCLIDES. Elementos. Biblioteca Clsica Gredos, Editorial Gredos, Madrid, 1994.
[3] Bernardo MAYORGA. Lobachvski y la geometra euclidiana. Lecturas
Matemticas, Vol. 15, 2943, 1994.
[4] Alexander ORTIZ. La Genesis de las Geometras no Euclidianas. Universidad industrial de Santander, 1999.
[5] N. V. EFMOV. Geometra Superior. Mir, Mosc, 1984

56