Que es la geometría hiperbólica

La geometría hiperbólica (o lobachevskiana) es un modelo de geometría que satisface solo

los cuatro primeros postulados de la geometría euclidiana. Aunque es similar en muchos
aspectos y muchos de los teoremas de la geometría euclidiana siguen siendo válidos en
geometría hiperbólica, no se satisface el quinto postulado de Euclides sobre las paralelas. Al
igual que la geometría euclidiana y la geometría elíptica, la geometría hiperbólica es un
modelo de curvatura constante:

 La geometría euclidiana satisface los cinco postulados de Euclides y tiene curvatura

cero.
 La geometría hiperbólica satisface solo los cuatro primeros postulados de Euclides y
tiene curvatura negativa.
 La geometría elíptica satisface solo los cuatro primeros postulados de Euclides y tiene
curvatura positiva.
Desde la antigüedad se realizaron esfuerzos por deducir el quinto
postulado de Euclides referente a las paralelas de los otros cuatro. Uno de los intentos más
amplios y ambiciosos fue el de Giovanni Gerolamo Saccheri en el siglo XVIII quien,
contradictoriamente creó lo que podríamos considerar modelo incipiente de geometría
hiperbólica. Sin embargo, Saccheri creyó que no era consistente y no llegó a formalizar todos
los aspectos de su trabajo. También Johann Heinrich Lambert encontró algunas fórmulas
interesantes referentes a lo que hoy llamaríamos triángulos de la geometría hiperbólica,
probando que la suma de los ángulos es siempre menor que 180º (o π radianes), la fórmula
de Lambert establecía que para uno de estos triángulos se cumplía:

Donde:

, es la suma de los ángulos del triángulo (expresada en radianes).

, es el área total del triángulo.
es una constante de proporcionalidad positiva relacionada con la curvatura
constante del espacio hiperbólico en que se halla inmerso el triángulo.

Más adelante Carl Friedrich Gauss trabajó en un modelo similar pero no publicó
sus resultados. En los años 1820 dos jóvenes matemáticos que trabajaban de
modo independiente, János Bolyai y Nikolai Ivanovich Lobachevsky, publicaron
sus modelos por los cuales establecían la posibilidad de un tipo de geometría
alternativa, totalmente consistente, que es el que conocemos como geometría
hiperbólica.
En geometría hiperbólica, este postulado resulta falso puesto que siempre hay al menos dos
rectas distintas que pasan por P y las cuales no intersecan a r. De hecho para la geometría
hiperbólica es posible demostrar una interesante propiedad: hay dos clases de rectas que no
intersecan a la recta r. Sea B un punto que pertenece a r tal que la recta PB es perpendicular
a r. Considere la recta l que pasa por P, tal que l no interseca a r y el ángulo theta entre PB e l
(en sentido contrario a las manecillas del reloj, desde PB) es lo más pequeño posible (es decir,
cualquier ángulo más pequeño que theta, forzará a la recta a intersecar a r). Esta (l), es
denominada recta hiperparalela (o simplemente, recta paralela) en la geometría hiperbólica.

En forma similar, la recta m que forma el mismo ángulo theta entre PB y ella misma, pero
ahora en sentido de las manecillas del reloj desde PB, también será hiperparalela, pero no
pueden haber otras. Todas las otras rectas que pasan por P y que no intersecan a r, forman
ángulos más grandes que theta con PB y son llamadas rectas ultraparalelas (o rectas
disjuntamente paralelas). Note que, al haber un número infinito de ángulos posibles entre θ y
90º, cada uno de estos determinará dos rectas que pasan por P y que son disjuntamente
paralelas a r, tendremos entonces, un número infinito de rectas ultraparalelas. Por
consiguiente, tenemos esta forma modificada del Postulado de las Rectas Paralelas: «En
geometría hiperbólica, dada una recta r y un punto P exterior a r hay exactamente dos rectas
que pasan por P, las cuales son hiperparalelas a r, e infinitas rectas que pasan por P y son
ultraparalelas a r».

