Geometría hiperbólica con Geogebra
Elementos geométricos, medidas y acción de las isometrías del plano hiperbólico en el Disco de Poincaré
Siendo X, Y matrices de traza 0 y determinante 0, 1 ó -1 (A es un punto si det A= 1; U es un punto impropio: det U = 0: N es el vector normal a una geodésica si det N = -1):
- El producto exterior X ∧ Y (normalizado) es una matriz asociada a una geodésica o un punto, propio o impropio, según que el determinante de la matriz sea -1, 1 ó 0.
- El producto escalar <X,Y>,, X≠Y, es igual a ±cosh δ ó cos θ (δ una distancia, θ un ángulo),según que |<X,Y>| > 1 ó |<X,Y>|≤1
"Ángulo dos geodésicas" (Grupo 3) y "Bisectriz" (Grupo 7): punto de g1, vértice, punto de g2.
Herramientas del Grupo 7 (excepto "Bisectriz"): dos puntos de cada geodésica (y, en algunos casos, otro punto).
Con los elementos dados en la vista algebraica pueden utilizarse otras Herramientas:
"Punto propio o impropio" (Grupo 3): Elegir la lista LP ó la lista LU (Borrar el resultado)
Punto propio: Lista LP = {1, a11, a21} (a21>0). Punto impropio: LU = {0, a11, a21} (a21≥0).
"Geodésica orientada" (Grupo 3): Elegir la lista LGd1. Elegir la lista LG2, Elegir la lista LG3
(Dejar el deslizador n en -1)
Lista de una geodésica: LG = {n, n12, n21} (n = 1 ó -1, n12 n21 ≤ 1).
"Punto común a dos geodésicas (secantes o paralelas)" (Grupo 3):
Elegir listas LGd1 y LGd2; Elegir listas LGd2 y LGd3 (Borrar el resultado)
Herramientas del Grupo 4 y del Grupo 6: Elegir dos puntos (Borrar el resultado)
Herramientas del Grupo 5: Elegir tres puntos (Borrar cada vez el resultado)
Algunas herramientas del Grupo 9:
Isometrías: Lista {k, f11, f21} (f21≠0), (|k|=2, traslación paralela; |k|>2, traslación; 0≤|k|<2, giro)
La transformación inversa viene dada por la lista {k, k-f11, -f21}.
"Elementos invariantes por una isometría":
Elegir lista f y el número p (mover el deslizador k, detenerlo en 2 y -2; mover el deslizador p) (Borrar resultado)
"Eje y desplazamiento de una reflexión (kf=0) o una reflexión sesgada":
Elegir lista h (si se cambia h1 de la lista por 0 es una reflexión) (Borrar resultado)
Lista de una reflexión sesgada RS = {kh, h12, h21} (h12 h21≤1). Si kh=0 corresponde a una reflexión en una geodésica.
"f*(P) y Eje de f* [f* reflexión (kf=0) ó reflexión sesgada":
Elegir lista h, punto A y número m (mover el deslizador m) (Borrar resultado)
"Giro de una geodésica": Elegir lista "giro", lista LGd1, número p (mover el deslizador p);
puede obtenerse el centro del giro mediante "Elementos invariantes por una isometría" (Borrar resultado)
Herramientas del Grupo 10 (Isometría que transforma una geodésica en otra): elegir dos puntos "ordenados" de cada geodésica. IsomGeodGeod (1) proporciona "la lista" de la transformación, que permite hallar f(P) utilizando "la lista" y un punto, por ejemplo. IsomGeodGeod (2) proporciona, además, las geodésicas y la transformada de la segunda (la isometría puede conservar o no la orientación). Mover uno de los puntos elegidos.