Triángulo hiperbólico
Un triángulo hiperbólico es una figura de tres lados propio de la geometría hiperbólica. Consta de tres segmentos llamados lados o aristas y de tres puntos llamados vértices o esquinas.
Al igual que en el caso del espacio euclídeo, siempre existe un plano que pase por tres puntos cualesquiera de un espacio hiperbólico de dimensión arbitraria. Por lo tanto, los triángulos hiperbólicos planos también describen triángulos posibles en cualquier dimensión superior de espacios hiperbólicos.
Definición
[editar]Un triángulo hiperbólico consta de tres puntos que no son colineales y de los tres segmentos tendidos entre ellos.[1]
Propiedades
[editar]Los triángulos hiperbólicos tienen algunas propiedades análogas a las de los triángulos en la geometría euclídea:
- Cada triángulo hiperbólico tiene una circunferencia inscrita pero no todos los triángulos hiperbólicos tienen una circunferencia circunscrita (véase más abajo). Sus vértices pueden estar en un horociclo o circunferencia hiperbólica.
Los triángulos hiperbólicos tienen algunas propiedades análogas a las de los triángulos en la geometría esférica o en la geometría elíptica:
- Dos triángulos con la misma suma de ángulos tienen la misma área.
- Hay un límite superior para el área de los triángulos.
- Hay un límite superior para el radio de la circunferencia inscrita.
- Dos triángulos son congruentes si y solo si se corresponden bajo un producto finito de reflexiones lineales.
- Dos triángulos con ángulos correspondientes iguales son congruentes (es decir, todos los triángulos semejantes son congruentes).
Los triángulos hiperbólicos tienen algunas propiedades que son opuestas a las propiedades de los triángulos en geometría esférica o elíptica:
- La suma de los ángulos de un triángulo es menor que 180°.
- El área de un triángulo es proporcional al déficit de la suma de sus ángulos con respecto a 180°.
Los triángulos hiperbólicos también tienen algunas propiedades que no se encuentran en otras geometrías:
- Algunos triángulos hiperbólicos no tienen circunferencia circunscrita, este es el caso cuando al menos uno de sus vértices es un punto ideal o cuando todos sus vértices se encuentran en un horociclo o en una circunferencia hiperbólica de un solo lado.
- Los triángulos hiperbólicos son delgados, de forma que existe una distancia máxima δ desde un punto de una arista a una de las otras dos aristas. Este principio dio origen al δ-espacio hiperbólico.
Triángulos con vértices ideales
[editar]La definición de un triángulo se puede generalizar, permitiendo vértices en el contorno ideal del plano mientras se mantienen los lados dentro del plano. Si un par de lados son paralelos límite (es decir, la distancia entre ellos tiende a cero cuando tienden al punto ideal, pero no se intersecan), entonces terminan en un vértice ideal denominado punto omega.
También se puede decir que tal par de lados forman un ángulo de cero grados.
Un triángulo con un ángulo cero es imposible en geometría euclidiana para lados rectos que se encuentran en líneas distintas. Sin embargo, tales ángulos cero son posibles con círculos tangentes.
Un triángulo con un vértice ideal se llama triángulo omega.
Los triángulos especiales con vértices ideales son:
Triángulo de paralelismo
[editar]Un triángulo donde un vértice es un punto ideal, un ángulo es recto: el tercer ángulo es el ángulo de paralelismo de la longitud del lado entre el ángulo recto y el tercer ángulo.
Triángulo de Schweikart
[editar]El triángulo donde dos vértices son puntos ideales y el ángulo restante es recto, uno de los primeros triángulos hiperbólicos (1818) descritos por Ferdinand Karl Schweikart.
Triángulo ideal
[editar]El triángulo donde todos los vértices son puntos ideales. Un triángulo ideal es el triángulo más grande posible en geometría hiperbólica debido a la suma cero de sus ángulos.
Curvatura gaussiana estandarizada
[editar]Las relaciones entre los ángulos y los lados son análogas a las de la trigonometría esférica. La escala de longitud tanto para la geometría esférica como para la geometría hiperbólica se puede definir, por ejemplo, como la longitud de un lado de un triángulo equilátero con ángulos dados.
La escala de longitud es más conveniente si las longitudes se miden en términos de longitud absoluta (una unidad especial de longitud análoga a las relaciones entre distancias en geometría esférica). Esta elección para esta escala de longitud simplifica las fórmulas.[2]
En cuanto a la longitud absoluta en el modelo de semiplano de Poincaré corresponde a la métrica infinitesimal y en el disco de Poincaré a .
En términos de la curvatura de Gauss K de un plano hiperbólico (constante y negativa), una unidad de longitud absoluta corresponde a una longitud de
- .
En un triángulo hiperbólico, la suma de los ángulos A, B, C (respectivamente opuestos al lado con la letra correspondiente) es estrictamente menor que un ángulo recto. La diferencia entre la medida de un ángulo recto y la suma de las medidas de los ángulos de un triángulo se llama defecto angular del triángulo. El área de un triángulo hiperbólico es igual a su defecto multiplicado por el cuadrado de R:
Este teorema, probado por primera vez por Johann Heinrich Lambert,[3] está relacionado con la trigonometría esférica en geometría esférica.
Trigonometría
[editar]En todas las fórmulas indicadas a continuación, los lados a, b y c deben medirse en longitud absoluta, una unidad para la que la curvatura de Gauss K del plano sea −1. En otras palabras, se supone que la cantidad R en el párrafo anterior es igual a 1.
Las fórmulas trigonométricas para triángulos hiperbólicos dependen de las funciones hiperbólicas sinh, cosh y tanh.
Trigonometría de triángulos rectángulos
[editar]Si C es un ángulo recto entonces:
- El seno del ángulo A es el seno hiperbólico del lado opuesto al ángulo dividido por el seno hiperbólico de la hipotenusa.
- El coseno del ángulo A es la tangente hiperbólica del cateto adyacente dividida por la tangente hiperbólica de la hipotenusa.
- La tangente del ángulo A es la tangente hiperbólica del cateto opuesto dividida por el seno hiperbólico del cateto adyacente.
- .
- El coseno hiperbólico del cateto adyacente al ángulo A es el coseno del ángulo B dividido por el seno del ángulo A.
- .
- El coseno hiperbólico de la hipotenusa es el producto de los cosenos hiperbólicos de los catetos.
- .
- El coseno hiperbólico de la hipotenusa es también el producto de los cosenos de los ángulos dividido por el producto de sus senos.[4]
Relaciones entre ángulos
[editar]También se dan las siguientes ecuaciones:[5]
Área
[editar]El área de un triángulo rectángulo es:
y además
- [6]
Ángulo de paralelismo
[editar]La instancia de un triángulo omega con un ángulo recto proporciona la configuración para examinar el ángulo de paralelismo en el triángulo.
En este caso el ángulo B = 0, a = c = y , resultando en .
Triángulo equilátero
[editar]Las fórmulas trigonométricas de los triángulos rectángulos también dan las relaciones entre los lados s y los ángulos A de un triángulo equilátero (un triángulo donde todos los lados tienen la misma longitud y todos los ángulos son iguales).
Las relaciones son:
Trigonometría general
[editar]Ya sea que "C" sea un ángulo recto o no, se cumplen las siguientes relaciones:
El teorema del coseno es el siguiente:
Su teorema dual es
También hay una "ley de los senos":
y una fórmula de cuatro partes:
que se deduce de la misma forma que en el caso de la trigonometría esférica.
Véase también
[editar]Para trigonometría hiperbólica:
Referencias
[editar]- ↑ Stothers, Wilson (2000), Hyperbolic geometry, Universidad de Glasgow., interactive instructional website
- ↑ Needham, Tristan (1998). Visual Complex Analysis. Oxford University Press. p. 270. ISBN 9780198534464.
- ↑ Ratcliffe, John (2006). Foundations of Hyperbolic Manifolds. Graduate Texts in Mathematics 149. Springer. p. 99. ISBN 9780387331973. «Que el área de un triángulo hiperbólico es proporcional al defecto de su ángulo apareció por primera vez en la monografía de Lambert Theorie der Parallellinien, que se publicó póstumamente en 1786.»
- ↑ Martin, George E. (1998). The foundations of geometry and the non-Euclidean plane (Corrected 4. print. edición). New York, NY: Springer. p. 433. ISBN 0-387-90694-0. (requiere registro).
- ↑ Smogorzhevski, A.S. Lobachevskian geometry. Moscow 1982: Mir Publishers. p. 63.
- ↑ «Area of a right angled hyperbolic triangle as function of side lengths». Stack Exchange Mathematics. Consultado el 11 de octubre de 2015.
Lectura relacionada
[editar]- Svetlana Katok (1992) Fuchsian Groups, University of Chicago Press ISBN 0-226-42583-5