Está en la página 1de 45

Geometras no euclidianas

Unidad 2. Geometra hiperblica

Universidad Abierta y a Distancia de Mxico

Licenciatura en Matemticas

10 cuatrimestre

Geometras no euclidianas

Unidad 2. Geometra hiperblica

Clave:
050941037

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Geometras no euclidianas
Unidad 2. Geometra hiperblica

ndice
Presentacin de la unidad ................................................................................................... 3
Propsitos............................................................................................................................ 3
Competencia especfica....................................................................................................... 3
2. Geometra hiperblica ...................................................................................................... 3
Actividad 1. El postulado de las paralelas ...................................................................... 5
2.1. Suma de ngulos. ................................................................................................... 5
2.1.1. Axioma hiperblico .............................................................................................. 8
2.1.2. ngulos internos de un tringulo ....................................................................... 11
2.2. Tringulos semejantes .......................................................................................... 23
2.2.1. El postulado de Wallis ....................................................................................... 24
2.2.2. Congruencia de tringulos ................................................................................ 27
Actividad 2. Suma de ngulos y tringulos semejantes ................................................ 28
2.3. Paralelas y perpendiculares .................................................................................. 29
2.3.1. Paralelas que admiten una perpendicular comn.............................................. 29
2.3.2. Limitacin de rayos paralelos ............................................................................ 38
2.4. Clasificacin de las paralelas ................................................................................ 42
Actividad 3. Paralelas y perpendiculares ...................................................................... 43
Autoevaluacin .................................................................................................................. 43
Evidencia de aprendizaje. Geometra hiperblica .............................................................. 43
Autorreflexiones ................................................................................................................. 44
Cierre de la unidad ............................................................................................................ 44
Para saber ms ................................................................................................................. 44
Fuentes de consulta .......................................................................................................... 45

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Geometras no euclidianas
Unidad 2. Geometra hiperblica
Presentacin de la unidad
En el inicio de esta unidad observars algunas formas equivalentes de presentar el quinto
postulado de Euclides, para despus construir una geometra distinta a la euclidiana por
medio de la negacin del postulado de las paralelas de Hilbert y as obtener el axioma
hiperblico y comenzar con el estudio de la conocida como geometra hiperblica. Aunado
a esto, se muestran propiedades que son comunes a ambas geometras y tambin algunas
diferencias entre ellas.

Propsitos
Al trmino de esta unidad logrars:

Identificar algunas equivalencias del quinto postulado de Euclides.


Identificar el axioma hiperblico como la negacin del axioma de las paralelas de
Hilbert.
Revisar algunas propiedades comunes entre la geometra euclidiana y la geometra
hiperblica.
Revisar algunas diferencias entre la geometra euclidiana y la geometra
hiperblica.

Competencia especfica
Analizar la consistencia de la geometra hiperblica para la resolucin de problemas
geomtricos, mediante los conceptos de ngulo, tringulo y perpendiculares.

2. Geometra hiperblica
Como has observado en la unidad anterior, el quinto postulado de Euclides ha sido el ms
controversial, muchos matemticos intentaron deducirlo de los cuatro anteriores
fracasando en cada uno de sus intentos; llegaron a la conclusin de que este postulado era
independiente de los otros, lo que provoc un cambio en la forma de concebir la geometra,
dando origen a otras geometras conocidas como geometras no euclidianas. En esta
seccin se aborda la geometra conocida como hiperblica.
Es de resaltar que, en muchas ocasiones, cuando una nueva idea surge hay varias
personas que trabajan simultneamente con sta, es muy conocida la historia del
surgimiento del clculo desarrollado en forma paralela por Newton en Inglaterra y Leibniz
en Alemania. La historia ha ubicado a tres matemticos como los iniciadores en el estudio
de una geometra no euclidiana: el hngaro Jnos Bolyai (1802-1860), el alemn Carl
Friedrich Gauss (1777-1855) y el ruso Nikolai Ivanovich Lobachevsky (1792-1856).
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Geometras no euclidianas
Unidad 2. Geometra hiperblica
Como se vio en la unidad anterior, dos rectas son paralelas si nunca se cortan, la forma
original en que Euclides presenta el quinto postulado en los elementos es:
Quinto postulado de Euclides: si dos lneas son cortadas por una transversal de tal
forma que la suma de los ngulos interiores de algn lado de la transversal sea menor que
dos ngulos rectos, entonces las dos lneas se cortan del mismo lado de la transversal.

Grficamente, el quinto postulado de Euclides se presenta de la siguiente manera:

Figura 1. El quinto postulado de Euclides

A continuacin se presentan algunas equivalencias de este postulado, las cuales se


presentan sin demostracin:
Teorema 2.1. El quinto postulado de Euclides se cumple si y slo si se cumple el axioma
de las paralelas de Hilbert.
Teorema 2.2. El axioma de las paralelas de Hilbert se cumple si y slo si dadas dos lneas
paralelas, si otra lnea corta a alguna de stas, entonces tambin corta a la otra.
Teorema 2.3. El axioma de las paralelas de Hilbert se cumple si y slo si cualesquiera dos
lneas paralelas que son cortadas por una transversal tienen al menos un par de ngulos
alternos internos congruentes.
Teorema 2.4. El axioma de las paralelas de Hilbert se cumple si y slo si cuando la lnea
2
3 y 1 2 , implica que 1 3 .
1 es transversal a las lneas 2 y 3 , donde
Teorema 2.5. El axioma de las paralelas de Hilbert se cumple si y slo si dadas cuatro
lneas 1 , 2 , 3 y 4 tales que 1 2 , 1 3 y 1 4 implica que 3 4 o 3 4 .
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Geometras no euclidianas
Unidad 2. Geometra hiperblica
Teorema 2.6. El quinto postulado de Euclides se cumple si y slo si los rectngulos
existen.

Actividad 1. El postulado de las paralelas


A travs de esta actividad, identificars los principios bsicos de la geometra euclidiana
para separar el quinto postulado de Euclides.

1. Investiga algunos resultados de la geometra euclidiana clsica.


2. Ingresa al foro y responde las siguientes preguntas.
Cules son independientes del quinto postulado de Euclides?
Cules utilizan el quinto postulado de Euclides?
3. Revisa las aportaciones de dos de tus compaeros(as), realiza una comparacin
con tus respuestas. Acepta o rechaza sus respuestas.
Consulta la rbrica general de la participacin en foros que se encuentra en la seccin
Material de apoyo.

2.1. Suma de ngulos


Hay muchos objetos y resultados geomtricos que se pueden obtener utilizando los
axiomas de Hilbert sin necesidad de utilizar el axioma de las paralelas, como se ejemplifica
a continuacin; pero primero debers considerar las siguientes definiciones:
Definicin: Sean t , y ' tres lneas distintas, con t transversal a y ' y donde t corta
en B y B ' a las rectas y ' respetivamente. Sean A y C puntos de tales que
A * B * C y de forma similar A ' y C ' son puntos de ' tales que A '* B '* C ' . Entonces los
ngulos A ' B ' B, ABB ', C ' B ' B, CBB ' son llamados internos. Por otro lado, las parejas
de ngulos

ABB ', C ' B ' B y

A ' B ' B,

CBB ' son llamados alternos internos.

La definicin anterior se ejemplifica en la siguiente figura:

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Geometras no euclidianas
Unidad 2. Geometra hiperblica

Figura 2. ngulos alternos internos

El resultado que se presenta se le conoce como teorema de los ngulos alternos


interiores.
Teorema 2.7. Si dos lneas son cortadas por una transversal de tal forma que se forme una
pareja de ngulos alternos internos congruentes, entonces las dos son paralelas.
Demostracin: sean las lneas t ,
anterior, entonces:
(i).

