Plano medio superior Luis Ruiz y Jean Pierre Vargas

El Plano-Medio de Poincaré

En geometría hiperbólica una de las representaciones graficas q encontramos

es el plano medio de Poincaré.
Este consiste en un sistema de coordenadas Cartesianas como el que
conocemos en geometría Euclideana. El eje horizontal llamado eje X que divide
al plano en dos partes, donde solo usaremos el plano superior que corresponde
a los valores positivos del eje Y.
Supongamos ahora que en ese semiplano las cosas se comportan de la
siguiente manera.
Todas las figuras que viven en dicho plano se irán achicando más y más según
se acerquen al eje X (sin nunca llegar a tocarlo).
Así, si una figura se desplaza desde arriba hacia abajo avanzando la mitad de
su recorrido hasta la línea fronteriza (eje X) su tamaño disminuirá a la mitad. Y
si continúa moviéndose hacia abajo desplazándose otra vez la mitad del
recorrido que lo separa del eje X, entonces se achicará nuevamente a la mitad,
con lo que su tamaño habrá disminuido a la cuarta parte de lo que era al
principio.
Si la figura que se desplaza fuese una persona, ésta no se daría cuenta de lo
que sucede, pues todos los elementos que lo rodean se han achicado junto con
él en la misma proporción.
En el siguiente dibujo:
Plano medio superior Luis Ruiz y Jean Pierre Vargas

Vemos que si una persona camina desde el punto E hasta el punto F recorrerá
una distancia de un kilómetro (representado por la flecha verde), pero ahora si
hace ese mismo recorrido pero esta vez partiendo del punto C hasta el punto
D, como dicha persona se ha achicado a la mitad tendrá que recorrer, lo que
para él pareciera ser una distancia dos veces mayor que la recorrida entre el
punto E y el punto F.

De esta manera le llevara el doble de tiempo caminar de C a D y le tomara diez

veces mas tiempo caminar de A hasta B de lo que le toma caminar de E hasta
F.

A medida que más nos acercamos al eje X mas nos iremos achicando
proporcionalmente a lo que avanzamos, la densidad del eje Y hará que una
comunicación entre el plano medio superior y el plano medio inferior sea
imposible, por lo que sólo tomaremos el plano medio superior, que se conoce
como plano medio superior de Poincaré o bien plano medio de Poincaré

Supongamos que las distancias que se miden dentro del plano medio sean
Euclideanas. La distancia de E hasta F será de una unidad, pero la distancia
entre C y D habrá aumentado dos veces o por un factor de dos y a distancia
entre A y B habrá aumentado diez veces o por un factor de diez.

Dado lo anterior y un primer intento por definir una distancia hiperbólica nos
llevara a usar la siguiente definición:

Esta formula nos explica lo que ocurre en el plano medio superior. Entonces la
recta que mide un metro a lo largo del punto E hasta el punto F, esta dado por:

Pero para una persona parada en el punto C que se desplaza al punto D

pareciera que el recorrido hubiera aumentado al doble, pues se la persona se
achico a la mitad de su tamaño original, entonces tenemos:

Y al ir caminando desde el punto A hasta B la distancia parecería haber

aumentado diez veces, esto es:
Plano medio superior Luis Ruiz y Jean Pierre Vargas

Si bien esta definición, que hasta ahora nos parece buena solo nos sirve para
encontrar la distancia hiperbólica entre puntos horizontales, y no para encontrar
la distancia hiperbólica entre puntos verticales tales como la distancia entre el
punto A hasta el punto E o la distancia de C a E.

Para ello modificaremos la definición de distancia Euclideana entre dos puntos

(x,y) de plano cartesiano y no usaremos incrementos finitos, sino que
utilizaremos incrementos infinitos (dx,dy).

En geometría Euclideana la distancia entre dos puntos P y Q, según la

modificación anterior esta dado por:

Reemplazando en nuestra formula de Espacio Hiperbólico tenemos que:

La distancia total de una recta hiperbólica entre dos untos P y Q se obtiene

integrando los segmentos infinitos usando la relación anterior, con lo queda
expresado de a siguiente manera:

La relación anterior la usaremos para calcular la distancia hiperbólica de los

segmentos EF, AE y AF.
Entonces:
Plano medio superior Luis Ruiz y Jean Pierre Vargas

Ahora calculamos la distancia hiperbólica del segmento AE

Solo nos falta calcular la distancia hiperbólica del segmento AF, pero primero
debemos encontrar la ecuación de ésta recta.
Sabemos que:

Calculamos la derivada con respecto a X y tenemos:

Entonces:

Ahora podemos calcular la distancia hiperbólica del segmento AF.

Tenemos que:
Plano medio superior Luis Ruiz y Jean Pierre Vargas

La distancia hiperbólica del punto A a F pasando por el punto E requiere de

