5.1: Geometría euclidiana avanzada
( \newcommand{\kernel}{\mathrm{null}\,}\)
La inversión de un puntoP≠O en un círculoγ con centroO y radioR es el puntoP′ sobre rayoOP tal que(OP)(OP′)=R2.
Nota: A veces sólo estamos pensando en la inversión del punto P particular y en otras ocasiones estaremos pensando en la inversión de todo el “plano perforado”. ¿Por qué pinchado?
Construir la inversión de un punto dadoP≠O en un círculo dadoγ.
- Caso 1: P dentro del círculo.
- Caso 2: P en el círculo.
- Caso 3: P fuera del círculo.
Solución
Para el Caso 1, dejeT ser (cualquiera de los dos puntos) determinado por la perpendicular al rayoOP enP. EntoncesP′ es la intersección del rayoOP con la tangente enT, la perpendicular al radio aT.
Dado que la líneaTP es la altitud desde el ángulo recto del triángulo rectoΔOP′T,ΔTOP∼ΔOP′T asíOP/OT=OT/OP′ oOP/R=R/OP′ y(OP)(OP′)=R2 como se desee.
Para el Caso 2,P=P′ por lo que las instrucciones de construcción son “no hacer nada”!
Para el Caso 3, dejarT1 yT2 ser los puntos que determinan las líneas tangentes a partir deP. EntoncesP′ es la intersección del rayoOP con la líneaT1T2. (¿Por qué esta línea es perpendicular a la líneaOP′?) La prueba es exactamente la del Caso 1 fue th con los roles deP eP′ intercambiado. QED.
Si dos círculosγ y seδ cruzan en puntosA yB con uno de los círculos centrados enOP y yQ son puntos del otro círculo determinados por un rayo que se origina enO, entonces los círculos son ortogonales siP y solo si yQ son inversiones entre sí en el círculoγ centrado enO.
Prueba: Considera Ray OA. Si los círculos son ortogonales, entonces el caso tangente del teorema secante establece la conclusión; es decir,OP(OQ)=(OA)2=R2.
Por el contrario, asumirP yQ son inversiones en círculoγ; es decir,OP(OQ)=(OA)2=R2. Si los círculos no fueran ortogonales, el rayoOA cruza el círculo en un segundo punto, digamos D, y habría un pedacito deAD=x acorde,OA=R siendo o bien el segmento interno de la secante de longitudR+x (como se muestra en la imagen primero) o toda la secante con el segmento externo de longitudR−x (segunda imagen). De cualquier manera, la hipótesis obligax a ser 0 yOA es una tangente deO. De manera más explícita, tenemosR(R±x)=R2. Es decir,R±x=R para esox=0 y tenemos ortogonalidad.
Corolario: Si un punto en un círculo (pensar P onδ) está en el interior de otro círculo (pensarγ), los círculos son ortogonales si y solo si el centro del primer círculo se encuentra en la bisectriz perpendicular del segmento que une el punto con su inversión en el segundo círculo.
Teorema: Axioma 1 para el modelo Poincaré.
Prueba: Dejarγ ser el círculo definitorio y dejar que A y B sean puntos distintos del plano no colineales conO. EntoncesA′ y tambiénB′ están en el círculo euclidiano deseado. Eso hace cuatro puntos no colineales, A, B, A', yB′, cualquiera de los cuales tres determinan completamente el círculo euclidiano único que determina el arco abierto que es la línea única de Poincaré deseada. Además, la construcción estándar para ese círculo es una construcción euclidiana de la línea Poincaré. Es decir, lo siguiente es una trivialidad:
Corolario: Construir la línea Poincaré determinada por dos puntos.
Más allá de eso, estos dos puntos euclidianos adicionales son muy útiles en el “globo ocular” esbozando la línea Poincaré determinada por los dos puntos, la línea en un punto perpendicular a una línea, el límite es paralelo a una línea en un punto, etc. No construya formalmente estos puntos (aunque algunos de estos ahora son fáciles construcciones euclidianas formales también; ver Juego de problemas 5) pero, si es necesario, usa una recta (borde de un libro, pedazo de papel doble, o algo así) y su conocimiento de círculos ortogonales para bosquejar la línea o líneas de Poincaré requeridas para el problema en consideración.
[Nota: Este es el Paso 1 de una prueba muy complicada, que todos los axiomas de geometría hiperbólica (señalados aquí o no) pueden probarse como teoremas de la geometría euclidiana sobre el modelo Poincaré a partir del cual podemos concluir que la geometría de Poincaré es relativamente consistente con Euclidiana geometría.]
Teorema: En la inversión de todo el plano perforado en un círculo fijo, los círculos y las líneas se mapean a líneas y círculos. Más explícitamente dejarγ ser el círculo fijo con centro enO y radio de longitudR. Entonces para cualquier figura euclidianaφ que no contengaO, vamos aφ′ indicar la inversión de todos sus puntos enγ y, siφ contieneO, dejaφ∗ ser la misma figura euclidiana pero excluyendoO, y dejarδ ser cualquier círculo yℓ ser cualquier línea en el plano euclidiano. Entonces:
i. SiO∈δ, entonces la inversión deδ∗ esℓ, la línea perpendicular al rayoOC enD′ dondeC está el centro deδ yD está determinada por el diámetro deδ determinado por el rayo OC.
ii. SiO∉ℓ, entonces la inversión deℓ es el círculo “perforado”δ∗ dondeF está el pie de la /perpendicular deO aℓ yOF′ es el diámetro de δ(es decir, la inversión de la inversión en i).
iii. SiO∈ℓ, entonces la inversión deℓ∗ esℓ∗ (la línea perforada giró de adentro hacia afuera).
iv. SiO⊕δ, dejeC ser su centro y segmentoAB sea su diámetro determinado por la línea OC. Entonces la inversión deδ es el círculoδ′ con diámetro colinealA′B′ con dos casos a considerar:
a. SiO⊕AB, entoncesA′B′ es un subconjunto de rayoAB (el caso en la foto), o
b. SiO∈AB, entoncesO∈A′B′ (porqueA yA′ están en un lado deO yB yB′ están en el otro).
Nos interesan especialmente las reflexiones del plano Poincaré en una línea Poincaré pero el teorema habla del plano euclidiano completo. Las reflexiones en una línea y las rotaciones alrededor de cualquier punto son demostrables como congruencias en geometría neutra, de ahí en geometría hiperbólica. El problema es que aún no sabemos que el modelo de disco de Poincaré incluso es un modelo para geometría hiperbólica; ¡asumir que tal sería asumir lo que estamos tratando de probar! (Los casos especiales de una reflexión a través de un diámetro y una rotación alrededor del centro son obvios pero no los otros).
Estas pruebas son fáciles pero requieren un poco de conocimiento,
Casoi: DejarX∈δ∗ y dejarY=f(X) ser la intersección del rayoOX conℓ, la línea perpendicular al rayoOC′ enD′. Por AA Similaridad,△OD′Y es similar a△OXD pero así esΔOD′X′ así queY=X′ y tenemosℓ=δ∗′ como reclamamos.
Caso ii: Esta es exactamente la misma idea solo que esta vez empezamos con F, el pie de la perpendicular deO al y dejóF′ ser su inversión enγ. DejarM ser el punto medio del segmentoOF′. Dejar círculoδ∗=(M;MO); es decir, el círculo con centro enM de radioMO=MF′. X∈ℓDejarY=f(X) ser el punto de intersección del rayoOX conδ∗. Ya queOF′ es un diámetro,△OYF es un triángulo rectángulo así, por similitud AA,△OYF′∼△OFX. Como antes,Y es la inversión de X; es decir,Y=X′ y tenemosl′=δ∗ como reclamamos.
Caso iii: Si lo piensas, es obvio.
Case iv a: _La construcción es fácil; la figura casi lo dice todo. Para círculoδ, dejarA yB ser determinado por líneaOC, la línea de centros de los dos círculosA′ y yB′ ser sus inversiones conM el punto medio de segmento B′A′. Despuésδ′=θ, el círculo(M;MA′), con centro enM y radioMA′. La parte complicada de la prueba es que la idea es que la inversión deδ es una dilatación (contracción) de sí misma desde O pero sólo como un conjunto, no “punto sabio”. Es decir, existe alguna constantek tal que cada punto deδ′ está determinado por un punto deδ sobre el rayo desde el que determinaO yk multiplican su distanciaO (dilatación parak>1, contracción para0<k<1). Las dilataciones preservan los círculos porque conservan las formas; la proporción de cualquier par de distancias es la misma porque todos los factores dek cancelación. La parte complicada es que la imagen es “girada de adentro hacia afuera” en contraposición a una dilatación “puntual” del plano euclidiano donde cada punto X del plano sería mapeado al punto aO lo largok(OX) del mismo rayo. Eso no es cierto bajo inversión sino que, como conjunto de puntos, cualquier círculo es llevado a otro círculo, una dilatación de sí mismo. Para cualquieraX∈δ, dejaY ser el otro punto determinado por el rayoOX (si es tangente,Y=X). Ahora:O′=R2OY=(OXOX)R2OY=R2(OX)(OY)(OX)=R2(OA)(OB)(OX) Donde la primera igualdad es la definición de inversión y la última es el uso del Teorema Secante. Es decir, la constante que necesitábamos esk=R2/(OA)(OB). El punto es que esta es una constante; es decir, solo depende del tamaño del círculo y su distancia desdeO, no de la elección del punto en el círculo.
[Nota: Muchos libros toman la constante para estark=R2/(OT)2=(R/OT)2 dondeT está una de las tangentes al círculoδ desde el puntoO, el mismo número del caso tangente del teorema secante. El problema es que hace que el Caso iv b sea más un caso especial de lo que necesita ser.]
Case iv b: _Esto es lo mismo excepto que la igualdad final se sostiene por el Teorema del Acorde en lugar de por el Teorema de la Secante. Esto verifica el resultado (pero con un giro; ver PS 5, #10).
Lema: Para dos puntos A y B no ambos colineales con el centroO del círculoγ, yA′ yB′ las inversiones deA yB en el círculo,ΔOA′B′∼△OBA; i.e. , los triángulos son similares pero la correspondencia (por lo que los otros dos ángulos correspondientes) se intercambia.
Prueba: Como∠O es en común, por SAS Similitud, solo necesitamos verificar la relación de sus dos lados. DejandoR ser el radio del círculo:O′OB=R2/OAOB=R2(OA)(OB)=OB′OA so A′B′=R2(OA)(OB)
Teorema: La inversión en círculo preserva la relación cruzada. Es decir, siA,B,C, yD son cuatro puntos invertidos en un círculo, entonces(A,B;C,D)=(A′,B′;C′,D′)
Prueba: Este hecho importante es simplemente una aplicación del lema aplicado a la relación definitoria de relación cruzada. Más explícitamente, suponiendo que el círculo esté centrado enO, use el lema en cada fracción definitoria y simplifique. La fracción del numerador:A′C′=(R2(OA)(OC))AC and C′B′=(R2(OC)(OB))CB so that A′C′C′B′=(OBOA)(ACCB) La fracción denominadorA′D′=(R2(OA)(OD))AD and D′B′=(R2(OD)(OB))DB so that A′D′D′B′=(OBOA)(ADDB) Estas tienen el mismo multiplicador (OB/OA) por lo que cancelan y se conserva la relación cruzada. QED.
Teorema: La inversión en círculo conserva los ángulos formados por intersecciones de círculos y líneas.
[Nota: Este “círculos y líneas” es en el sentido de las propias figuras - la inversión de un círculo puede ser una línea o viceversa.]
Prueba: Esta es una consecuencia trivial del análisis complejo elemental, una función analítica (por lo que cualquier transformación fraccionaria lineal) es conforme (por lo que conserva el ángulo) en cualquier punto donde tenga una derivada distinta de cero. Esto no es del todo inversión en un círculo pero, con la elección adecuada de los coeficientes y seguida de una reflexión en elx eje -( conjugación), lo es. Este poder, por supuesto, no está disponible para nosotros en un entorno de geometría estrictamente euclidiana, así que aquí hay una prueba de geometría sintética.
Se deben considerar varios casos, un ángulo convencional: la unión de dos rayos (con un punto inicial común), el arco de un círculo y un rayo, y la unión de arcos de dos círculos. Además, la situación es diferente dependiendo de si el círculo de un rayo o la línea de un rayo de un ángulo contiene el centro del círculo de inversión; esta última situación es lo suficientemente conveniente como para obligarlo a simplificar las otras situaciones. Por ejemplo, consideremos un ángulo determinado por dos círculos que no contienen el centro del círculo de inversión; necesitamos demostrar que el ángulo entre sus círculos de inversión no cambia; es decir, el ángulo formado por sus tangentes en el punto de intersección es el mismo después de la inversión. Tenga en cuenta que estas son NUEVAS líneas tangentes, no inversiones entre sí -la inversión de una línea que no contiene el centro del círculo de inversión, ni siquiera es una línea- es un círculo que sí contiene el centro. ∠A=∠BACPara arcosAB yAC. Tenemos que demostrar que los ángulos entre las tangentes a los círculos enA yA′ son congruentes; es decir, tenemos que probar que los ángulos convencionales∠SAV≅∠UA′W dondeS,U,V, yW son cualquier punto a lo largo de los rayos determinado por los rayos tangentes a los círculos enA yA′ como se indica.
Basta con “dividir el ángulo”∠A=∠BAC por la líneaOA=OA '(que contiene ambos vértices de ángulo) de la siguiente manera: Dejando que D sea la otra intersección del rayo OA con el círculo de arco AB, podemos considerar el ángulo original como dos ángulos de la misma suma de medidaα=α1+α2 donde estas son las medidas de∠ BA y∠DAC, respectivamente. El otro caso especial, pero manejado de manera similar, es paraα=α1−α2.
Es decir, y sin pérdida de generalidad, podemos suponer que uno de los rayos del ángulo en A está en la línea OA (así podemos ignorar la porción del ángulo debajo de la línea OA). Obsérvese que en este caso restringido, la inversión del rayo angularAD es el otro rayo angularA′D′ ya que la inversión de una línea (perforada) que contiene el centro del círculo de inversión es la misma línea “girada del revés”. Esta idea de suponer que un lado del ángulo está en la línea determinada por el centro de inversión y el vértice del ángulo(O y A, respectivamente) reduce en gran medida el número de casos necesarios para probar el teorema debido a que cada parte del ángulo dividido se puede considerar por separado y nosotros no tiene que preocuparse por ángulos con un lado contenido en una línea a través del centro de inversión (¡todos estos son de ese tipo!) :
Caso 1: Un arco de un círculo a un arco de un círculo (como se muestra a continuación).
Caso 2: Un arco de círculo que contiene el centro de inversión a un rayo.
Caso 3: Un rayo dentro de una línea que no contiene el centro de inversión a un arco de un círculo que sí.
Para ello, dejarX yY ser las intersecciones diametrales del círculo de arcoAB determinadas por el centro de inversiónO y el centro del círculo de arcoAB con inversiones como se indica X′yY′. Identificaremos estos círculos por estos diámetros(XY) y(X′Y′). Por teorema anterior,ΔODX≈ΔOX′D′ así que∠ODX≅∠OX′D′. Por el teorema del ángulo inscrito (y el hecho∠ODX=∠ADX) de quem(∠ADX)=(1/2)(AX) dóndeAX está el arco subtendido de círculo(XY) ym(∠Y′X′D′)=(1/2)(Y′D′). ∠OXD≅∠OD′X′Así mismo, por suplementación,∠DXY≅∠X′D′A′ y arcoDY de círculo (XY) tiene la misma medida que arcoA′X′ de círculo(X′Y′). En cada círculo, los tres arcos forman un semcírculo:XA+AD+DY de círculo (XY) yX′A′+A′D′+D′Y′ de círculo(X′Y′) con dos de los tres arcos siendo iguales en medida. Ya que juntos hacen semicírculos (180 si se usa medida de grado), concluimos que el arco AD de círculo (XY) tiene la misma medida que el arcoA′D′ de círculo(X′Y′). Por el caso tangente del teorema del ángulo inscrito,α1=m(∠SAD)=(1/2)(AD)=(1/2)(A′D′)=m(∠U′D′).
Caso 2: Un arco de círculo que contiene el centro de inversión a un rayo.
En este caso, la inversión de∠BAD dondeAB es un arco de círculo que contieneO es el ángulo genuino∠B′A′D′. Por teorema anterior,△OBA≈△OA′B′ así que∠OAB≅∠OB′A′. Por el teorema del ángulo inscrito,m(∠OAB)=(1/2)(OB) dondeOB está el arco subtendido del círculo original. Además, el resto del arcoOABA, es subtendido por∠O y todo el arco da la medida del ángulo tangentem(∠SAD)=(1/2)(OA). Ahora considere triánguloΔOA′B′ y su ángulo externo enA′. Por la forma euclidiana del Teorema del Ángulo Exterior,∠B′A′D′ es la suma de los dos ángulos interiores no adyacentes, el ángulo enO y∠OB′A′≅∠A. Es decir, el ángulo de inversión enA′ concuerda con el ángulo tangenteA según sea necesario.
\boldsymbol{\underline{\text { Case 3: A ray within a line that does not contain the center of inversion to an arc of a circle that does. (This }}es el reverso del Caso 2 con pruebas muy similares.)
En este caso, la inversión del ángulo real∠BAD es∠B′A′D′ donde se encuentraA′B′ un arco de círculo, la inversión de líneaAB. Por teorema anterior, de△OBA≈△OA′B′ manera que∠OBA≅∠OA′B′, por el teorema del ángulo inscrito,m(∠OA′B′)=(1/2)(OB′) dondeOB′ está el arco subtendido del círculo de inversión. Además, el resto del arcoOA′ es arcoB′A′ que está subtendido∠O y todo el arco da la medida del ángulo tangentem(∠UA′D′)=(1/2)(OA′). Ahora considere el triánguloΔOAB y su ángulo externo en A. Por la forma euclidiana del Teorema del Ángulo Exterior, nuestro original∠BAD es la suma de los dos ángulos interiores no adyacentes, exactamente el ángulo enO y∠OA′B′≅∠B. Es decir, el ángulo original enA concuerda con el ángulo tangente atA′.
¿La situación cambia si el rayo AD se invierte? Ligeramente, y digno de comentario, pero no mucho. El mismo argumento junto con la suplementación confirma el mismo resultado. QED.
Teorema: La reflexión en una línea Poincaré (es decir, inversión en su círculo euclidiano) es una congruencia del plano Poincaré.
Prueba: Hemos hecho algunas ondas a mano pero las piezas están todas en su lugar. Es decir, se conservan los ángulos y se conserva la distancia de Poincaré entre dos puntos (es decir, longitudes de segmentos de línea de Poincaré) (a nivel de relación cruzada). Todo lo que queda es ver por qué tal inversión lleva el disco definitorio de nuevo sobre sí mismo. Es obvio cuando se piensa en ello. De manera explícita, cada punto del “interior” del círculo definitorio se invierte a su punto correspondiente en el “exterior” y viceversa incluyendo los puntos límite del círculo definitorio a los puntos límite correspondientes y todos los puntos entre ellos se invierten de manera similar. QED.
Teorema: Dado cualquier punto del disco de Poincaré, existe una única línea euclidiana constructible de Poincaré (es decir, círculo euclidiano) tal que la reflexión en esa línea lleva el punto al centro del disco.
[Nota: Este es un caso especialmente fácil de construir la línea única de Poincaré de tal manera que la reflexión (Poincaré) en esa línea lleve cualquier punto dado a cualquier otro punto dado. General: PS 5, #16.]
Construcción: Si esto va a ser un modelo para geometría hiperbólica, que debe haber tal línea es consecuencia de la geometría neutra (aunque no la probamos) ya que la reflexión en la bisectriz perpendicular del segmento de línea que une dos puntos cualesquiera en geometría neutra es la línea única con esa propiedad. No obstante, aún no sabemos que se trata de un modelo por lo que ese hecho no está disponible para nosotros. Ese hecho sí, sin embargo, nos ayuda a saber cómo proceder. Sorprendentemente, siA es el punto yO es el centro deγ, el círculo definitorio, la construcción estándar de su inversión en el círculo, ¡nos da todo! Esta vez, sin embargo, identificaremos la inversión deA en este círculo porA∗ con el fin de reservarA′ para la inversión deA en el nuevo círculo aún por ubicar.
DejandoP ser la intersección de la perpendicular al rayoA enA conγ, recordar queA∗ está determinada por la perpendicular enP al radio OP. Entonces el círculo(A∗;A∗P)=δ determina la línea de Poincaré deseada, l. Haciendo hincapié en esta conclusión, el círculo necesario se centra en la inversión de A en el círculo definitorio con radio ya determinado en su construcción!
Prueba: Tenemos que probarlo(A∗A)(A∗O)=(A∗P)2 y que este círculo euclidiano determina una línea Poincaré. La ortogonalidad es una trivialidad (¡por construcción!) y, ya quePA es la altitud desde el ángulo recto deΔOA∗P,ΔOA∗P∼ΔPA∗ A desde el cual(A∗O)/(A∗P)=(A∗P)/(A∗ A) o(A∗ A)(A∗O)=(A∗P)2 asíO es la inversión deA en este círculo ortogonal centrada enA∗; es decir, es el reflejo deA en esa línea Poincaré. ¿Por qué no hay otro círculo así? La inversión en círculo (reflexión en una línea Poincaré) preserva la relación cruzada de manera que el punto de intersección,M en la figura, debe ser el punto medio Poincaré del segmento AO. Dado que el centro de cualquier círculo ortogonal que llevaría A aO debe estar sobre el rayoOA y la reflexión tendría que preservar M (es decir, no moverlo), este círculo tendría que ser perpendicular a la línea OA así como ortogonal al círculo definitorio obligándolo a ser la misma línea; es decir, singularidad. Tenga en cuenta que estol determina el punto medioM del segmento AO y es perpendicular a su línea por lo que es la bisectriz perpendicular del segmento AO.QED.
Lema: Un punto del modelo de disco de Poincaré está más cerca del centro del círculo definitorio que otro punto usando la medida euclidiana si y solo si está más cerca usando la medida de Poincaré.
Prueba: DejarX yY ser los puntos conX más cercaO queY usando la medida euclidiana como se indica. Gire cada segmento y su diámetro para que los segmentos estén en la misma dirección a lo largo del mismo diámetro. Las longitudes de los segmentos, ya sean euclidianos o Poincaré, permanecen sin cambios pero ahora determinan las mismas intersecciones con el círculo definitorio y las medidas euclidianas de los segmentosOX yOY pueden verse como números reales en la línea numérica euclidiana: con −R<0<x<y<R.
Comparando sus relaciones cruzadas:
(O,X;R,−R)=(R/(R−x))/(R/(R+x))=(R+x)/(R−x)y de igual manera(O,Y;R,−R)=(R/(R−y))/(R/(R+y))=(R+y)/(R−y)
Aunque los numeradores y denominadores son todos positivos, la comparación de fracciones puede ser complicada:R+x es mayor queR+y pero tambiénR−x es mayor que R-y y un número mayor dividido por un número mayor puede ser menor.
Trabajando a la inversa de lo que buscamos:(R+x)/(R−x)<(R+y)/(R−y) iff(R+x)/(R−y)<(R+y)/(R−x) iffRx−Ry<Ry−Rx iff2Rx<2Ry iffx<y. Ya quex<y, estas relaciones cruzadas satisfacen la misma desigualdad que las distancias de los puntos girados. Sin embargo, la relación cruzada no fue el punto, solo su longitud de Poincaré; es decir,|ln(O,X;R,−R)| y|ln(O,Y;R,−R)|. Esto se desprende del hecho de que, por la alineación de los puntos, conocemos los valores:R−x<R+x por lo que su cociente es mayor que 1 logaritmo tan positivo y de manera similar paraY. Dado que la función de logaritmo natural está aumentando estrictamente:
|ln(O,X;R,−R)|=ln(O,X;R,−R)<ln(O,Y;R,−R)=|ln(O,Y;R,−R)|. Es decir,dp(O,X)<dp(O,Y). En lugar de lo contrario, es más fácil usar este resultado para probar lo inverso; en esencia, qué pasa six=y o six>y. En casox=y de que el cálculo directo (trivial) lo confirmedp(O,X)=dp(O,Y) y en el casox>y, concluimosdp(O,X)>dp(O,Y) intercambiando los roles dex yy en el anterior. QED.
Teorema: Los segmentos de línea de Poincaré son congruentes si y sólo si la reflexión de un punto final de cada uno de ellos hacia el centro del círculo definitorio (inversión en círculos ortogonales) son segmentos euclidianos congruentes.
Prueba: Esta es una consecuencia inmediata del Lema precedente y del hecho de que la inversión en un círculo ortogonal preserva la relación cruzada para que la reflexión en una línea de Poincaré conserve la medida Poincaré. Es decir, dos segmentos de Poincaré son congruentes si y sólo si sus imágenes reflejadas son segmentos de Poincaré congruentes y, dado que un punto final de cada segmento reflejado es el centro definitorio, también son segmentos euclidianos que son segmentos euclidianos congruentes si y solo si son segmentos congruentes de Poincaré. QED.
Teorema: Un círculo de Poincaré es (como conjunto) un círculo euclidiano que permanece completamente dentro del disco de Poincaré y su centro Poincaré es colineal con el centro del círculo definitorio y su centro euclidiano.
Pregunta: ¿No era esta la definición del círculo de Poincaré en el Capítulo 3? Sí, pero nosotros “engañamos”. En geometría neutra (en la que se subsume la geometría hiperbólica), el concepto “círculo” ya tiene una definición estándar por lo que este solo puede ser un modelo para geometría hiperbólica si la “definición” original es consistente con la definición real. Podemos probar ese hecho ahora que se ha desarrollado más sofisticación.
Prueba: SupongamosC∈P yr>0. Por la definición (real) de círculo, el círculo Poincaré con centroC y radior es(C;r)P={X∈P∣dP(C,X)=r}. Para probar que este conjunto es un círculo euclidiano, considera dos casos:
i.C=O, el centro del círculo definitorio, o
ii. C≠O.
En el primer caso, los segmentos de PoincaréOX para todos tambiénX∈P son segmentos euclidianos y los segmentos de línea deO son congruentes como segmentos de Poincaré si y solo si son congruentes como segmentos euclidianos por el Lema precedente. Esto implica ese conjunto(O;r)P={X∈P∣dP(O,X)=r}={X∈P∣d(O,X)=rE}, la medida euclidiana del segmento para algún número real fijorE. Esta es exactamente la definición del círculo euclidiano(O;rE) para que el conjunto original de puntos,(O;r)P, sea un círculo euclidiano.
En el segundo caso, reflexionarO en la línea única de Poincaréℓ (inversión en el círculo ortogonal apropiado) que lleva de C a O. Desde la reflexión enℓ conserva la distancia,((C;r)p)′={X′∈P∣dp(C′=O,X′)=r}.
Dado que elX′ de este conjunto contiene todos los elementos deP, este conjunto es exactamente{X∈P∣dp(O,X)=r} y este conjunto es exactamente la definición del círculo Poincaré(O;r)P que es, por casoi, un círculo euclidiano. Reflejandoℓ una vez más, el conjunto invertido se invierte de nuevo sobre el conjunto original y, dado que la inversión de un círculo en un círculo es un círculo o una línea siendo imposible aquí una línea (el conjunto está contenido dentro del círculo definitorio por lo que no puede contener el centro de la ortogonal círculo de inversión) el conjunto original es un círculo euclidiano.
Por el contrario, supongamos queδ es un círculo euclidiano que está contenido en el interior de( que no está centrado enO, el centro del círculo definitorio. Construir su centro euclidianoCE por la construcción estándar y dejarA yB ser los puntos de intersección del rayoOCE conδ para que el segmentoAB sea un diámetro del círculo y también un segmento Poincaré ya que es colineal conO. Elija un3rd puntoC∈δ y construya la bisectriz perpendicular del segmento PoincaréAC (oB yC) (consultePS5,#17), identifique la intersección con AB como CPque es Poincaré equidistante deA yC (oB y yC), y letr=dp(Cp,C). El reflejo euclidiano del plano en la línea seráOCE=OCP también un reflejo Poincaré en la misma línea (diámetro abierto euclidiano) identifica otro puntoD∈δ para el que tambiénCP es Poincaré equidistante de A (por simetría de la situación con respecto a la línea de diámetroOCE, verX yY en la prueba de #16). Ahora reflexionaρ en la línea única de Poincarél (inversión en el círculo ortogonal apropiado) que llevaCp a O. Ya que la reflexión enl conserva distancia,O es la misma distancia Poincaré rdeA′,C′, yD′ enδ′ adelante, la inversión deδ, que debe ser un círculo euclidiano ya que es la inversión de un círculo euclidiano. Dado queOA′,OC′, yOD′ son segmentosPoincaré′ congruentes, también son segmentos congruentes euclidianos asíA′,C′, yD′ son 3 puntos distintos en este círculo euclidiano que son equidistantes deO=(CP)′ por lo que es el centro del círculoδ′. Reflexionando enℓ una vez más, tenemos que no sóloδ=δ′′ es un círculo euclidiano, es el círculo Poincaré(Cp;r)P. QED.
Teorema: Las líneas de Poincaré son rectas.
Prueba: Esta afirmación irónica es un teorema importante y pretende señalar la naturaleza nebulosa de la “rectitud”. Nuestra experiencia es tan fuerte que pensamos que sabemos hasta que se nos pide describir lo que significa ser “heterosexual” en lenguaje matemáticamente defendible. En términos formales, no lo intentamos. En cambio, los subconjuntos que llamamos líneas tienen ciertas propiedades definitivas que nunca se discuten en cursos introductorios (¡a veces nunca!) e imponer un axioma (Axioma 1) que dos puntos determinan exactamente uno de esos conjuntos. La definición real de es cualquier subconjunto del conjunto de puntos (el plano) que separa el conjunto en tres subconjuntos convexos mutuamente disjuntos, el conjunto mismo y dos subconjuntos (ajustar análogamente para “planitud” de un plano en el espacio). Esto, por supuesto, presupone una noción de “convexo” que a su vez depende de la noción de entretiempo. Un conjunto es convexo si, para dos puntos cualesquiera del conjunto, el conjunto de todos los puntos entre ellos también está en el conjunto. En el lenguaje de la geometría, si hay dos puntos cualesquiera en el conjunto, también lo es el segmento de línea que determinan. Que una línea Poincaré, digamosl, sea convexa en sí misma es consecuencia de un resultado anterior,PS3,#24. La idea es que el concepto de distancia en geometría neutra debe satisfacer la forma estricta de la desigualdad triangular; es decir, para tres puntos distintosA,B, yC, puntoB está entreA yC iff dp(A,B)+dp(B,C)=dp(A,C). Ese ejercicio sólo verificó que la condición se cumple para tres puntos colineales en un modelo de disco de Poincaré. Cualquier 3 puntos (distintos) se hace a continuación.
Para t e otros dos conjuntos determinados por una línea Poincaré, demostramos el contrapositivo. Es decir, si el segmento de línea Poincaré seAB cruza con una línea dadal donde niA niB está adentrol (como se muestra arriba), entonces los puntos están en lados opuestos del. Para ello, en el siguiente modelo de disco de Poincaré, supongamos queX es la intersección de segmentoAB y líneal. La cifra parece implicar el resultado deseado pero que
hecho es consecuencia de la prueba; no es un hecho. mSea la línea Poincaré en la queX se refleja sobreO; i.e.,O=X′ donde esta reflexión significa la inversión en el círculo de la cualm es un arco que es ortogonal al círculo definitorio. Las líneas reflejadasl′ yA′B′ son líneas euclidianas y el plano Poincaré se divide en subconjuntos de los dos medios planos del plano euclidiano determinados por la línea euclidiana de segmentol′. Dado que tambiénA′B′ es un segmento euclidiano con puntoO=X′ en el interior del segmento, la “rectitud” de las líneas euclidianas (es decir, convexidad de ambos medios planos) implica queA 'y B' se encuentran en lados opuestos de la línea euclidiana ℓ′. Por propiedades de inversión en un círculo,A y B debe estar en lados opuestos del.
Hay otro tecnicismo que no debemos pasar por alto (¡junto con muchos otros que lo haremos!) : Necesitamos una función de distancia valorada real no negativad en un conjuntoS para satisfacer la propiedad de desigualdad triangular; para tres elementos cualesquieraA,BC, y, debe ser cierto quedp(A,B)+dp(B,C)≥dp(A,C). Tenemos que verificar esta condición para conocer la distancia de Poincaré. Ya tenemos este resultado para puntos colineales pero necesitamos que sea cierto en general. Es tentador afirmar que, para los puntos no colineales, se trata de una consecuencia inmediata de la Proposición 20 de geometría neutra pero que es un razonamiento circular bastante complicado. Lo cierto es que al asumir geometría formal basada en medidas (es decir, aceptar Postulados de Regla y Transportador), esa proposición solo se probó aquí por razones históricas. El caso es que la desigualdad generalizada tenía que ser cierta axiomáticamente así que para ser un modelo válido se tiene que demostrar para el plano Poincaré (o cualquier otro modelo de un sistema axiomático de geometría neutra, hiperbólico o no).
Teorema: Para tres puntos no colinealesA,B, yC en un plano de disco de Poincaré,dp(A,B)+dp(B,C)>dp(A,C)
Prueba: Considera Poincaré△ABC. Por la siguiente razón, basta con probar únicamente el caso especial, que la hipotenusa de un triángulo rectángulo es mayor que cualquiera de sus patas. Por la construcción del Ex 10, podemos construir la perpendicular de B a líneaAC, digamosF para el pie de la perpendicular. Suponiendo que se ha probado el caso del triángulo rectángulo (la segunda figura),dp(A,B)>dp(A,F) y dedp(B,C)>dp(F,C) manera quedp(A,B)+dp(B,C)>dp(A,F)+dp(F,C)=dp(A,C) en el caso queF cae entreA yC ydp(A,F)+dp(F,C)>dp(A,C) si Fcae fuera del segmento PoincaréAC
Para probardp(A,B)>dp(A,F) (y, por simetríadp(B,C)>dp(F,C)), (Poincaré) reflejarAO enm (la tercera figura) la bisectriz perpendicular del segmento lineal de PoincaréAO (es decir, inversión en el Circulo euclidiano). Esto determina Poincaré△OB′F′≅△ABF asíAB≅OB,AF≅OF′, y∠OF′B′≅∠AFB así que eso∠OF′B′ es un ángulo recto. El resultado deseado se desprende dePS5, #8.
Teorema: SAS sostiene para el modelo Poincaré.
Prueba: Supongamos△ABC y△XYZ son triángulos Poincaré que satisfacen a SAS como triángulos Poincaré. Específicamente, supongamos que, con respecto a la medida de PoincaréAB≅XY,AC≅XZ,, y que sus ángulos incluidos sean congruentes,∠A≅∠X. ReflejandoAX haciaO(A′) y haciaO(X∗), las reflexiones en los bisectores perpendiculares (Poincaré) de segmentosAO y XO respectivamente; es decir, las líneas indicadas a través de sus puntos medios (Poincaré), MyN. Los reflejos de los triángulos conservan sus longitudes de Poincaré y medidas de ángulo para que△ABC≅△A′B′C′ y△XYZ≅△X∗Y∗Z∗( conO=A′=X∗) así estos nuevos triángulos satisfagan las mismas condiciones de Poincaré que los originales; es decir,OB′≅OY∗ y OC′≅OZ∗(como segmentos de Poincaré) y sus ángulos incluidos tambiénO son congruentes.
Por el teorema anterior, sin embargo, estos segmentos transformados (ya que son radios del círculo definitorio) también son congruentes como segmentos euclidianos por lo que los triángulos euclidianos que determinan son congruentes,△OB′C′≅△OY∗Z∗, por elSAS Axioma. Ahora bien un volteo (inversión) en un diámetro (como se muestra en la imagen) o una rotación alrededorO lleva un triángulo euclidianoΔOB′C′ sobre el otro,ΔOX∗Y∗. Esta última inversión es una congruencia Poincaré así como euclidiana ya que las longitudes y ángulos Poincaré se conservan para los dos lados desdeO y su ángulo incluido dejando solo su tercer lado (Poincaré) y otros dos ángulos. Estos deben coincidir también porque (por el Axioma 1) estos otros dos puntos determinan una línea única de Poincaré que determina el lado Poincaré en cuestión. Observaciones similares se aplican a los ángulos que estos arcos determinan con los dos lados radiales. Por simetría y transitividad (i.e., composición), los originales△ABC y△XYZ son congruentes como triángulos de Poincaré. QED.
Teorema: El modelo de Poincaré es un modelo para geometría hiperbólica.
Prueba: Primero tendríamos que precisar todo el resto de esos axiomas no especificados y luego probarlos. No, gracias.
M. C. Escher fue un artista que expresó su intriga con perspectivas inusuales que ofrecen una visión de las inversiones en círculos y el modelo de disco de Poincaré para geometría hiperbólica. Uno de sus más famosos es este Autorretrato en un Espejo Esférico. Se trata de un análogo tridimensional de la situación bidimensional que venimos estudiando, inversión del plano euclidiano en círculo. Como siempre ocurre con un espejo, la reflexión en un espejo no es del todo el equivalente matemático porque sólo es una ilusión. Un espejo perfecto en realidad refleja cada punto en 3 espacios al punto del lado opuesto de tal manera que el espejo es el plano que es la bisectriz perpendicular del segmento determinado por el punto y su imagen; simplemente se ve de esa manera. Obviamente, los puntos en el reverso del espejo no forman parte de la escena en absoluto. En el caso esférico de esta obra, los puntos fuera de la esfera parecen estar dentro (aunque obviamente no lo son) y los puntos en el interior no forman parte de la escena en absoluto por lo que la situación no es una transformación, todo el espacio euclidiano tridimensional está “perforado” sino que sigue siendo altamente sugerente del mismo. La situación del plano que hemos estado estudiando sería la de cada plano a través del centro de la esfera y la inversión de la región fuera del círculo de intersección en ese círculo. [www.freakingnews.com/ Escher-Hand-with-Reflecting-Sphere-in-Color-Pics-50737.asp - Usado sin permiso.]
“Límite de círculo IV” de M.C. Escher.
Todas las obras de M.C. Escher
Cordon Art - Baarn - Holanda
plus.maths.org/content/os/issue18/xfile/index Todos los derechos reservados.
Teselado de H.S.M. Coxeter del
Plano Poincaré con triángulos 30-45-90 congruentes
(o60−45−45 triángulos isósceles)
mathaware.org/mam/03/ensayo1.html
Todos los derechos reservados.
Por último, ¿por qué la Geometría “Hiperbólica” y cuál es su conexión con el modelo Poincaré? De esta portada de un maravilloso libro sobre la historia de la Geometría Hiperbólica, identificar los puntos correspondientes de un hiperboloide elíptico utilizando como guía el modelo Poincaré: Fuentes de Geometría Hiperbólica, John Stillwell. Una copublicación de la AMS y la London Mathematical Society, History of Math, Vol: 10, Imagen de1996. portada reproducida con permiso del Dr. Konrad Polthier.