Se tiene por hiptesis que

y ' , los A, B, C, A ', B ', C ' como en la definicin

A ' B ' B CBB ' .

Figura 3. ngulos alternos internos en un par de lneas paralelas

(ii).

Por contradiccin, supn que y ' no son paralelas, es decir, que existe un punto
D donde intersecta a ' y supn que D est del mismo lado con respecto a t
que los puntos C y C ' .

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Geometras no euclidianas
Unidad 2. Geometra hiperblica

Figura 4. Las rectas

(iii).

se intersectan en

Existe un punto E sobre el rayo B ' A ' tal que B ' E BD .

Figura 5. El punto

(iv).

satisface

B ' E BD

Como el segmento BB ' es congruente consigo mismo, entonces por el criterio LAL
se tiene que B ' BD BB ' E y en particular DB ' B EBB '

Figura 6. El tringulos

B ' BD es congruente a

BB ' E

(v).

Dado que DB ' B es suplementario a EB ' B , entonces EBB ' es suplementario


a DBB ' .
(vi).
En consecuencia E es un punto de .
(vii).
Entonces y tienen dos puntos en comn, lo que implica que ' , lo cual
contradice la hiptesis presentada en la definicin.
'.
(viii).
Por lo tanto D no existe, por lo tanto
Lo que demuestra el resultado.
Debido al teorema anterior, se presentan dos consecuencias inmediatas:

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Geometras no euclidianas
Unidad 2. Geometra hiperblica
Corolario 2.7.1. Dos lneas perpendiculares a la misma son paralelas entre s. Ms an,
dada una lnea y un punto que no pertenece a sta, entonces la perpendicular a la lnea
que pasa dicho punto es nica.
Demostracin: si dos lneas y son perpendiculares a la lnea t , los ngulos alternos
internos son ngulos rectos, y como todos los ngulos rectos son congruentes entre s,
.
esto implica que
Corolario 2.7.2. Dadas cualquier lnea
existe al menos una lnea m paralela a

y un punto P que no pertenezca a


que pasa por P .

entonces

Demostracin: existe una lnea t perpendicular a la lnea que pasa por el punto P ,
Adems de una nica lnea m perpendicular a t que pasa por P , dado que y m son
m.
perpendiculares a t entonces por el corolario anterior
Observa que este resultado afirma la existencia de la lnea m paralela a que pasa por el
punto P , pero este corolario no afirma la unicidad de sta, por lo que no se obtiene el
quinto postulado de Euclides.

2.1.1. Axioma hiperblico


Como observaste en la unidad 1, existen resultados que se obtienen inmediatamente de
los axiomas de Hilbert, sin necesidad de mezclar unos con otros. Los axiomas que
determinan a la geometra hiperblica son los de Hilbert, sin tomar en cuenta el axioma de
las paralelas, que se sustituye por el axioma hiperblico, es decir, los axiomas que
definen la geometra hiperblica son:
(a)
(b)
(c)
(d)
(e)

Incidencia
Intermediacin
Congruencia
Continuidad
Hiperblico

El axioma hiperblico se enuncia de la siguiente manera:


Axioma hiperblico: existe una lnea y un punto P que no pertenece a
existen al menos dos lneas paralelas a distintas que pasan por P .

, tales que

Observa que este axioma es la negacin del axioma de las paralelas de Hilbert y, en
consecuencia, del quinto postulado de Euclides. La siguiente figura presenta una nocin
grfica del axioma hiperblico:
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Geometras no euclidianas
Unidad 2. Geometra hiperblica

Figura 7. Axioma hiperblico

En geometra hiperblica, al no cumplirse el axioma de las paralelas de Hilbert, entonces el


teorema 2.6. es falso, por consiguiente se tiene el siguiente resultado:
Lema 2.1. En geometra hiperblica no existen los rectngulos.
El lema anterior permite plantear una versin universal del axioma hiperblico, a esto se le
conoce como el teorema hiperblico universal.
Teorema 2.8. En geometra hiperblica, para toda lnea y todo punto P que no
pertenezca a se tiene que a travs de P pasan al menos dos distintas lneas paralelas a
.
Demostracin: basta atender los siguientes pasos:
(i).

Sean

una lnea y P un punto que no pertenezca a

Figura 8. La lnea

(ii).

Considera el punto Q de la lnea

y el punto

, de tal forma que PQ .

Figura 9. La lnea

PQ

perpendicular a

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

Geometras no euclidianas
Unidad 2. Geometra hiperblica
(iii).

Sea m la lnea que pasa por P tal que PQ m .

Figura 10. La lnea m perpendicular a

(iv).

Sea R un punto sobre

distinto de Q y t la perpendicular a

Figura 11. La lnea

(v).

PQ

perpendicular a

que pasa por

que pasa por R .

Sea S un punto de la lnea t , de tal forma que PS t .

Figura 12. La lnea

PS

perpendicular a

(vi).

Como PS y

(vii).

Se tiene que mostrar que PS m o equivalentemente S no es elemento de la lnea


m , se procede por contradiccin, supngase que S es elemento de m .
En consecuencia, el cuadriltero QRSP es un rectngulo.

(viii).

son perpendiculares a t se tiene que PS

(ix).
Esto contradice el lema 2.7., por consiguiente S no pertenece a m .
Lo que demuestra el resultado.
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

10

Geometras no euclidianas
Unidad 2. Geometra hiperblica
Como consecuencia inmediata del teorema hiperblico universal, se presenta el
siguiente resultado:
Corolario 2.8.1. En geometra hiperblica, para toda lnea y todo punto P que no
pertenezca a existen un nmero infinito de lneas paralelas a que pasan por P .
Demostracin: dado que las rectas paralelas dependen del punto R y como hay una
manera infinita de escoger al punto R , se tiene que existen un nmero infinito de rectas
paralelas a .

2.1.2. ngulos internos de un tringulo


Es momento de revisar el comportamiento de los ngulos interiores de un tringulo en
geometra hiperblica, para ello se presentan las siguientes definiciones:

Definicin: dos ngulos son adyacentes si y slo si tienen el mismo vrtice, comparten un
lado y no se sobreponen uno sobre el otro.
Grficamente, dos ngulos adyacentes se ven de la siguiente forma:

Figura 13. ngulos adyacentes

Definicin: dos ngulos son opuestos por un vrtice si se forman de la interseccin de dos
lneas y tales ngulos no son adyacentes.
Grficamente los ngulos opuestos por un vrtice se ven la de la siguiente forma:

Figura 14. ngulos opuestos por un vrtice

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

11

Geometras no euclidianas
Unidad 2. Geometra hiperblica
Los ngulos opuestos por un vrtice son congruentes, esto permite mostrar que los
ngulos suplementarios de ngulos congruentes son congruentes. El siguiente concepto se
utiliza en el prximo resultado:
Definicin: dados dos ngulos

ABC y

DEF , se dice que

ABC es menor que

DEF

, y se denota por ABC DEF , si y slo si existe un rayo EH entre los rayos ED y EF
tal que ABC DEH .
En la siguiente figura se ejemplifica la definicin anterior:

Figura 15. El ngulo

CBA

es menor que el ngulo

DEF

El siguiente resultado se conoce como el teorema del ngulo exterior y es muy


importante para obtener algunas propiedades bsicas sobre tringulos.
Teorema 2.9. Un ngulo exterior de un tringulo es ms grande que los otros dos ngulos
no adyacentes.
Demostracin: basta que observes los siguientes pasos:
(i).

Sea el tringulo con vrtices en los puntos A, B, C y considera el ngulo