3.303 unidades mientras que la distancia hiperbólica de A a F siguiendo la
diagonal requiere de 3.442 unidades, parece obvio que la distancia mas corta
entre dichos puntos seria la segunda, sin embargo no es así, en el plano medio
de Poincaré la distancia mas corta que une dos puntos es el arco de una
circunferencia que los contenga y que tenga su centro en el eje X.

Ejemplo: Considere la siguiente figura

Semicircunferencia con centro en el origen, donde su ecuación esta dada por:

Esta circunferencia contiene los puntos A (-1,1) y B (1,1). Ahora sabemos que
la distancia (Euclideana o hiperbólica) de A a B siguiendo la recta azul es 2.
Calculemos ahora la distancia hiperbólica siguiendo el arco de circunferencia

Sabemos que:
Plano medio superior Luis Ruiz y Jean Pierre Vargas

Ahora podemos empezar a calcular a distancia de A a B

Como

Se tiene que

Sea
Plano medio superior Luis Ruiz y Jean Pierre Vargas

Pero

Entonces

Esto nos dice que la distancia hiperbólica del arco AB es 1.7 unidades lo cual
es menor a la distancia Euclideana de la recta AB que mide 2 unidades, lo que
nos dice que la ruta mas larga es en realidad la mas corta.
Plano medio superior Luis Ruiz y Jean Pierre Vargas

Obviamente la distancia Euclideana del arco AB es mayor que la distancia

Euclideana de la recta AB.
En efecto:
Plano medio superior Luis Ruiz y Jean Pierre Vargas

En general para encontrar la distancia hiperbólica de un segmento que se

encuentra paralelo al eje Y con extremos P y Q donde P se encuentra a una
distancia a del eje X y Q esta a una distancia b del mismo eje, usamos nuestra
formula general con lo que tendremos la distancia hiperbólica de PQ

Veamos ahora dos segmentos PQ y QR, paralelos al eje Y como muestra la

figura:
Plano medio superior Luis Ruiz y Jean Pierre Vargas

Aplicando lo anterior tenemos:

Sumamos las expresiones y tenemos:

Entonces

Para nosotros este resultado es importante, pues al igual que en la geometría

Euclideana concuerda con la suma de segmentos, el cual no necesita del
quinto postulado de las paralelas.
Si nos hubiera dado otro resultado nos habríamos encontrado con la primera
contradicción en esta geometría no Euclideana.

Ahora trataremos de derivar una relación que nos permita encontrar el punto
medio de una recta hiperbólica vertical al eje X, como muestra la figura:
Plano medio superior Luis Ruiz y Jean Pierre Vargas

Sea M el punto medio de la recta hiperbólica AB, entonces la distancia

hiperbólica de AM debe es igual a la distancia hiperbólica de MB, es decir:

Si a=4 y b = 9 en geometría Euclideana el punto medio estaría situado a

unidades del eje x, en cambio en geometría hiperbólica el punto
medio se encuentra a:

(Extraemos raíz cuadrada)

Este procedimiento no solo sirve para calcular segmentos de rectas o arcos de

circunferencia.
Supongamos q tenemos y = x2 en el plano medio superior y hacemos coincidir
la línea limite x del plano medio con el eje horizontal de coordenadas
cartesianas.

Escogemos dos puntos cualquiera de la parábola, por ejemplo A (2,4) y B (3,9)

para determinar su longitud hiperbólica como sigue:
Plano medio superior Luis Ruiz y Jean Pierre Vargas

Se puede ver, mediante el cálculo de variaciones, (que no se vera en este

trabajo) que todas las geodésicas (rectas hiperbólicas) en el plano-medio de
Poincaré serán arcos de circunferencia centrados en el eje X, lo que nos
permite definir las únicas dos rectas hiperbólicas posibles que puede haber en
este plano:

1.- Arcos de circunferencia centrados en el eje X con Y=0

2.- Líneas paralelas al eje Y, perpendicular al eje X; aunque hay algunos

autores que consideran a estas líneas verticales arcos de circunferencia con un
radio infinitamente grande, con esto todas las geodésicas en el plano
quedarían definidas como arcos de circunferencia centrados en el eje X.
Plano medio superior Luis Ruiz y Jean Pierre Vargas

Ver figura:

Acá todas las líneas son geodésicas, donde tenemos:

Rectas paralelas: k // m // n // p y l // n pues no se cortan

Rectas no paralelas: k y l, l y m

Paralelas divergentes: k // m // n

Paralelas asintóticas: p // n

Sean A y B dos puntos en el plano medio de Poincaré, con esto es posible

encontrar el arco de circunferencia que pasa por dichos puntos y que tiene su
centro en el eje X (geodésica entre puntos), ya estamos en condiciones de
construir un triangulo hiperbólico en éste plano con vértices A, B y C como
muestra la figura:
Plano medio superior Luis Ruiz y Jean Pierre Vargas

Los tres arcos de circunferencia construidos poseen su centro sobre la línea

limite (eje X), si movemos los tres semicírculos horizontalmente el triangulo
hiperbólico se desplazara en dicha posición lo que en geometría Euclideana
sería su equivalente de traslación, pero si movemos los semicírculos en forma
vertical el tamaño del triangulo cambiara.

