U3. Independencia Del Postulado de Las Paralelas PDF

Geometras no euclidianas
Unidad 3. Independencia del postulado de las paralelas
Universidad Abierta y a Distancia de Mxico
Licenciatura en matemticas
10 cuatrimestre
Unidad 3. Independencia del postulado de las

paralelas
Clave:
Educacin Abierta y a Distancia * Ciencias Exactas, Ingenieras y Tecnologas
ndice
Presentacin de la unidad ................................................................................................... 3
Propsitos............................................................................................................................ 3
Competencia especfica....................................................................................................... 3
3. Independencia del postulado de las paralelas.................................................................. 3
Actividad 1. Mtodos de solucin aplicados ........................................................................ 5
3.1. Modelo de Beltrami-Klein .............................................................................................. 6
3.2. Modelo de Poincar .................................................................................................... 11
Actividad 2. Modelos de Beltrami, Klein y Poincar ........................................................... 18
3.3. Perpendicularidad en el modelo de Beltrami-Klein ...................................................... 19
3.4. Inversin en crculos y el modelo de Poincar ............................................................ 21
3.4.1. Algunos resultados de geometra euclidiana ...................................................... 21
3.4.2. Longitud de Poincar.......................................................................................... 29
Actividad 3.Perpendiculares e inversin de crculos .......................................................... 48
Autoevaluacin .................................................................................................................. 48
Evidencia de aprendizaje. Independencia del postulado de las paralelas ......................... 48
Autorreflexiones ................................................................................................................. 49
Cierre de la unidad ............................................................................................................ 49
Para saber ms ................................................................................................................. 49
Fuentes de consulta .......................................................................................................... 50
Presentacin de la unidad
En esta unidad se presentan dos modelos que hacen consistente la geometra hiperblica,
estos modelos hacen uso de propiedades de geometra euclidiana. En esencia, la
consistencia de la geometra hiperblica se obtiene a partir de la consistencia de la
geometra euclidiana.
Propsitos
Representars la geometra hiperblica en dos modelos por medio de lneas y

puntos, dados por Beltrami y Klein y el otro por Poincar
Analizars la interpretacin del axioma hiperblico en dichos modelos
Identificars las ventajas y desventajas que tiene un modelo con respecto a otro
Identificars las propiedades que tiene la inversin de crculos y su relacin con la
distancia entre dos puntos en el modelo de Poincar
Competencia especfica
Aplicar los axiomas de Hilbert para mostrar la independencia de las rectas paralelas por
medio de los modelos de Poincar y Beltrami-Klein.
3. Independencia del postulado de las paralelas

Recuerda que un sistema axiomtico es una lista de trminos indefinidos junto con una
lista de postulados o axiomas que se suponen verdaderos, de estos axiomas se obtienen
lemas, proposiciones y teoremas que son enunciados los cuales se demuestra su
veracidad utilizando deduccin lgica. Un modelo para un sistema axiomtico es un
universo donde los axiomas aplicados a los objetos indefinidos son verdaderos. Si existe
un modelo para un sistema axiomtico, se dice que el sistema es consistente, en caso
contrario, se dice que el sistema es inconsistente, cabe mencionar que demostrar que un
sistema es inconsistente es muy difcil. A partir de lo anterior, la geometra euclidiana tiene
como objetos indefinidos a los puntos y las lneas, los axiomas sobre estos objetos son los
axiomas de Hilbert y el modelo es el plano, por consiguiente la geometra euclidiana es
consistente.
En la unidad anterior se present una introduccin al estudio de la geometra hiperblica,
donde se obtuvieron algunos teoremas que resultan ser muy extraos con respecto a los
teoremas conocidos en geometra euclidiana. Las pruebas de dichos teoremas son
lgicamente correctas ya que se obtienen a partir de los axiomas propuestos. Sin embargo,
puede quedar la sensacin de que la hiptesis fundamental de la geometra hiperblica (el
axioma hiperblico) es una hiptesis falsa.
Por ejemplo, si supusiramos que cuando se te cae encima algn objeto de una altura
considerable como una piedra, sta "cae" hacia arriba. Puedes colocar muchas rocas, y
al menos que tengas aire en la cabeza, vas a descubrir que esta hiptesis es falsa.
Bajo la observacin dada en el prrafo anterior, qu tipo de experimento se tiene que
realizar para demostrar que el axioma hiperblico es falso?, o de forma equivalente
demostrar su negacin, es decir, es verdadero el postulado de las paralelas de Euclides?
En primer lugar, habra que entender qu significa esta declaracin. En el ejemplo anterior,
se entiende claramente el significado del objeto "piedra" y lo que significa la accin "soltar"
dicho objeto, por lo que se puede actuar sobre este conocimiento. Pero, qu significa que
es una "lnea", que P es un "punto" que no est "en" o qu significa que existe una
"nica lnea paralela" a que pasa por el punto P ?
Naturalmente, se representan los puntos y las lneas en un papel utilizando un lpiz y una
regla, se comienza dibujando PQ perpendicular a la recta
, a continuacin se dibuja la
recta m perpendicular a PQ que pasa por P , despus se dibuja una lnea n que pasa por
P y que forma un ngulo con respecto a la lnea m . Usando trigonometra euclidiana,
se puede calcular exactamente qu tan lejos de P hay que moverse sobre la lnea n para
llegar al punto S donde se supone que la lnea n cruza a la lnea , pero si el ngulo
se toma lo suficientemente pequeo, la distancia que hay desde el punto de interseccin al
punto P se medira en millones de kilmetros. Por lo tanto, no se pude realizar fsicamente
el experimento para comprobar que el axioma hiperblico es falso.
Figura 1 La distancia PS es tan grande como se desee.

Pero este experimento es geometra aplicada ya que la geometra pura estudia los
conceptos y no los objetos, los nicos experimentos que se pueden realizar sobre esas
lneas y puntos ideales es por medio de experimentos mentales. La cuestin es la
siguiente: se puede concebir una geometra no euclidiana?, Kant deca que no, que
cualquier otra geometra distinta a la geometra euclidiana es inconcebible. En ese
momento histrico, nadie haba concebido an una geometra diferente. En este sentido,
Gauss, Bolyai y Lobachevsky crearon un nuevo universo.
Los matemticos rechazan muchas de sus propias ideas, ya que conducen a
contradicciones o no conducen a ninguna parte, es decir, no son fructferas, son intiles y
no son interesantes. Luego, el axioma hiperblico conduce a una contradiccin? o es la
geometra hiperblica fructfera, til e interesante?, estas preguntas se pueden resumir en
la siguiente: es la geometra hiperblica consistente? Esta pregunta no debe ser
exclusivamente para puntos y lneas, si no es aplicada al sistema completo de axiomas
que determinan la geometra hiperblica.
Si la geometra hiperblica fuera inconsistente, un ordinario argumento matemtico debe
llevar a una contradiccin. Como es familiar en matemticas, para demostrar la
consistencia de un sistema se hace uso de la consistencia de un sistema previamente
estudiado, en este caso la consistencia de la geometra hiperblica es garantizada por el
siguiente resultado, el cual se enuncia sin demostracin:
Teorema 3.1. Si la geometra euclidiana es consistente tambin lo es la geometra
hiperblica.
Como consecuencia inmediata de este resultado se obtiene lo siguiente:
Corolario 3.1.1. Si la geometra euclidiana es consistente, entonces no existe prueba o
refutacin del postulado de las paralelas a partir de los restantes axiomas de Hilbert, en
otras palabras, el postulado de las paralelas es independiente de los otros axiomas.
Demostracin: Para esta prueba se procede por contradiccin del siguiente modo:
(i).
Supngase que existe una prueba de la existencia del postulado de las paralelas.
(ii).
En consecuencia, la geometra hiperblica tiene que ser inconsistente ya que se
basa en la negacin del postulado de las paralelas.
(iii).
Pero la contrapositiva del Teorema 3.1 afirma que si la geometra hiperblica es
inconsistente entonces la geometra euclidiana es inconsistente. Lo que es una
contradiccin.
(iv).
Finalmente la consistencia de la geometra euclidiana garantiza que no existe
refutacin alguna para el postulado de las paralelas.
Lo que demuestra el resultado.
Actividad 1. Mtodos de solucin aplicados