Figura 16. ngulo

(ii).

BAC

del tringulo

BAC .

ABC

Sea D un punto en la lnea BC tal que B * C * D .

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

12

Geometras no euclidianas
Unidad 2. Geometra hiperblica

Figura 17. Punto

que satisface B * C * D

(iii).

Se procede por contradiccin, si BAC ACD entonces las lneas BA y BC son


paralelas y en consecuencia B no existe, lo que es una contradiccin.

(iv).

Si

BAC ACD existe un rayo AE , de tal manera que

Figura 18. Rayo

(v).

AE que satisface

(vii).
(viii).

ACD CAD

Existe el punto G sobre el rayo AE , tal que B * G * C .

Figura 19. Punto

(vi).

ACD CAD .

G que satisface B * G * C

Entonces las lneas AE y CD son paralelas, por consiguiente el punto A no existe,


lo que es una contradiccin.
Por consiguiente BAC ACD .
Para mostrar ABC ACD hay que considerar un punto F que est en la lnea

AC , de tal forma que A * C * F .


Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

13

Geometras no euclidianas
Unidad 2. Geometra hiperblica

Figura 20. Lnea

AC

que satisface A * C * F

(ix).
Luego se tiene que ACD FCB , ya que son opuestos por el vrtice C .
(x).
Por el razonamiento dado de los pasos (ii) al (vii), se tiene que ABC BCF .
(xi).
En consecuencia ABC ACD .
Lo que demuestra el resultado.
Como consecuencia del teorema 2.9. y los resultados anteriores, se tienen los siguientes
resultados:
Proposicin 2.1. Dados dos tringulos ABC y
B E entonces ABC DEF .(LAA)

DEF tales que AC DF ,

A D y

Proposicin 2.2. Dos tringulos rectngulos son congruentes si sus respectivas


hipotenusas son congruentes y algunos de sus respectivos catetos son congruentes.
Proposicin 2.3. Todo segmento tiene un punto medio.
Proposicin 2.4. Todo ngulo tiene una bisectriz.
Proposicin 2.5. Todo segmento tiene una nica bisectriz perpendicular.
Proposicin 2.6. En todo tringulo, el ngulo interno ms grande se opone al lado de
mayor longitud, y el lado de mayor longitud es opuesto al ngulo interno ms grande.
Proposicin 2.7. Dados los tringulos ABC y
entonces B E si y slo si AC DF .

DEF tales que AB DE y BC EF

Proposicin 2.8. Dados dos tringulos tales que son congruentes todos sus lados,
entonces son congruentes. (LLL)

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

14

Geometras no euclidianas
Unidad 2. Geometra hiperblica
La Proposicin 2.1. toma el nombre de criterio Lado-ngulo-ngulo (LAA) y la Proposicin
2.8. es conocida como el criterio Lado-Lado-Lado (LLL) de congruencias de tringulos.
Es conocido que a cada segmento y a cada ngulo se le asigne un nmero, el primero
llamado longitud y el segundo amplitud (expresada en grados). Los siguientes resultados
garantizan la existencia de dichos nmeros, las demostraciones se basan en el axioma de
Dedekind y su demostracin es presentada en un curso de anlisis matemtico, por lo
cual escapa de los objetivos de este curso.
El primer resultado se presenta para ngulos y se enuncia de la siguiente manera:
Teorema 2.10. Dado un ngulo

A , existe una nica manera de asignarle los grados

A que satisface las siguientes condiciones:


(a) 0 A 180 .
(b)

A B si y slo si

A B.

(c) Si el rayo AC es interior al ngulo

(d)

DAC CAB DAB .

A 90 si y slo si

DAB entonces

A es un ngulo recto.

(e) Para todo x 0,180 existe un ngulo


(f) Los ngulos
(g)

A y

A tal que

A x .

B son suplementarios si y slo si

A B si y slo si

A B 180 .

A B.

A partir del resultado anterior se obtienen los siguientes conceptos:


Definicin: dado un ngulo
dice que

A , se dice que

A es obtuso si y slo si

A es agudo si y slo si

A 90 y se

A 90 .

Como una consecuencia inmediata de este teorema se tiene el siguiente resultado:


Corolario 2.10.1. La suma de los grados de dos ngulos internos de un tringulo es menor
que 180 .
Ahora se presenta el resultado anlogo para segmentos:
Teorema 2.11. Dado un segmento OP llamado unidad existe una nica manera de
asignar la longitud AB del segmento AB tal que satisface las siguientes condiciones:
(a) AB 0 y OP 1 .
(b) AB CD si y slo s AB CD .
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

15

Geometras no euclidianas
Unidad 2. Geometra hiperblica
(c) A * B * C si y slo si AB BC AC .
(d) AB CD si y slo si AB CD .
(e) Para todo x

con x 0 existe un segmento AB tal que AB x .

Como consecuencia del teorema anterior se obtiene el siguiente resultado:


Corolario 2.11.1. Para cualesquiera tres puntos no colineales A , B y C se tiene que
AC AB BC .

Demostracin: basta observar los siguientes pasos:


(i).
Sean A , B y C tres puntos no colineales.

A, B

Figura 21. Puntos no colineales

(ii).

Aplicando los axiomas de intermediacin 1 y de congruencia 1 al rayo opuesto a


BA , existe un nico punto D que satisface A * B * D y que BD BC .

Figura 22. Punto

(iii).

Entonces el tringulo

D que satisface A * B * D y que BD BC

CBD es issceles y as

BCD BDC .

Figura 23. Tringulo issceles

CBD

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

16

Geometras no euclidianas
Unidad 2. Geometra hiperblica
(iv).
(v).

Por la parte (c) del teorema 2.11. se tiene que AB BD AD .


Como BC BD se tiene que AB BC AD .

(vi).

Dado que el rayo CB esta entre los rayos CA y CD , por definicin, se tiene que
BCD ACD .
Como BCD ACD y BCD BDC implica que ADC ACD .

(vii).

Figura 24. El ngulo

(viii).
(ix).

ADC es menor que el ngulo

ACD

Por la proposicin 2.7. se tiene que AD AC .


Por la parte (d) del teorema 2.11. se tiene que AD AC .

(x).
Por consiguiente AB BD AD AC .
Lo que demuestra el resultado.
El siguiente es un resultado muy importante cuya demostracin requiere del axioma de
Arqumedes, ste es conocido como el teorema de Saccheri-Legendre, pero antes de
abordarlo debes revisar el siguiente lema con su demostracin.
Lema 2.2. Dado el tringulo

ABC sea D el punto medio del segmento BC , y sea E el

punto sobre el rayo AD de tal forma que A * D * E y AD DE entonces la suma de las


aberturas de los ngulos del tringulo ABC es igual a la suma de las aberturas de los
ngulos del tringulo AEC y la medida de alguno de los ngulos AEC o EAC es
1
menor o igual a BAC .
2
Demostracin: basta observar los siguientes pasos:
(i).

Dado un tringulo

ABC , sea D el punto medio del segmento BC y sea E el

punto sobre el rayo AD , de tal forma que A * D * E y AD DE .

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

17

Geometras no euclidianas
Unidad 2. Geometra hiperblica

Figura 25. El punto

(ii).
(iii).

es el punto medio de los segmentos

Por ser ngulos opuestos por el vrtice D , se tiene que


hiptesis BD CD y ED AD .
Por el criterio LAL se tiene que BDA CDE .

Figura 26. El tringulo

(iv).

Luego

DEC DAB y as

Como

BC

BDA CDE , y por

es congruente al tringulo

CDE

BAC BAD DAC CEA EAC .

Figura 27. El tringulo

(v).

