Unidad 2. Geometria Hiperbolica PDF

Geometras no euclidianas
Unidad 2. Geometra hiperblica
Universidad Abierta y a Distancia de Mxico
Licenciatura en Matemticas
10 cuatrimestre
Clave:
050941037
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas
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
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).
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 .
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:
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 ' .
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:
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:
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
(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 .
10
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
11
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 .
12
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 .

13
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 .
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)
14
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 .
15
(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
16
(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 .
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 .
17
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 .
(v).
BDA
AE
DEC es congruente al tringulo
ABD ECD , se tiene que
DAB
ECA ECD DCA ECB BCA .
18
ABD es congruente al 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
19
(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 .

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:
20
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 .
(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:
21
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 .
22
(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 .
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.
23
(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.
24
(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
25
(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

Figura 42. Punto
26
(xi).
Por lo tanto m es nica.
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 .
27
(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.

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.
28
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

29
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.
(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
30
Figura 49. Cuadriltero
ABCD

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 .
(i).
Considera el cuadriltero
AC DB .
ABCD donde los ngulos
A y
A y
B son
B son rectos y
31
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
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.
32
(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:
(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 ' .
A' M ' M y
B ' M ' M son congruentes
33
(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 ' .
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
34
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 .
Los siguientes resultados son importantes, ya que permiten darle una interpretacin grfica
a la geometra hiperblica.
35
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.
(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

36
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 .
(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 ' .
(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:
37
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:
38
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 .

(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 .
39
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
40
(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
41
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
42
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:
43
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
44
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.
45

Unidad 2. Geometria Hiperbolica PDF

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Unidad 2. Geometria Hiperbolica PDF

Hochgeladen von

Copyright:

Verfügbare Formate

Geometras no euclidianas

Unidad 2. Geometra hiperblica

Universidad Abierta y a Distancia de Mxico

Unidad 2. Geometra hiperblica

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

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

Identificar algunas equivalencias del quinto postulado de Euclides.

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

Actividad 1. El postulado de las paralelas

1. Investiga algunos resultados de la geometra euclidiana clsica.

2.1. Suma de ngulos

ABB ', C ' B ' B y

CBB ' son llamados alternos internos.

La definicin anterior se ejemplifica en la siguiente figura:

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

Figura 2. ngulos alternos internos

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

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

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

Figura 4. Las rectas

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

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

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

y un punto P que no pertenezca a

2.1.1. Axioma hiperblico

El axioma hiperblico se enuncia de la siguiente manera:

Figura 7. Axioma hiperblico

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

una lnea y P un punto que no pertenezca a

Considera el punto Q de la lnea

, de tal forma que PQ .

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

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

Figura 10. La lnea m perpendicular a

Sea R un punto sobre

Figura 11. La lnea

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

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

son perpendiculares a t se tiene que PS

2.1.2. ngulos internos de un tringulo

Figura 13. ngulos adyacentes

Figura 14. ngulos opuestos por un vrtice

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

DEF , se dice que

ABC es menor que

Figura 15. El ngulo

es menor que el ngulo

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

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

Figura 16. ngulo

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

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

Figura 17. Punto

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

BAC ACD existe un rayo AE , de tal manera que