Las matemáticas que se aplican en el plano superior de Poincaré

corresponden a las relaciones hiperbólicas desarrolladas por Nicolai
Lobachevski por lo que este plano nos es de particular importancia.

En geometría hiperbólica, por dos rectas paralelas divergentes solo pasa una
recta que es perpendicular a ambas llamada perpendicular común.
Si miramos las rectas paralelas de la figura anterior todas ellas tienen una
perpendicular común que también será un arco de circunferencia (recta
hiperbolica). A continuación veremos la perpendicular común m a dos rectas
paralelas a y b.

La recta m es la única perpendicular común a las rectas a y b, que a diferencia

de la geometría Euclideana dos rectas paralelas poseen infinitas
perpendiculares comunes

Ahora demostraremos que por dos rectas paralelas divergentes pasa una y
solo una recta perpendicular común a dichas rectas.
Para simplificar la demostración consideraremos una de las rectas hiperbólicas
perpendicular al eje x (la que puede ser considerada como una circunferencia
en el plano medio centrada en el eje x con un radio infinitamente grande).
Sean k y l paralelas divergentes en el plano medio, donde PT tangente a la
recta l y la recta PQ toca al eje x como muestra la figura:
Plano medio superior Luis Ruiz y Jean Pierre Vargas

Hacemos centro con un compás en el punto P con radio PT trazamos el arco

de circunferencia que va desde la recta k a l y tendremos nuestra recta
perpendicular común a ambas rectas, puesto que es una perpendicular a la
tangente y también a la recta k forma ángulos rectos con dichas rectas.
Y como PT es la única tangente que se puede trazar desde P a l se concluye
que es la única perpendicular común que se puede construir entre las paralelas

En geometría Euclideana si trazamos dos rectas perpendiculares sobre una

recta OA y cortamos las perpendiculares a la misma distancia uniendo los
puntos extremos formando una línea equidistante a la recta OA, la línea
resultante es una recta, no así en geometría hiperbólica, la línea resultante no
es considerada una recta.
Veremos ahora que en el plano medio de Poincaré las rectas paralelas
equidistantes no existen.

Sea la línea OA equidistante a la línea OB como muestra la figura

Plano medio superior Luis Ruiz y Jean Pierre Vargas

Las rectas hiperbólicas PQ y RS son de la misma longitud (medidas con la

formula de longitud hiperbólica) por lo que S y Q son equidistantes a la recta
hiperbólica OA, pero fijémonos que OB no es una recta hiperbólica, ya que no
es un arco de circunferencia, lo que nos dice que una línea equidistante a una
recta hiperbólica no es una recta hiperbólica.

Teorema1.1: La suma de los ángulos interiores de un triangulo rectángulo es

menor a 180º ( radianes)

Demostración: consideremos un triangulo hiperbólico rectángulo en C como

muestra la siguiente figura:
Plano medio superior Luis Ruiz y Jean Pierre Vargas

Su lado a (BC) es un segmento de la perpendicular Euclideana al eje X, su lado

b (CA) es un arco de la circunferencia Euclideana con centro M y el lado c (BA)
es un arco de circunferencia Euclideana con centro N.

El ángulo en el vértice A es el ángulo formado por las tangentes de las

circunferencias b y c en dicho punto o bien es el ángulo formado por los radios
MA y NA de las circunferencias.

El ángulo B por construcción es igual a la medida del ángulo MNB.

Hemos construido una circunferencia q con diámetro BN donde solo coincide

con la circunferencia c el punto B por lo mismo el punto A esta fuera de la
circunferencia q.

Tenemos que:

Por lo tanto con

Teorema1.2: La suma de los ángulos interiores de cualquier triangulo

hiperbólico es menor a 180º (π radianes)

Demostración:
Consideremos el primer caso: Sea el triangulo hiperbólico ABC. Por demostrar
que α + β + γ < 180°

Hemos trazado una recta perpendicular a CB que pasa por el vértice A, con
como muestra la figura.
Plano medio superior Luis Ruiz y Jean Pierre Vargas

Sabemos por teorema 1.1 que:

Sumamos ambas ecuaciones y tenemos:

2º caso: Consideremos ahora el triangulo hiperbólico a donde el ángulo en C es

mayor a 90º (π radianes)

Hemos trazado una recta perpendicular a BC que pasa por el vértice A.

Por demostrar que

Sabemos por teorema1.1

Además

Reemplazamos (1) en (2)

Plano medio superior Luis Ruiz y Jean Pierre Vargas

Reemplazamos (3) en (4)

Aplicamos mismo procedimiento para el triangulo b

Ya demostrado este teorema de la geometría hiperbólica del plano superior de

Poincaré resulta fácil la demostración del siguiente teorema:

Teorema: La suma de los ángulos interiores de un cuadrilátero es menor a

360º.

Demostración: Se lleva a cabo dividendo el cuadrilátero en dos triángulos.