BDA

AE

DEC es congruente al tringulo

ABD ECD , se tiene que

DAB

ECA ECD DCA ECB BCA .

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

18

Geometras no euclidianas
Unidad 2. Geometra hiperblica

ABD es congruente al tringulo

Figura 28. El tringulo

(vi).

ECD

Aplicando la parte (c) del teorema 2.10. se tiene que:

BAC ACB CBA CEA EAC ACB ECB

CEA EAC ACE

(vii).

Finalmente

BAC CEA EAC 2min

implica que min

CEA , EAC

12

CEA , EAC

lo que

BAC .

Con lo cual queda demostrado el resultado.


Teorema 2.12. En todo tringulo, la suma de las medidas en grados de sus ngulos
internos es menor o igual a 180 .
Demostracin: se procede por contradiccin siguiendo los siguientes pasos:
(i).

Supngase que la suma de las medidas en grados de sus ngulos internos del
tringulo ABC es mayor que 180 .

(ii).

As, existe p 0 tal que

(iii).

Por el lema 2.2. existe un tringulo


ngulos del tringulo

AB1C tal que la suma de las aberturas de los

ABC es igual a la suma de las aberturas de los ngulos del

tringulo

AB1C , es decir

1
BAC .
2

AB1C

A B C 180 p .

A B1 C 180 p y

Figura 29. Tringulo

AB1C

que satisface el lema 2.2

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

19

Geometras no euclidianas
Unidad 2. Geometra hiperblica
(iv).

De forma similar, aplicando el lema 2.2. al tringulo

AB1C existe un tringulo

AB2C tal que:

A B2 C 180 p y

Por induccin matemtica para todo k

AB2C

1
1
B1 AC BAC .
2
4

AB2C que satisface el lema 2.2

Figura 30. Tringulo

(v).

A Bk C 180 p y

existe un tringulo

ABk C

1
2k

ABk C tal que:

BAC .

1
BAC p .
2k0
ABk0 C que satisface las siguientes

(vi).

Por el axioma de Arqumedes existe k0

(vii).

Lo que implica que existe un tringulo

tal que y

relaciones:

180 p A
(viii).
(ix).

Bk0

C A

p C

En consecuencia 180 A C , contradiciendo al corolario 2.10.1.


Por lo tanto

A B C 180 .

Lo que demuestra el resultado.


Como consecuencia del teorema anterior se desprenden dos propiedades (corolario), la
primera se enuncia a continuacin:
Corolario 2.12.1. La suma de las medidas de dos ngulos interiores de un tringulo es
menor o igual a la medida del ngulo exterior no adyacente.
Para la segunda hay que definir el siguiente concepto:
Definicin: se dice que un cuadriltero ABCD es convexo si y slo si existe un par de
lados opuestos, dgase AB y CD , tal que el segmento CD est contenido en uno de los
semiplanos determinados por la lnea AB y el segmento AB est contenido en uno de los
semiplanos determinados por la lnea CD .
La siguiente figura ejemplifica la definicin de cuadriltero convexo:

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

20

Geometras no euclidianas
Unidad 2. Geometra hiperblica

Figura 31. Cuadriltero convexo y cuadriltero no convexo

Corolario 2.12.2. La suma de los ngulos interiores de cualquier cuadriltero convexo es


menor o igual a 360 .
El teorema 2.12. permite definir el siguiente concepto:
Definicin: dado un tringulo

ABC , el defecto ABC es el nmero positivo tal que:

A B C ABC 180 .

El siguiente resultado muestra que si existe un tringulo tal que su defecto es positivo,
entonces todos los tringulos tienen defecto positivo, equivalentemente, si existe un
tringulo cuya suma de ngulos internos es igual a 180 , entonces para cualquier tringulo
la suma de sus ngulos interiores es igual a 180 . Primero se comienza con la propiedad
aditiva del defecto de un tringulo.
Teorema 2.13. Dados un tringulo ABC y un punto D tal que A * D * B entonces
ABC ACD DCB .
Demostracin: basta atender los siguientes pasos:
(i).
Se tiene que el rayo CD es interior al ngulo ACB .

Figura 32. Rayo CD es interior al ngulo

(ii).

Por la parte (c) del teorema 2.10. se tiene que

(iii).

Como los ngulos


2.10. implica que

(iv).

ADC y

ACB

ACD DCB ACB .

CDB son suplementarios, la parte (f) del teorema

ADC CDB 180 .

Por definicin de defecto se tienen las siguientes relaciones:

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

21

Geometras no euclidianas
Unidad 2. Geometra hiperblica

ABC BCA CAB ABC 180


DBC BCD CDB DBC 180
ADC DCA CAD ADC 180

(v).

Sumando miembro a miembro y utilizando las relaciones obtenidas en los pasos (ii)
y (iii) se obtiene que ABC ACD DCB .
Lo que muestra el resultado.
Corolario 2.13.1. Bajo las hiptesis del teorema 2.13. la suma de los ngulos interiores del
tringulo ABC es igual a 180 si y slo si la suma de los ngulos internos de cada
tringulo

ACD y

DCB es 180 .

Demostracin: supngase que la suma de los ngulos internos de cada tringulo

ACD

y DCB es 180 , entonces ACD DCB 0 , por el teorema 2.13. se tiene que
ABC ACD DCB 0 0 0 , es decir, la suma de los ngulos interiores del tringulo
ABC es igual a 180 . Inversamente, si ABC 0 , entonces por el teorema 2.13. se tiene
que ACD DCB ABC 0 , por el teorema 2.12. se tiene que ACD y DCB son
nmeros no negativos, lo que implica que ACD DCB 0 , es decir, la suma de los

ngulos internos de cada tringulo

ACD y

DCB es 180 .

El siguiente resultado muestra que cuando un rectngulo existe tambin un tringulo que
tiene defecto nulo e inversamente, ste se presenta sin demostracin.
Teorema 2.14. Si existe un tringulo cuya suma de ngulos internos es 180 , entonces
existe un rectngulo. Inversamente, si un rectngulo existe entonces en todo tringulo la
suma de sus ngulos internos es igual a 180 .
Corolario 2.14.1. Si existe un tringulo con defecto positivo, entonces todos los
rectngulos tienen defecto positivo.
Combinando el lema 2.1. y el teorema 2.14., se tienen los siguientes resultados:
Teorema 2.15. En geometra hiperblica, en cualquier tringulo la suma de sus ngulos
internos es menor que 180 .
Una consecuencia del teorema anterior es la siguiente propiedad que tienen los
cuadrilteros convexos.
Corolario 2.15.1. En geometra hiperblica, la suma de los ngulos interiores de cualquier
cuadriltero convexo es menor que 360 .
Demostracin: considera los siguientes pasos:
(i).
Sea el cuadriltero convexo ABCD .
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

22

Geometras no euclidianas
Unidad 2. Geometra hiperblica
(ii).

Tomando la diagonal AC y considerar los dos tringulos

Figura 33. Tringulos

ABC y

ABC y

ACD .

ACD

(iii).

Por el teorema 2.15. las suma de los ngulos internos de cada triangulo es menor
que 180 .

(iv).

Dado que

ABCD es convexo significa que el rayo AC esta entre los rayos AB y

AD .

Figura 34. El rayo AC est entre los rayos

(v).

Por la parte (c) del teorema 2.10. se tiene las siguiente relacin:

(vi).

AB y AD

BAC CAD BAD

De forma similar se tiene que

ACB ACD BCD .

(vii).

Combinando los pasos (ii), (v) y (vi) se tiene que la suma de los ngulos internos
del cuadriltero ABCD es menor que dos veces 180 .
Lo que demuestra el resultado.

