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

5.2: Conjunto de problemas 5

( \newcommand{\kernel}{\mathrm{null}\,}\)

A menos que se indique lo contrario, asuma todos los axiomas de geometría neutra (aunque no declarada) y también la forma global del Postulado Paralelo Euclideano.

Screen Shot 2022-06-26 a las 5.20.59 PM.png

  1. Demostrar que es válida la siguiente construcción alternativa de la inversión de un punto dado fuera de un círculo dado en el círculo. No olvides confirmar queP está en ray OP.

Screen Shot 2022-06-26 a las 5.28.24 PM.png

Construcción: Dado el círculoγ=(O; R) (es decir, centrado enO el radio R) yP fuera del círculo, dejarA yB ser determinado por círculo (P; OP) y dejarP ser determinada por la otra intersección de círculos (A; AO) y (B; BO). EntoncesP está la inversión deseada deP en el círculo dadoγ.

[Pista: Primero muestra esoO,P, yP son colineales (pensar en segmentoAB).]

¿Por qué no es esto un teorema en geometría neutra? Es decir, todos los pasos de esta construcción se pueden hacer en geometría neutra entonces ¿por qué restringirse a Euclides?

Nota: Los segmentos de línea punteada en la construcción del segundo boceto no formaban parte de la construcción; solo están ahí para enfatizar su existencia parte de la prueba. El significado de esto es que esta construcción se realizó utilizando únicamente brújula. Un teorema asombroso de la geometría euclidiana (Mohr-Mascheroni) es que todas las construcciones posibles de rectas y brújula se pueden hacer sin la recta! Es decir, aunque dos puntos determinan una línea, la línea en sí no necesita ser parte de la siguiente etapa de la construcción utilizando algún procedimiento alternativo. Para hacerse una idea de lo que esto significa (y lo complicadas que son las cosas), considere intentar construir la intersección de dos líneas, cada una dada por solo dos puntos por cada línea sin dibujar realmente las líneas. La solución implica el hecho de que la inversión de las líneas que se cruzan en un círculo apropiado son círculos que se cruzan con una intersección en el centro del círculo de inversión y siendo la otra la inversión de la intersección de las líneas originales que se pueden construir porque todas estas pueden hacerse con solo una brújula. Finalmente, la inversión de ese punto de intersección de los círculos es la intersección deseada.

El proceso que se acaba de describir requiere la capacidad de hacer inversiones de todos los puntos, no sólo de los que están fuera del círculo como con el Ex 1. Así es como se puede hacer eso: Exactamente la misma prueba funciona siP está dentro del círculo pero más de la mitad “fuera”; es decir,OP>R/2. Con una ligera modificación, esto funciona para cualquierPO. La idea se basa en el hecho de que existe una construcción trivial de círculos solo para duplicar un segmento de línea y, por extensión, cualquier número de veces el segmento a lo largo de la misma línea; es decir, colineal con los 2 puntos originales. La idea es usar la brújula en uno de los puntos, construir el círculo con ese segmento como su radio, y luego “caminar a la mitad del círculo con el mismo radio” que con la construcción trivial de un hexágono regular. Ese punto, digamosP2, es diametralmente opuesto aO travésP y por lo tanto colineal con ellos duplicando la longitud del segmento OP. Repitiendo el proceso, da cualquier númeron de puntos colineales igualmente espaciados. El uso de la técnica de inversión descansa en demostrar que siPn es el punto tal queOPn=n(OP), luego invertirPn para obtenerPnn(OOPn)=P, entonces, la inversión del originalP. En el álgebra, la prueba descansa en el hecho de que si0<x<R, entonces0<(Rx)2.

2. Casi por definición, si dos círculos son ortogonales, el centro de cualquiera es exterior al otro (ver Nota 2 inmediatamente después de la descripción de las líneas de Poincaré en el Capítulo 3). Por el Teorema Fundamental de los Círculos Ortogonales, podemos decir mucho más. Demostrar que dos círculos que se cruzan son ortogonales si y solo si un puntoP en uno de ellos que está en el interior del otro tiene su centro en la bisectriz perpendicular del segmento de líneaPP dondeP está la inversión deP en el círculo que contieneP en su interior.

Screen Shot 2022-06-26 en 5.32.48 PM.png

Nota: La prueba de #2 es muy fácil pero es interesante calcular exactamente dónde está esa bisectriz perpendicular en relación con la posición deP y el radio del círculo. Es decir, calcular la posición del punto medio del segmento de línea en función dex=m(OP) yR en esta figura, el centro del círculo (ortogonal) con diámetroPP.