A travs de esta actividad, podrs identificar que existen sistemas axiomticos
consistentes dentro del rea de matemticas, desde la perspectiva de la geometra no
euclidiana. Para ello:
1. Investiga en diferentes fuentes, algunos criterios sobre los sistemas axiomticos de
las matemticas
2. Ingresa al foro y responde las siguientes preguntas
qu otros sistemas axiomticos consistentes aparecen en las matemticas?, a

partir de tal sistema
existe una teora paralela similar a lo que pasa con la geometra euclidiana e
hiperblica?
3. Compara tus respuestas con tres de tus compaeros, argumentando si aceptas o

no su aportacin
Consulta la rbrica general de la participacin en foros que se encuentra en la seccin
Material de apoyo.
3.1. Modelo de Beltrami-Klein

En esta seccin se presenta un modelo para la geometra hiperblica que fu propuesto
por el matemtico italiano Eugenio Beltrami (1835-1899) y el matemtico alemn Flix
Klein (1849-1925)), por tal motivo toma el nombre de Modelo de Beltrami-Klein.
Como se menciona en prrafos anteriores, para ver que este modelo representa a la
geometra hiperblica, se comienza presentando los objetos indefinidos, que en geometra
son los puntos y las lneas, es decir, los axiomas de incidencias son verdaderos. Despus
hay que verificar que los axiomas de intermediacin, congruencia, continuidad y el axioma
hiperblico son verdaderos en este universo, cabe mencionar que estas demostraciones
hacen uso de la consistencia de la geometra euclidiana, lo que muestra que la
consistencia de la geometra euclidiana implica la consistencia de la geometra hiperblica.
Definicin: Considera un crculo fijo en el plano euclidiano. Si O y OR denotan el
centro y el radio del crculo respectivamente, el interior de es el conjunto de todos los
puntos X en el plano que satisfacen OX OR .
En la siguiente figura se ejemplifica la definicin anterior:
Figura 2: Interior de un crculo
Definicin: Dados dos puntos A y B del crculo , una cuerda de es el segmento AB