Las diferencias entre rectas hiperparalelas y ultraparaleas, también pueden ser vistas de la
siguiente forma: la distancia entre rectas hiperparalelas tiende a cero mientras uno se aleja
infinitamente de PB por la recta R. Sin embargo, la distancia entre rectas ultraparalelas no
tiende a cero si uno se aleja infinitamente de PB por la recta r. El ángulo de paralelismo en la
geometría euclidiana es una constante, es decir, cualquier longitud BP, determinará un ángulo
de paralelismo igual a 90 grados. En la geometría hiperbólica, el ángulo de paralelismo varía
con la que es llamada la función Π(p). Esta función, descrita por Nikolai Ivanovich
Lobachevsky, produce un ángulo único de paralelismo para cada longitud dada BP. Mientras
la longitud BP se haga más pequeña, el ángulo de paralelismo se acercará a 90º. Si la
longitud BP incrementa sin límites, el ángulo de paralelismo se acercará a cero. Note que,
debido a este hecho, mientras las distancias se hagan más pequeñas, el plano hiperbólico se
comportará cada vez más como la Geometría Euclidiana. Por lo tanto, a pequeñas escalas, un
observador en el plano hiperbólico tendrá dificultades para darse cuenta de que las distancias
no se encuentran en un plano euclidiano.

En la geometría euclídea la suma de los ángulos de cualquier triángulo es siempre 180°. En

la geometría hiperbólica esta suma es siempre menor de 180°, siendo la diferencia
proporcional al área del triángulo.
Rectas que pasan por P y son hiperpararelas R+

Podría muy bien suceder que la geometría hiperbólica fuera realmente verdadera en nuestro
mundo a escala cosmológica. Sin embargo, la constante de proporcionalidad entre el déficit de
ángulo para un triángulo y su área tendría que ser extraodinariamente pequeña en este caso,
y la geometría euclídea sería una excelente aproximación a esta geometría para cualquier
escala ordinaria.

Modelos euclídeos de la geometría hiperbólica[editar]

Modelo del disco Poincaré con una teselación {3,7} de rombos truncados.

Existen cuatro modelos o representaciones "euclídeas" de la geometría hiperbólica:

la representación de Klein, el modelo del Disco de Poincaré, el modelo del semiespacio de
Poincaré y el modelo de Lorentz. Curiosamente los tres primeros modelos fueron propuestos y
publicados originalmente por Eugenio Beltrami en 1868, sin embargo, alcanzaron notoriedad
por el uso que tanto Felix Klein como Henri Poincaré hicieron de ellos, estos dos modelos son
modelos de la geometría hiperbólica de dos dimensiones, y son generalizables a más
dimensiones.

 La representación de Klein, también conocida como el modelo proyectivo del disco

o modelo de Beltrami-Klein, usa el interior de un círculo como plano hiperbólico, y las
cuerdas como líneas del círculo. Este modelo tiene como ventaja su simplicidad, pero
como desventaja que los planos hiperbólicos están distorsionados.
 El modelo de Poincaré usa también el interior de un círculo plano, y en él las líneas
rectas de la geometría hiperbólica vienen representadas por arcos de circunferencia que
cortan el borde del círculo plano en ángulo recto.
Además este modelo es un modelo de curvatura constante negativa, que admite una
representación como variedad riemanniana con un tensor métrico dado por:

1. Se puede trazar una línea recta que pase por dos puntos.
2. Se puede prolongar una línea recta indefinidamente a partir de una recta
finita.
3. Se puede trazar una circunferencia con centro y radio dado.
4. Todos los ángulos rectos son iguales.

Que es un plano

 Plano (geometría) es el elemento ideal que solo posee dos dimensiones, y contiene
infinitos puntos y rectas, se representan con una letra mayúscula ubicada en una de las
esquinas.

En geometría, un plano es un objeto ideal que solo posee dos dimensiones, y contiene
infinitos puntos y rectas; es un concepto fundamental de la geometría junto con el punto y la
recta.

 En anatomía, plano hace referencia a cada uno de los planos geométricos que sirven
para identificar la localización de estructuras. Los principales son el plano frontal, el plano
horizontal, el plano sagitaly el plano transverso.

Cuando se habla de un plano, se está hablando del objeto geométrico que no posee volumen,
es decir bidimensional, y que contiene un número infinito de rectas y puntos. Sin embargo,
cuando el término se utiliza en plural, se está hablando de aquel material que es elaborado
como una representación gráfica de superficies en diferentes posiciones. Los planos son
especialmente utilizados en ingeniería, arquitectura y diseño ya que sirven para diagramar en
una superficie plana o en otras superficies que son regularmente tridimensionales.

Un plano queda definido por los siguientes elementos geométricos:

 Tres puntos no alineados.
 Una recta y un punto exterior a ella.

 Dos rectas paralelas o dos rectas que se cortan.

Los planos suelen nombrarse con una letra del alfabeto griego.

