17.2: Modelo proyectivo
( \newcommand{\kernel}{\mathrm{null}\,}\)
La siguiente imagen ilustra el mapaP↦ˆP descrito en la sección anterior — si tomas la foto de la izquierda y aplicas el mapaP↦ˆP, obtienes la imagen a la derecha. Las imágenes son modelo conforme y proyectivo del plano hiperbólico respectivamente. El mapaP↦ˆP es una “traducción” de uno a otro.
En el modelo proyectivo las cosas se ven diferentes; algunas se vuelven más simples, otras cosas se vuelven más complicadas.
Las líneas h en el modelo proyectivo son acordes de lo absoluto; más precisamente, acordes sin sus puntos finales.
Esta observación puede ser utilizada para transferir declaraciones sobre líneas y puntos del plano euclidiano al plano h. Como ejemplo, expongamos una versión hiperbólica del teorema de Pappus para el plano h.
Supongamos que dos triples de los puntos hABC,, yA′,B′,C′ en el plano h son h-colineales. Supongamos que los puntos hXY,, yZ están definidos por
X=(BC′)h∩(B′C)h,Y=(CA′)h∩(C′A)h,Z=(AB′)h∩(A′B)h.
Entonces los puntosX,Y,Z son h-colineales.
En el modelo proyectivo, esta afirmación se desprende inmediatamente del teorema original de Pappus 15.6.2. Lo mismo se puede hacer para el teorema de Desargues 15.6.1. El mismo argumento muestra que la construcción de una línea tangente con una regla solo descrita en el Ejercicio 15.8.2 funciona también en el plano h.
Por otra parte, tenga en cuenta que no es nada fácil probar esta afirmación utilizando el modelo conformal.
Los círculos h y los equidistantes en el modelo proyectivo son ciertos tipos de elipses y sus arcos abiertos.
Se deduce ya que la proyección estereográfica envía círculos en el plano a círculos en la esfera unitaria y la proyección del punto del pie del círculo de regreso al plano es una elipse. (Se puede definir elipse como una proyección de punto de pie de un círculo).
Considera un par de puntos hP yQ. DejarA yB ser el punto ideal de la línea h en el modelo proyectivo; es decir,A yB son las intersecciones de la línea euclidiana(PQ) con lo absoluto.
Entonces por Lema 17.1.1,
asumiendo que los puntosA,P,Q,B aparecen en la línea en el mismo orden.
Las medidas de ángulo en el modelo proyectivo son muy diferentes de los ángulos euclidianos y es difícil de entender mirando la imagen. (La idea descrita en la solución del Ejercicio 16.3.1 y en el boceto de prueba del Teorema 19.4.1 puede ser utilizada para construir muchas transformaciones proyectivas de este tipo.) Por ejemplo, todas las líneas h que se cruzan en la imagen son perpendiculares.
Hay dos excepciones útiles:
- SiO es el centro de lo absoluto, entonces∡hAOB=∡AOB.
- SiO es el centro de lo absoluto y∡OAB=±π2, entonces
∡hOAB=∡OAB=±π2.
Para encontrar la medida del ángulo en el modelo proyectivo, se puede aplicar un movimiento del plano h que mueva el vértice del ángulo al centro de lo absoluto; una vez hecho esto los ángulos hiperbólico y euclidiano tienen la misma medida.
Los movimientos del plano h en los modelos conformales y proyectivos son relevantes para las transformaciones inversivas y la transformación proyectiva de la misma manera. A saber:
- Las transformaciones inversivas que preservan el plano h describen movimientos del plano h en el modelo conforme.
- Las transformaciones proyectivas que preservan el plano h describen movimientos del plano h en el modelo proyectivo. 1
El siguiente ejercicio es un análogo hiperbólico del Ejercicio 16.5.1. Este es el primer ejemplo de una afirmación que admite una prueba más fácil utilizando el modelo proyectivo.
DejarP yQ ser los puntos en plano h que se encuentran a la misma distancia del centro de lo absoluto. Observe que en el modelo proyectivo, el punto medio h de[PQ]h coincide con el punto medio euclidiano de[PQ]h.
Concluye que si un triángulo h está inscrito en un círculo h, entonces sus medianas se encuentran en un punto.
Recordemos que un triángulo h también podría estar inscrito en un horociclo o un equidistante. Piensa cómo probar la afirmación en este caso.
- Pista
-
La observación sigue ya que la reflexión a través de la bisectriz perpendicular de[PQ] es un movimiento del plano euclidiano, y un movimiento del plano h también. Sin pérdida de generalidad, podemos suponer que el centro del circuncírculo coincide con el centro de lo absoluto. En este caso las h-medianas del triángulo coinciden con las medianas euclidianas. Queda por aplicar el Teorema 8.3.1.
Letℓ ym son h-lines en el modelo proyectivo. Dejars yt denotar las líneas euclidianas tangentes a lo absoluto en los puntos ideales deℓ. Mostrar que si las líneass,t y la extensión de sem cruzan en un punto, entoncesℓ ym son perpendiculares h-líneas.
- Pista
-
Dejarˆℓ yˆm denotar las líneas h en el modelo conformal que corresponden aℓ ym. Tenemos que mostrarloˆℓ⊥ˆm como arcos en el plano euclidiano.
El puntoZ, dondes se encuentrat, es el centro del círculoΓ que contieneˆℓ.
Siˆm es de pasoZ, entonces la inversión aΓ cambio de los puntos ideales deˆℓ. En particular,ˆℓ mapas a sí mismo. De ahí el resultado.
Utilice el modelo proyectivo para derivar la fórmula del ángulo de paralelismo (Proposición 13.1.1).
- Pista
-
DejarQ ser el punto del pie deP en la línea yφ ser el ángulo de paralelismo. Podemos suponer queP es el centro de lo absoluto. Por lo tantoPQ=cosφ y
PQh=12⋅ln1+cosφ1−cosφ.
Usa el modelo proyectivo para encontrar el radio in del triángulo ideal.
- Pista
-
Aplicar Ejercicio17.2.3 paraφ=π3.
El modelo proyectivo del plano h puede ser utilizado para dar otra prueba del teorema hiperbólico de Pitágoras (Teorema 13.6.1).
En primer lugar, recordemos su declaración:
coshc=cosha⋅coshb,
dondea=BCh,b=CAh,c=ABh y△hACB es un triángulo h con ángulo recto enC.
Tenga en cuenta que podemos suponer queA es el centro de lo absoluto. Establecers=BC,t=CA,u=AB. Según el teorema euclidiano de Pitágoras (Teorema 6.2.1), tenemos
u2=s2+t2.
Queda por expresara,b, yc usarsu,t y demostrar que 17.2.3 implica 17.2.2.
Terminar la prueba del teorema hiperbólico de Pitágoras (Teorema 13.6.1) indicado anteriormente.
- Pista
-
Obsérvese queb=12⋅ln1+t1−t, por consiguiente
coshb=12⋅(√1+t1−t+√1−t1+t)=1√1−t2.
De la misma manera que lo conseguimos
coshc=1√1−u2.
DejarX yY son los puntos ideales de(BC)h. Aplicando de nuevo el teorema de Pitágoras (Teorema 6.2.1), lo conseguimosCX=CY=√1−t2. Por lo tanto,
a=12⋅ln√1−t2+s√1−t2−s,
y
cosha=12⋅(√1−t2+s√1−t2−s+√1−t2−s√1−t2+s)=√1−t2√1−t2−s2=√1−t2√1−u2.
Por último, señalar que 17.2.5, 17.2.6 y 17.2.7 implican el teorema.