y una cuerda abierta A)( B es el segmento AB sin tomar en cuenta los puntos A y B .
En la siguiente figura se ejemplifica la definicin anterior:
Figura 3: Cuerda de un crculo
El modelo de Beltrami-Klein es el siguiente:

Definicin: Un punto en el plano hiperblico es un punto interior del crculo fijo y una
lnea en el plano hiperblico es una cuerda abierta del crculo .
En consecuencia, decir que P es un punto en geometra hiperblica significa que P es un
punto del interior del crculo , De manera similar, dada una lnea en el plano
hiperblico, existen dos puntos A y B en el crculo de tal manera que se identifica
con la cuerda abierta A)( B .
Luego, decir que un punto P pertenece a una lnea
en geometra hiperblica, significa
que P pertenece a AB y satisface A * P * B . Entonces la relacin de intermediacin en

geometra hiperblica es la misma relacin de intermediacin con la condicin de estar
restringida al crculo .
Recuerda que el axioma hiperblico afirma que existe una lnea y un punto P que no
pertenece a tal que existen al menos dos lneas m y n que son paralelas a y que
pasan por P . En el modelo Beltrami-Klein, dos cuerdas son paralelas si no tienen punto en
comn, es fcil observar que el axioma hiperblico se cumple, como lo muestra la siguiente
figura:
Figura 4: Lneas paralelas en el modelo de Beltrami-Klein
Dado que el universo solo se restringe al interior del crculo , las cuerdas abiertas m y n
cumplen la condicin de ser paralelas a ya que no se intersectan.
Este modelo presenta una consistencia relativa de la geometra hiperblica ya que permite
presentar los 5 objetos indefinidos: punto, lnea, pertenecer a una lnea, intermediacin de
puntos y congruencia. Hasta el momento slo se han presentado los primeros cuatro, la
congruencia en geometra hiperblica se presentar posteriormente por medio de la
llamada proyeccin natural.
A partir de lo mencionado anteriormente se pueden deducir los axiomas de Hilbert, sin
tomar en cuenta el axioma de las paralelas, es decir, los axiomas de Hilbert en el modelo
de Beltrami-Klein se convierten en proposiciones que deben ser demostradas, como lo
muestra los siguientes ejemplos:
Axioma de incidencia 1: Dados dos puntos distintos A y B en el plano hiperblico, existe
una nica lnea que pasa por A y B .
Demostracin: basta observar los siguientes pasos:
(i).
Sean A y B dos puntos distintos en el plano hiperblico, es decir, A y B son dos
puntos en el interior del crculo .
Figura 5: Puntos A y B del plano hiperblico
(ii).
Por el axioma de incidencia 1 existe, en el plano cartesiano, una nica lnea AB

que pasa por A y B .
Figura 6: Lnea que pasa por A y B
(iii).
Por el principio de continuidad elemental, la lnea AB intersecta al crculo

puntos C y D .
en dos
Figura 7: Puntos extremos C y D .
(iv).
Entonces los puntos A y B pertenecen a la cuerda C )( D .
(v).
Como AB es nica, implica que C )( D es nica.
(vi).
Por lo tanto C )( D es la lnea en el plano hiperblico que contiene a A y B .
Figura 8: Lnea
que pasa por A y B

Axioma de intermediacin 1: Si A * B * C entonces los puntos A , B y C son distintos y
estn en la misma lnea y C * B * A .
Demostracin: basta seguir los siguientes pasos:
(i).
(ii).
(iii).
(iv).
Como A * B * C , se tiene que el punto B pertenece a la lnea AC en el plano

euclidiano
Por el axioma de intermediacin 1 en la geometra euclidiana se tiene que A * B * C
y C *B* A .
Por el principio de continuidad elemental, la lnea AC intersecta al crculo en dos
puntos D y E .
Luego los puntos A , B y C son puntos de la lnea hiperblica D)( E y satisface
A* B *C y C * B * A .

Como habrs observado en el paso (ii) de la prueba anterior, se ha utilizado el axioma de
incidencia 1 para la geometra euclidiana.
Una de las grandes ventajas que tiene el modelo de Beltrami-Klein es que permite
visualizar de una forma fcil a los rayos paralelos limitantes m y n a una lnea que
pasan por un punto P que no pertenece a como lo muestra la siguiente figura:
10
Figura 9: Rayos paralelos limitantes a
Los puntos A y B son puntos ideales ya que no pertenecen al plano hiperblico y son
llamados los puntos finales de la lnea hiperblica . Los rayos paralelos m y n son los
segmentos semiabiertos PA y PB respectivamente donde son omitidos los puntos A y B .
Considerando el conjunto de todos los rayos que inicia en el punto P , cada rayo que est
entre los rayos limitantes m y n tiene que intersectar a la lnea y los rayos restantes no
intersectan a .
Para interpretar la congruencia en el modelo de Beltrami-Klein, se utiliza un sistema de
medicin numrico de ngulo en grados y para la longitud de un segmento. En este
sistema numrico, dos ngulos deben de ser congruentes si y slo si tienen el mismo
nmero de grados, de forma similar, dos segmentos son congruentes si y slo si tienen la
misma longitud. Cabe mencionar que el sistema de medidas utilizado en la geometra
euclidiana no es til en este modelo ya que si se utiliza la longitud euclidiana, toda lnea en
el plano hiperblico tiene longitud finita contradiciendo el axioma de intermediacin 2 y el
axioma de continuidad 1 los cuales implican que las lneas tienen longitud infinita, este
sistema numrico se presentar posteriormente.
3.2. Modelo de Poincar

Otro modelo para la geometra hiperblica fue presentado por el matemtico francs Henri
Poincar (1854-1912) que tambin considera el plano hiperblico como los puntos
interiores de un crculo fijo , por tal motivo se le conoce como Modelo de Poincar o el
disco de Poincar.
En este modelo las lneas del plano hiperblico son de dos tipos:
(a) Las cuerdas abiertas que pasan por el centro O del crculo , es decir, todos los
dimetros abiertos d del crculo. La siguiente figura ilustra este tipo de lneas
hiperblicas:
11
Figura 10: Dimetros del crculo
(b) Los arcos abiertos que se forman de intersectar crculos

ortogonales al crculo
. Recuerda que el crculo
es ortogonal a si los radios de
y en algn
punto de interseccin son ortogonales, o de forma equivalente, las tangentes en un
punto de interseccin son ortogonales, una lnea de este tipo toma el nombre de
lnea de Poincar o P-lnea, la siguiente figura ejemplifica algunas lneas de
Poincar:
Figura 11: Arco ortogonales a
Despus de presentar las lneas en el modelo de Poincar se presenta la relacin de

pertenencia entre un punto y una lnea: Cuando se dice que un punto P pertenece a una
lnea en el plano hiperblico significa que pertenece a un dimetro o a una lnea de
Poincar en el sentido euclidiano. De forma similar, para la intermediacin en el sentido
hiperblico se hace uso de la interpretacin euclidiana, si los puntos A , B y C se
localizan en un dimetro se dice el punto B est entre los puntos A y C si y slo si
A * B * C en el sentido euclidiano, sin embargo, cuando , y pertenecen a una lnea de
Poincar se dice el punto F est entre los puntos E y G si y slo si el rayo OF esta
entre los rayos OE y OG . La siguiente figura ilustra esta idea:
12
Figura 12: Intermediacin en una lnea de Poincar
La interpretacin de la congruencia de segmentos en el modelo de Poincar es

complicado, la longitud de un segmento es diferente a la longitud que se presenta en la
geometra euclidiana, el argumento es similar al presentado para el modelo de BeltramiKlein, sin embargo, la congruencia de ngulos en este modelo coincide con la congruencia
de ngulos en geometra euclidiana, sta es una ventaja principal que tiene el modelo de
Poincar con respecto al modelo de Beltrami-Klein, cuando una identificacin satisface la
condicin de conservar las medidas de los ngulos se dice que es una identificacin
conforme.
Considerando dos rayos m y n que inician de un mismo punto P en el plano hiperblico,
la abertura en grados de este ngulo es igual a la abertura en grados que tiene el ngulo
en el sentido euclidiano que forman los rayos 1 y 2 que inician en P y que son tangentes
a las lneas m y n , respectivamente. Esto es ejemplificado en la siguiente figura:
Figura 13: ngulo formado por dos lneas de Poincar
Lo anterior tambin se aplica cuando alguno de los rayos componentes del ngulo es un
dimetro ya que el rayo tangente a un rayo es el mismo, como lo muestra la siguiente
figura:
13
Figura 14: ngulo formado por un dimetro y una lnea de Poincar
Como ya estn presentados los trminos indefinidos de la geometra hiperblica en el

modelo de Poincar, se procede a interpretar los trminos definidos, por ejemplo, dos
lneas y m son paralelas si no tienen ningn punto en comn.
De forma similar al modelo de Beltrami-Klein, en el modelo de Poincar todos los axiomas
de la geometra hiperblica son trasladados a planteamientos en la geometra euclidiana,
es decir, los axiomas de las geometra hiperblica se convierten en teoremas de geometra
euclidiana. En consecuencia, la consistencia de la geometra euclidiana trae como
consecuencia la consistencia de la geometra hiperblica.
A continuacin se presentan algunas figuras que ilustran algunos resultados de la
geometra hiperblica:
Para una lnea en el plano hiperblico y un punto P que no pertenece a , (sin prdida
de generalidad se puede suponer que es el dimetro abierto A)( B ), existen dos lneas
paralelas m y n a
la siguiente figura:
que pasan por P , es decir, el axioma hiperblico es representado en
Figura 15: Axioma hiperblico en el modelo de Poincar
Los rayos limitantes m y n son los arcos de los crculos que pasan por P que son
tangente a la lnea euclidiana AB en los puntos A y B respectivamente, esto lo ilustra la
siguiente figura:
14
Figura 16: Rayos paralelos limitantes a la lnea A)( B
La siguiente figura ilustra grficamente que dos lneas paralelas

perpendicular comn n tienen que ser divergentes.
y m que tienen una
Figura 17: Lneas paralelas divergentes
La siguiente figura ilustra por qu un cuarto ngulo de un cuadriltero de Lambert tiene que
ser agudo.
Figura 18: Cuadriltero de Lambert

La siguiente figura ilustra cmo es un cuadriltero de Saccheri en el plano hiperblico:
15
Figura 19: Cuadriltero de Saccheri

Como ya habrs observado, existen dos modelos diferentes para la geometra hiperblica:
el primero presentado por Beltrami y Klein y el otro por Poincar; es natural que tengas la
sensacin que estos modelos no son esencialmente diferentes. En efecto, estos modelos
son isomorfos, es decir, hay una correspondencia biyectiva entre los puntos y las
lneas de un modelo al otro, que conservan las relaciones de incidencia, intermediacin y
congruencia.
Esta correspondencia se construye realizando los siguientes pasos:
Partiendo del modelo de Beltrami-Klein en una circunferencia :
Figura 20: Plano hiperblico

Este modelo se ubica en un modelo tridimensional euclidiano, donde est en algn
plano coordenado y su centro O coincide con el origen de coordenadas.
Figura 21: Plano hiperblico ubicado en un modelo tridimensional
16
Sobre el crculo
se coloca una esfera del mismo radio de tal forma que la esfera
tangente en el origen al plano coordenado donde est ubicado el crculo .
es
Figura 22: Esfera ubicada sobre el plano hiperblico
La correspondencia est dada de la siguiente forma: Para cada punto P del plano
hiperblico se levanta ortogonalmente una lnea al plano cortando el hemisferio inferior
de la esfera en el punto Q , luego desde el polo norte O ' de la esfera se traza el rayo m
que pasa por Q e intersectando al plano inicial en el punto P ' .
Figura 23: Proyeccin del punto P
El crculo se identifica con el ecuador de , y se proyecta en el crculo

que es la de
mayor radio bajo esta correspondencia, es decir, crculo se identifica con el crculo .
17
Figura 24: Identificacin del crculo
en el crculo
Bajo la correspondencia anterior se tiene que los dimetros abiertos de se corresponden

con los dimetros abierto de
y que las cuerdas abiertas de se corresponden con
arcos de crculos ortogonales a .
Figura 25: Identificacin de un dimetro con otro dimetro
En resumen, en el crculo
el modelo de Poincar.
se tiene el modelo de Beltrami-Klein y en el crculo
se tiene
Actividad 2. Modelos de Beltrami, Klein y Poincar

A travs de esta actividad, Resolvers ejercicios relacionados a funciones, aplicando sus
propiedades.
Instrucciones:
1. Descarga el documento Act. 2. Modelos de Beltrami-Klein y de Poincar
2. Resuelve los ejercicios que ah se presentan, tomando en cuenta los axiomas de
continuidad y paralelismo.
3. Guarda tu documento con la siguiente nomenclatura MCDI_U3_A2_XXYZ.
4. Enva tu documento a tu Facilitador(a) y espera su retroalimentacin.
18
Consulta la Escala de Evaluacin para conocer los criterios con que ser evaluado tu
trabajo.
3.3. Perpendicularidad en el modelo de Beltrami-Klein

Dado que el modelo de Poincar es conforme, en este modelo dos lneas que se cortan
son ortogonales si y slo si las rectas tangentes en el punto de corte son ortogonales, esto
se muestra en la siguiente figura:
Figura 26: Ortogonalidad en el modelo de Poincar
En el modelo de Beltrami-Klein, observar que dos lneas son ortogonales es ms

complicado ya que este modelo no es conforme, aqu la congruencia de ngulos es
interpretado de forma diferente a la congruencia presentada en la geometra euclidiana. En
esta breve seccin se describe cmo son los ngulos rectos en este modelo, recuerda que
por definicin, un ngulo recto es aquel que es congruente a su ngulo suplementario.
Sea m y n dos cuerdas abiertas de un crculo , para describir cuando las lneas m y n
son ortogonales, hay que considerar los siguientes dos casos:
Caso 1. Cuando alguna de las lneas m o n es un dimetro: se tiene que m n en el
modelo de Beltrami-Klein si y slo si m n en el sentido euclidiano. La siguiente
figura ejemplifica este caso:
19
Figura 27: Caso 1 de ortogonalidad
Caso 2. Cuando ninguna de las lneas m y n son dimetros: En este caso a la lnea
m se le asocia un punto ideal P m que esta fuera de la circunferencia
, dicho
punto es llamado polo de m que se define de la siguiente manera: Sean t1 y t2

las lneas tangentes a
que pasan por los puntos extremos de m , el punto
P m se define como el nico punto comn a las lneas t1 y t2 , observa que

este punto existe ya que m no es un dimetro. Luego m n en el modelo de
Beltrami-Klein si y slo si la lnea extendida que contiene al segmento n pasa
por el polo de m . La siguiente figura ejemplifica este caso:
Figura 28: Caso 2 de ortogonalidad
Una aplicacin de la ortogonalidad en el modelo de Beltrami-Klein es que permite ver por

qu dos lneas paralelas con una perpendicular comn a stas divergen, para ello se
presentan dos lneas paralelas m y n en donde n no es un rayo paralelo limitante a m , en
el modelo de Beltrami-Klein las cuerdas m y n no tienen punto final comn, y en
consecuencia m y n tienen una lnea perpendicular comn k .
20
Si la lnea k satisface el Caso 2 de perpendicularidad se tiene que la lnea extendida k
pasa simultneamente por los puntos P m y P n , luego la lnea k es el segmento de la
lnea P m P n que est en el interior del crculo
Figura 29: Lneas paralelas que tienen una perpendicular comn
3.4. Inversin en crculos y el modelo de Poincar

A continuacin se presentan algunos resultados relativos a circunferencias en el plano
euclidiano, estos resultados sern utilizados para definir el concepto de longitud en el disco
de Poincar, cabe mencionar que estos resultados pueden obtenerse a travs de la teora
de funciones de variable compleja.
3.4.1. Algunos resultados de geometra euclidiana

Iniciaremos con el siguiente concepto:
Definicin: Sea un crculo de radio r con centro en O , dado un punto P O del
interior del crculo , el punto inverso P ' de P con respecto a es el nico punto P '
sobre el rayo OP tal que OP OP ' r 2 .
Recuerda que OP y OP ' son las longitudes de los segmentos OP y OP ' respectivamente,
el anterior concepto se ejemplifica en la siguiente figura:
21
Figura 30: Puntos P ' inverso a P con respecto a
A continuacin se presentan algunas consecuencias inmediatas de la definicin anterior:

Teorema 3.2. Sea un circulo con centro en O y radio r , entonces:
(a).
(b).
(c).
P P ' si y slo si P pertenece a .

Si P es un punto interior de entonces P ' es un punto exterior de
punto exterior de entonces P ' es un punto interior de .
El punto inverso del inverso es el punto original.
y P es un
Demostracin: Para (a) supngase que P P ' entonces OP OP ' , luego por definicin
de inversin se tiene que OP OP ' OP

un punto de
r 2 , lo que implica que OP r , es decir, P es
. Inversamente, si P pertenece a
, entonces OP r , lo que implica que
OP OP ' r OP ' r , es decir OP ' r y como P y P ' pertenecen al rayo OP se tiene

2
que P P ' . Para (b) supngase que P es un punto interior de
, entonces OP r , luego
se tiene que r OP OP ' r OP ' , lo que implica que r OP ' , es decir, P ' es un punto
exterior de , para la otra propiedad de este punto se procede de forma anloga.
Finalmente, para (c) supngase que P es un punto interior de , que P ' es su punto
inverso con respecto a y que P '' es un punto inverso de P ' con respecto a , entonces
2
se tiene que OP OP ' r 2 y OP ' OP '' r 2 lo que implica que OP OP '' , como OP OP ''
se tiene que P y P '' estn en el rayo OP lo que implica que P P '' .
Los siguientes dos resultados presentan cmo se construye el punto inverso utilizando los
instrumentos clsicos de la geometra, es decir, la regla y el comps.
Teorema 3.3. Supngase que P est en el interior del crculo
, y sea TU la cuerda de
que es ortogonal a la lnea OP . Entonces el punto inverso P ' de P es el polo de la cuerda

en los puntos T y U .
TU , en otras palabras, la interseccin de las tangentes a
Demostracin: Considera los siguientes pasos:
(i).
Se tiene que la recta tangente a

P' .
en el punto T intersecta al rayo OP en el punto
22
Figura 31: Interseccin de T con OP
(ii).
Los tringulos OPT y OTP ' son semejantes ya que el ngulo TOP es comn
a ambos tringulos y los ngulos OPT y P 'TO son rectos. Lo que implica que
sus correspondientes lados son congruentes.
Figura 32: Los ngulos
OPT y
P 'TO son rectos
OP
OP OT
r
se tiene que
, es decir OP OP ' r 2 , lo que
r
OT OP '
OP '
implica que P ' es el inverso de P con respecto a .
(iii).
Como OT r y
(iv).
Reflejando con respecto a la lnea OP se tiene que el punto T se corresponde con

en T se corresponde con la lnea tangente a en U y
U y la lnea tangente a
en consecuencia pasa por el punto P ' .
Figura 33: Reflejo de T en el punto U con respecto a OP
23
(v).
Por consiguiente P ' es un polo de la cuerda TU .
Teorema 3.4. Si P es un punto exterior al crculo
OP . Sea
, sea Q el punto medio del segmento
el crculo con centro en O y radio OQ QP . Entonces
dos puntos T y U , donde PT y PU son tangentes a

interseccin TU y OP .
intersecta a
y el punto inverso P ' de P es la
Demostracin: Basta seguir los siguientes pasos:

(i).
Se tiene que por el principio de continuidad circular se tiene que los crculos
se cortan en dos puntos T y U .
Figura 34: Crculos
(ii).
en
se cortan en dos puntos T y U
Dado que los ngulos OTP y OUP son inscritos en el semicrculo de ,

entonces son ngulos rectos, recuerda que la medida de un ngulos inscrito es la
mitad del ngulo central que forman.
OTP y
OUP son rectos
(iii).
Por consiguiente las lneas TP y UP son lneas tangentes a y P es un polo de la

cuerda TU .
(iv).
Por el Teorema 3.3 el punto P es el punto inverso del punto P ' , donde P ' es la
interseccin de la cuerda TU con el segmento OP .
24
Figura 36: El punto P ' es el inverso de P con respecto a
(v).
Por lo tanto P ' es el inverso de P con respecto a
El siguiente resultado presenta como se construye una lnea de Poincar a travs de dos
puntos ideales.
Teorema 3.5. Sean T y U dos puntos del crculo
que son diametralmente opuestos y
sea P el polo de la cuerda TU . Entonces PT PU ,
PTU
PUT y OP TU ,
adems el circulo
con centro en el punto P y radio PT PU intersecta a
ortogonalmente en los puntos T y U .
Demostracin: Observa los siguientes pasos:
(i).
Dado que P es el polo de la cuerda TU se tiene que los ngulos OPT y OUP
son ngulos rectos. Luego los tringulos OTP y OUP ya que los tringulos son
rectngulos y comparten la hipotenusas. De los anterior se tiene que PT PU .
Figura 37: Los segmentos PT PU y PT PU son congruentes
(ii).
Considerando el tringulo issceles
PTU , los ngulos base
PTU y
PUT son
congruentes y la bisectriz OP es ortogonal a la base TU .
25
(iii).
PTU y
PUT son congruentes
Dado que por hiptesis los las lneas TP y UP son tangentes a
en los puntos T
y U respectivamente, se tiene que el crculo

con centro en P y radio PT PU
es ortogonal al crculo . Lo que implica que el arco abierto de
que es interior a
es una lnea de Poincar.
Figura 39: El arco TU es una lnea de Poincar

Lema 3.1. Dado un crculo y un punto O que no pertenezca a , se cumple lo siguiente:
(a) Si dos lneas m y n que pasan por O intersectan a en las parejas de puntos
P1, P2
(b)
y Q1 , Q2 respectivamente, entonces OP1 OP2 OQ1 OQ2 . Este producto
comn es llamado la potencia de O con respecto a .

Si el punto O es exterior a , sea t la lnea tangente en el punto T del crculo
que pasa por O , entonces OT
es la potencia de O con respecto a
Demostracin: Para (a) hay que seguir los siguientes pasos:

(i).
Dado que los ngulos inscritos en un crculo y apoyados en el mismo arco son
congruentes y en consecuencia P2 PQ
P2Q1Q2 y P1Q2Q1 P1 P2Q1 .
1 2
26
Figura 40: ngulos inscritos y apoyados en el mismo arco
(ii).
Utilizando el hecho de que dos ngulos opuestos por un vrtice son congruentes,
se tiene que los tringulos OPQ
OQ1P2 son similares. Obteniendo que
1 2 y
OP1 OQ2
, es decir OP1 OP2 OQ1 OQ2 .

OQ1 OP2
Para (b) basta observar lo siguiente:
(i).
Sea C el centro del crculo , entonces la lnea OC intersecta a
P1 y P2 de tal forma que O * P1 * C * P2 .
en los puntos
Figura 41: Los puntos P1 y P2 que satisfacen O * P1 * C * P2
(ii).
El teorema de Pitgoras garantiza que OT CT OC , de donde se

2
obtienen las siguientes relaciones:
OT OC CT
2
OC CT OC CT
OC CP1 OC CP2
OP1 OP2
27
Teorema 3.6. Dados un crculo y un punto P interior a de tal manera que P no
coincide con el centro O de y sea
un crculo que pasa por P con centro en C .
Entonces
intersecta ortogonalmente a si y slo si
pasa por el punto inverso P ' a
P con respecto a .
Demostracin: Basta observar los siguientes pasos:
(a)
Supngase que
pasa por el punto P ' .
(i).
El centro C de
est sobre la mediatriz de segmento PP ' .
Figura 42: Mediatriz de PP '
(ii).
(iii).
Luego CO CP , lo que implica que O es un punto exterior a .

Por el Teorema 3.4 existe un punto T del crculo
de tal forma que la lnea
OT es tangente a
Figura 43: La lnea OT es tangente a
(iv).
Por la parte (b) del Lema 3.1 se tiene que OT
OP OP ' r 2 , lo que implica
que T tambin es un punto de , es decir, las circunferencias y

se cortan
ortogonalmente.
(b)
Supngase que
intersecta ortogonalmente a .
(i).
Por definicin de crculos ortogonales, las rectas tangentes a
en los puntos
T y U se intersectan en el punto O que est en el exterior de .
28
Figura 44: Las lneas T y U se intersectan en O
(ii).
Luego, el rayo OP intersecta a
en el punto Q .
(iii).
Por la parte (b) del Lema 3.1 se tiene que r 2 OT
OP OQ , lo que implica
que Q P ' , es decir, el punto P ' es el inverso a P con respecto a
Figura 45: El punto P ' es el inverso a P con respecto a
3.4.2. Longitud de Poincar

Para comenzar esta seccin se presenta como el Teorema 3.6 se utiliza para construir
lneas de Poincar siguiendo los siguientes pasos: Dados un crculo con centro en O y
dos puntos P y Q que sean interiores a y distintos de O :
Figura 46: Dos puntos P y Q distintos de O
29
Se construye el punto P ' inverso a P con respecto
como lo presenta el Teorema 3.3:
Figura 47: El punto P ' es el inverso a P con respecto a
Se construye el crculo
que pasa por los tres puntos no colineales P , Q y P ' , para esto
se trazan las mediatrices a los segmentos PQ y PP ' cortndose en el centro C del

crculo
Figura 48: Crculo D con centro en C
La lnea de Poincar es el arco de la circunferencia
que es interior a
Figura 49: Lnea de Poincar que pasa por P y Q
30
Esta construccin garantiza que se cumple el axioma de incidencia 1 en el modelo de
Poincar. Ahora la interpretacin de los axiomas de incidencia, de intermediacin y el
axioma de Dedekind se realiza utilizando el isomorfismo que existe entre el modelo de
Poincar y el modelo de Beltrami-Klein ya que en este modelo estas verificaciones son
triviales.
En esta seccin se presenta la verificacin de los axiomas de congruencia en el modelo de
Poincar, esta verificacin no se har en orden:
El axioma de congruencia 5 es trivial.
Para el axioma de congruencia 4, el cual consiste en colocar una copia congruente de un
ngulo en un vrtice A , donde A es un elemento del disco de Poincar, si A es el centro
del crculo, el ngulo est formado por dos dimetros y el ngulo buscado coincide con el
que se tendra en forma euclidiana.
Figura 50: Axioma de congruencia 4 para dos dimetros
Cuando A no est es el centro O del crculo , entonces la verificacin consiste en

encontrar el nico crculo
ortogonal a que pasa por A y que es tangente a una lnea
euclidiana que no pasa por O (ya que las tangentes determinan la medida del ngulo).
El crculo
tiene que pasar por A ' que es el punto inverso de A con respecto a , el
centro C de
se localiza sobre la mediatriz m de la cuerda AA ' . Si el crculo
es
tangente a la lnea en el punto A , entonces el punto C tambin se encuentra sobre la
perpendicular n de la lnea en el punto A . As,
es el crculo con centro C y radio CA
y es la interseccin de m y n , se toma otra lneas que pasa por A y que forma el
ngulo deseado con respecto a y se realiza el procedimiento anterior.
31
Figura 51: Axioma de congruencia 4 para dos lneas de Poincar
Para definir la congruencia entre segmentos en el modelo de Poincar, se define el

siguiente concepto:
Definicin: Dados A y B dos puntos en el plano hiperblico y sean P y Q los puntos
finales de la lnea de Poincar que pasa por A y B . Se define la razn cruzada AB, PQ
por la relacin:
AB, PQ
AP BQ
.
BP AQ
Recuerda que AB denota la longitud del segmento AB en el sentido euclidiano. La

definicin anterior permite definir la longitud de un segmento en el modelo de Poincar.
Definicin: Dados A y B dos puntos en el plano hiperblico y sean P y Q los puntos
finales de la lnea de Poincar que pasa por A y B . La longitud de Poincar del
segmento AB es:
d A, B ln AB, PQ
Observa que la longitud de Poincar no depende del orden en que se presentan los puntos
1
finales P y Q . En efecto, si AB, PQ x entonces AB, QP , lo que implica que
x
ln 1/ x ln x ln x , es decir AB, PQ AB, QP . Esto implica que la distancia d A, B
no depende del orden de A y B .

A partir de lo anterior se interpreta la congruencia de segmentos:
Definicin: Dados dos segmentos AB y CD en el disco de Poincar, se dice que AB es
congruente con CD si y slo si d AB d CD .
Esta definicin permite ver que la verificacin del axioma de congruencia 2 se realiza
inmediatamente.
32
Para el Axioma de congruencia 1 supngase que se fija un punto A de la lnea de
Poincar que finaliza en los puntos P y Q . Sea B un punto que se mueve continuamente
entre los A y B , donde Q * A * B * P como lo muestra la siguiente figura:
Figura 52: Puntos que satisfacen Q * A * B * P
La razn cruzada AB, PQ incrementa continuamente de 1 a ya que
AP
es constante,
AQ
BP se aproxima a cero y BQ se aproxima a PQ . Si se fija el punto B y A se mueve
continuamente de B hacia Q se obtiene el mismo resultado. Esto implica inmediatamente

que cualquier rayo CD en el disco de Poincar existe un nico punto E sobre el rayo CD
de tal manera que d AB d CE .
Para verificar el axioma de congruencia 3 se hace uso del hecho ln xy ln x ln y que
aplicada a la longitud de Poincar se tiene que para tres puntos A , B y C en el disco de
Poincar tales que A * B * C se tiene que d AC d CB d AB . Esto se obtiene de
observar lo siguiente: Sean P y Q los puntos finales de la lnea (en el disco de Poincar)
que pasa por los puntos A , B y C , luego se tiene que Q * A * B * C * P . Dado que AP BP
, BQ AQ se tiene que las razn cruzada
AB, PQ
AP BQ BP BQ
1
BP AQ BP BQ
De forma similar se tiene que AC , PQ y BC , PQ son mayores que 1 , luego sus

logaritmos son positivos y las barras de valor absoluto se omiten. Obteniendo lo siguiente:
d AC d CB ln AC , PQ ln BC , PQ
ln AC , PQ BC , PQ
Esto se finaliza observando lo siguiente:
33
AP CQ CP BQ AP BQ
AB, PQ
CP AQ BP CQ BP AQ
AC, PQ BC, PQ
Por consiguiente d AC d CB d AB .
Para el axioma de congruencia 6 se tiene que estudiar el efecto que provoca la inversin
de los objetos y las relaciones en el modelo de Poincar. Para ello se comienza con el
siguiente concepto:
Definicin: Sean O un punto y k un nmero positivo, la dilatacin con centro en O y
radio k es la transformacin del plano euclidiano que fija a O y enva al punto P O al
nico punto P* sobre el rayo OP de tal forma que OP* k OP .

La transformacin presentada en la definicin anterior mueve todos los puntos radialmente
de O a una distancia k veces de su distancia original. El siguiente resultado presenta
como se comportan las lneas y los crculos con respecto a una dilatacin, la demostracin
hace uso de algunos conceptos de geometra analtica.
Lema 3.2. Sea
un crculo con centro en C y radio s . Bajo la dilatacin con centro en O
y radio k , el circulo
es un punto en
tangente a
es transformado en el crculo
, entonces la lnea tangente a
con centro en C * y radio ks . Si Q
en el punto Q* es paralela a la
en el punto Q .

(i).
Sin prdida de generalidad y por simplicidad se ubica el punto O el origen de
coordenadas. Entonces, la dilatacin transforma la coordenada x, y en kx, ky .
Figura 53: Escalamiento del punto x, y
(ii).
Luego, la recta que tiene por ecuacin ax by c se transforma en la recta que

tiene por ecuacin ax by ck . Es decir, una recta y su imagen bajo una dilatacin
34
son lneas paralelas. En particular, la lnea CQ es paralela a su imagen C *Q* y sus
perpendiculares en los puntos Q y Q* , respectivamente, son paralelas.
Figura 54: Escalamiento de la lnea ax by c

(iii).
Finalmente, si
tiene ecuacin x h1 y h2 s 2 , su imagen bajo la

2
dilatacin est dada por x kh1 y kh2 k 2 s 2 .

2
Figura 55: Escalamiento del crculo x h1 y h2 s 2

2
Lo que demuestra el lema.

El siguiente resultado presenta cuando la inversin de un crculo con respecto a otro
circulo coincide con la una dilatacin de mismo con respecto al centro del segundo crculo.
Teorema 3.7. Sean un crculo con centro en O y radio r y
un crculo con centro en
C y radio s . Supngase que O es exterior a , que p es la potencia de O con respecto
35
a
y que k
r2
. Entonces
p
se transforma bajo la inversin del crculo
en el crculo
' de radio ks con centro en la imagen C * de C bajo la dilatacin de O con radio k .

Adems, si P es cualquier punto en
y P ' es su inverso con respecto a , entonces la
lnea tangente t ' a ' en P ' es la reflexin a travs de la mediatriz del segmento PP ' de
la lnea tangente a
en P .
Demostracin: Basta que observes lo siguiente:

(i).
Dado que O es exterior a

tangente a
, el rayo OP intersecta a
en otro punto Q o es
en P y en tal caso P Q .
Figura 56: Interseccin de OP con
(ii).
Luego se tiene que
OP ' OP ' OP r 2
OQ OQ OP p
Es decir P ' es la imagen de Q bajo la dilatacin de O y radio k
consiguiente la imagen
coincide con la inversin
de
' de
r2
. Por
p
bajo la dilatacin con centro en O y radio k

con respecto a
, es decir
Figura 57: La dilatacin D coincide con la inversin
'.
'
36
(iii).
Por el Lema 3.2, la lnea tangente t ' de

en el punto Q .
u de
' en el punto P ' es paralela a la tangente
Figura 58: Las lneas t ' y u son paralelas
(iv).
Sea t la tangente de
en el punto P , el Teorema 3.5 garantiza que las lneas t y
u se intersectan en el punto R de tal manera que RQP RPQ . Adems, las
lneas t y t ' se cortan en un punto S y satisface
(v).
SP ' P y
SP ' P
SPP ' .
SPP ' son congruentes
Como los ngulos bases son congruentes, se tiene que el tringulo PSP ' es
issceles, lo que implica que S pertenece a la mediatriz del segmento PP ' . Por
consiguiente la lnea t ' es la reflexin de la lnea t a travs de la mediatriz del
segmento PP* .
37
Figura 60: La lnea t ' es el reflejo t a travs de la mediatriz de PP

Como consecuencia de este resultado se tiene lo siguiente:
Corolario 3.7.1. El crculo
es ortogonal al crculo si y slo si
mismo bajo la inversin sobre .
Demostracin: Como
es ortogonal a
implican que p OP OP ' , as k 1 y
en el punto P , el Teorema 3.6 y el Lema 3.1
' . Inversamente, si
pasa por el punto inverso P ' de P con respecto a

es ortogonal a .
Lema 3.3. Sean O el centro del crculo
es transformado en s
, por el Teorema 3.6 se tiene que
y los puntos P y Q que no son colineales a O ,
dentese por P ' y Q ' los puntos inversos de P y Q con respecto a

Entonces los tringulos
POQ y
Demostracin: Los tringulos
' , entonces p r 2 y
respectivamente.
Q ' OP ' son similares.

POQ y
Q ' OP ' tienen como ngulo comn a
POQ y
OP OP ' r OQ OQ ' . El criterio LAL para tringulos similares de cumple.

2
El resultado anterior se ejemplifica en la siguiente figura:
38
Figura 61: Los tringulos
POQ y
Q ' OP ' son similares
El siguiente resultado presenta cmo se transforma, bajo una inversin, una lnea que no
pasa por el centro del crculo de inversin.
Teorema 3.8. Sea una lnea que no pasa por el centro O del crculo . Entonces la
imagen
de bajo la inversin de es un crculo perforado sin el punto O , el dimetro
de
que pasa por O es perpendicular a .
Demostracin: Basta seguir lo siguientes pasos:
(i).
Sean A el pie de la perpendicular de O a y P cualquier otro punto de
dentese por A ' y P ' los puntos inversos de A y P respectivamente.
Figura 62: Los punto A ' y P ' son los inversos de A y P
(ii).
Por el Lema 3.3 los tringulos OAP y OP ' A ' son similares. Por consiguiente el
ngulo OP ' A ' es recto, implicando que P ' est en el crculo
que tiene como
dimetro el segmento OA ' .
39

(iii).
OAP y
OP ' A ' son similares
Inversamente, si se toma cualquier punto P ' del crculo
supngase que el rayo OP corta a

P ' es el punto inverso de P .
que es distinto de O ,
en P , un argumento inverso muestra que
El siguiente resultado presenta cmo se transforma un crculo bajo una inversin con
respecto a otro crculo, en esencia es el teorema inverso al teorema anterior.
Teorema 3.9. Sea
un crculo que pasa por el centro O del crculo . La imagen del
crculo
eliminando el punto O bajo la inversin de es una lnea que no pasa por O
y es paralela a la lnea tangente a
en el punto O .
(i).
Sea A ' el punto sobre
que es diametralmente opuesto a O , sea A el punto
inverso de A ' con respecto a
A.
y sea
Figura 64: La lnea
(ii).
la lnea perpendicular a OA en el punto
es ortogonal a OA en A
Por los pasos presentados en la demostracin del Teorema 3.8, la inversin de

con respecto a es el crculo
eliminando el punto O , por consiguiente el
crculo
eliminando el punto O se transforma en .
40
En geometra euclidiana se tiene que la reflexin preserva la longitud pero invierte el
sentido de los ngulos. El siguiente resultado generaliza esta propiedad a inversiones.
Teorema 3.10. En una inversin, un ngulo dirigido que se forma de la interseccin de dos
crculos preserva la magnitud pero invierte su sentido. Esto mismo tambin se tiene si el
ngulo se forma por intersectar una lnea y un crculo o una lnea con otra lnea.
(i).
Sean ,
y tres crculos. Supngase que
con tangentes y m respectivamente.
Figura 65: Los crculos
(ii).
(iii).
se intersectan en el punto P
se intersectan en P
Sea P ' el punto inverso de P con respecto a , dentese por

' y ' las
imgenes de los crculos
y con respecto a respectivamente. Sean y m '
las lneas tangentes a P ' de los crculos ' y ' respectivamente.
El hecho de que una inversin preserve la magnitud de un ngulo pero que
invierta su direccin se obtiene del hecho que las lneas y m ' son reflexiones
de las lneas y m con respecto a la mediatriz PP ' .
Figura 66: El punto P es la reflexin de P '
41
(iv).
El resto de los casos se obtienen de los teoremas 2.7 y 2.9. enunciados en la

Unidad 2.
El siguiente teorema muestra que la razn cruzada utilizada para definir la longitud de
Poincar es invariante bajo inversiones.
Teorema 3.11. Dado
de
un crculo con centro en O , sean A, B, P, Q cuatro puntos distintos
y dentese por A ', B ', P ', Q ' sus puntos inversos en
respectivamente. Entonces
AB, PQ A ' B ', P ' Q ' .

(i).
Por el Lema 3.3 se tienen las siguientes relaciones:
AP A ' P '
y
OA OP '
(ii).
AQ A ' Q '
OA OQ '
Luego se tiene lo siguiente:
AP AP OA OQ ' A ' P '
AQ OA AQ OP ' A ' Q '

(iii).
Por el Lema 3.3 se tienen las siguientes relaciones:
BP B ' P '
y
OB OP '
(iv).
BQ B ' Q '
OB OQ '
Luego se tiene lo siguiente:
BQ BQ OB B ' Q ' O ' P '
BP OB BP OQ ' B ' P '

(v).
Multiplicando miembro a miembro las relaciones obtenidas en los pasos (ii) y (iv)
se tiene lo siguiente:
AB, PQ
AP BQ OQ ' A ' P ' B ' Q ' O ' P '
AQ BP OP ' A ' Q ' OQ ' B ' P '

A ' P ' B 'Q '
A ' B ', P ' Q '

A 'Q ' B ' P '

El siguiente resultado presenta como se comportan las relaciones de incidencia,
intermediacin y congruencia con respecto a la inversin.
Teorema 3.12. Sea
un crculo ortogonal al crculo . Entonces la inversin en
transforma al crculo en y el interior en s mismo. La inversin en
preserva la
incidencia, la intermediacin y la congruencia en s mismo en el sentido del modelo del
disco de Poincar.
42
(i).
Sea C y s el centro y el radio de
respectivamente, de forma similar sean O y
r el centro y el radio de respectivamente. Para P un punto interior de se
denota por P ' su inverso con respecto a
(ii).
El Corolario 3.7.1 afirma que el crculo se transforma en s mismo.
(iii).
El rayo CP corta a
en los puntos Q y Q ' , el Teorema 3.6 afirma que
CQ CP
s 2 . Como P est entre Q y Q ' se tiene que CQ CP CQ ' , lo que

CQ ' CP '
implica que
s2
s2
s2
, luego se tiene que CQ ' CP ' CQ lo que trae con
CQ ' CP CQ
consecuencia que P ' est entre Q ' y Q , es decir, el punto P ' es interior a
(iv).
(v).
(vi).
(vii).
Los teoremas 3.7, 3.9 y 3.10 implican que las inversiones con respecto a
transforman cualquier crculo ortogonal a en un crculo ' ortogonal a o en
una lnea ' ortogonal a , es decir, una lnea que pasa por O .
Los teoremas 3.8 y 3.9 garantizan que la lnea que une los puntos O y C es
transformada en s misma y cualquier otra lnea que pasa por O es
transformada en un crculo ' eliminndole el punto C , el crculo ' es ortogonal
a .
Los casos presentados en los puntos (iv) y (v) muestran que la parte de que es
interior a se transforma en la parte de ' que es interior a . Por consiguiente,
una lnea de Poincar bajo una inversin se transforma en una lnea de Poincar.
Dados dos puntos A y B interiores a , sean P y Q los puntos finales de la lnea
de Poincar que pasa por A y B . La inversin con respecto a
transforma los
puntos P y Q en los puntos finales P ' y Q ' de la lnea de Poincar que pasa por
A' y B ' .
(viii).
(ix).
Por el Teorema 3.11 se tiene que d AB d A ' B ' , lo que implica que la
congruencia de segmentos se preserva. Adems, el Teorema 3.10 muestra que la
congruencia de ngulos tambin se conserva.
Finalmente, la intermediacin en el sentido del modelo de Poincar tambin se
preserva ya que B est entre los puntos A y D si y slo si A , B y D son
colineales en el sentido del modelo de Poincar y d AD d AB d BD .

Para finalizar con los axiomas de congruencia se presenta la verificacin del axioma de
congruencia 6 (criterio LAL de congruencia de tringulos). Sea un crculo de radio r con
centro en O y tres puntos A , B y C que son interiores a . Sea
la circunferencia
ortogonal a que pasa por los puntos A y B , de forma similar sea el crculo ortogonal
a que pasa por A y C . Entonces
vuelve a intersectar a en el punto A ' que es
exterior a y el Teorema 3.6 garantiza que A ' es el inverso de A con respecto a . Sea
43
el crculo con centro en A ' y radio s , donde AA ' A ' O s 2 . Dado que AA ' A ' O AO ,
implica que:
s 2 AA ' A ' O A ' O AO A ' O A ' O AO A ' O A ' O r 2

Por el teorema inverso de Pitgoras la ecuacin anterior implica que
es ortogonal a .
Por la manera en como se define , se tiene que O es el punto inverso a A con respecto
a . El Teorema 3.12 afirma que la inversin con respecto a
transforma el tringulo de
Poincar ABC en un tringulo congruente en el sentido de Poincar OB ' C ' .
ABC y
OB ' C ' son congruentes
En resumen, todo triangulo interior a en el sentido del modelo de Poincar puede ser
transformado en un tringulo congruente en el sentido del modelo de Poincar que tenga
un vrtice en el punto O .
Considera dos tringulos
ABC y
XYZ tales que
d AB d XY . Por la observacin anterior, los tringulos

transformados en dos tringulos
Poincar respectivamente.
OB ' C ' y
X , d AC d XZ y
ABC y
XYZ son
OY ' Z ' congruentes en el sentido de
Antes de seguir con la verificacin del axioma de congruencia 6 se presenta el siguiente

resultado:
Lema 3.4. Si d OB d entonces OB
naturales y r es el radio de
r ed 1
ed 1
, donde e es la base de los logaritmos
44
Demostracin: Si P y Q son los puntos finales del dimetro que pasa por B , se puede
suponer que Q * O * B * P , entonces d d OB ln OB, PQ de donde se obtienen las
siguientes relaciones:
ed OB, PQ
OP BQ BQ r OB
OQ BP BP r OB
Resolviendo con respecto a OB se tiene OB
r ed 1
ed 1
Retornando al criterio LAL, supngase que A X O , El Lema 3.4 y las hiptesis del
criterio LAL se tiene que OB OY , OC OZ y
BOC
YOZ .
Figura 68: Tringulos que satisfacen el criterio LAL

Realizando una rotacin euclidiana con eje de rotacin en O . Si es necesario, esta
rotacin se combina con una reflexin en algn dimetro, se transforma el tringulo
euclidiano OBC en el tringulo euclidiano OYZ esta transformacin enva el crculo
en s mismo y el crculo que pasa por B y C en el crculo ortogonal que pasa por Y y Z el
cual preserva la longitud de Poincar y la amplitud de los ngulos. Lo que implica que los
tringulos OBC y OYZ son congruentes en el sentido del modelos de Poincar.
La verificacin del axioma de congruencia 6 permite demostrar el siguiente resultado, el
cual se enuncia sin demostracin:
Teorema 3.13. Dos tringulos en modelos de Poincar son congruentes en el sentido de
Poincar si y slo si stos pueden ser transformados uno en el otro por una sucesin de
inversiones de crculos ortogonales a y/o reflexiones con respecto a algunos dimetros
de .
Para finalizar esta seccin, se aplica el modelo de Poincar para presentar la frmula de J.
Bolyai y Lobachevsky para el ngulo de paralelismo. Primero se denota por d el
nmero de radianes en el ngulo de paralelismo correspondiente a la distancia de Poincar
45
d , recuerda que el nmero de radianes se calcular multiplicando
180
por el nmero de
grados.
Teorema 3.14. En modelo de Poincar la frmula para el ngulo de paralelismo est dada
d
por la relacin e d tan
.
2
(i).
El ngulo de paralelismo d es la distancia d PQ de algn punto P a alguna lnea

de Poincar
y d es el nmero de radianes en el ngulo que est formado
por un rayo paralelo limitante a

(ii).
que pasa por P y el rayo PQ .
Sin prdida de generalidad, se puede suponer que

es el centro de
y que Q
, lo que implica que P est en el dimetro perpendicular a
Figura 69: Dimetro
(iii).
es un dimetro de
ortogonal a PQ
Un rayo paralelo limitante a que pasa por P es el arco de un crculo

ortogonal
a tal que
es tangente a en uno de sus extremos . La lnea tangente a
en P intersecta a en algn punto R que pertenece al segmento Q y por
consiguiente es un polo de la cuerda P .
Figura 70: El punto R es el polo de P
(iv).
Por el Teorema 3.5 se tiene que
RP y
RP son congruentes y en
consecuencia tienen el mismo nmero de radianes. Sea d , que es el

46
nmero de radianes que tiene el ngulo
al tringulo
RPQ . Dado el ngulo
PR se tiene que la abertura de
tiene que 2
PRQ es exterior
PRQ es igual en radianes a 2 , se

.
2 2
Figura 71: Relacin entre los ngulos y
(v).
La distancia euclidiana de PQ es r tan , por el Lema 3.4 se tiene que:
ed
(vi).
1 tan
1 tan

1 tan

2 en la
Sustituyendo
y utilizando la identidad tan
4 2
4 2 1 tan

2
relacin anterior se tiene que:

1 tan 1 tan 1 tan
2
2
2
1

1 tan
1 tan
1 tan
1
tan
4
2
2

2
ed
1 tan

1 tan
1 tan 1 tan 1 tan
4 2 1
2
2
2

1 tan
1 tan
2
2
2

1 tan
1
2

2 tan
tan
2
2

1 tan
2
47
d
Por consiguiente e d tan
.
2
(vii).
Actividad 3.Perpendiculares e inversin de crculos

A travs de esta actividad, Resolvers ejercicios relacionados a funciones, aplicando sus
propiedades.
Instrucciones:
1. Descarga el documento A3. Perpendiculares e inversin de crculos
2. Resuelve los ejercicios que ah se presentan, tomando en cuenta los axiomas de
continuidad y paralelismo.
3. Guarda tu documento con la siguiente nomenclatura MCDI_U3_A3_XXYZ.
4. Enva tu documento a tu Facilitador(a) y espera su retroalimentacin.
trabajo.
Autoevaluacin
Para reforzar los conocimientos relacionados con los temas que se abordaron en esta
unidad del curso, es necesario que resuelvas la autoevaluacin.
Ingresa al Aula virtual para realizar tu actividad.
Evidencia de aprendizaje. Independencia del postulado de las paralelas

A travs de esta actividad, aplicars los modelos Beltrami-Klein y Poincar, para resolver
problemas geomtricos
Instrucciones:
1. Descarga el documento llamado EA. Independencia del postulado de las
paralelas
48
2. Resuelve los planteamientos que se presentan de acuerdo a lo que aprendiste en
la unidad.
3. Guarda tu documento con la siguiente nomenclatura MCDI_U3_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.
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 aprendiste cmo se representa la geometra hiperblica en dos modelos de
Beltrami-Klein y el de Poincar. En tales modelos aprendiste a representar las lneas y los
puntos, despus analizaste la interpretacin del axioma hiperblico en cada uno de los
modelos, observaste los pros y los contras de cada modelo con respecto la interpretacin
de los distintos resultados presentado en la anterior unidad, finalmente estudiaste las
propiedades que tiene el concepto de inversin de crculos y su relacin con los axiomas
de congruencia en el modelo de Poincar.
Para saber ms
Para complementar el estudio con respecto a los modelos presentados en esta unidad
puedes consultar los siguientes sitios:
http://www.ms.uky.edu/~droyster/courses/spring08/math6118/Classnotes/Chapter0
9.pdf
http://www.mccme.ru/ium/postscript/f10/geometry1-lect-7.pdf
http://www.math.cornell.edu/~mec/Winter2009/Mihai/section7.html
49
http://mathworld.wolfram.com/Klein-BeltramiModel.html
http://www.science.oregonstate.edu/~parksh/sample338paper.pdf
Fuentes de consulta
Anderson, J. (2008), Hyperbolic Geometry, USA, Springer.
Courant R., Robbins H, Stewart I. (1996) What Is Mathematics? An Elementary
Approach to Ideas and Methods, USA, Oxford University Press.
Eves, H. (1972), Survey of geometry, USA, Allyn & Bacon.
Hartshorne, R. (2005), Geometry: Euclid and Beyond, USA, Springer.
Iversen, B. (1993), Hyperbolic Geometry, USA, Cambridge University Press
Meschkowski, H. (1964), Noneuclidean Geometry, USA, Academic Press.
Shively, L. (1953), An Introduction to Modern Geometry, USA, John Wiley &
Sons, Inc.
50

U3. Independencia Del Postulado de Las Paralelas PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

U3. Independencia Del Postulado de Las Paralelas PDF

Uploaded by

Copyright:

Available Formats

Geometras no euclidianas

Unidad 3. Independencia del postulado de las paralelas

Universidad Abierta y a Distancia de Mxico

Unidad 3. Independencia del postulado de las

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

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

Representars la geometra hiperblica en dos modelos por medio de lneas y

3. Independencia del postulado de las paralelas

Figura 1 La distancia PS es tan grande como se desee.

Actividad 1. Mtodos de solucin aplicados

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

qu otros sistemas axiomticos consistentes aparecen en las matemticas?, a

3. Compara tus respuestas con tres de tus compaeros, argumentando si aceptas o

3.1. Modelo de Beltrami-Klein

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

Figura 2: Interior de un crculo

Definicin: Dados dos puntos A y B del crculo , una cuerda de es el segmento AB

Figura 3: Cuerda de un crculo

El modelo de Beltrami-Klein es el siguiente:

en geometra hiperblica, significa

que P pertenece a AB y satisface A * P * B . Entonces la relacin de intermediacin en

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

Figura 4: Lneas paralelas en el modelo de Beltrami-Klein

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

Figura 5: Puntos A y B del plano hiperblico

Por el axioma de incidencia 1 existe, en el plano cartesiano, una nica lnea AB

Figura 6: Lnea que pasa por A y B

Por el principio de continuidad elemental, la lnea AB intersecta al crculo

Figura 7: Puntos extremos C y D .

Entonces los puntos A y B pertenecen a la cuerda C )( D .

Como AB es nica, implica que C )( D es nica.

Por lo tanto C )( D es la lnea en el plano hiperblico que contiene a A y B .

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

que pasa por A y B

Lo que demuestra el resultado.

Como A * B * C , se tiene que el punto B pertenece a la lnea AC en el plano

Lo que demuestra el resultado.

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

Figura 9: Rayos paralelos limitantes a

3.2. Modelo de Poincar

Figura 10: Dimetros del crculo

(b) Los arcos abiertos que se forman de intersectar crculos

Figura 11: Arco ortogonales a

Despus de presentar las lneas en el modelo de Poincar se presenta la relacin de

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

Figura 12: Intermediacin en una lnea de Poincar

La interpretacin de la congruencia de segmentos en el modelo de Poincar es

Figura 13: ngulo formado por dos lneas de Poincar

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

Figura 14: ngulo formado por un dimetro y una lnea de Poincar

Como ya estn presentados los trminos indefinidos de la geometra hiperblica en el

que pasan por P , es decir, el axioma hiperblico es representado en

Figura 15: Axioma hiperblico en el modelo de Poincar

Figura 16: Rayos paralelos limitantes a la lnea A)( B

La siguiente figura ilustra grficamente que dos lneas paralelas

y m que tienen una

Figura 17: Lneas paralelas divergentes

Figura 18: Cuadriltero de Lambert

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

Figura 19: Cuadriltero de Saccheri

Figura 20: Plano hiperblico

Figura 21: Plano hiperblico ubicado en un modelo tridimensional

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