3. DejarA yB ser dos puntos en el interior del círculoγ centrados enO que no son colineales conO en el modelo Poincaré determinado por el círculo euclidianoγ. Construir el segmento de línea Poincaré AB.

  1. Comenzando con el resultado de #3, construir la inversión isométrica (es decir, congruencia) del modelo Poincaré sobre sí mismo que llevaA aO; es decir,A=O y el segmento de línea de PoincaréAB=OB, la(Poincaré congruente) imagen del segmentoAB así determinado.
  2. Comenzando con el resultado de #4, demostrar que la longitud Poincaré del segmentoAB es simplementeln(R+XRX) dondex está la longitud euclidiana del segmentoOB.

Nota: Las medidas aproximadas se pueden determinar por medición directa (y este cálculo final) pero en geometría teórica, la medición directa “no cuenta”. Todas las “medidas” de ángulo, segmento de línea, área y volumen no son realmente medidas en absoluto; son valores numéricos infinitamente precisos, una imposibilidad con la medición directa. El uso de esto en elx,y plano -plano (dado el radioR y dadas las coordenadas de los puntos interioresA y B) puede producir el valor teóricamente preciso dex como una función de las coordenadas deA y Bpor lo que el valor teóricamente preciso de la longitud de Poincaré del segmento determinado AB. Esto se desarrolla en el Manual de Soluciones junto con un ejemplo numérico.