2.2. Tringulos semejantes


Hasta el momento, tomando en cuenta tambin la unidad anterior, se han presentado los
siguientes criterios de congruencias de tringulos:
(a) Criterio Lado-ngulo-Lado.
(b) Criterio ngulo-Lado-ngulo.
(c) Criterio Lado-ngulo-ngulo.
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

23

Geometras no euclidianas
Unidad 2. Geometra hiperblica
(d) Criterio Lado-Lado-Lado.
El objetivo de esta seccin es mostrar que en geometra hiperblica basta el criterio LadoLado-Lado.

2.2.1. El postulado de Wallis


El resultado importante de esta seccin es tambin equivalente al axioma de las paralelas,
inicialmente fue planteado por el astrnomo persa Nasir Eddin al-Tusi (1201-1274); sin
embargo, su demostracin tiene varias afirmaciones cuya justificacin no es correcta, el
matemtico John Wallis (1616-1703) fue quien se dedic a resolver los vacos dejados por
el astrnomo persa. Wallis plantea un nuevo postulado y utilizando los axiomas incidencia,
intermediacin, congruencia y continuidad obtuvo el postulado de las paralelas. Se
empieza con el siguiente concepto.
Definicin: dados dos tringulos ABC y DEF se dice que el tringulo ABC es
semejante a DEF si y slo si se puede realizar una correspondencia de vrtices de tal
forma que los ngulos sean congruentes.
Cuando los tringulos

ABC y

DEF son congruentes se denota por

ABC

DEF .

En geometra euclidiana se demuestra que cuando dos tringulos son congruentes los
lados correspondientes son proporcionales.
La siguiente figura ilustra concepto de semejanza de tringulos:

Figura 35. Tringulos semejantes

Postulado de Wallis: dados un tringulo ABC y un segmento DE , siempre existe un


tringulo DEF , de tal manera que ABC
DEF .
A continuacin se presenta el resultado principal de esta seccin:
Teorema 2.16. El postulado de Wallis implica el postulado de las paralelas.
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

24

Geometras no euclidianas
Unidad 2. Geometra hiperblica
Demostracin: basta atender los siguientes pasos:
(i).
Sean una recta y P un punto que no sea elemento de

Figura 36. La lnea

(ii).

Sean Q el punto sobre la recta

y punto

tal que PQ

y m la recta que pasa por P tal

que m PQ .

Figura 37. Lnea

y m PQ entonces m

PQ

perpendicular a

(iii).

Como PQ

(iv).

lnea paralela a .
Sea n una lnea distinta de m que pasa por P .

, sea desea mostrar que m es la nica

Figura 38. Lnea n que pasa por

(v).

Toma el rayo n1 contenido en n que inicia en P que est entre los rayos PQ y m1 ,
donde m1 es un rayo contenido en la lnea m .

Figura 39. Rayo n1 contenido en n que inicia en

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

25

Geometras no euclidianas
Unidad 2. Geometra hiperblica
(vi).

Para cualquier punto R en el rayo n1 existe un punto S en el rayo PQ que


satisface que SR PQ .

Figura 40. Lnea

(vii).

SR

perpendicular a

Aplicando el postulado de Wallis al tringulo


un punto T de tal manera que
R

PSR

PQ

PSR y al segmento PQ , as existe

PQT , con la asignacin P

P, S

Q y

T . Se puede suponer que T y R estn del mismo lado con respecto a la lnea

PQ , ya que si T y R estn del lado opuesto con respecto a PQ existe un punto T1


que est del mismo lado que R con respecto a PQ tal que

Figura 41. Tringulo

(viii).

Por (viii) se tiene que

PQT congruente al tringulo

PQT

PQT1 .

PQT1

TPQ RPS .

(ix).

Por el punto (ix), por el hecho de que PQ PS y el axioma de continuidad 4

(x).

implican que PR PT . Por consiguiente T es un punto del rayo PR .


De forma similar, por ser ngulos rectos se tiene que PQT PSR y se tiene que
T es un punto de la lnea n , lo que implica que n y

se intersectan en T .

T donde se intersectan las lneas n y


Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas
Figura 42. Punto

26

Geometras no euclidianas
Unidad 2. Geometra hiperblica
(xi).
Por lo tanto m es nica.
Lo que demuestra el resultado.

2.2.2. Congruencia de tringulos


El teorema 2.16. garantiza que el postulado de Wallis no se cumple en geometra
hiperblica. En consecuencia, bajo ciertas circunstancias, en esta geometra hablar de
tringulos similares carece de significado. El objetivo de esta seccin es agregar
condiciones para ver que el concepto de tringulos similares no se tiene en geometra
hiperblica.
Teorema 2.17. En geometra hiperblica, si dos tringulos son similares, entonces tambin
son congruentes.
Demostracin: se procede por contradiccin siguiendo los siguientes pasos:
(i).
Supngase que existen dos tringulos ABC y A ' B 'C ' que son similares pero
no congruentes, con la correspondencia A A ' , B B ' y C C ' .

Figura 43. Tringulos similares y no congruentes

(ii).

(iii).
(iv).

(v).
(vi).

Entonces no hay lados correspondientes que sean congruentes, ya que en caso


contrario por el criterio LAL garantiza que los tringulos ABC y A ' B 'C ' son
congruentes contradiciendo el punto (i).
Considera las dos ternas ordenadas AB, AC, BC y A ' B ', A ' C ', B ' C ' de lados de
los tringulos ABC y A ' B 'C ' , respectivamente.
Alguna de las ternas anteriores debe contener al menos dos segmentos que sean
ms grandes que los otros dos correspondientes, sin prdida de generalidad, se
puede suponer que AB A ' B ' y AC A ' C ' .
Luego, existen dos puntos B '' y C '' en AB y AC respectivamente tales que
AB '' A ' B ' y AC '' A ' C ' .
Por el criterio LAL se tiene que los tringulos AB '' C '' y A ' B 'C ' son
congruentes. Esto implica que los ngulos correspondientes son congruentes
AB '' C '' B y AC '' B '' C .

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

27

Geometras no euclidianas
Unidad 2. Geometra hiperblica
(vii).

Por la hiptesis
AB '' C '' B y

(viii).

Por el teorema 2.7. se tiene que BC B '' C '' , trayendo como consecuencia que el
cuadriltero BB '' C '' C es convexo.
Por las partes (b) y (f) del teorema 2.10. se tiene que:

(ix).

ABC
A ' B ' C ' y el axioma de congruencia cinco implica que
AC '' B '' C .

(x).

B BB '' C '' C CC '' B '' 180

Por consiguiente la suma de los ngulos internos del cuadriltero

BB '' C '' C es

360 , lo que contradice al corolario 2.15.1.


Lo que demuestra el resultado.

En resumen, en la geometra hiperblica es imposible ampliar o reducir el tamao del


tringulo sin que ste sufra una distorsin. Como una aplicacin de esto, si se tiene una
fotografa, en un mundo hiperblico, tiene que ser inherentemente surrealista.
Una consecuencia sorprendente del teorema 2.17. es que en la geometra hiperblica un
segmento puede ser determinado con la ayuda de un ngulo; por ejemplo, el ngulo de un
tringulo equiltero determina la longitud de un lado de forma nica. Esto a veces se dice
de forma ms dramtica, afirmando que la geometra hiperblica tiene una unidad absoluta
de longitud. Incluso si la geometra del universo fsico fuera de tipo hiperblico, no tendra
ms que el tamao necesario, obteniendo as una unidad de longitud que sera
cuidadosamente guardada en la Oficina de Pesas y Medidas Internacionales.

