Representación geométrica en el Semiespacio de Poincaré de dos planos hiperbólicos o un punto y un plano y la geodésica que determinan: secante, perpendicular común o punto impropio (solo perpendicular al plano, para punto-plano) .[br][list][*]Fundamentos: Modelo [i]sl[sub]2[/sub][/i]([b]C[/b]) del espacio hiperbólico ([i]sl[sub]2[/sub][/i]([b]C[/b]): 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][/*][*][size=85][url=https://www.geogebra.org/m/ackq6fhp][/url][url=https://www.geogebra.org/m/f2bbmjnu][color=#0000ff]Triángulos hiperbólicos; Segmento,[br]rayo geodésico, geodésica[/color][/url][/size][/*][*][size=85][url=https://www.geogebra.org/m/ackq6fhp][color=#0000ff]Determinaciones de dos geodésicas[/color][/url][/size][/*][/list][size=85][i]Siendo X, Y matrices de [i]sl[sub]2[/sub][/i]([b]C[/b]) 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 |<X,Y>=-1/2 [b]tr[/b](X c(Y)) (c(Y) la matriz conjugada de Y) cumpla [/size][/size][/size]|<X,Y>| < 1, ||<X,Y>| > 1 o |<X,Y>| = 1, [i][br][/i] Y entonces es igual a cos θ,,±cosh δ (θ un ángulo, δ una distancia), siendo θ=0 o θ=π (δ=0), si |<X,Y>| = 1[/size]