En la geometría del plano euclidiano , el problema de Apolonio es construir círculos que sean tangentes a tres círculos dados en un plano (Figura 1). Apolonio de Perge (c. 262 aC - c. 190 aC) planteó y resolvió este famoso problema en su obra workπαφαί ( Epaphaí , "Tangencias"); este trabajo se ha perdido , pero ha sobrevivido un informe del siglo IV d.C. de sus resultados por Pappus de Alejandría . Tres círculos dados generalmente tienen ocho círculos diferentes que son tangentes a ellos (Figura 2), un par de soluciones para cada forma de dividir los tres círculos dados en dos subconjuntos (hay 4 formas de dividir un conjunto de cardinalidad 3 en 2 partes).
En el siglo XVI, Adriaan van Roomen resolvió el problema usando hipérbolas que se cruzan , pero esta solución no usa solo construcciones de regla y compás . François Viète encontró una solución de este tipo explotando casos límite : cualquiera de los tres círculos dados puede reducirse a un radio cero (un punto) o expandirse a un radio infinito (una línea). El enfoque de Viète, que utiliza casos límite más simples para resolver los más complicados, se considera una reconstrucción plausible del método de Apolonio. El método de van Roomen fue simplificado por Isaac Newton , quien demostró que el problema de Apolonio es equivalente a encontrar una posición a partir de las diferencias de sus distancias a tres puntos conocidos. Esto tiene aplicaciones en sistemas de navegación y posicionamiento como LORAN .
Los matemáticos posteriores introdujeron métodos algebraicos, que transforman un problema geométrico en ecuaciones algebraicas . Estos métodos se simplificaron explotando las simetrías inherentes al problema de Apolonio: por ejemplo, los círculos de solución generalmente ocurren en pares, con una solución que encierra los círculos dados que la otra excluye (Figura 2). Joseph Diaz Gergonne utilizó esta simetría para proporcionar una elegante solución de regla y compás, mientras que otros matemáticos utilizaron transformaciones geométricas como la reflexión en un círculo para simplificar la configuración de los círculos dados. Estos desarrollos proporcionan un escenario geométrico para los métodos algebraicos (usando geometría de esfera de Lie ) y una clasificación de soluciones de acuerdo con 33 configuraciones esencialmente diferentes de los círculos dados.
El problema de Apolonio ha estimulado mucho más trabajo. Se han estudiado generalizaciones a tres dimensiones —construcción de una esfera tangente a cuatro esferas dadas— y más allá . Se ha prestado especial atención a la configuración de tres círculos mutuamente tangentes. René Descartes dio una fórmula que relaciona los radios de los círculos solución y los círculos dados, ahora conocido como teorema de Descartes . Resolver el problema de Apolonio de forma iterativa en este caso conduce a la junta de Apolínea , que es uno de los primeros fractales que se describen en forma impresa, y es importante en la teoría de números mediante los círculos de Ford y el método del círculo de Hardy-Littlewood .
Planteamiento del problema
El enunciado general del problema de Apolonio es construir uno o más círculos que sean tangentes a tres objetos dados en un plano, donde un objeto puede ser una línea, un punto o un círculo de cualquier tamaño. [1] [2] [3] [4] Estos objetos pueden estar dispuestos de cualquier forma y pueden cruzarse entre sí; sin embargo, generalmente se consideran distintos, lo que significa que no coinciden. Las soluciones al problema de Apolonio a veces se llaman círculos de Apolonio , aunque el término también se usa para otros tipos de círculos asociados con Apolonio.
La propiedad de tangencia se define como sigue. Primero, se supone que un punto, línea o círculo es tangente a sí mismo; por tanto, si un círculo dado ya es tangente a los otros dos objetos dados, se cuenta como una solución al problema de Apolonio. Se dice que dos objetos geométricos distintos se cruzan si tienen un punto en común. Por definición, un punto es tangente a un círculo o una línea si los cruza, es decir, si se encuentra sobre ellos; por tanto, dos puntos distintos no pueden ser tangentes. Si el ángulo entre líneas o círculos en un punto de intersección es cero, se dice que son tangentes ; el punto de intersección se llama punto tangente o punto de tangencia . (La palabra "tangente" deriva del participio presente latino , tangens , que significa "tocar".) En la práctica, dos círculos distintos son tangentes si se cruzan en un solo punto; si se cruzan en cero o dos puntos, no son tangentes. Lo mismo es válido para una línea y un círculo. Dos líneas distintas no pueden ser tangentes en el plano, aunque dos líneas paralelas pueden considerarse tangentes en un punto en el infinito en geometría inversa (ver más abajo ). [5] [6]
El círculo de solución puede ser interna o externamente tangente a cada uno de los círculos dados. Una tangencia externa es aquella en la que los dos círculos se separan el uno del otro en su punto de contacto; se encuentran en lados opuestos de la línea tangente en ese punto y se excluyen entre sí. La distancia entre sus centros es igual a la suma de sus radios. Por el contrario, una tangencia interna es aquella en la que los dos círculos se curvan de la misma manera en su punto de contacto; los dos círculos se encuentran en el mismo lado de la línea tangente y un círculo encierra al otro. En este caso, la distancia entre sus centros es igual a la diferencia de sus radios. Como ilustración, en la Figura 1, el círculo de solución rosa es internamente tangente al círculo negro de tamaño mediano dado a la derecha, mientras que es externamente tangente a los círculos dados más pequeños y más grandes a la izquierda.
El problema de Apolonio también se puede formular como el problema de ubicar uno o más puntos de manera que las diferencias de sus distancias a tres puntos dados sean iguales a tres valores conocidos. Considere un círculo solución de radio r sy tres círculos dados de radios r 1 , r 2 y r 3 . Si el círculo solución es externamente tangente a los tres círculos dados, las distancias entre el centro del círculo solución y los centros de los círculos dados son iguales a d 1 = r 1 + r s , d 2 = r 2 + r s y d 3 = r 3 + r s , respectivamente. Por lo tanto, las diferencias en estas distancias son constantes, como d 1 - d 2 = r 1 - r 2 ; dependen sólo de los radios conocidos de los círculos dados y no del radio r s del círculo solución, que se cancela. Esta segunda formulación del problema de Apolonio se puede generalizar a círculos solución internamente tangentes (para los cuales la distancia centro-centro es igual a la diferencia de radios), cambiando las diferencias correspondientes de distancias a sumas de distancias, de modo que el radio del círculo solución r s nuevamente se cancela. La reformulación en términos de distancias centro-centro es útil en las siguientes soluciones de Adriaan van Roomen e Isaac Newton , y también en el posicionamiento hiperbólico o trilateración, que es la tarea de ubicar una posición a partir de diferencias de distancias a tres puntos conocidos. Por ejemplo, los sistemas de navegación como LORAN identifican la posición de un receptor a partir de las diferencias en los tiempos de llegada de las señales de tres posiciones fijas, que corresponden a las diferencias en las distancias a esos transmisores. [7] [8]
Historia
Se ha desarrollado un rico repertorio de métodos geométricos y algebraicos para resolver el problema de Apolonio, [9] [10] que ha sido llamado "el más famoso de todos" los problemas de geometría. [3] El enfoque original de Apolonio de Perga se ha perdido, pero François Viète y otros han ofrecido reconstrucciones , basadas en las pistas de la descripción de Pappus de Alejandría . [11] [12] El primer nuevo método de solución fue publicado en 1596 por Adriaan van Roomen , quien identificó los centros de los círculos de solución como los puntos de intersección de dos hipérbolas . [13] [14] El método de Van Roomen fue refinado en 1687 por Isaac Newton en sus Principia , [15] [16] y por John Casey en 1881. [17]
Aunque logró resolver el problema de Apolonio, el método de van Roomen tiene un inconveniente. Una propiedad apreciada en la geometría euclidiana clásica es la capacidad de resolver problemas usando solo un compás y una regla . [18] Muchas construcciones son imposibles usando solo estas herramientas, como dividir un ángulo en tres partes iguales . Sin embargo, muchos de estos problemas "imposibles" pueden resolverse mediante la intersección de curvas como hipérbolas, elipses y parábolas ( secciones cónicas ). Por ejemplo, duplicar el cubo (el problema de construir un cubo de dos veces el volumen de un cubo dado) no se puede hacer usando solo una regla y un compás, pero Menaechmus demostró que el problema se puede resolver usando las intersecciones de dos parábolas . [19] Por lo tanto, la solución de van Roomen, que usa la intersección de dos hipérbolas, no determinó si el problema satisfacía la propiedad de regla y compás.
El amigo de Van Roomen, François Viète , quien había instado a van Roomen a trabajar en el problema de Apolonio en primer lugar, desarrolló un método que usaba solo brújula y regla. [20] Antes de la solución de Viète, Regiomontanus dudaba que el problema de Apolonio pudiera resolverse con regla y compás. [21] Viète primero resolvió algunos casos especiales simples del problema de Apolonio, como encontrar un círculo que pasa por tres puntos dados que tiene una sola solución si los puntos son distintos; Luego se preparó para resolver casos especiales más complicados, en algunos casos reduciendo o expandiendo los círculos dados. [1] Según el informe de Pappus del siglo IV, el propio libro de Apolonio sobre este problema, titulado Ἐπαφαί ( Epaphaí , "Tangencias"; latín: De tactionibus , De contactibus ), siguió un enfoque progresivo similar. [11] Por lo tanto, la solución de Viète se considera una reconstrucción plausible de la solución de Apolonio, aunque tres autores diferentes han publicado otras reconstrucciones de forma independiente. [22]
Varias otras soluciones geométricas al problema de Apolonio se desarrollaron en el siglo XIX. Las soluciones más notables son las de Jean-Victor Poncelet (1811) [23] y de Joseph Diaz Gergonne (1814). [24] Mientras que la demostración de Poncelet se basa en centros homotéticos de círculos y el poder de un teorema de puntos , el método de Gergonne explota la relación conjugada entre líneas y sus polos en un círculo. Los métodos que utilizan la inversión de círculos fueron iniciados por Julius Petersen en 1879; [25] un ejemplo es el método de solución anular de HSM Coxeter . [2] Otro enfoque utiliza la geometría de la esfera de Lie , [26] que fue desarrollada por Sophus Lie .
Las soluciones algebraicas al problema de Apolonio fueron pioneras en el siglo XVII por René Descartes y la princesa Isabel de Bohemia , aunque sus soluciones eran bastante complejas. [9] Los métodos algebraicos prácticos fueron desarrollados a finales del siglo XVIII y XIX por varios matemáticos, incluidos Leonhard Euler , [27] Nicolas Fuss , [9] Carl Friedrich Gauss , [28] Lazare Carnot , [29] y Augustin Louis Cauchy . [30]
Métodos de solución
Intersección de hipérbolas
La solución de Adriaan van Roomen (1596) se basa en la intersección de dos hipérbolas . [13] [14] Denotemos los círculos dados como C 1 , C 2 y C 3 . Van Roomen resolvió el problema general resolviendo un problema más simple, el de encontrar los círculos que son tangentes a dos círculos dados, como C 1 y C 2 . Señaló que el centro de un círculo tangente a ambos círculos dados debe estar en una hipérbola cuyos focos son los centros de los círculos dados. Para entender esto, denoten los radios del círculo solución y los dos círculos dados como r s , r 1 y r 2 , respectivamente (Figura 3). La distancia d 1 entre los centros del círculo solución y C 1 es r s + r 1 o r s - r 1 , dependiendo de si estos círculos se eligen para ser tangentes externa o internamente, respectivamente. De manera similar, la distancia d 2 entre los centros del círculo solución y C 2 es r s + r 2 o r s - r 2 , nuevamente dependiendo de la tangencia elegida. Por tanto, la diferencia d 1 - d 2 entre estas distancias es siempre una constante que es independiente de r s . Esta propiedad, de tener una diferencia fija entre las distancias a los focos , caracteriza a las hipérbolas, por lo que los posibles centros del círculo solución se encuentran en una hipérbola. Se puede dibujar una segunda hipérbola para el par de círculos C 2 y C 3 dados , donde la tangencia interna o externa de la solución y C 2 debe elegirse de manera consistente con la de la primera hipérbola. Una intersección de estas dos hipérbolas (si las hay) da el centro de un círculo solución que tiene las tangencias internas y externas elegidas a los tres círculos dados. El conjunto completo de soluciones al problema de Apolonio se puede encontrar considerando todas las combinaciones posibles de tangencia interna y externa del círculo solución a los tres círculos dados.
Isaac Newton (1687) refinó la solución de van Roomen, de modo que los centros del círculo solución se ubicaron en las intersecciones de una línea con un círculo. [15] Newton formula el problema de Apolonio como un problema de trilateración : ubicar un punto Z desde tres puntos A , B y C dados , de modo que las diferencias en las distancias de Z a los tres puntos dados tengan valores conocidos. [31] Estos cuatro puntos corresponden al centro del círculo solución ( Z ) y los centros de los tres círculos dados ( A , B y C ).
En lugar de resolver las dos hipérbolas, Newton construye sus líneas directrices . Para cualquier hipérbola, la relación de distancias desde un punto Z a un foco A y a la directriz es una constante fija llamada excentricidad . Las dos directrices se cruzan en un punto T y, a partir de sus dos relaciones de distancia conocidas, Newton construye una línea que pasa por T en la que Z debe estar. Sin embargo, también se conoce la relación de distancias TZ / TA; por tanto, Z también se encuentra en un círculo conocido, ya que Apolonio había demostrado que un círculo puede definirse como el conjunto de puntos que tienen una relación determinada de distancias a dos puntos fijos. (Aparte, esta definición es la base de las coordenadas bipolares .) Por tanto, las soluciones al problema de Apolonio son las intersecciones de una línea con un círculo.
La reconstrucción de Viète
Como se describe a continuación , el problema de Apolonio tiene diez casos especiales, dependiendo de la naturaleza de los tres objetos dados, que pueden ser un círculo ( C ), una línea ( L ) o un punto ( P ). Por costumbre, estos diez casos se distinguen por códigos de tres letras, como CCP . [32] Viète resolvió los diez casos usando solo construcciones de compás y regla, y usó las soluciones de casos más simples para resolver los casos más complejos. [1] [20]
Viète comenzó resolviendo el caso PPP (tres puntos) siguiendo el método de Euclides en sus Elementos . A partir de esto, derivó un lema correspondiente al teorema de la potencia de un punto , que usó para resolver el caso LPP (una línea y dos puntos). Siguiendo a Euclides por segunda vez, Viète resolvió el caso LLL (tres líneas) usando las bisectrices de los ángulos . Luego derivó un lema para construir la línea perpendicular a una bisectriz de ángulo que pasa por un punto, que usó para resolver el problema LLP (dos líneas y un punto). Esto explica los primeros cuatro casos del problema de Apolonio, los que no involucran círculos.
Para resolver los problemas restantes, Viète aprovechó el hecho de que los círculos dados y el círculo de solución pueden redimensionarse en tándem conservando sus tangencias (Figura 4). Si el radio del círculo solución se cambia en una cantidad Δ r , el radio de sus círculos dados internamente tangentes debe cambiarse igualmente por Δ r , mientras que el radio de sus círculos dados externamente tangentes debe cambiarse por −Δ r . Por lo tanto, a medida que el círculo solución se hincha, los círculos dados internamente tangentes deben hincharse en tándem, mientras que los círculos dados externamente tangentes deben contraerse, para mantener sus tangencias.
Viète utilizó este enfoque para reducir uno de los círculos dados a un punto, reduciendo así el problema a un caso más simple y ya resuelto. Primero resolvió el caso de CLL (un círculo y dos líneas) reduciendo el círculo a un punto, convirtiéndolo en un caso de LLP . Luego resolvió el caso CLP (un círculo, una línea y un punto) usando tres lemas. Volviendo a reducir un círculo a un punto, Viète transformó el caso CCL en un caso CLP . Luego resolvió el caso CPP (un círculo y dos puntos) y el caso CCP (dos círculos y un punto), este último caso por dos lemas. Finalmente, Viète resolvió el caso general de CCC (tres círculos) reduciendo un círculo a un punto, convirtiéndolo en un caso de CCP .
Soluciones algebraicas
El problema de Apolonio se puede enmarcar como un sistema de tres ecuaciones para el centro y el radio del círculo solución. [33] Dado que los tres círculos dados y cualquier círculo solución deben estar en el mismo plano, sus posiciones se pueden especificar en términos de las coordenadas ( x , y ) de sus centros. Por ejemplo, las posiciones centrales de los tres círculos dados se pueden escribir como ( x 1 , y 1 ), ( x 2 , y 2 ) y ( x 3 , y 3 ), mientras que la de un círculo solución se puede escribir como ( x s , y s ). De manera similar, los radios de los círculos dados y un círculo solución se pueden escribir como r 1 , r 2 , r 3 y r s , respectivamente. El requisito de que un círculo solución debe tocar exactamente cada uno de los tres círculos dados se puede expresar como tres acoplados ecuaciones cuadráticas para x s , y s y r s :
Los tres números s 1 , s 2 y s 3 en el lado derecho , llamados signos, pueden ser iguales a ± 1, y especifican si el círculo de solución deseado debe tocar el círculo dado correspondiente internamente ( s = 1) o externamente ( s = −1). Por ejemplo, en las Figuras 1 y 4, la solución rosa es internamente tangente al círculo dado de tamaño mediano a la derecha y externamente tangente a los círculos dados más pequeños y más grandes a la izquierda; si los círculos dados están ordenados por radio, los signos de esta solución son "- + -" . Dado que los tres signos se pueden elegir de forma independiente, hay ocho conjuntos posibles de ecuaciones (2 × 2 × 2 = 8) , cada conjunto corresponde a uno de los ocho tipos de círculos de solución.
El sistema general de tres ecuaciones puede resolverse mediante el método de las resultantes . Cuando se multiplican, las tres ecuaciones tienen x s 2 + y s 2 en el lado izquierdo y r s 2 en el lado derecho. Restar una ecuación de otra elimina estos términos cuadráticos; los términos lineales restantes pueden ser re-dispuesta para producir fórmulas para las coordenadas x s y Y s
donde M , N , P y Q son funciones conocidas de los círculos dados y la elección de los signos. La sustitución de estas fórmulas en una de las tres ecuaciones iniciales da una ecuación cuadrática para r s , que puede resolverse mediante la fórmula cuadrática . La sustitución del valor numérico de r s en las fórmulas lineales se obtienen los valores correspondientes de x s y Y s .
Los signos s 1 , s 2 y s 3 en los lados derechos de las ecuaciones pueden elegirse de ocho formas posibles, y cada elección de signos da hasta dos soluciones, ya que la ecuación para r s es cuadrática . Esto podría sugerir (incorrectamente) que hay hasta dieciséis soluciones al problema de Apolonio. Sin embargo, debido a una simetría de las ecuaciones, si ( r s , x s , y s ) es una solución, con signos s i , entonces también lo es (- r s , x s , y s ), con signos opuestos - s i , que representa el mismo círculo de solución. Por lo tanto, el problema de Apolonio tiene como máximo ocho soluciones independientes (Figura 2). Una forma de evitar esta doble contabilización es considerar solo círculos solución con radio no negativo.
Las dos raíces de cualquier ecuación cuadrática pueden ser de tres tipos posibles: dos números reales diferentes , dos números reales idénticos (es decir, una raíz doble degenerada) o un par de raíces conjugadas complejas . El primer caso corresponde a la situación habitual; cada par de raíces corresponde a un par de soluciones que están relacionadas por inversión de círculo , como se describe a continuación (Figura 6). En el segundo caso, ambas raíces son idénticas, correspondientes a un círculo solución que se transforma en sí mismo bajo inversión. En este caso, uno de los círculos dados es en sí mismo una solución al problema de Apolonio, y el número de soluciones distintas se reduce en uno. El tercer caso de radios conjugados complejos no corresponde a una solución geométricamente posible para el problema de Apolonio, ya que un círculo solución no puede tener un radio imaginario; por lo tanto, el número de soluciones se reduce en dos. El problema de Apolonio no puede tener siete soluciones, aunque puede tener cualquier otro número de soluciones de cero a ocho. [12] [34]
Geometría de la esfera de mentira
Las mismas ecuaciones algebraicas se pueden derivar en el contexto de la geometría de la esfera de Lie . [26] Esa geometría representa círculos, líneas y puntos de forma unificada, como un vector de cinco dimensiones X = ( v , c x , c y , w , sr ), donde c = ( c x , c y ) es el centro del círculo, y r es su radio (no negativo). Si r no es cero, el signo s puede ser positivo o negativo; para la visualización, s representa la orientación del círculo, con círculos en sentido antihorario que tienen una s positiva y círculos en el sentido de las agujas del reloj tienen una s negativa . El parámetro w es cero para una línea recta y uno en caso contrario.
En este mundo de cinco dimensiones, existe un producto bilineal similar al producto escalar :
El cuadrático de Lie se define como aquellos vectores cuyo producto consigo mismo (su norma cuadrada ) es cero, ( X | X ) = 0. Sean X 1 y X 2 dos vectores pertenecientes a este cuadrático; la norma de su diferencia es igual
El producto se distribuye sobre la suma y la resta (más precisamente, es bilineal ):
Dado que ( X 1 | X 1 ) = ( X 2 | X 2 ) = 0 (ambos pertenecen a la cuadrática de Lie) y dado que w 1 = w 2 = 1 para círculos, el producto de dos de esos vectores en la cuadrática es
donde las barras verticales intercaladas c 1 - c 2 representan la longitud de ese vector de diferencia, es decir, la norma euclidiana . Esta fórmula muestra que si dos vectores cuádruples X 1 y X 2 son ortogonales (perpendiculares) entre sí, es decir, si ( X 1 | X 2 ) = 0, entonces sus círculos correspondientes son tangentes. Porque si los dos signos s 1 y s 2 son iguales (es decir, los círculos tienen la misma "orientación"), los círculos son internamente tangentes; la distancia entre sus centros es igual a la diferencia en los radios
Por el contrario, si los dos signos s 1 y s 2 son diferentes (es decir, los círculos tienen "orientaciones" opuestas), los círculos son externamente tangentes; la distancia entre sus centros es igual a la suma de los radios
Por lo tanto, el problema de Apolonio se puede volver a plantear en la geometría de Lie como un problema de encontrar vectores perpendiculares en la cuadrícula de Lie; específicamente, el objetivo es identificar los vectores solución X sol que pertenecen a la cuadrícula de Lie y también son ortogonales (perpendiculares) a los vectores X 1 , X 2 y X 3 correspondientes a los círculos dados.
La ventaja de esta reformulación es que se pueden explotar teoremas del álgebra lineal sobre el número máximo de vectores linealmente independientes y simultáneamente perpendiculares. Esto proporciona otra forma de calcular el número máximo de soluciones y extender el teorema a espacios de dimensiones superiores. [26] [35]
Métodos inversos
Un escenario natural para el problema de Apolonio es la geometría inversa . [4] [12] La estrategia básica de los métodos inversos es transformar un problema de Apolonio dado en otro problema de Apolonio más sencillo de resolver; las soluciones al problema original se encuentran a partir de las soluciones del problema transformado deshaciendo la transformación. Las transformaciones candidatas deben convertir un problema de Apolonio en otro; por lo tanto, deben transformar los puntos, círculos y líneas dados en otros puntos, círculos y líneas, y no en otras formas. La inversión del círculo tiene esta propiedad y permite elegir juiciosamente el centro y el radio del círculo de inversión. Otros candidatos incluyen las isometrías del plano euclidiano ; sin embargo, no simplifican el problema, ya que simplemente cambian , rotan y reflejan el problema original.
La inversión en un círculo con centro O y radio R consiste en la siguiente operación (Figura 5): cada punto P se mapea en un nuevo punto P ' tal que O , P y P' son colineales, y el producto de las distancias de P y P ' hacia el centro O son iguales al radio R al cuadrado
Por tanto, si P está fuera del círculo, entonces P ' está dentro y viceversa. Cuando P es lo mismo que O , se dice que la inversión envía P al infinito. (En el análisis complejo , "infinito" se define en términos de la esfera de Riemann ). La inversión tiene la propiedad útil de que las líneas y los círculos siempre se transforman en líneas y círculos, y los puntos siempre se transforman en puntos. Los círculos generalmente se transforman en otros círculos bajo inversión; sin embargo, si un círculo pasa por el centro del círculo de inversión, se transforma en una línea recta y viceversa. Es importante destacar que si un círculo cruza el círculo de inversión en ángulos rectos (se cruza perpendicularmente), la inversión no lo modifica; se transforma en sí mismo.
Las inversiones circulares corresponden a un subconjunto de transformaciones de Möbius en la esfera de Riemann . El problema plano de Apolonio se puede transferir a la esfera mediante una proyección estereográfica inversa ; por lo tanto, las soluciones del problema plano de Apolonio también pertenecen a su contraparte en la esfera. Son posibles otras soluciones inversas al problema plano además de las comunes que se describen a continuación. [36]
Pares de soluciones por inversión
Las soluciones al problema de Apolonio generalmente ocurren en pares; para cada círculo de solución, hay un círculo de solución conjugado (Figura 6). [1] Un círculo solución excluye los círculos dados que están encerrados por su solución conjugada y viceversa. Por ejemplo, en la Figura 6, un círculo de solución (rosa, arriba a la izquierda) encierra dos círculos dados (negro), pero excluye un tercero; a la inversa, su solución conjugada (también rosa, abajo a la derecha) encierra ese tercer círculo dado, pero excluye los otros dos. Los dos círculos de solución conjugada están relacionados por inversión , mediante el siguiente argumento.
En general, cualesquiera tres círculos distintos tienen un círculo único, el círculo radical , que los cruza a todos perpendicularmente; el centro de ese círculo es el centro radical de los tres círculos. [4] A modo de ilustración, el círculo naranja de la Figura 6 cruza los círculos negros dados en ángulos rectos. La inversión en el círculo radical deja los círculos dados sin cambios, pero transforma los dos círculos de solución rosa conjugada uno en otro. Bajo la misma inversión, los puntos de tangencia correspondientes de los dos círculos solución se transforman entre sí; a modo de ilustración, en la Figura 6, los dos puntos azules que se encuentran en cada línea verde se transforman entre sí. Por tanto, las líneas que conectan estos puntos tangentes conjugados son invariantes bajo la inversión; por lo tanto, deben pasar por el centro de inversión, que es el centro radical (líneas verdes que se cruzan con el punto naranja en la Figura 6).
Inversión a un anillo
Si dos de los tres círculos dados no se cruzan, se puede elegir un centro de inversión para que esos dos círculos dados se vuelvan concéntricos . [2] [12] Bajo esta inversión, los círculos solución deben caer dentro del anillo entre los dos círculos concéntricos. Por lo tanto, pertenecen a dos familias de un parámetro. En la primera familia (Figura 7), las soluciones no encierran el círculo concéntrico interno, sino que giran como rodamientos de bolas en el anillo. En la segunda familia (Figura 8), los círculos de solución encierran el círculo concéntrico interno. Por lo general, hay cuatro soluciones para cada familia, lo que produce ocho posibles soluciones, de acuerdo con la solución algebraica .
Cuando dos de los círculos dados son concéntricos, el problema de Apolonio se puede resolver fácilmente usando un método de Gauss . [28] Se conocen los radios de los tres círculos dados, así como la distancia d non desde el centro concéntrico común al círculo no concéntrico (Figura 7). El círculo solución se puede determinar a partir de su radio r s , el ángulo θ y las distancias d s y d T desde su centro al centro concéntrico común y al centro del círculo no concéntrico, respectivamente. El radio y la distancia d s son conocidos (Figura 7), y la distancia d T = r s ± r no , dependiendo de si el círculo solución es interna o externamente tangente al círculo no concéntrico. Por lo tanto, según la ley de los cosenos ,
Aquí, se ha definido una nueva constante C por brevedad, con el subíndice indicando si la solución es externa o internamente tangente. Un simple reordenamiento trigonométrico produce las cuatro soluciones
Esta fórmula representa cuatro soluciones, que corresponden a las dos opciones de la señal de θ, y las dos opciones para C . Las cuatro soluciones restantes se pueden obtener mediante el mismo método, utilizando las sustituciones de r s y d s indicadas en la figura 8. Por lo tanto, las ocho soluciones del problema general de Apolonio se pueden encontrar mediante este método.
Cualquier dos círculos dados disjuntos iniciales pueden volverse concéntricos de la siguiente manera. Se construye el eje radical de los dos círculos dados; eligiendo dos puntos arbitrarios P y Q en este eje radical, se pueden construir dos círculos que están centrados en P y Q y que intersecan los dos círculos dados ortogonalmente. Estos dos círculos construidos se cruzan en dos puntos. La inversión en uno de esos puntos de intersección F convierte los círculos construidos en líneas rectas que emanan de F y los dos círculos dados en círculos concéntricos, y el tercer círculo dado se convierte en otro círculo (en general). Esto se debe a que el sistema de círculos es equivalente a un conjunto de círculos apolíneos , formando un sistema de coordenadas bipolar .
Cambio de tamaño e inversión
La utilidad de la inversión se puede aumentar significativamente cambiando el tamaño. [37] [38] Como se señaló en la reconstrucción de Viète , los tres círculos dados y el círculo de la solución se pueden cambiar de tamaño en tándem conservando sus tangencias. Así, el problema inicial de Apolonio se transforma en otro problema que puede ser más fácil de resolver. Por ejemplo, se puede cambiar el tamaño de los cuatro círculos para que un círculo dado se reduzca a un punto; como alternativa, a menudo se puede cambiar el tamaño de dos círculos dados para que sean tangentes entre sí. En tercer lugar, los círculos dados que se cruzan se pueden cambiar de tamaño para que no se crucen, después de lo cual se puede aplicar el método para invertir en un anillo . En todos estos casos, la solución del problema de Apolonio original se obtiene a partir de la solución del problema transformado deshaciendo el cambio de tamaño y la inversión.
Reducir un círculo dado a un punto
En el primer enfoque, los círculos dados se contraen o se hincharon (apropiadamente a su tangencia) hasta que un círculo dado se contrae a un punto P . [37] En ese caso, Apolonio degenerados problema a los CCP caso límite , que es el problema de encontrar un círculo solución tangente a los dos restantes círculos dado que pasa por el punto P . La inversión en un círculo centrado en P transforma los dos círculos dados en nuevos círculos y el círculo solución en una línea. Por lo tanto, la solución transformada es una recta tangente a los dos círculos dados transformados. Hay cuatro líneas de solución de este tipo, que pueden construirse a partir de los centros homotéticos externos e internos de los dos círculos. Re-invertir en P y deshacer el cambio de tamaño transforma dicha línea de solución en el círculo de solución deseado del problema de Apolonio original. Las ocho soluciones generales se pueden obtener encogiendo e hinchando los círculos de acuerdo con las diferentes tangencias internas y externas de cada solución; sin embargo, diferentes círculos dados pueden reducirse a un punto para diferentes soluciones.
Cambiar el tamaño de dos círculos dados a la tangencia
En el segundo enfoque, los radios de los círculos dados se modifican apropiadamente en una cantidad Δ r de modo que dos de ellos son tangenciales (en contacto). [38] Su punto de tangencia se elige como el centro de inversión en un círculo que cruza cada uno de los dos círculos en contacto en dos lugares. Tras la inversión, los círculos que se tocan se convierten en dos líneas paralelas: su único punto de intersección se envía al infinito bajo inversión, por lo que no pueden encontrarse. La misma inversión transforma el tercer círculo en otro círculo. La solución del problema invertido debe ser (1) una línea recta paralela a las dos líneas paralelas dadas y tangente al tercer círculo dado transformado; o (2) un círculo de radio constante que es tangente a las dos líneas paralelas dadas y al círculo dado transformado. Re-invertir y ajustar los radios de todos los círculos por Δ r produce un círculo solución tangente a los tres círculos originales.
La solución de Gergonne
El enfoque de Gergonne es considerar los círculos de solución en pares. [1] Denotemos un par de círculos solución como C A y C B (los círculos rosas en la Figura 6), y que sus puntos tangentes con los tres círculos dados se denoten como A 1 , A 2 , A 3 y B 1 , B 2 , B 3 , respectivamente. La solución de Gergonne tiene como objetivo ubicar estos seis puntos y, por lo tanto, resolver los dos círculos de solución.
La idea de Gergonne era que si se pudiera construir una línea L 1 de manera que se garantizara que A 1 y B 1 caerían sobre ella, esos dos puntos podrían identificarse como los puntos de intersección de L 1 con el círculo C 1 dado (Figura 6). Los cuatro puntos tangentes restantes se ubicarían de manera similar, al encontrar las líneas L 2 y L 3 que contengan A 2 y B 2 , y A 3 y B 3 , respectivamente. Para construir una línea como L 1 , se deben identificar dos puntos que se encuentran en ella; pero estos puntos no necesitan ser los puntos tangentes. Gergonne pudo identificar otros dos puntos para cada una de las tres líneas. Ya se ha identificado uno de los dos puntos: el centro radical G se encuentra en las tres líneas (Figura 6).
Para localizar un segundo punto en las líneas L 1 , L 2 y L 3 , Gergonne observó una relación recíproca entre esas líneas y el eje radical R de los círculos de la solución, C A y C B . Para entender esta relación recíproca, considere las dos rectas tangentes al círculo C 1 dibujadas en sus puntos tangentes A 1 y B 1 con los círculos solución; la intersección de estas rectas tangentes es el punto polar de L 1 en C 1 . Dado que las distancias desde ese punto polar a los puntos tangentes A 1 y B 1 son iguales, este punto polar también debe estar en el eje radical R de los círculos solución, por definición (Figura 9). La relación entre los puntos polares y sus líneas polares es recíproca; si el polo de L 1 en C 1 se encuentra en R , el polo de R en C 1 debe estar recíprocamente en L 1 . Por lo tanto, si podemos construir R , podemos encontrar su polo P 1 en C 1 , dando el segundo punto necesario en L 1 (Figura 10).
Gergonne encontró el eje radical R de los círculos de solución desconocida de la siguiente manera. Cualquier par de círculos tiene dos centros de similitud ; estos dos puntos son las dos posibles intersecciones de dos rectas tangentes a los dos círculos. Por lo tanto, los tres círculos dados tienen seis centros de similitud, dos para cada par distinto de círculos dados. Sorprendentemente, estos seis puntos se encuentran en cuatro líneas, tres puntos en cada línea; además, cada línea corresponde al eje radical de un par potencial de círculos solución. Para mostrar esto, Gergonne consideró líneas a través de puntos correspondientes de tangencia en dos de los círculos dados, por ejemplo, la línea definida por A 1 / A 2 y la línea definida por B 1 / B 2 . Sea X 3 un centro de similitud para los dos círculos C 1 y C 2 ; entonces, A 1 / A 2 y B 1 / B 2 son pares de puntos antihomólogos , y sus líneas se cruzan en X 3 . De ello se deduce, por tanto, que los productos de las distancias son iguales
lo que implica que X 3 se encuentra en el eje radical de los dos círculos solución. El mismo argumento se puede aplicar a los otros pares de círculos, de modo que tres centros de similitud para los tres círculos dados deben estar en los ejes radicales de pares de círculos solución.
En resumen, la línea deseada L 1 está definida por dos puntos: el centro radical G de los tres círculos dados y el polo en C 1 de una de las cuatro líneas que conectan los centros homotéticos. Encontrar el mismo polo en C 2 y C 3 da L 2 y L 3 , respectivamente; por lo tanto, se pueden ubicar los seis puntos, a partir de los cuales se puede encontrar un par de círculos solución. La repetición de este procedimiento para las tres líneas centrales homotéticas restantes produce seis soluciones más, lo que da ocho soluciones en total. Sin embargo, si una línea L k no interseca su círculo C k para algún k , no hay un par de soluciones para esa línea central homotética.
Teoría de la intersección
Las técnicas de la geometría algebraica moderna , y en particular la teoría de la intersección , pueden usarse para resolver el problema de Apolonio. En este enfoque, el problema se reinterpreta como un enunciado sobre círculos en el plano proyectivo complejo . Se permiten soluciones que involucran números complejos y las situaciones degeneradas se cuentan con multiplicidad. Cuando se hace esto, siempre hay ocho soluciones al problema. [39]
Cada ecuación cuadrática en X , Y y Z determina una cónica única, su lugar de fuga. A la inversa, cada cónica en el plano proyectivo complejo tiene una ecuación, y esa ecuación es única hasta un factor de escala general (porque cambiar la escala de una ecuación no cambia su lugar de fuga). Por lo tanto, el conjunto de todas las cónicas puede ser parametrizado por el espacio proyectivo de cinco dimensiones P 5 , donde la correspondencia es
Un círculo en el plano proyectivo complejo se define como una cónica que pasa por los dos puntos O + = [1: i : 0] y O - = [1: - i : 0] , donde i denota una raíz cuadrada de - 1 . Los puntos O + y O - se denominan puntos circulares . La variedad proyectiva de todos los círculos es la subvariedad de P 5 que consiste en aquellos puntos que corresponden a las cónicas que pasan por los puntos circulares. Al sustituir los puntos circulares en la ecuación por una cónica genérica se obtienen las dos ecuaciones
Tomando la suma y la diferencia de estas ecuaciones se muestra que es equivalente a imponer las condiciones
- y .
Por lo tanto, la variedad de todos los círculos es un subespacio lineal tridimensional de P 5 . Después de reescalar y completar el cuadrado , estas ecuaciones también demuestran que cada cónica que pasa por los puntos circulares tiene una ecuación de la forma
que es la homogeneización de la ecuación habitual de un círculo en el plano afín. Por lo tanto, estudiar círculos en el sentido anterior es casi equivalente a estudiar círculos en el sentido convencional. La única diferencia es que el sentido anterior permite círculos degenerados que son la unión de dos líneas. Los círculos no degenerados se denominan círculos lisos , mientras que los degenerados se denominan círculos singulares . Hay dos tipos de círculos singulares. Una es la unión de la línea en el infinito Z = 0 con otra línea en el plano proyectivo (posiblemente la línea en el infinito nuevamente), y la otra es la unión de dos líneas en el plano proyectivo, una a través de cada uno de los dos puntos circulares. Estos son los límites de los círculos suaves cuando el radio r tiende a + ∞ y 0 , respectivamente. En el último caso, ningún punto en ninguna de las dos líneas tiene coordenadas reales excepto el origen [0: 0: 1] .
Sea D un círculo liso fijo. Si C es cualquier otro círculo, entonces, según la definición de un círculo, C y D se cruzan en los puntos circulares O + y O - . Como C y D son cónicas, el teorema de Bézout implica que C y D se cruzan en cuatro puntos en total, cuando esos puntos se cuentan con la multiplicidad de intersección adecuada . Es decir, hay cuatro puntos de intersección O + , O - , P y Q , pero algunos de estos puntos pueden colisionar. El problema de Appolonius tiene que ver con la situación en la que P = Q , lo que significa que la multiplicidad de intersección en ese punto es 2 ; si P también es igual a un punto circular, esto debe interpretarse como que la multiplicidad de intersección es 3 .
Deje Z D sea la variedad de círculos tangentes a D . Esta variedad es un cono cuádruple en el P 3 de todos los círculos. Para ver esto, considere la correspondencia de incidencia
Para una curva que es el lugar geométrico de fuga de una sola ecuación f = 0 , la condición de que la curva se encuentre con D en r con multiplicidad m significa que la expansión de la serie de Taylor de f | D desaparece para ordenar m en r ; por lo tanto, son m condiciones lineales sobre los coeficientes de f . Esto muestra que, para cada r , la fibra de Φ sobre r es un P 1 cortado por dos ecuaciones lineales en el espacio de círculos. En consecuencia, Φ es irreducible de dimensión 2 . Dado que es posible exhibir un círculo que es tangente a D en un solo punto, un elemento genérico de Z D debe ser tangente en un solo punto. Por lo tanto, la proyección Φ → P 2 que envía ( r , C ) a C es un morfismo bracional . De ello se deduce que la imagen de Φ , que es Z D , también es irreducible y bidimensional.
Para determinar la forma de Z D , fix dos círculos distintos C 0 y C ∞ , no necesariamente tangente a D . Estos dos círculos determinan un lápiz , es decir, una línea L en el P 3 de círculos. Si las ecuaciones de C 0 y C ∞ son f y g , respectivamente, entonces los puntos en L corresponden a los círculos cuyas ecuaciones son Sf + Tg , donde [ S : T ] es un punto de P 1 . Los puntos donde L cumple Z D son precisamente los círculos en el lápiz que son tangentes a D .
Hay dos posibilidades para el número de puntos de intersección. Una de ellas es que, o bien f o g , digamos f , es la ecuación para D . En este caso, L es una línea a través de D . Si C ∞ es tangente a D , entonces también lo es cada círculo en el lápiz, y por lo tanto L está contenido en Z D . La otra posibilidad es que ni f ni g es la ecuación para D . En este caso, la función ( f / g ) | D es un cociente de cuadráticas, ninguna de las cuales desaparece de forma idéntica. Por lo tanto, desaparece en dos puntos y tiene polos en dos puntos. Estos son los puntos en C 0 ∩ D y C ∞ ∩ D , respectivamente, contados con multiplicidad y con los puntos circulares deducidos. La función racional determina un morfismo D → P 1 de grado dos. La fibra sobre [ S : T ] ∈ P 1 es el conjunto de puntos P para el cual f ( P ) T = g ( P ) S . Estas son precisamente los puntos en que el círculo cuya ecuación es Tf - Sg se reúne D . Los puntos de ramificación de este morfismo son los círculos tangentes a D . Según la fórmula de Riemann-Hurwitz , hay precisamente dos puntos de ramificación y, por lo tanto, L se encuentra con Z D en dos puntos. Juntas, estas dos posibilidades para la intersección de L y Z D demuestran que Z D es un cono cuádruple. Todos estos conos en P 3 son los mismos hasta un cambio de coordenadas, por lo que este determina completamente la forma de Z D .
Para concluir el argumento, sean D 1 , D 2 y D 3 tres círculos. Si la intersección Z D 1 ∩ Z D 2 ∩ Z D 3 es finita, entonces tiene grado 2 3 = 8 , y por lo tanto hay ocho soluciones al problema de Apolonio, contadas con multiplicidad. Para probar que la intersección es genéricamente finita, considere la correspondencia de incidencia
Hay un morfismo que proyecta Ψ sobre su factor final de P 3 . La fibra sobre C es Z C 3 . Esto tiene dimensión 6 , por lo que Ψ tiene dimensión 9 . Debido a que ( P 3 ) 3 también tiene dimensión 9 , la fibra genérica de la proyección de Ψ a los primeros tres factores no puede tener dimensión positiva. Esto prueba que genéricamente existen ocho soluciones contadas con multiplicidad. Dado que es posible exhibir una configuración donde las ocho soluciones son distintas, la configuración genérica debe tener las ocho soluciones distintas.
Radios
En el problema genérico con ocho círculos de solución, los recíprocos de los radios de cuatro de los círculos de solución suman el mismo valor que los recíprocos de los radios de los otros cuatro círculos de solución [40]
Casos especiales
Diez combinaciones de puntos, círculos y líneas.
El problema de Apolonio es construir uno o más círculos tangentes a tres objetos dados en un plano, que pueden ser círculos, puntos o líneas. Esto da lugar a diez tipos de problemas de Apolonio, uno correspondiente a cada combinación de círculos, líneas y puntos, que pueden etiquetarse con tres letras, C , L o P , para denotar si los elementos dados son un círculo, una línea. o punto, respectivamente ( Tabla 1 ). [32] Como ejemplo, el tipo de problema de Apolonio con un círculo, una línea y un punto dados se denota como CLP .
Algunos de estos casos especiales son mucho más fáciles de resolver que el caso general de tres círculos dados. Los dos casos más simples son los problemas de dibujar un círculo a través de tres puntos dados ( PPP ) o tangente a tres líneas ( LLL ), que fueron resueltos primero por Euclides en sus Elementos . Por ejemplo, el problema de las APP se puede resolver de la siguiente manera. El centro del círculo solución está igualmente distante de los tres puntos y, por lo tanto, debe estar en la línea bisectriz perpendicular de dos cualesquiera. Por tanto, el centro es el punto de intersección de dos bisectrices perpendiculares cualesquiera. De manera similar, en el caso LLL , el centro debe estar en una línea que biseca el ángulo en los tres puntos de intersección entre las tres líneas dadas; por tanto, el centro se encuentra en el punto de intersección de dos bisectrices de este tipo. Dado que hay dos de esas bisectrices en cada punto de intersección de las tres líneas dadas, hay cuatro soluciones para el problema LLL general .
Los puntos y las líneas pueden verse como casos especiales de círculos; un punto puede considerarse como un círculo de radio infinitamente pequeño, y una línea puede considerarse como un círculo infinitamente grande cuyo centro también está en el infinito. Desde esta perspectiva, el problema general de Apolonio es el de construir círculos tangentes a tres círculos dados. Los otros nueve casos que involucran puntos y líneas pueden verse como casos limitantes del problema general. [32] [12] Estos casos límite a menudo tienen menos soluciones que el problema general; por ejemplo, el reemplazo de un círculo dado por un punto dado reduce a la mitad el número de soluciones, ya que un punto puede interpretarse como un círculo infinitesimal que es interna o externamente tangente.
Índice | Código | Elementos dados | Número de soluciones (en general) | Ejemplo (solución en rosa; objetos dados en negro) |
---|---|---|---|---|
1 | PPP | Tres puntos | 1 | |
2 | LPP | una línea y dos puntos | 2 | |
3 | LLP | dos líneas y un punto | 2 | |
4 | CPP | un círculo y dos puntos | 2 | |
5 | LLL | tres lineas | 4 | |
6 | CLP | un círculo, una línea y un punto | 4 | |
7 | PCCh | dos círculos y un punto | 4 | |
8 | CLL | un círculo y dos líneas | 8 | |
9 | CCL | dos círculos y una línea | 8 | |
10 | CCC | tres círculos (el problema clásico) | 8 |
Numero de soluciones
El problema de contar el número de soluciones a diferentes tipos de problemas de Apolonio pertenece al campo de la geometría enumerativa . [12] [41] El número general de soluciones para cada uno de los diez tipos de problemas de Apolonio se da en la Tabla 1 anterior. Sin embargo, las disposiciones especiales de los elementos dados pueden cambiar el número de soluciones. Por ejemplo, el problema de Apolonio no tiene solución si un círculo separa a los dos (Figura 11); para tocar los dos círculos sólidos dados, el círculo solución tendría que cruzar el círculo dado de trazos; pero eso no puede hacer si se trata de tocar el círculo punteado tangencialmente. Por el contrario, si tres círculos dados son todos tangentes en el mismo punto, entonces cualquier círculo tangente en el mismo punto es una solución; tales problemas de Apolonio tienen un número infinito de soluciones. Si alguno de los círculos dados es idéntico, también hay una infinidad de soluciones. Si solo dos círculos dados son idénticos, solo hay dos círculos dados distintos; los centros de los círculos de solución forman una hipérbola , como se usa en una solución al problema de Apolonio.
Muirhead realizó por primera vez en 1896 una enumeración exhaustiva del número de soluciones para todas las configuraciones posibles de tres círculos, puntos o líneas dados, [42] aunque Stoll [43] y Study habían realizado trabajos anteriores . [44] Sin embargo, el trabajo de Muirhead estaba incompleto; se amplió en 1974 [45] y una enumeración definitiva, con 33 casos distintos, se publicó en 1983. [12] Aunque las soluciones al problema de Apolonio generalmente ocurren en pares relacionados por inversión , en algunos casos es posible un número impar de soluciones , por ejemplo, la solución única para PPP , o cuando uno o tres de los círculos dados son soluciones. (Un ejemplo de este último se da en la sección sobre el teorema de Descartes .) Sin embargo, no hay problemas de Apolonio con siete soluciones. [34] [43] Se han desarrollado y utilizado en dimensiones superiores soluciones alternativas basadas en la geometría de círculos y esferas . [26] [35]
Círculos dados mutuamente tangentes: círculos de Soddy y teorema de Descartes
Si los tres círculos dados son mutuamente tangentes, el problema de Apolonio tiene cinco soluciones. Tres soluciones son los círculos dados en sí mismos, ya que cada uno es tangente a sí mismo y a los otros dos círculos dados. Las dos soluciones restantes (mostradas en rojo en la Figura 12) corresponden a los círculos inscritos y circunscritos , y se denominan círculos de Soddy . [46] Este caso especial del problema de Apolonio también se conoce como el problema de las cuatro monedas . [47] Los tres círculos dados de este problema de Apolonio forman una cadena de Steiner tangente a los dos círculos de Soddy.
Cualquiera de los círculos de Soddy, cuando se toma junto con los tres círculos dados, produce un conjunto de cuatro círculos que son mutuamente tangentes en seis puntos. Los radios de estos cuatro círculos están relacionados mediante una ecuación conocida como teorema de Descartes . En una carta de 1643 a la princesa Isabel de Bohemia , [48] René Descartes mostró que
donde k s = 1 / r s y r s son la curvatura y el radio del círculo solución, respectivamente, y de manera similar para las curvaturas k 1 , k 2 y k 3 y los radios r 1 , r 2 y r 3 de los tres dados círculos. Para cada conjunto de cuatro círculos mutuamente tangentes, hay un segundo conjunto de cuatro círculos mutuamente tangentes que son tangentes en los mismos seis puntos. [2] [49]
El teorema de Descartes fue redescubierto de forma independiente en 1826 por Jakob Steiner , [50] en 1842 por Philip Beecroft, [2] [49] y nuevamente en 1936 por Frederick Soddy . [51] Soddy publicó sus hallazgos en la revista científica Nature como un poema, The Kiss Precise , cuyas dos primeras estrofas se reproducen a continuación. La primera estrofa describe los círculos de Soddy, mientras que la segunda estrofa da el teorema de Descartes. En el poema de Soddy, se dice que dos círculos se "besan" si son tangentes, mientras que el término "doblar" se refiere a la curvatura k del círculo.
|
|
Daniel Pedoe ha derivado diversas extensiones del teorema de Descartes . [52]
Generalizaciones
El problema de Apolonio se puede ampliar para construir todos los círculos que intersecan tres círculos dados en un ángulo preciso θ, o en tres ángulos de cruce especificados θ 1 , θ 2 y θ 3 ; [50] El problema de Apolonio ordinario corresponde a un caso especial en el que el ángulo de cruce es cero para los tres círculos dados. Otra generalización es el dual de la primera extensión, a saber, construir círculos con tres distancias tangenciales especificadas de los tres círculos dados. [26]
El problema de Apolonio puede extenderse desde el plano a la esfera y otras superficies cuadráticas . Para la esfera, el problema es construir todos los círculos (los límites de los casquetes esféricos ) que son tangentes a tres círculos dados en la esfera. [24] [53] [54] Este problema esférico se puede convertir en un problema plano correspondiente usando proyección estereográfica . Una vez que se han construido las soluciones al problema plano, se pueden determinar las soluciones correspondientes al problema esférico invirtiendo la proyección estereográfica. Incluso de manera más general, se puede considerar el problema de las cuatro curvas tangentes que resultan de las intersecciones de una superficie cuadrática arbitraria y cuatro planos, un problema que Charles Dupin consideró por primera vez . [9]
Al resolver el problema de Apolonio repetidamente para encontrar el círculo inscrito, los intersticios entre círculos mutuamente tangenciales se pueden rellenar arbitrariamente finamente, formando una junta apolínea , también conocida como empaquetadura de Leibniz o empaquetadura de Apolínea . [55] Esta junta es un fractal , es auto-similar y tiene una dimensión d que no se conoce exactamente pero es aproximadamente 1.3, [56] que es más alta que la de una curva regular (o rectificable ) ( d = 1) pero menor que la de un avión ( d = 2). La junta de Apolínea fue descrita por primera vez por Gottfried Leibniz en el siglo XVII y es un precursor curvo del triángulo de Sierpiński del siglo XX . [57] La junta apolínea también tiene conexiones profundas con otros campos de las matemáticas; por ejemplo, es el conjunto límite de grupos kleinianos . [58]
La configuración de un círculo tangente a cuatro círculos en el plano tiene propiedades especiales, que han sido aclaradas por Larmor (1891) [59] y Lachlan (1893). [60] Tal configuración es también la base del teorema de Casey , [17] en sí mismo una generalización del teorema de Ptolomeo . [37]
La extensión del problema de Apolonio a tres dimensiones, es decir, el problema de encontrar una quinta esfera que sea tangente a cuatro esferas dadas, puede resolverse mediante métodos análogos. [9] Por ejemplo, las esferas dada y solución se pueden cambiar de tamaño para que una esfera dada se reduzca a un punto mientras se mantiene la tangencia. [38] La inversión en este punto reduce el problema de Apolonio a encontrar un plano que sea tangente a tres esferas dadas. En general, hay ocho planos de este tipo, que se convierten en las soluciones al problema original al invertir la inversión y el cambio de tamaño. Este problema fue considerado por primera vez por Pierre de Fermat , [61] y se han desarrollado muchos métodos alternativos de solución a lo largo de los siglos. [62]
El problema de Apolonio puede incluso extenderse a las dimensiones d , para construir las hiperesferas tangentes a un conjunto dado de hiperesferas d + 1 . [41] Tras la publicación de la re-derivación de Frederick Soddy del teorema de Descartes en 1936, varias personas resolvieron (independientemente) el caso mutuamente tangente correspondiente a los círculos de Soddy en d dimensiones. [63]
Aplicaciones
La principal aplicación del problema de Apolonio, según lo formulado por Isaac Newton, es la trilateración hiperbólica , que busca determinar una posición a partir de las diferencias de distancias hasta al menos tres puntos. [8] Por ejemplo, un barco puede buscar determinar su posición a partir de las diferencias en los tiempos de llegada de las señales de tres transmisores sincronizados. Las soluciones al problema de Apolonio se utilizaron en la Primera Guerra Mundial para determinar la ubicación de una pieza de artillería desde el momento en que se escuchó un disparo en tres posiciones diferentes, [9] y la trilateración hiperbólica es el principio utilizado por el Decca Navigator System y LORAN . [7] De manera similar, la ubicación de una aeronave puede determinarse a partir de la diferencia en los tiempos de llegada de su señal de transpondedor en cuatro estaciones receptoras. Este problema de multilateración es equivalente a la generalización tridimensional del problema de Apolonio y se aplica a los sistemas globales de navegación por satélite (ver GPS # Interpretación geométrica ). [31] También se utiliza para determinar la posición de los animales que llaman (como aves y ballenas), aunque el problema de Apolonio no se aplica si la velocidad del sonido varía con la dirección (es decir, el medio de transmisión no es isotrópico ). [64]
El problema de Apolonio tiene otras aplicaciones. En el Libro 1, Proposición 21 de sus Principia , Isaac Newton usó su solución del problema de Apolonio para construir una órbita en mecánica celeste desde el centro de atracción y observaciones de líneas tangentes a la órbita correspondiente a la velocidad instantánea . [9] El caso especial del problema de Apolonio cuando los tres círculos son tangentes se utiliza en el método del círculo de Hardy-Littlewood de la teoría analítica de números para construir el contorno de Hans Rademacher para la integración compleja, dado por los límites de un conjunto infinito de Ford rodea cada uno de los cuales toca a varios otros. [65] Finalmente, el problema de Apollonius se ha aplicado a algunos tipos de problemas de empaque , que surgen en campos dispares, como los códigos de corrección de errores utilizados en los DVD y el diseño de productos farmacéuticos que se unen a una enzima particular de una bacteria patógena . [66]
Ver también
- Punto de Apolonio
- Teorema de apolonio
- Punto isodinámico de un triángulo
Referencias
- ↑ a b c d e Dörrie H (1965). "El problema de la tangencia de Apolonio". 100 grandes problemas de matemáticas elementales: su historia y soluciones . Nueva York: Dover. págs. 154-160 (§32).
- ^ a b c d e Coxeter HSM (1 de enero de 1968). "El problema de Apolonio". The American Mathematical Monthly . 75 (1): 5–15. doi : 10.2307 / 2315097 . ISSN 0002-9890 . JSTOR 2315097 .
- ^ a b Coolidge JL (1916). Tratado sobre el círculo y la esfera . Oxford: Clarendon Press. pp. 167 -172.
- ^ a b c Coxeter HSM , Greitzer SL (1967). La geometría revisada . Washington : MAA . ISBN 978-0-88385-619-2.
- ^ Coxeter, HSM (1969). Introducción a la geometría (2ª ed.). Nueva York: Wiley. ISBN 978-0-471-50458-0.
- ^ Needham, T (2007). Análisis visual complejo . Nueva York: Oxford University Press. pp. 140 -141. ISBN 978-0-19-853446-4.
- ^ a b Hofmann-Wellenhof B, Legat K, Wieser M, Lichtenegger H (2003). Navegación: principios de posicionamiento y orientación . Saltador. ISBN 978-3-211-00828-7.
- ^ a b Schmidt, RO (1972). "Un nuevo enfoque de la geometría de la ubicación de la diferencia de rango". Transacciones IEEE en sistemas electrónicos y aeroespaciales . AES-8 (6): 821–835. Código Bibliográfico : 1972ITAES ... 8..821S . doi : 10.1109 / TAES.1972.309614 . S2CID 51648067 .
- ^ a b c d e f g Althiller-Court N (1961). "El problema de Apolonio". El profesor de matemáticas . 54 : 444–452. doi : 10.5951 / MT.54.6.0444 .
- ^ Gabriel-Marie F (1912). Ejercicios de géométrie, comprenant l'exposé des méthodes géométriques et 2000 preguntas resueltas (en francés). Visitas: Maison A. Mame et Fils . pp. cc = umhistmath, rgn = full% 20text, idno = ACV3924.0001.001, didno = ACV3924.0001.001, view = pdf, seq = 00000048 18-20 , cc = umhistmath, rgn = full% 20text, idno = ACV3924.0001.001 , didno = ACV3924.0001.001, view = pdf, seq = 00000703 673–677 .
- ^ a b Pappus (1876). F Hultsch (ed.). Pappi Alexandrini collectionis quae supersunt (en latín) (3 volúmenes ed.).
- ^ a b c d e f g Bruen A, Fisher JC, Wilker JB (1983). "Apolonio por inversión". Revista de Matemáticas . 56 (2): 97–103. doi : 10.2307 / 2690380 . JSTOR 2690380 .
- ^ a b van Roomen A (1596). Problema Apolloniacum quo datis tribus circulis, quaeritur quartus eos contingens, antea a… Francisco Vieta… omnibus mathematicis… ad construendum propositum, jam vero per Belgam… constructum (en latín). Wurzburgo: Typis Georgii Fleischmanni. (en latín)
- ^ a b Newton I (1974). DT Whiteside (ed.). Los artículos matemáticos de Isaac Newton, volumen VI: 1684–1691 . Cambridge: Cambridge University Press. pag. 164. ISBN 0-521-08719-8.
- ^ a b Newton I (1687). Philosophiæ Naturalis Principia Mathematica . Libro I, Sección IV, Lema 16.
- ^ Newton I (1974). DT Whiteside (ed.). Los artículos matemáticos de Isaac Newton, volumen VI: 1684–1691 . Cambridge: Cambridge University Press. págs. 162–165, 238–241. ISBN 0-521-08719-8.
- ^ a b Casey J (1886) [1881]. Una secuela de los primeros seis libros de los Elementos de Euclides . Hodges, Figgis & co. pag. 122. ISBN 978-1-4181-6609-0.
- ^ Courant R, Robbins H (1943). ¿Qué son las matemáticas? Un enfoque elemental de ideas y métodos . Londres: Oxford University Press. págs. 125-127, 161-162. ISBN 0-19-510519-2.
- ^ Negrita B (1982). Problemas famosos de geometría y cómo resolverlos . Publicaciones de Dover. págs. 29-30 . ISBN 0-486-24297-8.
- ^ a b Viète F. (1600). "Apollonius Gallus. Seu, Exsuscitata Apolloni Pergæi Περι Επαφων Geometria". En Frans van Schooten (ed.). Francisci Vietae Opera mathica (en latín). ex officina B. et A. Elzeviriorum (Lugduni Batavorum) (publicado en 1646). págs. 325–346. (en latín)
- ^ Boyer CB , Merzbach UC (1991). "Apolonio de Perge" . Una historia de las matemáticas (2ª ed.). John Wiley & Sons, Inc. pág. 322 . ISBN 0-471-54397-7.
- ^ Simson R (1734) Colección matemática , volumen VII, p. 117.
Zeuthen HG (1886). Die Lehre von den Kegelschnitten im Altertum (en alemán). Copenhague: Desconocido. págs. 381–383.
Heath TL . Una historia de las matemáticas griegas, volumen II: de Aristarco a Diofanto . Oxford: Clarendon Press. págs. 181–185, 416–417. - ^ Poncelet JV (enero de 1811). "Soluciones de plusieurs problêmes de géométrie et de mécanique". Correspondance sur l'École Impériale Polytechnique (en francés). 2 (3): 271-273.
- ^ a b Gergonne J (1813-1814). "Recherche du cercle qui en touche trois autres sur une sphère". Ana. Matemáticas. Puras Appl. (en francés). 4 .
- ^ Petersen J (1879). Métodos y teorías para la solución de problemas de construcciones geométricas, aplicados a 410 problemas . Londres: Sampson Low, Marston, Searle & Rivington. págs. 94–95 (Ejemplo 403).
- ^ a b c d e Zlobec BJ, Kosta NM (2001). "Configuraciones de ciclos y el problema de Apolonio" . Revista de matemáticas de las Montañas Rocosas . 31 (2): 725–744. doi : 10.1216 / rmjm / 1020171586 .
- ^ Euler L (1790). "Solutio facilis problematis, quo quaeritur circulus, qui datos tres circulos tangat" (PDF) . Nova Acta Academiae Scientiarum Imperialis Petropolitinae (en latín). 6 : 95-101.Reproducido en Euler's Opera Omnia , serie 1, volumen 26, págs. 270-275.
- ^ a b Gauss CF (1873). Werke, 4. Band (en alemán) (reimpreso en 1973 por Georg Olms Verlag (Hildesheim) ed.). Gotinga: Königlichen Gesellschaft der Wissenschaften. págs. 399–400. ISBN 3-487-04636-9.
- ^ Carnot L (1801). De la corrélation dans les figures de géométrie (en francés). París: Editorial desconocida. págs. núm. 158-159.
Carnot L (1803). Géométrie de position (en francés). París: Editorial desconocida. págs. 390, §334. - ^ Cauchy AL (julio de 1806). "Du cercle tangent à trois cercles donnés". Correspondance sur l'École Polytechnique (en francés). 1 (6): 193-195.
- ^ a b Hoshen J (1996). "Las ecuaciones GPS y el problema de Apolonio". Transacciones IEEE en sistemas electrónicos y aeroespaciales . 32 (3): 1116–1124. Código Bibliográfico : 1996ITAES..32.1116H . doi : 10.1109 / 7.532270 . S2CID 30190437 .
- ^ a b c Altshiller-Court N (1952). College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle (2da edición, revisada y ampliada). Nueva York: Barnes and Noble. págs. 222–227. ISBN 978-0-486-45805-2.
Hartshorne, Robin (2000). Geometría: Euclides y más allá . Nueva York: Springer Verlag. págs. 346 –355, 496, 499. ISBN 978-0-387-98650-0.
Rouché, Eugène; Ch de Comberousse (1883). Traité de géométrie (en francés) (5ª edición, edición revisada y aumentada). París: Gauthier-Villars. págs. 252-256. OCLC 252013267 . - ^ Coaklay GW (1860). "Soluciones analíticas de los diez problemas en las tangencias de círculos; y también de los quince problemas en las tangencias de esferas". El mensual matemático . 2 : 116-126.
- ^ a b Pedoe D (1970). "El séptimo círculo faltante". Elemente der Mathematik . 25 : 14-15.
- ^ a b Knight RD (2005). "El problema de contacto de Apolonio y la geometría de contacto de Lie". Revista de geometría . 83 (1-2): 137-152. doi : 10.1007 / s00022-005-0009-x . S2CID 122228528 .
- ^ Salmón G (1879). Un tratado sobre secciones cónicas, que contiene una descripción de algunos de los métodos algebraicos y geométricos modernos más importantes . Londres: Longmans, Green and Co. págs. 110-115, 291-292. ISBN 0-8284-0098-9.
- ^ a b c Johnson RA (1960). Geometría euclidiana avanzada: un tratado elemental sobre la geometría del triángulo y el círculo (reimpresión de la edición de 1929 de Houghton Mifflin ed.). Nueva York: Publicaciones de Dover. pp. 117-121 (problema de Apolonio), 121-128 (teoremas de Casey y Hart). ISBN 978-0-486-46237-0.
- ^ a b c Ogilvy, CS (1990). Excursiones en geometría . Dover. pp. 48-51 (problema de Apolonio), 60 (extensión a esferas tangentes) . ISBN 0-486-26530-7.
- ^ Eisenbud, David y Harris, Joe, 3264 y todo eso: un segundo curso en geometría algebraica . Prensa de la Universidad de Cambridge, 2016. ISBN 978-1107602724 . págs. 66–68.
- ^ Milorad R. Stevanovic, Predrag B. Petrovic y Marina M. Stevanovic, "Radios de círculos en el problema de Apolonio", Forum Geometricorum 17 (2017), 359-372: Teorema 1. http://forumgeom.fau.edu /FG2017volume17/FG201735.pdf
- ^ a b Dreschler K, Sterz U (1999). "Problema de contacto de Apolonio en el espacio n en vista de la geometría enumerativa" . Acta Mathematica Universitatis Comenianae . 68 (1): 37–47.
- ^ Muirhead RF (1896). "Sobre el número y la naturaleza de las soluciones del problema de contacto apolíneo" . Actas de la Sociedad Matemática de Edimburgo . 14 : 135-147, figuras 44-114 adjuntas. doi : 10.1017 / S0013091500031898 .
- ^ a b Stoll V (1876). "Zum Problem des Apollonius" . Mathematische Annalen (en alemán). 6 (4): 613–632. doi : 10.1007 / BF01443201 . S2CID 120097802 .
- ^ Estudio E (1897). "Das Apollonische Problem". Mathematische Annalen (en alemán). 49 (3–4): 497–542. doi : 10.1007 / BF01444366 . S2CID 120984176 .
- ^ Fitz-Gerald JM (1974). "Nota sobre un problema de Apolonio". Revista de geometría . 5 : 15-26. doi : 10.1007 / BF01954533 . S2CID 59444157 .
- ^ Eppstein D (1 de enero de 2001). "Esferas tangentes y centros triangulares". The American Mathematical Monthly . 108 (1): 63–66. arXiv : matemáticas / 9909152 . doi : 10.2307 / 2695679 . ISSN 0002-9890 . JSTOR 2695679 . S2CID 14002377 .
- ^ Oldknow A (1 de abril de 1996). "El triángulo de Euler-Gergonne-Soddy de un triángulo". The American Mathematical Monthly . 103 (4): 319–329. doi : 10.2307 / 2975188 . ISSN 0002-9890 . JSTOR 2975188 .
Weisstein, EW . "Problema de las cuatro monedas" . MathWorld . Consultado el 6 de octubre de 2008 . - ^ Descartes R , Œuvres de Descartes, Correspondance IV , (C. Adam y P. Tannery, Eds.), París: Leopold Cert 1901. (en francés)
- ^ a b Beecroft H (1842). "Propiedades de los círculos en contacto mutuo". El diario de la dama y el caballero . 139 : 91–96.
Beecroft H (1846). "Título desconocido". Diario de la dama y el caballero : 51.( MathWords línea artículo Archivado 2008-01-18 en la Wayback Machine ) - ^ a b Steiner J (1826). "Einige geometrische Betrachtungen" . Journal für die reine und angewandte Mathematik . 1 : 161-184 , 252-288 . doi : 10.1515 / crll.1826.1.161 . S2CID 122065577 .
- ^ Soddy F (20 de junio de 1936). "El beso preciso" . Naturaleza . 137 (3477): 1021. Bibcode : 1936Natur.137.1021S . doi : 10.1038 / 1371021a0 .
- ^ Pedoe D (1 de junio de 1967). "Sobre un teorema de geometría". Amer. Matemáticas. Mensual . 74 (6): 627–640. doi : 10.2307 / 2314247 . ISSN 0002-9890 . JSTOR 2314247 .
- ^ Carnot L (1803). Géométrie de position . París: Editorial desconocida. págs. 415, §356.
- ^ Vannson (1855). "Contacto des cercles sur la sphère, par la geométrie". Nouvelles Annales de Mathématiques (en francés). XIV : 55–71.
- ^ Kasner E, Supnick F (diciembre de 1943). "El empaque apolíneo de círculos" . Proc. Natl. Acad. Sci. USA . 29 (11): 378–384. Código bibliográfico : 1943PNAS ... 29..378K . doi : 10.1073 / pnas.29.11.378 . ISSN 0027-8424 . PMC 1078636 . PMID 16588629 .
- ^ Boyd DW (1973). "Límites mejorados para las constantes de empaquetado de disco". Aequationes Mathematicae . 9 : 99-106. doi : 10.1007 / BF01838194 . S2CID 121089590 .
Boyd DW (1973). "La dimensión del conjunto residual del embalaje apolíneo". Mathematika . 20 (2): 170-174. doi : 10.1112 / S0025579300004745 .
McMullen, Curtis T (1998). "Dimensión de Hausdorff y dinámica conforme III: Cálculo de dimensión" (PDF) . Revista Estadounidense de Matemáticas . 120 (4): 691–721. doi : 10.1353 / ajm.1998.0031 . S2CID 15928775 . - ^ Mandelbrot B (1983). La geometría fractal de la naturaleza . Nueva York: WH Freeman. pag. 170 . ISBN 978-0-7167-1186-5.
Aste T, Weaire D (2008). La búsqueda del embalaje perfecto (2ª ed.). Nueva York: Taylor y Francis. págs. 131-138. ISBN 978-1-4200-6817-7. - ^ Mumford D , Serie C, Wright D (2002). Perlas de Indra: la visión de Felix Klein . Cambridge: Cambridge University Press. pp. 196 -223. ISBN 0-521-35253-3.
- ^ Larmor A (1891). "Contactos de Sistemas de Círculos" . Actas de la London Mathematical Society . 23 : 136-157. doi : 10.1112 / plms / s1-23.1.135 .
- ^ Lachlan R (1893). Un tratado elemental sobre geometría pura moderna . Londres: Macmillan. págs. §383–396, págs. 244–251. ISBN 1-4297-0050-5.
- ↑ de Fermat P , Varia opera mathica , p. 74, Tolos, 1679.
- ^ Euler L (1810). "Solutio facilis problematis, quo quaeritur sphaera, quae datas quatuor sphaeras utcunque dispositas contingat" (PDF) . Mémoires de l'Académie des Sciences de St.-Pétersbourg (en latín). 2 : 17-28.Reproducido en Euler's Opera Omnia , serie 1, volumen 26, págs. 334–343.
Carnot L (1803). Géométrie de position (en francés). París: Imprimerie de Crapelet, chez JBM Duprat. págs. 357 , §416.
Hachette JNP (septiembre de 1808). "Sur le contact des sphères; sur la sphère tangente à quatre sphères données; sur le cercle tangent à trois cercles donnés". Correspondance sur l'École Polytechnique (en francés). 1 (2): 27-28.
Français J (enero de 1810). "De la sphère tangente à quatre sphères données". Correspondance sur l'École Impériale Polytechnique (en francés). 2 (2): 63–66.
Français J (enero de 1813). "Solución analítica del problema de la sphère tangente à quatre sphères données". Correspondance sur l'École Impériale Polytechnique (en francés). 2 (5): 409–410.
Dupin C (enero de 1813). "Mémoire sur les sphères". Correspondance sur l'École Impériale Polytechnique (en francés). 2 (5): 423.
Reye T (1879). Synthetische Geometrie der Kugeln (PDF) (en alemán). Leipzig: BG Teubner.
Serret JA (1848). "De la sphère tangente à quatre sphères donnèes" . Journal für die reine und angewandte Mathematik . 37 : 51–57. doi : 10.1515 / crelle-1848-18483704 . S2CID 201061558 .
Coaklay GW (1859-1860). "Soluciones analíticas de los diez problemas en las tangencias de círculos; y también de los quince problemas en las tangencias de esferas". El mensual matemático . 2 : 116-126.
Alvord B (1 de enero de 1882). "La intersección de círculos e intersección de esferas". Revista Estadounidense de Matemáticas . 5 (1): 25–44, con cuatro páginas de Figuras. doi : 10.2307 / 2369532 . ISSN 0002-9327 . JSTOR 2369532 .
- ^ Gossett T (1937). "El beso preciso" . Naturaleza . 139 (3506): 62. Bibcode : 1937Natur.139Q..62. . doi : 10.1038 / 139062a0 .
- ^ Spiesberger, JL (2004). "Geometría de localización de sonidos a partir de diferencias en el tiempo de viaje: isodiacronos" . Revista de la Sociedad Americana de Acústica . 116 (5): 3168–3177. Código Bibliográfico : 2004ASAJ..116.3168S . doi : 10.1121 / 1.1804625 . PMID 15603162 .
- ^ Apostol TM (1990). Funciones modulares y series de Dirichlet en teoría de números (2ª ed.). Nueva York: Springer-Verlag . ISBN 978-0-387-97127-8.
- ^ Lewis RH, Bridgett S (2003). "Ecuaciones de tangencia cónica y problemas de Apolonio en bioquímica y farmacología". Matemáticas y Computación en Simulación . 61 (2): 101-114. CiteSeerX 10.1.1.106.6518 . doi : 10.1016 / S0378-4754 (02) 00122-2 .
Otras lecturas
- Boyd, DW (1973). "El empaque osculatorio de una esfera tridimensional". Revista canadiense de matemáticas . 25 (2): 303–322. doi : 10.4153 / CJM-1973-030-5 .
- Callandreau, Édouard (1949). Célèbres problèmes mathématiques (en francés). París: Albin Michel. págs. 219-226. OCLC 61042170 .
- Camerer, JG (1795). Apollonii de Tactionibus, quae supersunt, ac maxime lemmata Pappi, en hos libros Graece nunc primum edita, e codicibus manuscriptis, cum Vietae librorum Apollonii restitutione, adjectis observaciónibus, computationibus, ac problematis Apolloniani historia (en latín). Gothae: Ettinger.
- Gisch D, Ribando JM (2004). "Problema de Apolonio: un estudio de soluciones y sus conexiones" (PDF) . Revista estadounidense de investigación de pregrado . 3 : 15-25. doi : 10.33697 / ajur.2004.010 .
- Pappo de Alejandría (1933). Pappus d'Alexandrie: La collection mathématique (en francés). París. OCLC 67245614 . Trans., Introd. Y notas de Paul Ver Eecke.
- Simon, M (1906). Über die Entwicklung der Elementargeometrie im XIX. Jahrhundert (en alemán). Berlín: Teubner. págs. 97-105.
- Wells, D (1991). El Diccionario Penguin de Geometría Curiosa e Interesante . Nueva York: Penguin Books. págs. 3-5 . ISBN 0-14-011813-6.
enlaces externos
- "Pregunte al Dr. Math solución" . Mathforum . Consultado el 5 de mayo de 2008 .
- Weisstein, Eric W. "El problema de Apolonio" . MathWorld .
- "Problema de Apolonio" . Corta el nudo . Consultado el 5 de mayo de 2008 .
- Kunkel, Paul. "Círculos tangentes" . Callejón de Whistler . Consultado el 5 de mayo de 2008 .
- Austin, David (marzo de 2006). "Cuando besar implica trigonometría" . Feature Column en el sitio web de la American Mathematical Society . Consultado el 5 de mayo de 2008 .