Actividad 2. Suma de ngulos y tringulos semejantes


A travs de esta actividad, resolvers ejercicios de sumas de ngulos y tringulos
semejantes, tomando en cuenta los axiomas de intermediacin y congruencia.
Instrucciones:
1. Descarga el documento Act. 2. Suma de ngulos y tringulos semejantes.
2. Resuelve los ejercicios que ah se presentan, toma en cuenta los axiomas de
intermediacin y congruencia.
3. Guarda tu documento con la siguiente nomenclatura MGNE_U2_A2_XXYZ.
4. Enva tu documento a tu Facilitador(a) y espera su retroalimentacin.
*Nota: no olvides consultar la Escala de evaluacin para conocer los criterios con que
ser evaluado tu trabajo.

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

28

Geometras no euclidianas
Unidad 2. Geometra hiperblica

2.3. Paralelas y perpendiculares


Una de las primeras experiencias que se tiene con las lneas paralelas se presenta al
observar las vas del tren, stas se mantienen siempre a una misma distancia una de la
otra, como lo muestra la siguiente figura:

Figura 44: Rieles de ferrocarril

Para formalizar la idea anterior se presenta el siguiente concepto:


Definicin: dadas dos lneas y ' , para un conjunto de punto A, B, C, sobre la lnea ,
le corresponde el conjunto de puntos A ', B ', C ', de la lnea ' , que se obtiene cuando las
perpendiculares a que pasan por los puntos A, B, C, respectivamente intersectan a ' .
Se dice que los puntos A, B, C, son equidistantes a si y slo si AA ' BB ' CC ' .
La siguiente figura ejemplifica la definicin anterior:

Figura 45. Puntos equidistantes de dos lneas

2.3.1. Paralelas que admiten una perpendicular comn


Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

29

Geometras no euclidianas
Unidad 2. Geometra hiperblica
El matemtico Girolamo Saccheri (1667-1733) present en su libro Euclides ab omni naevo
vindicatus la negacin del postulado de las paralelas e intent obtener una contradiccin.
Concretamente, Saccheri estudi un tipo particular de cuadrilteros que tienen como base
dos ngulos rectos y cuyos lados adyacentes a las bases son congruentes uno al otro, por
tal motivo esta clase de cuadrilteros toman el nombre de Cuadrilteros de Saccheri.
Lema 2.3. Los cuadrilteros de Saccheri existen.
Demostracin: basta atender los siguientes pasos:
(i).

Toma el segmento AB .

Figura 46. Segmento

(ii).

AB

Sean m y n las rectas perpendiculares a la lnea AB tal que pasa por A y B


respectivamente.

Figura 47. Lneas m y n perpendiculares a

(iii).

AB

Considera los puntos C y D de las lneas m y n respectivamente, de tal manera


que C y D estn del mismo lado con respecto a AB y que AC BD .

Figura 48. Puntos

(iv).

C y D que satisfacen AC BD

Toma la lnea que pasa por CD y el cuadriltero


Saccheri.

ABCD es un cuadriltero de

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

30

Geometras no euclidianas
Unidad 2. Geometra hiperblica

Figura 49. Cuadriltero

ABCD

Lo que demuestra el resultado.


En la parte alta de un cuadriltero de Saccheri pueden suceder una y slo una de las
siguientes condiciones:
(a) Los ngulos en la altura son ngulos rectos.
(b) Los ngulos en la altura son ngulos obtusos.
(c) Los ngulos en la altura son ngulos agudos.
En la siguiente figura se ejemplifican los tres casos de cuadrilteros de Saccheri.

Figura 50. Cuadrilteros de Saccheri

La clasificacin anterior se deduce a partir del siguiente resultado:


Lema 2.4. Dado un cuadriltero de Saccheri ABCD donde los ngulos
rectos y AC DB entonces C D .
Demostracin: basta atender los siguientes pasos:
(i).

Considera el cuadriltero
AC DB .

ABCD donde los ngulos

A y

A y

B son

B son rectos y

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

31

Geometras no euclidianas
Unidad 2. Geometra hiperblica

Figura 51. El cuadriltero

(ii).

Considera la segmentos AD y BC , el criterio LAL garantiza que los tringulos


CAB y DBA son congruentes y en consecuencia ACB BDA y CB DA .

Figura 52. Los tringulos

(iii).
(iv).
(v).

ABCD

CAB y

DBA son congruentes

Por el criterio LLL los tringulos CBD DAC , as los ngulos


son congruentes.
Luego se tiene que C ACB BCD y D BDA ADC .
Por las partes (b) y (c) del teorema 2.10. se tiene que:

BCD y

ADC

C ACB BCD
BDA ADB
D

(vi).
Por la parte (b) del teorema 2.10. se tiene que
Lo que demuestra el resultado.

C D.

Otra propiedad importante que tienen los cuadrilteros de Saccheri se presenta en el


siguiente enunciado:
Lema 2.5. En un cuadriltero de Saccheri, el segmento que une el punto medio de la base
con el punto medio de la altura es perpendicular tanto a la base como a la altura y su
longitud es ms pequea que la longitud de sus lados paralelos.
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

32

Geometras no euclidianas
Unidad 2. Geometra hiperblica
Demostracin: considera los siguientes pasos:
(i).

Sean y dos lneas donde los puntos A, B de y los puntos A ' B ' de son
escogidos de tal manera que el ABB ' A ' es un cuadriltero de Saccheri. Denota
por M y M ' los puntos de los segmentos AB y A ' B ' respectivamente.

Figura 53. Cuadriltero de Saccheri

(ii).

Por el lema 2.4. se tiene que A B y utilizando el criterio LAL que implican
A' AM B ' BM , obteniendo que los lados A ' M y B ' M son congruentes:

Figura 54. Los tringulos

(iii).

ABB ' A '

A ' AM y

B ' BM son congruentes

El criterio LLL garantiza que A' M ' M B ' M ' M . Luego los correspondientes
ngulos A ' M ' M y B ' M ' M son congruentes y como son congruentes stos
deben ser ngulos rectos, lo que demuestra que M ' M A ' B ' .

Figura 55. Los tringulos

A' M ' M y

B ' M ' M son congruentes

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

33

Geometras no euclidianas
Unidad 2. Geometra hiperblica
(iv).
(v).

De las dos congruencias de tringulos anteriores se tiene que A ' MM ' B ' MM '
y A ' MA B ' MB ,
Adems AMA' A' MM ' AMM ' y BMB ' B ' MM ' BMM ' lo que implica
que los ngulos suplementarios A ' MA y B ' MB son congruentes y la parte (b)
del teorema 2.10. implica que
y

A ' MA B ' MB , es decir, los ngulos

A ' MA

B ' MB son rectos.

Figura 56. Los ngulos

A ' MA y

B ' MB son rectos

(vi).

Considera el rectngulo A ' M ' MA , que tiene tres ngulos rectos, en geometra
hiperblica, como los rectngulos no existen el cuarto ngulo tiene que ser agudo.
Lo que implica que AA ' MM ' .
Lo que demuestra el resultado.
En geometra euclidiana es usual utilizar el concepto de equidistancia para definir rectas
paralelas como aqullas que cada punto de una es equidistante a la otra. En geometra
hiperblica las cosas son distintas, como lo muestra el siguiente resultado:
Teorema 2.18. En geometra hiperblica si dos lneas y son dos lneas paralelas,
cualquier conjunto de puntos de la lnea a la lnea tiene a lo ms dos elementos
equidistantes.
Demostracin: se procede por contradiccin, siguiendo los pasos que a continuacin se
presentan:
(i).

Supngase que existen tres puntos A, B, C de la lnea


lnea ' .

