[b]EL PRESENTE ARCHIVO CONTIENE DOS APPLETS:[br]1. Elementos de un triángulo [br]2. Segmento, rayo geodésico, geodésica.[/b][br][list][*]Fundamentos: Modelo [i]sl2[/i](C) del espacio hiperbólico ([i]sl2[/i](C): matrices 2x2 de entradas complejas en la diagonal principal, un complejo y el opuesto de su conjugado, y números reales en la diagonal secundaria)[/*][*][size=85]Fuente: [color=#0000ff][url=http://e-spacio.uned.es/fez/eserv/tesisuned:Ciencias-Jgarcia/Documento.pdf]"Construcción de polígonos hiperbólicos y aplicación a las regiones fundamentales de grupos NEC"[/url] [/color][/size]([size=85]José Luis García Heras; Tesis, UNED 2006)[/size][/*][/list][list][*][size=85]También pude verse [color=#0000ff][url=https://www.geogebra.org/m/E4HmRYgZ]Gometría hiperbólica elemental[/url][/color].[/size][/*][*][size=85]Más sobre Geometría hiperbólica: [url=https://www.maplesoft.com/applications/Author.aspx?mid=33596][color=#0000ff]Maplesoft (J.L. Gª Heras)[/color][/url][/size][/*][*][url=https://www.geogebra.org/m/ackq6fhp][color=#0000ff]Determinaciones de dos geodésicas[/color][/url][br][/*][*][url=https://www.geogebra.org/m/rwsxtu5m][color=#0000ff]Dos planos, Punto-Plano, Punto-Punto[/color][/url][br][br][/*][/list][size=85][i]Siendo X, Y matrices de [i]sl2[/i](C) y determinante -1 ([i]A es un punto si [/i]det A= 1; [i]U es un punto impropio: [/i]det U = 0: P[i] es el vector normal a un plano hiperbólico si [/i]det P = -1):[br][/i][size=100][size=85][size=85]El [i]producto exterior[/i] X ∧ Y (normalizado) es una matriz de traza 0, asociada a la geodésica secante, la perpendicular común o un punto impropio, según que el producto escalar =-1/2 tr(X c(Y)) (c(Y) la matriz conjugada de Y) cumpla [/size][/size][/size]|<X,Y>| < 1, |<X,Y>| > 1 o |<X,Y>| = 1, Y entonces || es igual a cos θ,,±cosh δ (θ un ángulo, δ una distancia), siendo θ=0 o θ=π (δ=0), si |<X,Y>| = 1[/size]

Fundamentos:[br]Un plano hiperbólico y un punto pueden asociarse a una matriz 2x2, con determinante -1 y 1, respectivamente; y entradas reales en la diagonal secundaria (la diagonal principal está formada por un número complejo y el opuesto de su conjugado).[br]Una geodésica está determinada por la matriz --con traza cero-- del semigiro alrededor de la geodésica.