Loading [MathJax]/jax/output/HTML-CSS/jax.js
Saltar al contenido principal
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
LibreTexts Español

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.

2021-03-01 11.29.29.png

En el modelo proyectivo las cosas se ven diferentes; algunas se vuelven más simples, otras cosas se vuelven más complicadas.

Líneas

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.

Teorema17.2.1 Hyperbolic Pappus' theorem

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(BC)h,Y=(CA)h(CA)h,Z=(AB)h(AB)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.

Círculos y equidistantes

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).

Distancia

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.

2021-03-01 11.39.47.png

Ángulos

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, entonceshAOB=AOB.
  • SiO es el centro de lo absoluto yOAB=±π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.

Movimientos

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.

Ejercicio17.2.1

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.

2021-03-01 11.59.59.png

Ejercicio17.2.2

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.

2021-03-01 11.49.41.png

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.

Ejercicio17.2.3

Utilice el modelo proyectivo para derivar la fórmula del ángulo de paralelismo (Proposición 13.1.1).

Pista

2021-03-01 1.52.12.png

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=12ln1+cosφ1cosφ.

Ejercicio17.2.4

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=coshacoshb,

dondea=BCh,b=CAh,c=ABh yhACB es un triángulo h con ángulo recto enC.

2021-03-01 11.51.49.png

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.

Ejercicio Avanzado17.2.5

Terminar la prueba del teorema hiperbólico de Pitágoras (Teorema 13.6.1) indicado anteriormente.

Pista

Obsérvese queb=12ln1+t1t, por consiguiente

coshb=12(1+t1t+1t1+t)=11t2.

De la misma manera que lo conseguimos

coshc=11u2.

DejarX yY son los puntos ideales de(BC)h. Aplicando de nuevo el teorema de Pitágoras (Teorema 6.2.1), lo conseguimosCX=CY=1t2. Por lo tanto,

a=12ln1t2+s1t2s,

y

cosha=12(1t2+s1t2s+1t2s1t2+s)=1t21t2s2=1t21u2.

Por último, señalar que 17.2.5, 17.2.6 y 17.2.7 implican el teorema.


This page titled 17.2: Modelo proyectivo is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Anton Petrunin via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?