6. Continuando con #4, dejaCO ser un tercer punto en el interior deγ que no es colineal (en el sentido Poincaré) con A y B. Bosquejo en (o construya cuidadosamente) los segmentos de Poincaré AC y BC para obtener el triángulo de PoincaréABC y completar la congruencia ( preservación isométrica de= distancia y preservación del ángulo) transformación del modelo Poincaré sobre sí mismo que llevaA aO; es decir,A=O y esbozar cuidadosamenteABC la imagen del triángulo ABCasí determinado. [Nota: Esta es la construcción básica en la prueba de SAS para el modelo de disco Poincaré.]

  1. Demostrar que, en el plano cartesiano, el círculo de radio 2 centrado en el origen y el círculo de radio3/2 centrado en(5/2,0) son ortogonales. Conoce al menos tres soluciones distintas pero la más fácil es esa(1)(4)=22. ¿Por qué es suficiente ese hecho?
  2. Completar la prueba de la desigualdad triangular de la medida de Poincaré en el caso no colineal (desigualdad estricta) completando la prueba indicada en esta figura de que la hipotenusa de un triángulo rectángulo de Poincaré con un vértice de ángulo agudo en el centro del círculo definitorio es mayor que la pierna con uno punto final en el centro. [Pista: Considere el lema de que, para dos segmentos de Poincaré cada uno con un punto final en el centro del círculo definitorio, la longitud Poincaré de uno es mayor que el otro si y solo si la misma desigualdad es cierta para sus longitudes euclidianas (medidas).

Screen Shot 2022-06-26 a las 5.35.30 PM.png

Nota: Para lectores que conocen un poco de topología, la combinación de los casos colineales y no colineales completa la verificación de la desigualdad general del triángulo necesaria para completar la verificación de que la distancia del modelo de Poincaré lo convierte en un espacio métrico. Más allá de eso, la distancia desdeO lo común a lo largo de los radios (use coordenadas polares con el mismo ángulo para el plano x, y con círculo definitorio centrado en el origen) es un homomorfismo del disco de Poincaré al plano x, y. Más explícitamente:

σSea el modelo de disco de Poincaré centrado enO donde el modelo de los euclidesε es elr,θ plano:f:ε víaf(r,θ)=(df(O,(r,θ)),θ) es un homomorfismo; es decir, topológicamente, exactamente lo mismo.

9. Dar una prueba analítica de que la inversión de un círculo que no contiene el centro del círculo de inversión es un círculo. [Nota: Nunca lo he hecho sin un análisis complejo pero creo que debe funcionar!]

  1. Prueba Caso iv b del “Teorema de Líneas y Círculos”.

Captura de pantalla 2022-06-26 a 5.40.00 PM.png

La idea es que la ecuación de la Parte a siga siendo válida pero la inversión resultante no es una dilatación en el sentido habitual sino que está cerca. Si se extiende la dilatación para incluir multiplicadores negativos; es decir, vectores opuestos, la prueba es exactamente la misma. Para la idea habitual de dilatación, tomar lo contrario de cada uno,X, el círculo discontinuo en lugar de la inversión misma. De hecho, el uso de “longitud negativa” cuando se invierte la dirección de un segmento a lo largo de una línea, el hecho de queO está entreA eB implica el cambio de signo por lo que la negatividad del multiplicadorR2/(OA)(OB).

11. Análogamente a las teselaciones del disco Poincaré con infinitamente muchos triángulos congruentes, una esfera (nuestro mundo real) puede ser fácilmente teselada con finitamente muchos. Al igual que con la geometría hiperbólica, existe un teorema de congruencia AAA en la geometría esférica (si los triángulos no son demasiado grandes). Probablemente lo más fácil es considerar el hemisferio norte (ecuador al polo norte) y, en el polo norte, considerar 4 líneas longitudinales a90 intervalos0,90,180, y270. El resultado son ocho triángulos909090 congruentes que cubren toda la esfera. Aquí hay algunos otros. Encuentra el tamaño de los ángulos de vértice de cada triángulo de un solo color. [Pista: Mira todos los vértices que se unen para hacer360.]

Captura de pantalla 2022-06-26 en 5.43.27 PM.png

Geometrías, A.B. Sossinsky, AMS Student Mathematical Library No. 64,2012. De la portada y utilizada sin permiso.

Construcciones euclidianas de puntos y líneas de Poincaré Disk

No debería sorprender que cualquier figura geométrica construible en geometría neutra (es decir, con abstracciones de una recta y brújula) pueda construirse en el modelo de disco de Poincaré para geometría hiperbólica utilizando construcciones estrictamente euclidianas. Algunos de estos ya los hemos hecho y algunos se dan aquí completos con pruebas para ayudar a tener la “sensación” de cómo funciona esto. Por último, hay algunos con a lo sumo pistas sobre cómo comenzar. A continuación, supongamos que el plano Poincaré estáθ determinado por un círculoγ centrado en O. Requisito previo Se asumen construcciones euclidianas por lo que se omitirán los detalles a menos que parezcan particularmente útiles o necesarios:

El círculo determinado por tres puntos no colineales.

La tangente a un círculo en un punto sobre él.

Las tangentes a un círculo desde un punto fuera de él.

La inversión en un círculo de un punto dentro o fuera del círculo.

12. La línea Poincaré perpendicular a una línea de Poincaré en un puntoP (sea o noP).

Captura de pantalla 2022-06-26 en 5.47.47 PM.png

Se presentan dos casos:

DejarK yL ser las intersecciones del círculo euclidiano de la línea Poincaré con el círculo definitorioγ con centro enO.

Caso 1:P es equidistante deK yL, o

Caso 2: P no es equidistante deK yL.

Caso 1:P es equidistante deK yL y así esO (radios del círculo definitorio) así que la líneaOP es la bisectriz perpendicular del segmento KL a menos queP=O (figura) en cuyo caso construya Q, otro punto equidistante deK yL. Entonces la líneaPQ=OQ es la bisectriz perpendicular del segmento KL. La líneaPQ=OQ es el Poincaré deseado perpendicular a la línea.

Prueba: DejaF ser la intersección de esta línea con. Necesitamos saber que la línea PQ es la Poincaré perpendicular a la línea Poincaré pero (por la definición de medida del ángulo de Poincaré) es decir si y sólo si es perpendicular a la tangente euclidiana en el punto F. Sin embargo, obtenemos esto “gratis” porque segmento KL también es un acorde de la Círculo euclidiano que determina la línea Poincaré para que su centro, digamos C, sea equidistanteK yL asíC también se encuentre en la línea OP. Por lo tanto, la perpendicular euclidiana aF es perpendicular al radio FC y, por el teorema estándar, esta línea perpendicular es la tangente euclidiana a ese círculo.

Caso 2: DejarP ser la inversión deP inγ y dejar queC se determine como la intersección de la bisectriz perpendicular de segmentoPP con la línea KL ya que deben cruzarse. Entonces la línea Poincaré deseada es el arco abierto del círculo indicadoδ=(C;CP). Por si acasoPl, la situación es exactamente la misma y lo concluiríamosF=P.

Captura de pantalla 2022-06-26 en 5.51.22 PM.png

Prueba: La ortogonalidad deδ conγ es inmediata del Teorema Fundamental de los Círculos Ortogonales ya que el rayo OP también contieneP, la inversión deP inγ. Por definición de la línea Poincaré, el círculo definitorio de la línea Poincaré también es ortogonal aγ y el rayo CL también contieneK. Nuevamente por el Teorema Fundamental de los Círculos Ortogonales, el círculo de la línea Poincaré también es ortogonal aδ. Es decir, la línea Poincaré enP determinada por el círculo ortogonal (conγ)δ es el Poincaré deseado perpendicular a y el punto indicadoF es el pie F de la perpendicular Poincaré. Sorprendentemente, ¡tenemos todo lo que necesitamos casi gratis!

13. La perpendicular común a dos líneas paralelas no límite:

Captura de pantalla 2022-06-26 en 5.52.42 PM.png

Dejarl ym ser líneas Poincaré yk yn ser las líneas euclidianas de los acordes de los círculos euclidianos (o línea) determinados porl ym, respectivamente, conγ. Sik yn no se cruzan, es decir, son paralelos euclidianos, la línea es el diámetro de los bisectores perpendiculares comunes de los acordes. Sik y sen cruzan, digamosC, este es el centro del círculo deseado y el punto de tangencia de éste a cualquiera de los arcos del círculo euclidianoγ,l, om, por ejemploT, determina el radio asíδ=(C;CT) determina la línea Poincaré deseadaPQ.

Prueba: Dado que la línea euclidiana CT es tangente aγ, el nuevo círculo es ortogonal para que se determine una línea Poincaré. Ortogonalidad conl ym es inmediata como en el Ej. 12.

14. El límite es paralelo a líneal en punto,p no en:

Captura de pantalla 2022-06-26 en 5.59.13 PM.png

Caso 1: SiP=O, las líneas deseadas son los diámetros obvios.

Caso 2:PO, dejeP ser la inversiónP enγ obtenerP.

DejarM, yN ser los puntos determinados por la extensión (círculo o línea euclidiana) de conγ. Los círculos euclidianos (es decir, las líneas de Poincaré) son los determinados porP,P, yM oN.

Nota: Esta es la misma construcción que la de la línea Poincaré determinada por dos puntos Poincaré excepto que uno de ellos es ahora un punto límite en lugar de uno de los puntos interiores.

15. La bisectriz perpendicular de un segmento de línea Poincaré:

DejarA yB ser los puntos finales del segmento dado de Poincaré:

Captura de pantalla 2022-06-26 a 6.03.03 PM.png

Caso 1:OAOB. Trivial; es la bisectriz perpendicular de la cuerda euclidiana AB. (No hay puntoC en la figura.)

Caso 2:A,B, yO colineal. En este caso, el segmento de PoincaréAB es el mismo conjunto que el segmento euclidianoAB y el círculo de Poincaré con diámetroAB es el mismo conjunto que el círculo euclidiano con el mismo diámetro por lo que primero construye el círculo euclidiano con ese diámetro (punto medio y ...) y finalmente su centro Poincaré (Ex 17).

Caso 3: A, B yO no colineales. Las líneas euclidianasAB y noPQ son paralelas (eso fue Caso 1) así que dejóC ser su intersección. Proceder como se indica.

16. La línea de reflexión Poincaré (es decir, círculo euclidiano de inversión) que lleva un punto dado a otro punto dado: Esto generaliza el importante caso especial de reflejar un punto al centro del círculo definitorio. [Pista: Exactamente Ex. 15, A a B o equivalentemente, B a A.]

  1. El centro Poincaré de un círculo Poincaré:

Una solución natural pero tediosa es usar el Ej. 14 y seguir la construcción estándar (geometría neutra). Es decir, elegir cuatro puntos cualesquiera (o tres es más común) para determinar dos acordes de Poincaré siendo el centro la intersección de los círculos de Poincaré. Una solución mucho más fácil es “engañar” construyendo primero su centro euclidiano y, al usar la línea de centros para ser uno de los bisectores perpendiculares, podemos salir adelante con una sola cuerda.

Captura de pantalla 2022-06-26 a 6.05.34 PM.png

Construcción:O Sea el centro del círculo definitorioγ y dejeCE ser el centro euclidiano del círculo Poincaré. SiO=CE, estamos hechos así suponemos que determinan una línea y dejanA yB sean sus intersecciones con el círculo en cuestión. XSea cualquier otro punto de círculo. Construir la línea Poincaré determinada por A y X y la bisectriz perpendicularm del segmento de PoincaréAX (Ej. 15). La intersección dem y diámetroAB,CP, es el centro Poincaré del círculo. La segunda construcción es la misma pero usando BX en lugar de AX. Como se describe en la prueba a continuación, existe una ventaja práctica cuando los puntos A y B están así posicionados.

Captura de pantalla 2022-06-26 en 6.06.11 PM.png

Prueba: El hecho de que el centro Poincaré esté en el diámetro de los centros euclidianos será consecuencia de la prueba y se basa en elegir cuidadosamente los 3 puntos para 2 acordes Poincaré de los cuales los bisectores perpendiculares de Poincaré deben cruzarse para determinar el centro por geometría neutra consideraciones. La idea es utilizarX yA (o B) para determinar uno de los acordes y segmento euclidianoOX (oAX oBX) para balancear un arco para establecerY como la reflexión euclidiana de Xen la línea de centros. Completamente por simetría, la bisectriz perpendicular Poincaré de Poincaré acorde AY (o BY) debe cruzarse en el mismo punto,Cp.

 Note 1: _La construcción de la línea Poincaré AX es particularmente desordenada porque está tan cerca deO que el centro del círculo euclidiano de la línea Poincaré está lejos de la página tan difícil de construir físicamente con herramientas euclidianas o incluso de ver realmente (en una práctica sentido, no teórico) la ubicación de su centro. Elegir BX en su lugar lo hace mucho más claro.

\boldsymbol{\underline{\text { Note 2: This construction can be used to construct the Poincaré midpoint of a line segment AB when A and }}Bson colineales conO. La idea es construir su punto medio euclidiano y el círculo euclidiano con diámetro AB. Por último, elija cualquierX otro punto del círculo, y siga la misma construcción. EntoncesCp es el punto medio Poincaré de AB.

18. El Círculo dado su Centro y Radio Poincaré:

Captura de pantalla 2022-06-27 a las 10.33.28 AM.png

Construcción: DejarO ser el centro del círculo definitorioγ y dejar queCp sea el centro de Poincaré y el segmento de PoincaréCpR=r sea el radio del círculo de Poincaré determinadoδ=(Cp;CpR) para ser construido utilizando Herramientas euclidianas, todas indicadas en negrita. Primero, construirθ, inversión en la que llevaCp aO,O=Cp. También llevaR aR eso debe mentirδ, la inversión deδ inθ. construcción deδ=(O;OR)=(O;r) es una trivialidad y, dejarX yY ser las intersecciones deδ, tenemos un diámetro, cuya inversión enθ,X yY, debe ser un diámetro del círculo deseadoδ. Ahora tenemos dos formas de terminar la construcción, ya sea usar los 3 puntos deδ saber que es un círculo euclidianoX,Y, yR, o construir el punto medio euclidianoM del segmento XYy tenemosδ=(M,M)=(M,M)

19. Teorema: Un conjunto de puntos Poincaré es un círculo Poincaré si y solo si se trata de un círculo euclidiano que se encuentra completamente dentro del círculo definitorio.

Captura de pantalla 2022-06-27 en 10.34.56 AM.png

20. El Bisectriz Poincaré de un Ángulo Poincaré:

Aquí hay dos soluciones. Refleja el vértice hacia el centro y sigue un punto en cada rayo... O construya las tangentes euclidianas a cada línea de Poincaré en el vértice y biseccione el ángulo euclidiano resultante. Finalmente, construya el círculo ortogonal a través de ese punto y tangente al ángulo bisectriz.

Nota: Una vez que tienes una idea de cómo va esto, los más complicados no son tan difíciles pero incluso copiar un segmento de línea o un ángulo es más complicado de lo que piensas pero son absolutamente críticos para la prueba de que el Disco Poincaré es un modelo para geometría hiperbólica. Aquí hay un ejemplo:

21. Las tangentes a un Círculo Poincaré P fuera del Círculo:

La solución más obvia es seguir la construcción de geometría neutra (PS 2, #25 como se muestra en PS 3, #25) ya que ahora se ha presentado cada una de las construcciones euclidianas necesarias. Otro enfoque es la idea de invertir un punto crítico paraO, hacer el trabajo, y luego invertir de nuevo, una técnica común que se ha utilizado antes (e.g., SAS).

Captura de pantalla 2022-06-27 a las 10.36.26 AM.png

La idea es elegir el punto crítico para mapear al centro del círculo definitorio por inversión en una línea apropiada de Poincaré. Que el círculo sea el que tenga el centro Poincaré C (C no se usa en la construcción euclidiana - ver detalles abajo) y P sea el punto a partir del cual se van a construir las tangentes y la línea apropiada de Poincaré es la centrada en la inversión deP en el círculo definitorio, digamos P(no representado aquí) para no confundirlo con inversiones en este nuevo círculo) con el radio determinado por la Euclidiana *perpendicularP al rayoOP dondeO está el centro del círculo definitorio. Este círculo determina, el arco pasanteM, la bisectriz perpendicular de Poincaré del segmento lineal OP, la línea que reflejaP a O. Reflejando el círculo en esta línea (es decir, inversión en este círculo euclidiano), su reflejo será otro círculo pero, esta vez, el punto en cuestión es el centro del círculo definitorio de manera que sus tangentes euclidianas son también sus tangentes Poincaré, puntosA y enB. la figura. InvertiendoA yB en la misma línea obtenemos los puntos de tangencia,A yB. UsandoP, tenemos tres puntos para construir cada uno de los círculos euclídeos ortogonales necesarios; es decir, cada uno de los círculos determinados porPA, yP yP,B, yP. Estos arcos son las tangentes deseadas ya que conservan la ortogonalidad con los radios de Poincaré enA y B.

En realidad hacer esto sin la ayuda de Cenicienta, incluso con la ayuda del Bloc de bocetos de Geometer, se vuelve un poco desordenado: Como último ejercicio en el Capítulo 4, comenzamos conα, un círculo que contieneO, el centro del círculo definitorio solo para mostrar cómo el centro se invierte afuera comoP se invierte aO. ¿Cómo hacer eso? Que C sea su centro euclidiano (en lugar de su centro Poincaré en la imagen de arriba) y considere los puntos X yY (no representados) determinados por el rayoPC, un diámetro euclidiano del círculo. InvertirX yY en el círculo inversor para obtenerX yY que debe ser un diámetro del círculo invertido. Ahora el punto medio euclidianoM del segmentoXY con cualquiera de los dos puntos para el radio determina el círculo invertido completoα. Las tangentes Poincaré desdeO=P este nuevo círculo son exactamente las mismas que las euclidianas así que determinan los puntos tangentes euclidianosA yB del círculo invertido. Estos son también los puntos tangentes Poincaré así que invertirlos de nuevo al círculo originalA yB. Los círculos euclidianos determinados porP,A, yP yPB, yP determinan las líneas tangentes de Poincaré deseadas.

Captura de pantalla 2022-06-27 a las 10.39.16 AM.png

Confundir, ¿no? En lo anterior, el círculo definitorio esγ el círculo grande de la izquierda con centroO y el círculo dado es el círculo más grandeα que contiene enO su interior con centro euclidianoC, y el punto Pfuera de ese círculo, a partir del cual se van a construir las tangentes Poincaré, está en el lío en el medio. La perpendicular al rayoOP enP estableceQ y la intersección de la tangente enQ con el rayoOP estableceP, la inversión deP en γ. El círculo centrado enP de radioPQ establece la línea de Poincaré, la reflexión en la queP se lleva aO=P. El reflejo del plano Poincaré en esta línea lleva el círculo en cuestión a otro círculo dentro del círculo definitorio. Una forma de establecer ese círculo reflejado es reflejar los puntosX diametrales yY establecidos por el rayoPC para establecer puntos diametrales del círculo invertidoX yY. El centro euclidiano de este círculo (también Poincaré)M es solo el punto medio euclidiano del segmentoXY necesario para construirα, el reflejo del círculoα en línea y para construir puntos AyB, los puntos euclidianos de tangencia desdeO hastaα, de ahí las tangentes euclidianas aα sí mismas (incluidas aquí pero realmente no utilizadas en la construcción). ReflejandoA yB en la línea inversadoral para establecerA yB sobre el círculo originalα, hemos determinado los puntos de tangencia (ya que la inversión en un círculo conserva ángulos incluyendo ortogonalidad que establecerán tangencia Poincaré). Dado que A', P, P* deben estar en el círculo euclidiano, podemos construir el círculo construyéndolo en el centroCPA (fuera de la parte superior de la figura) y el arco del círculo es el rayo tangente de PoincaréPA y de manera similarCPB (se muestra) y las tangentes de Poincaré se construyen.


This page titled 5.2: Conjunto de problemas 5 is shared under a CC BY-NC 4.0 license and was authored, remixed, and/or curated by Wayne Bishop.


This page titled 5.2: Conjunto de problemas 5 is shared under a CC BY-NC 4.0 license and was authored, remixed, and/or curated by Wayne Bishop.

Support Center

How can we help?