Suele representarse gráficamente, para su mejor visualización, como una figura delimitada por
bordes irregulares (para indicar que el dibujo es una parte de una superficie infinita).

En un sistema de coordenadas cartesianas, un punto del plano queda determinado por un par
ordenado, llamados abscisa y ordenada del punto. Mediante ese procedimiento a todo punto
del plano corresponden siempre dos números reales ordenados (abscisa y ordenada), y
recíprocamente, a un par ordenado de números corresponde un único punto del plano.
Consecuentemente el sistema cartesiano establece una correspondencia biunívoca entre
un concepto geométrico como es el de los puntos del plano y un concepto algebraico como
son los pares ordenados de números. En coordenadas polares por un ángulo y una distancia.
Esta correspondencia constituye el fundamento de la geometría analítica.

El área es una medida de extensión de una superficie, o de una figura geométrica plana
expresada en unidades de medida denominadasUnidades de superficie. Para superficies
planas el concepto es más intuitivo. Cualquier superficie plana de lados rectos, por ejemplo
un polígono, puede triangularse y se puede calcular su área como suma de las áreas de
dichos triángulos. Ocasionalmente se usa el término "área" como sinónimo de superficie,
cuando no existe confusión entre el concepto geométrico en sí mismo (superficie) y la
magnitud métrica asociada al concepto geométrico (área).
 grafica de dos hiperbólicas y sus
aasintotas en el plano cartesiano

Propiedades del plano ℝ3[editar]

Intersección de dos planos en un espacio tridimensional. Representación isométrica de dos planos

perpendiculares.

En un espacio euclidiano tridimensionalℝ3, podemos hallar los siguientes hechos, (los cuales
no son necesariamente válidos para dimensiones mayores).

 Dos planos o son paralelos o se intersecan en una línea.

 Una línea es paralela a un plano o interseca al mismo en un punto o es contenida por el
plano mismo.
 Dos líneas perpendiculares a un mismo plano son necesariamente paralelas entre sí.
 Dos planos perpendiculares a una misma línea son necesariamente paralelos entre sí.
 Entre un plano Π cualquiera y una línea no perpendicular al mismo existe solo un plano tal
que contiene a la línea y es perpendicular al plano Π.
 Entre un plano Π cualquiera y una línea perpendicular al mismo existe un número infinito
de planos tal que contienen a la línea y son perpendiculares al plano Π.
Ecuación del plano[editar]
Un plano queda definido por los siguientes elementos geométricos: un punto y dos vectores:

Punto P = (x1, y1, z1)

Vector u = (ux, uy, uz)
Vector v = (a2, b2, c2)

Esta es la forma vectorial del plano, sin embargo la forma más utilizada es la reducida,
resultado de igualar a cero el determinante formado por los dos vectores y el punto genérico X
= (x, y, z) con el punto dado. De esta manera la ecuación del plano es:

Donde (A, B, C) es un vector perpendicular al plano, coincide con el producto vectorial de

los vectores u y v. La fórmula para hallar la ecuación cuando no está en el origen es:

Posición relativa entre dos planos[editar]

Si tenemos un plano 1 con un punto A y un vector normal 1, y también tenemos un
plano 2 con un punto B y un vector normal 2.

Sus posiciones relativas pueden ser:

 Planos coincidentes: la misma dirección de los vectores normales y el punto A

pertenece al plano 2.
 Planos paralelos: si tienen la misma dirección los vectores normales y el punto A
no pertenece al plano 2.
 Planos secantes: si los vectores normales no tienen la misma dirección.
Distancia de un punto a un plano[editar]
Para un plano cualquiera y un punto
cualquiera no necesariamente contenido en dicho plano Π, la
menor distancia entre P1 y el plano Π es:

De lo anterior se deduce que el punto P1 pertenecerá al plano Π si y solo si D=0.

Si los coeficientes a, b y c de la ecuación canónica de un plano cualquiera

están normalizados, esto es cuando , entonces la fórmula
anterior de la distancia D se reduce a:

Semiplano[editar]

Plano cuadriculado.

Se llama semiplano, en geometría, a cada una de las dos partes en que

unplano queda dividido por una recta.

Postulados de la división de un plano[editar]

En cada pareja de semiplanos que una recta r determina sobre un plano,
existen infinitos puntos tales que:

1. Todo punto del plano pertenece a uno de los dos semiplanos, o a la

recta que los determina.
2. Dos puntos del mismo semiplano, determinan un segmento que no
corta a la recta r.
3. Dos puntos de semiplanos diferentes, determinan un segmento que
corta a la recta r.