que son equidistantes a la

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

34

Geometras no euclidianas
Unidad 2. Geometra hiperblica

Figura 57. Los puntos equidistantes

(ii).

Entonces se forman dos cuadrilteros A ' B ' BA , A ' C ' CA y B ' C ' CB que son
cuadrilteros de Saccheri, ya que sus ngulos bases son rectos y sus lados son
congruentes.

Figura 58. Los cuadrilteros de Saccheri

(iii).
(iv).

A, B, C

A ' B ' BA ,

A ' C ' CA y

B ' C ' CB

El lema 2.4. garantiza que A ' AB B ' BA , A ' AC C ' CA y B ' BC C ' CB .
Por el axioma de congruencia 5 se tiene que los ngulos suplementarios B ' BA y
B ' BC son congruentes a cada uno de los otros, es decir, son ngulos rectos.

Figura 59. Los ngulos

B ' BA y

B ' BC son rectos

(v).

Lo que implica que A ' B ' BA , A ' C ' CA y B ' C ' CB son rectngulos, lo que
contradice el lema 2.1.
(vi).
Por lo tanto A , B y C no pueden ser equidistantes a la lnea .
Lo que demuestra el resultado.
Los siguientes resultados son importantes, ya que permiten darle una interpretacin grfica
a la geometra hiperblica.

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

35

Geometras no euclidianas
Unidad 2. Geometra hiperblica
Teorema 2.19. En geometra hiperblica si dos lneas y son paralelas y adems
existen dos puntos A y B de que son equidistantes a , entonces y tienen una
perpendicular comn.
Demostracin: considera los siguientes pasos:
(i).

Dadas dos lneas


a .

y paralelas y dos puntos A y B de

Figura 60. Puntos

(ii).

A y B son equidistantes

Existen dos puntos A ' y B ' de la lnea tales que el cuadriltero A ' B ' BA es un
cuadriltero de Saccheri, es decir, los puntos A ' y B ' de la lnea ' se obtienen
cuando las perpendiculares a que pasan por A y B respectivamente cortan a ' .

Figura 61. Cuadriltero de Saccheri

(iii).
(iv).

que son equidistantes

A ' B ' BA

Sean M y M ' los puntos medios de los segmentos AB y A ' B ' respectivamente.
El lema 2.5. garantiza que el segmento M ' M es perpendicular a y
simultneamente.

Figura 62. Lnea

M ' M perpendicular a

Lo que demuestra el resultado.


Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

36

Geometras no euclidianas
Unidad 2. Geometra hiperblica
Teorema 2.20. En geometra hiperblica si dos lneas y tienen una perpendicular
comn MM ' , entonces stas son paralelas, y la perpendicular MM ' es nica. Ms an, si
A y B son dos puntos de la lnea de tal forma que M es el punto medio de AB
entonces los puntos A y B son equidistantes a .
Demostracin: basta atender los siguientes pasos:
(i).

El corolario 2.7.1. garantiza que las lneas


simultneamente perpendicular a y .

MM ' es perpendicular comn a

Figura 63. La lnea

(ii).
(iii).
(iv).

Por el criterio LAL se tiene que


AM ' BM ' .

Figura 65. Los tringulos

(vi).

La perpendicular MM ' a y es nica, ya que si existiera otra perpendicular,


sta formara un rectngulo, contradiciendo el lema 2.1.
Dados dos puntos A y B de la lnea , tales que M sea el punto medio del
segmento AB .
Considera los puntos A ' y B ' de la lnea que se obtienen al trazar las
perpendiculares a la lnea que pasan por los puntos A y B respectivamente.

Figura 64. Lnea

(v).

y son paralelas, ya que MM ' es

MM '

perpendicular a

AM ' M BM ' M , ya qu

AM ' M y

AM ' M BM ' M y

BM ' M son congruentes

Por consiguiente:

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

37

Geometras no euclidianas
Unidad 2. Geometra hiperblica

A ' M ' A 90 AM ' M 90 BM ' M B ' M ' B .

As que A ' M ' A B ' M ' B , por el criterio LAA se tiene que AA ' M ' BB ' M '
lo que implica que los lados correspondientes AA ' y BB ' son congruentes.
Lo que muestra el resultado.

(vii).

El teorema 2.18. plantea que a los ms dos puntos en una lnea pueden ser
equidistantes a la lnea , el teorema 2.19. plantea que si un par de lneas y tienen
un par de puntos equidistantes stas poseen una nica perpendicular comn y el teorema
2.20. proyecta cmo se ubican dos puntos equidistantes. Una idea grfica que conjunta
todos estos resultados se presenta en la siguiente figura:

Figura 66. Lneas paralelas en geometra hiperblica

2.3.2. Limitacin de rayos paralelos


A lo largo de esta unidad se ha utilizado una tcnica estndar para construir, a partir de
una lnea y un punto que no pertenezca a sta, una lnea paralela a la lnea inicial que
pasa por el punto dado. Esta tcnica se describe a continuacin:
Dado una lnea

y un punto P que no pertenece a

, se traza la perpendicular PQ a

que pasa por P , luego se traza la perpendicular m a PQ que pasa por P , las lneas
m tienen una perpendicular comn que es PQ entonces

m . Por el teorema hiperblico

universal existe otra lnea n distinta de m que pasa por el punto P tal que

n.

La siguiente es una nocin intuitiva del objetivo de esta seccin, para ello se hace uso del

axioma de continuidad. Considerando la construccin anterior, toma la familia PRk de


todos rayos que pasan por P , en este conjunto existe un rayo distinguido PR tal que
cualquier rayo PRk que est entre m y PR es paralelo a

y cualquier rayo PRk que no

est entre m y PR tiene que intersectar a

, en tal caso se dice que el rayo PR limita a

los rayos PRk que son paralelos a la lnea

. La siguiente figura bosqueja la idea antes

presentada:
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

38

Geometras no euclidianas
Unidad 2. Geometra hiperblica

Figura 67. Rayo paralelo limitante

Teorema 2.21. Dada la lnea


punto de la lnea

, y para todo punto P que no pertenezca a

sea Q el

de tal manera que PQ . Entonces existen dos nicos rayos PX y

PX ' que no intersectan a

y que estn en lados opuestos con respecto a la lnea PQ

que satisface la condicin: un rayo que inicie en P intersecta a

si y slo si ste est

entre los rayos PX y PX ' . Ms an, esos rayos limitantes estn situados simtricamente
con respecto a la lnea PQ en el sentido de que

XPQ X ' PQ .

Demostracin: basta atender los siguientes pasos:


(i).

Sea

PQ a

una lnea y P un punto que no pertenece a

, considera la perpendicular

que pasa por P , y se denota por m la perpendicular a PQ que pasa por

P , implicando que

m.

Figura 68. La lnea m es paralela a la lnea

(ii).

Sea S un punto en la lnea m distinto de P y considera la lnea SQ . Sea 1 el


conjunto de todos los puntos T sobre el segmento SQ , de tal manera que PT
intersecta a

y el conjunto 2 el complemento de 1 . Observa que Q 1 y

S 2 .

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

39

Geometras no euclidianas
Unidad 2. Geometra hiperblica

Figura 69. Definicin de los conjuntos 1 y 2

(iii).

Si el punto T del segmento SQ pertenece al conjunto 1 , entonces todo el


segmento TQ est contenido en 1 , lo que implica que la pareja 1 , 2 es una
cortadura de Dedekind. Por el axioma de continuidad se tiene que existe un nico
punto X de la lnea SQ de tal manera que P1 * X * P2 si y slo si P1 1 y P2 2 .
Por definicin de 1 y 2 se tiene que cualquier rayo que est por encima del rayo
PX no intersecta a
a .

y cualquier rayo que este por debajo del rayo PX intersecta

Figura 70. La cortadura de Dedekind

(iv).

Se desea mostrar que PX no intersecta a


supngase que PX intersecta a la lnea

1, 2

y se procede por contradiccin,


en el punto U .

Figura 71. El rayo PX intersecta a lnea

en el punto

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

40

Geometras no euclidianas
Unidad 2. Geometra hiperblica
(v).

Sea V cualquier punto sobre la lnea

que cumpla con V *U * Q , como U y V

estn del mismo lado con respecto a la lnea SQ se tiene que los puntos P y V
son opuestos con respecto a la lnea SQ , implicando que VP intersecta a SQ en
el punto Y . Se tiene que Y * X * Q implicando que Y 2 . Contradiciendo el hecho
de que PY intersecta a

, lo que implica que PX es un rayo paralelo limitante.

Figura 72. El rayo

(vi).

PX es un rayo paralelo limitante de

Para mostrar la simetra, se procede por contradiccin: supngase que los


ngulos contrarios XPQ y X ' PQ no son congruentes y sin prdida de
generalidad se puede suponer que

XPQ X ' PQ . Por el axioma de

congruencia 4, existe un rayo PR ' entre los rayos PX ' y PQ , de tal manera que
R ' PQ XPQ .

(vii).

El axioma de congruencia 1 garantiza que existe un punto R que es opuesto a R '


con respecto a la lnea PQ que satisface R * Q * R ' y RQ R ' Q .

(viii).

El criterio LAL garantiza que

RPQ R ' PQ , lo que implica que

El axioma de congruencia 5 garantiza que

RPQ R ' PQ .

RPQ XPQ , lo que es una

contradiccin, ya que PR se encuentra entre los rayos PX y PQ .

Figura 73. El rayo

X'

es simtrico al rayo

Lo que demuestra el resultado.

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

41

Geometras no euclidianas
Unidad 2. Geometra hiperblica
Los ngulos

XPQ y

X ' PQ que tienen respectivamente los rayos limitantes PX y PX '

son llamados ngulos de paralelismo y usualmente se denotan por PQ . Observa


que PQ 90 , ya que si PQ 90 , entonces se contradice el teorema hiperblico
universal, ms an, se tiene que PQ toma cualquier valor entre 0 y 90 . Bolyai y
Lobachevsky describieron una frmula para encontrar el valor del ngulo de paralelismo.
En geometra hiperblica un segmento unitario natural OI es cualquier segmento OI tal
que OI 45 .

2.4. Clasificacin de las paralelas


En geometra hiperblica existen dos tipos de lneas paralelas:
(a)

El primer tipo consiste de lneas paralelas m y que tienen una perpendicular


comn, donde m diverge de en ambos lados de la perpendicular comn.

Figura 74: Lneas paralelas de primer tipo

(b)

El segundo tipo consiste de todas las lneas paralelas a que estn contenidas
en un rayo paralelo limitante en una direccin, es decir, estas paralelas se
aproximan asintticamente a una de las direcciones de y son divergentes a
en la otra direccin.

Figura 75. Lneas paralelas de segundo tipo

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

42

Geometras no euclidianas
Unidad 2. Geometra hiperblica
Si la lnea m es una paralela de segundo tipo a la lnea se puede demostrar que m y
no tienen una perpendicular comn, lo que muestra que no existe una paralela que sea de
ambos tipos. El siguiente teorema, el cual se enuncia sin demostracin, establece que slo
existen estos dos tipos de lneas paralelas.

m , supngase que m no est


Teorema 2.22. Dadas dos lneas y m de tal forma que
limitado por ningn rayo paralelo a en alguna direccin adecuada. Entonces existe una
lnea perpendicular comn a m y .

Actividad 3. Paralelas y perpendiculares


A travs de esta actividad, resolvers ejercicios relacionados con paralelas y
perpendiculares, tomando en cuenta los axiomas de continuidad y paralelismo.
Instrucciones:
1. Descarga el documento Act. 3. Paralelas y perpendiculares.
2. Resuelve los ejercicios que ah se presentan, toma en cuenta los axiomas de
continuidad y paralelismo.
3. Guarda tu documento con la siguiente nomenclatura MCDI_U2_A3_XXYZ.
4. Enva tu documento a tu Facilitador(a) y espera su retroalimentacin.
*Nota: no olvides consultar la Escala de evaluacin para conocer los criterios con que
ser evaluado tu trabajo.

Autoevaluacin
Para reforzar los conocimientos relacionados con los temas que se abordaron en esta
unidad, es necesario que resuelvas la autoevaluacin.
Ingresa al aula virtual para realizar tu actividad.

Evidencia de aprendizaje. Geometra hiperblica


A travs de esta actividad, resolvers ejercicios tomando en cuenta los axiomas de
Hilbert. Para ello:
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

43

Geometras no euclidianas
Unidad 2. Geometra hiperblica
1. Descarga el documento llamado EA_. Geometra hiperblica.
2. Resuelve los planteamientos que se presentan de acuerdo con lo que
aprendiste en la unidad.
3. Guarda tu documento con la siguiente nomenclatura MCDI_U2_EA_XXYZ.
4. Enva tu reporte al Portafolio de evidencias y espera la retroalimentacin de tu
Facilitador(a), atiende sus comentarios y reenva la nueva versin de tu
evidencia.
5. Consulta la Escala de evaluacin para conocer los criterios con que ser
evaluado tu trabajo.

Autorreflexiones
Como parte de cada unidad, es importante que ingreses al foro Preguntas de autorreflexin
y leas los cuestionamientos que formul tu Facilitador(a), ya que a partir de ellos debes
elaborar tu autorreflexin y enviarla mediante la herramienta Autorreflexiones. No olvides
que tambin se toman en cuenta para la calificacin final.

Cierre de la unidad
En esta unidad iniciaste estudiando distintos enunciados equivalentes al quinto postulado
de Euclides, como la geometra hiperblica, que es distinta a la euclidiana, la cual se
obtiene partiendo del axioma hiperblico, negando el postulado de las paralelas de Hilbert.
Comprendiste que existen algunas propiedades comunes entre la geometra hiperblica y
la geometra euclidiana, como tambin propiedades que difieren entre ambas.
Te invitamos a que revises la unidad 3, donde estos conocimientos se reforzarn, con lo
que logrars tener un conocimiento integral.

Para saber ms
Existe una geometra no-euclidiana llamada geometra elptica que se construye de forma
similar a la geometra hiperblica para ver ms detalles puede consultar los siguientes
sitios:

http://en.wikipedia.org/wiki/Elliptic_geometry

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

44

Geometras no euclidianas
Unidad 2. Geometra hiperblica

http://www.math.brown.edu/~banchoff/gc/elliptic/elliptic.html

http://web.mnstate.edu/peil/geometry/C2EuclidNonEuclid/7elliptic.htm

Fuentes de consulta

Courant, R., Robbins, H. y Stewart, I. (1996). What Is Mathematics? An Elementary


Approach to Ideas and Methods. EUA: Oxford University Press.
Devlin, K. (2000). The Language of Mathematics: Making the Invisible Visible. EUA:
Holt Paperbacks.
Eves, H. (1972). Survey of geometry. EUA: Allyn & Bacon.
Hartshorne, R. (2005). Geometry: Euclid and Beyond. EUA: Springer.
Hilbert D. y Cohn-Vossen, S. (1999) Geometry and imagination. EUA: American
Mathematical Society.
Meschkowski, H. (1964). Noneuclidean Geometry. EUA: Academic Press.

Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas

45