Problema de Apolonio

Artículo bueno
De Wikipedia, la enciclopedia libre
Esta es una versión antigua de esta página, editada a las 23:11 12 ago 2010 por 4lex (discusión · contribs.). La dirección URL es un enlace permanente a esta versión, que puede ser diferente de la versión actual.
Cuatro parejas de soluciones complementarias del problema de Apolonio, las circunferencias dadas son las negras.
Animación donde se muestra la tangencia que se preserva en los círculos se contraiga o se expanda su radio en relación con cada una de las circunferencias.

En geometría plana euclidiana, el problema de Apolonio consiste en encontrar las circunferencias que son tangentes a tres circunferencias dadas. Apolonio de Perge (circa 262 a. C. - circa 190 a. C.) propuso y resolvió este problema en la obra Ἐπαφαί (Epaphaí, «Tangencias»);[1]​[2]​ la obra se ha perdido,[3]​ pero se ha conservado una referencia de los resultados hecha en el siglo IV por Pappus de Alejandría.[4]​ Las circunferencias dadas son de radio arbitrario, es decir, incluyen los casos extremos de radio nulo (un punto) y de radio infinito (una recta), esto da hasta diez tipos de problemas de Apolonio.[5]​ Excluyendo a las familias de posiciones particulares que presentan infinitas soluciones, o ninguna, y a las familias de posiciones que por simetría tienen algunas soluciones equivalentes o prohibidas, la resolución general del problema resulta en ocho circunferencias que son tangentes a las tres circunferencias dadas.

En el siglo XVI, Adriaan van Room resolvió el problema utilizando hipérboles secantes,[6]​ pero esta solución no se basa únicamente en construcciones con regla y compás, por lo que se puede considerar menos elegante.[7]​ François Viète encontró una solución aprovechando la simplificación de los puntos y rectas como casos extremos de circunferencias.[8]​ El enfoque de Viète, que utiliza casos extremos sencillos para resolver otros más complicados, se considera una reconstrucción plausible del método de Apolonio.[9]​ El método de van Room fue simplificado por Isaac Newton, que mostró que el problema de Apolonio es equivalente a encontrar una posición conociendo las diferencias de distancias a tres puntos conocidos.[10]​ Esta formulación tiene aplicaciones en navegación y en sistemas de posicionamiento como el LORAN,[11]​ asimismo, generalizaciones como con la esfera y en otras superficies cuádricas.[12]​[13]​

Algunos matemáticos posteriores introdujeron métodos algebraicos, que transforman el problema geométrico en una ecuación algebraica.[14]​ Estos métodos fueron simplificados aprovechando las simetrías inherentes al problema de Apolonio: por ejemplo, las circunferencias resolutorias suelen encontrarse en parejas, con una de ellas que contiene las circunferencias dadas que la otra no contiene. Joseph Diaz Gergonne aprovechó esta simetría para encontrar un elegante método para encontrar las soluciones con regla y compás,[12]​ mientras que otros matemáticos utilizaron transformaciones geométricas como la reflexión en una circunferencia para simplificar la disposición de las circunferencias dadas. Estos desarrollos ofrecen una representación geométrica a través de métodos algebraicos (utilizando la geometría de la esfera de Lie) y una clasificación de soluciones para las treinta y tres disposiciones esencialmente diferentes posibles en la posición inicial de las tres circunferencias.[15]​

El problema de Apolonio ha impulsado mucha investigación adicional. Se han estudiado generalizaciones en tres dimensiones —la construcción de una esfera tangente a cuatro esferas dadas— y en dimensiones superiores. La disposición de tres circunferencias tangentes entre ellas ha recibido una atención especial. René Descartes dio una fórmula que relaciona los radios de las circunferencias dadas y los de las circunferencias resolutorias, que se conoce actualmente como teorema de Descartes. En este caso, la resolución iterante del problema de Apolonio lleva a la formación de uno de los primeros fractales descubiertos y dibujados. Este fractal tiene importancia en teoría de números, concretamente en los círculos de Ford y en el método de la circunferencia de Hardy-Littlewood.[1]​[16]​ Dentro de sus aplicaciones se encuentran la trilateración hiperbólica,[17]​ su unión con los transmisores sincronizados, la ubicación de piezas de artillería desde tres lugares distintos,[1]​ su aplicación a los sistemas globales de navegación por satélite como el GPS,[18]​ e incluso en los códigos de corrección de errores utilizados en los DVDs y en la medicina.[19]​

Enunciado del problema

Una solución (en rosa) del problema de Apolonio. Las circunferencias dadas se muestran en negro.

El enunciado original del problema de Apolonio pide la construcción de una o más circunferencias que sean tangentes a tres objetos dados. Los objetos pueden ser circunferencias de cualquier tamaño, incluídos los casos particulares de la recta y el punto.[8]​[20]​[21]​[22]​ Estos objetos pueden ser colocados en cualquier disposición y se pueden cortar unos a otros; sin embargo, se suelen tomar diferentes, es decir, que no coincidan. Las soluciones del problema de Apolonio a veces se llaman «Circunferencias de Apolonio», aunque este término también se usa para otros tipos de circunferencias asociadas con Apolonio.

La propiedad de tangencia se define a continuación. En primer lugar, se asume que un punto, recta o circunferencia es tangente a sí mismo, por lo que si una circunferencia dada ya es tangente a los otros dos objetos, se cuenta como solución del problema de Apolonio. Se dice que dos objetos geométricos diferentes intersecan si tienen un punto en común. Por definición, un punto es tangente a una circunferencia o una recta si la interseca, es decir, si se sitúa sobre la misma, así, dos puntos diferentes no pueden ser tangentes. Si el ángulo entre rectas o circunferencias en el punto de intersección es cero, se dice que son tangentes, el punto de intersección se llama punto de tangencia (la palabra «tangente» deriva del participio de presente latino tangens, que significa «tocante»). En la práctica, dos circunferencias distintas son tangentes si se intersecan en un solo punto, si se intersecan en dos puntos o no se intersecan, entonces no son tangentes. Esto mismo es válido para una recta y una circunferencia. Dos rectas diferentes no pueden ser tangentes al plano, aunque dos rectas paralelas se pueden considerar tangentes en un punto en el infinito en geometría inversiva.[23]​[24]​

La circunferencia resolutoria puede ser tangente internamente o externa a cada una de las circunferencias dadas. Una tangencia externa es aquella en la que las dos circunferencias se curvan hacia sentidos opuestos en el punto de intersección, se sitúan en los lados opuestos de la recta tangente en este punto, y ninguna de las dos incluye la otra. La distancia entre sus centros es igual a la suma de los radios. Por el contrario, una tangencia interna es aquella en la que las dos circunferencias se curvan hacia el mismo sentido en el punto de intersección correspondiente; las dos circunferencias se sitúan en el mismo lado de la recta tangente, y una de las dos incluye la otra. En este caso, la distancia entre sus centros es igual a la diferencia de los radios. Como ejemplo, en la primera imagen, la circunferencia rosa resolutoria es tangente internamente a la circunferencia negra dada de tamaño medio situada a la derecha, mientras que es tangente externamente a las circunferencias dadas más pequeña y más grande situadas a la izquierda.

Alternativamente, el problema de Apolonio también se puede formular como el problema de encontrar uno o más puntos tales que las diferencias de sus distancias a tres puntos dados sean iguales a tres valores conocidos. Para ver la equivalencia con el enunciado anterior, sea considerada una circunferencia resolutoria de radio rs y tres circunferencias dadas de radios r1, r2 and r3. Si la circunferencia resolutoria es tangente externamente a las tres circunferencias dadas, entonces las distancias entre el centro de la circunferencia resolutoria y los centros de las circunferencias dadas son: d1 = r1 + rs, d2 = r2 + rs y d3 = r3 + rs, respectivamente. Por tanto, las diferencias entre estas distancias son constantes, es decir, d1 − d2 = r1 − r2; dependiendo de los radios conocidos de las circunferencias dadas y no del radio rs de la circunferencia resolutoria, que se anula. Este segundo planteamiento del problema de Apolonio se puede generalizar a las circunferencias resolutorias tangentes internamente (por las que la distancia centro-centro es igual a la diferencia de los radios) cambiando las correspondientes diferencias de distancias por sumas de distancias, de modo que el radio de la circunferencia resolutoria rs se vuelve a anular. La reformulación en términos distancias centro-centro es útil en la resolución que se muestra más abajo de Adriaan van Room e Isaac Newton, y también en el posicionamiento hiperbólico o trilateración, que consiste en localizar una posición a partir de las diferencias entre las distancias a tres puntos conocidos. Por ejemplo, los sistemas de navegación como el LORAN identifican la posición de un receptor a partir de las diferencias en el tiempo de llegada de las señales desde tres posiciones fijas, que corresponden a las diferencias en las distancias a los transmisores.[11]​[17]​

Historia

Portada de Mathematicae Collectiones de Pappus de Alejandría, donde recopiló la información sobre los métodos utilizados por Apolonio para resolver el problema.[4]​ Los conocimientos sobre este enigma geométrico han sido posibles gracias a la obra de este escritor.[4]​

Se ha desarrollado un rico repertorio de métodos geométricos y algebraicos para resolver el problema de Apolonio,[1]​[2]​ que ha sido calificado de «el más famoso de todos» los problemas geométricos.[21]​ El enfoque original de Apolonio de Perge se ha perdido, pero François Viète y otros han hecho reconstrucciones, basadas en las pistas de la descripción de Pappus de Alejandría.[4]​[3]​ Sin embargo, éste no fue el único que pudo recopilar información sobre esta temática sino que también árabes hicieron grandes reconstrucciones sobre la obra de Apolonio.[25]​ El primer nuevo método de resolución fue publicado en 1596 por Adriaan van Room, que identificó los centros de las circunferencias resolutorias como puntos de intersección de dos hipérbolas.[6]​[7]​ El método de Van Room fue mejorado en 1687 por Isaac Newton en la obra Principia,[10]​[26]​ y por John Casey en 1881.[27]​

A pesar del éxito en la resolución del problema de Apolonio, el método de van Room tiene una desventaja. Una propiedad muy apreciada en la geometría euclidiana clásica es la posibilidad de resolver problemas utilizando sólo construcciones con regla y compás.[28]​ Muchas construcciones son imposibles utilizando sólo estas herramientas, como dividir un ángulo en tres partes iguales. Sin embargo, muchos de estos problemas «imposibles» se pueden resolver utilizando la intersección de curvas como las hipérboles, las elipses y las parábolas (secciones cónicas). Por ejemplo, la duplicación del cubo (el problema que trata de construir un cubo con el doble de volumen de un cubo dado) no se puede resolver utilizando sólo regla y compás, pero Menaechmus mostró que el problema puede resolverse utilizando la intersección de dos parábolas.[29]​ Por tanto, la resolución de van Room —que utiliza la intersección de dos hipérboles— no determina si el problema satisface la propiedad de poder ser resuelto mediante construcciones con regla y compás.

François Viète, destacado matemático francés que trabajó exhaustivamente en el problema de Apolonio y por el cual desarrolló un método que precisa únicamente el uso de construcciones con regla y compás.[9]​

François Viète, que fue precisamente el primero en convencer a su amigo Van Room a trabajar en el problema de Apolonio, desarrolló un método que precisa solamente el uso de construcciones con regla y compás.[9]​ Antes del método de resolución de Viète, Regiomontanus dudaba de la posibilidad de resolución del problema de Apolonio con regla y compás.[30]​ Viète resolvió en primer lugar algunos casos especiales sencillos del problema de Apolonio, como encontrar una circunferencia que pase por tres puntos dados, que sólo tiene una solución si los puntos son diferentes, formulando soluciones para casos especiales más complicados, en algunos de estos casos mediante la reducción o la ampliación de las circunferencias dadas.[8]​ Según la referencia del siglo IV de Pappus de Alejandría, el libro propio de Apolonio sobre este problema —titulado Ἐπαφαί (Epaphaí, «Tangencias»; del latín: De tactionibus, De contactibus)— seguía una aproximación progresiva similar.[4]​ Por tanto, la resolución de Viète se considera una reconstrucción plausible de la resolución de Apolonio, aunque también se han publicado independientemente otras reconstrucciones hechas por tres autores más.[31]​

Durante el siglo XIX se desarrollaron muchas otras resoluciones geométricas del problema de Apolonio. Las más notables son las de Jean-Victor Poncelet (1811)[32]​ y Joseph Diaz Gergonne (1814).[12]​ Mientras que la resolución de Poncelet se basa en centros homotéticos de circunferencias y en el teorema de la potencia de un punto, el método de Gergonne aprovecha la relación de conjugación entre rectas y sus polos en una circunferencia. Los métodos que utilizan la inversión de la circunferencia fueron desarrollados por primera vez en 1879 por Julius Petersen;[33]​ un ejemplo es el método de solución anular de HSM Coxeter.[20]​ Otra aproximación utiliza la geometría de la esfera de Lie,[15]​ desarrollada por Sophus Lie.

René Descartes e Isabel de Bohemia fueron los primeros en proporcionar resoluciones algebraicas, aunque los métodos que utilizaban eran bastante complejos.[1]​ A finales del siglo XVIII y durante el XIX, se desarrollaron otros métodos algebraicos más prácticos por parte de muchos matemáticos, incluyendo Leonhard Euler,[34]​ Nicolas Fuss,[1]​ Carl Friedrich Gauss,[35]​ Lazare Carnot,[36]​ y Augustin Louis Cauchy.[37]​

Métodos de resolución

Hipérbolas secantes

Dos circunferencias dadas (en negro) y una circunferencia tangente a las dos (en rosa). Las distancias de centro a centro d1 y d2 son iguales a r1 + rs y r2 + rs, respectivamente, y por tanto su diferencia es independiente de rs.

La resolución de Adriaan van Room (1596) está basada en la intersección de dos hipérbolas.[6]​[7]​ Sean las circunferencias dadas C1, C2 y C3. Van Room encontró la solución del problema general a través de la resolución de un problema más sencillo, consistente en encontrar las circunferencias que son tangentes a dos circunferencias dadas, como bien C1 y C2. Se dio cuenta que el centro de una circunferencia tangente a las dos circunferencias dadas debían estar situadas en una hipérbola. Para entenderlo, llamamos los radios de la circunferencia resolutoria y de las dos circunferencias dadas rs, r1 y r2, respetivamente. La distancia d1 entre el centro de la circunferencia resolutoria y el de C1 puede ser rs + r1 o rs − r1, dependiendo de si se elige que estas circunferencias sean tangentes externa o internamente, de manera respectiva. Del mismo modo, la distancia d2 entre el centro de la circunferencia resolutoria y el de C2 puede ser rs + r2 o rs − r2, otra vez dependiendo del tipo de la tangencia elegida. Por lo tanto, la diferencia d1 − d2 entre estas distancias siempre es una constante que es independiente de rs. Esta propiedad, que posee una diferencia fija entre las distancias al foco, caracteriza las hipérbolas, y por esta razón los posibles centros de una circunferencia resolutoria deben pertenecer a la hipérbola. Se puede crear una segunda hipérbola por la pareja de circunferencias dadas C2 y C3, por la que se debe elegir la tangencia externa o interna entre C2 y la circunferencia resolutoria de manera consistente con la primera hipérbola. Una intersección de estas dos hipérbolas (si existe) da el centro de una circunferencia resolutoria que tiene las tangencias internas y externas escogidas en las tres circunferencias dadas. El conjunto completo de soluciones al problema de Apolonio se encuentra cuando se consideran todas las combinaciones posibles de tangencias internas y externas de la circunferencia resolutoria a las tres circunferencias dadas.

El conjunto de puntos con una relación constante de distancias d1/d2 a dos puntos fijos es una circunferencia.

Isaac Newton (1687) mejoró el método de van Room, de manera que los centros de las circunferencias resolutorias se encuentran en las intersecciones de una recta con una circunferencia.[10]​ Newton formula el problema de Apolonio como un problema de trilateración: encontrar un punto Z a partir de tres puntos dados A, B y C, que las diferencias de distancias entre Z y los tres puntos dados tengan valores conocidos.[18]​ Estos cuatro puntos corresponden al centro de la circunferencia resolutoria (Z) y los centros de las tres circunferencias dadas (A, B y C). En lugar de resolverlo a través de las dos hipérbolas, Newton construye las directrices correspondientes. Para cualquier hipérbola, la razón de distancias desde un punto Z al foco A ya la directriz es una constante llamada excentricidad. Las dos directrices se intersecan en un punto T, ya partir de sus razones de distancias conocidas, Newton construye una recta que pasa por T en la que Z debe pertenecer. Además, la razón de distancias TZ/TA también es conocida, por lo que el punto Z también está situado en una circunferencia conocida, porque Apolonio ya había demostrado que una circunferencia se puede definir como el conjunto de puntos que tienen una razón de distancias dada a dos puntos (como acotación al margen, esta definición es la base del sistema de coordenadas bipolares). Así pues, las soluciones del problema de Apolonio se pueden encontrar a partir de las intersecciones de una recta con una circunferencia.

Reconstrucción de Viète

La tangencia entre circunferencias se conserva si sus radios varían en cantidades iguales. Una circunferencia resolutoria (en rosa) se debe reducir o ampliar junto con las circunferencias que sean tangentes interiormente (la circunferencia negra de la derecha), mientras que las circunferencias tangentes exteriormente (las dos circunferencias negras de la izquierda) hacen la transformación contraria.

Tal como se explica más abajo, el problema de Apolonio tiene diez casos especiales, dependiendo de la naturaleza de los tres objetos dados, que pueden ser circunferencias (C), rectas (R) o puntos (P). Habitualmente, estos diez casos se clasifican con un código de tres letras como podría ser CCP.[5]​ Viète resolvió los diez casos utilizando sólo construcciones con regla y compás, y utilizó las resoluciones de los casos más sencillos para conseguir resolver los más complicados.[8]​[9]​

Viète comenzó resolviendo el caso PPP (tres puntos) siguiendo el método de Euclides que se expone en su obra Elementos. A partir de aquí, derivó un teorema correspondiente al teorema de la potencia de un punto, que utilizó para resolver el caso RPP (una recta y dos puntos). Siguiendo a Euclides una segunda vez, Viète resolvió el caso RRR (tres rectas) utilizando el teorema de la bisectriz. Después obtuvo un teorema para construir la recta perpendicular a una bisectriz que pasa por un punto, que utilizó para resolver el problema RRP (dos rectas y un punto). Así ya había resuelto los cuatro primeros casos del problema de Apolonio, los que no contienen circunferencias. Para resolver los problemas restantes, Viète aprovechó el hecho de que se pueden variar a la vez las medidas de las circunferencias dadas y la circunferencia resolutoria mientras se preservan las tangencias. Si el radio de la circunferencia resolutoria varía una cantidad Δr, los radios de las circunferencias que son tangentes internamente también deben variar Δr, mientras que los radios de las circunferencias que son tangentes externamente deben variar —Δr. Así pues, al tiempo que la circunferencia resolutoria se agranda, las circunferencias dadas tangentes internamente se han de ampliar y, en cambio, las circunferencias dadas tangentes externamente deben reducirse, para mantener las tangencias. Viète utilizó este enfoque para reducir una de las circunferencias a un punto, lo que reduce el problema a un caso más sencillo ya resuelto. En primer lugar resolvió el caso CRR (una circunferencia y dos rectas) en la reducción de la circunferencia en un punto y transformando esto en un caso RRP. Después resolvió el caso CRP (una circunferencia, una recta y un punto) utilizando tres teoremas. Otra vez reduciendo una circunferencia en un punto, Viète transformó el caso CCR en un caso CRP. Después resolvió el caso CPP (una circunferencia y dos puntos) y el caso CCP (dos circunferencias y un punto), el último caso a través de dos teoremas. Finalmente, Viète resolvió el caso general CCC (tres circunferencias) reduciendo una circunferencia en un punto, transformándose así en el caso CCP ya resuelto.

Soluciones algebraicas

El problema de Apolonio se puede plantear como un sistema de tres ecuaciones, con el objetivo de encontrar el radio y la posición del centro de la circunferencia resolutoria.[14]​ Como las tres circunferencias dadas y cualquier circunferencia resolutoria deben estar en el mismo plano, sus posiciones se pueden expresar en términos de las coordenadas (x, y) de los centros correspondientes. Por ejemplo, las posiciones de los centros de las tres circunferencias dadas se pueden denominar (x1, y1), (x2, y2) y (x3, y3), mientras que la posición del centro de la circunferencia resolutoria se puede denominar (xs, ys). Del mismo modo, los radios de las circunferencias dadas y el de la circunferencia resolutoria se pueden denominar r1, r2, r3 y rs, respectivamente. La condición de que la circunferencia resolutoria sea tangente a cada una de las tres circunferencias dadas se puede expresar con un sistema de tres ecuaciones con las tres incógnitas xs, ys y rs:

Los tres números s1, s2 and s3 del segundo miembro de estas ecuaciones, llamados signos, pueden ser igual a ±1, y especifican si la circunferencia resolutoria deseada es tangente internamente (s = 1) o externamente (s = -1) en la circunferencia dada correspondiente. Por ejemplo, la imagen que ilustra la sección anterior, la circunferencia resolutoria rosa es tangente internamente a la circunferencia dada de la derecha y tangente externamente a las circunferencias dadas más grande y más pequeña de la izquierda, si las circunferencias dadas ordenan según el radio, los signos por esta solución serían «- + -». Como los tres signos se pueden elegir independientemente, hay ocho sistemas de ecuaciones posibles (2 × 2 × 2 = 8), cada uno corresponde a una de las ocho circunferencias resolutorias posibles.

El sistema general de tres ecuaciones de segundo grado se puede resolver por el método de las resultantes. Cuando se multiplican, las tres ecuaciones tienen xs2 + ys2 en el miembro de la izquierda y rs2 en el miembro de la derecha. Restando una ecuación de otra, estos términos cuadráticos se anulan, los términos lineales que quedan se pueden reorganizar para dar las fórmulas de las coordenadas xs como también ys

donde M, N, P y Q son funciones conocidas de las circunferencias dadas 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 de segundo grado con la incógnita rs, que se puede resolver mediante la fórmula de la ecuación de segundo grado. La sustitución del valor numérico de rs a las fórmulas lineales da los valores correspondientes de xs y ys.

Los signos s1, s2 y s3 en el miembro de la derecha de las ecuaciones pueden ser elegidos de ocho maneras diferentes, y cada elección de signos da hasta dos soluciones, ya que la ecuación con incógnita rs es de segundo grado. Esto podría hacer pensar (incorrectamente) que pueden haber hasta dieciséis soluciones del problema de Apolonio. Sin embargo, debido a una simetría entre las ecuaciones, si (rs, xs, ys) es una solución, con signos si, entonces también lo es (−rs, xs, ys), con los signos opuestos −si, que representa la misma circunferencia resolutoria. Por tanto, el problema de Apolonio tiene como máximo ocho soluciones independientes. Una manera de evitar este doble recuento es considerar sólo las circunferencias resolutorias con radio no negativo.

Las dos raíces de cualquier ecuación de segundo grado pueden ser de tres tipos diferentes: dos números reales distintos, dos números reales iguales (es decir, una raíz doble degenerada) o dos raíces complejas conjugadas. El primer caso corresponde a la situación común, cada pareja de raíces corresponde a una pareja de soluciones que están relacionadas por la inversión de la circunferencia, como se muestra en el apartado correspondiente. El segundo caso, en el que las dos raíces son iguales, se corresponde a una circunferencia resolutoria que se transforma en sí misma con la inversión. En este caso, una de las circunferencias dadas es una solución del problema de Apolonio y el número de soluciones diferentes se reduce en uno. El tercer caso, de radios complejos conjugados, no corresponde a ninguna solución geométricamente posible del problema de Apolonio, ya que una circunferencia resolutoria no puede tener un radio imaginario, por lo que el número de soluciones se reduce en dos. Curiosamente, el problema de Apolonio no puede tener siete soluciones, aunque puede tener cualquier otro número de soluciones de cero a ocho.[3]​[38]​

Geometría de la esfera de Lie

Las mismas ecuaciones algebraicas se pueden llevar al contexto de la geometría de la esfera de Lie.[15]​ Esta geometría representa circunferencias, rectas y puntos de una manera unificada, como un vector de cinco dimensiones X = (v, cx, cy, w, s·r), donde c = (cx, cy) es el centro de la circunferencia y r es su radio (no negativo). Si r no es cero, el signo s puede ser positivo o negativo, para verlo, se representa la orientación de la circunferencia: las circunferencias orientadas en contra del sentido de las agujas del reloj tienen s positivo y, en cambio, las que están orientadas en el sentido de las agujas del reloj tienen s negativo. El parámetro w es cero para las rectas y uno en otro caso.

En este mundo de cinco dimensiones, existe un producto bilineal similar al producto escalar:

La cuádrica de Lie se define como aquellos vectores cuyo producto consigo mismos (su norma al cuadrado) es cero, (X|X) = 0. Sean X1 y X2 dos vectores pertenecientes a esta cuádrica, la norma de sus diferencias es igual a:

El producto tiene la propiedad distributiva respecto a la suma y la resta (más precisamente, es bilineal):


Como (X1|X1) = (X2|X2) = 0 (ambos pertenecen a la cuádrica de Lie) y w1 = w2 = 1 para circunferencias, el producto de dos vectores tales cualesquiera a la cuádrica es igual a:

donde las barras verticales que contienen c1 − c2 representan la longitud de este vector diferencia, es decir, la norma euclidiana. Esta fórmula muestra que si dos vectores cuádricos X1 and X2 son ortogonales (perpendiculares) el uno al otro —esto es, si (X1|X2)= 0—,entonces sus circunferencias correspondientes son tangentes. En caso de que los dos signos s1 and s2 sean iguales (es decir, que las circunferencias tengan la misma «orientación»), las circunferencias son tangentes internamente, la distancia entre sus centros es igual a la diferencia entre los radios:

Por el contrario, si los dos signos s1 and s2 son diferentes (es decir, las circunferencias tienen «orientaciones» contrarias), las circunferencias son tangentes externamente, la distancia entre sus centros es igual a la suma de los radios:

Por tanto, el problema de Apolonio se puede formular en términos de la geometría de Lie como el problema de encontrar vectores perpendiculares en la cuádrica de Lie, específicamente, el objetivo es identificar vectores resolutorios Xsol que pertenezcan a la cuádrica de Lie y sean también ortogonales (perpendiculares) a los vectores X1, X2 y X3 correspondientes a las circunferencias dadas:

La ventaja de esta reformulación es que se pueden aprovechar los teoremas del álgebra lineal sobre el máximo número de vectores linealmente independientes simultáneamente perpendiculares. Esto proporciona otra manera de contar el máximo número de soluciones y extender el teorema a espacios de mayores dimensiones.[15]​[39]​

Métodos inversos

Un entorno de tratamiento natural por el problema de Apolonio es la geometría inversa.[22]​[3]​ La estrategia básica de los métodos inversos es transformar un problema de Apolonio dado en otro que sea más sencillo de resolver, las soluciones del problema original se encuentran a partir de las soluciones del problema transformado, al deshacer la transformación. Las transformaciones examinadas deben cambiar un problema de Apolonio en otro; además, deben transformar las circunferencias, rectas y puntos dados en otras circunferencias, rectas y puntos, y no en otras formas. La inversión de la circunferencia tiene esta propiedad y además permite elegir de forma libre el centro y el radio de la circunferencia invertida. Otras transformaciones plausibles podrían ser las isometrías del plano euclídeo, sin embargo éstas no simplifican el problema, pues sólo desplazan, giran o hacen una reflexión del problema original.

La inversión de la circunferencia de centro O y radio R consiste en la siguiente operación: a cada punto P se le asigna un nuevo punto P como O, P y P' deben estar alineados, y el producto de las distancias desde P y P' hasta el centro O sea igual al radio R al cuadrado:

Así, si P está fuera de la circunferencia, entonces P' queda dentro, y viceversa. Cuando P es el mismo que O, se dice que la inversión envía el punto P en el infinito (en análisis complejo, el «infinito» se define en términos de la esfera de Riemann). La inversión tiene la útil propiedad que rectas y circunferencias siempre se transforman en rectas y circunferencias, y que los puntos siempre se transforman en puntos. En la inversión, las circunferencias se suelen transformar en otras circunferencias, sin embargo, si una circunferencia pasa por el centro de la circunferencia de inversión, se transforma en una recta, y viceversa. Es importante destacar que si una circunferencia corta la circunferencia de inversión en ángulos rectos (hay interseca perpendicularmente), no queda afectada por la inversión; se transforma en sí misma.

Las inversiones de la circunferencia corresponden a un subconjunto de las transformaciones de Möbius en la esfera de Riemann. El problema de Apolonio en el plano se puede llevar a la esfera con una proyección estereográfica inversa, por lo que las soluciones del problema en el plano corresponden con las soluciones a la esfera. Existen otras resoluciones inversas del problema a parte de las descritas anteriormente.[40]​

Parejas de soluciones por inversión

Una pareja de soluciones conjugadas del problema de Apolonio (circunferencias en rosa), donde las circunferencias negras son las dadas.

Las soluciones del problema de Apolonio aparecen a menudo en parejas, por cada circunferencia resolutoria, existe una circunferencia resolutoria conjugada.[8]​ Una circunferencia resolutoria contiene las circunferencias dadas que la conjugada no contiene, y viceversa. Por ejemplo, la ilustración de la derecha, una circunferencia resolutoria (rosa, arriba a la izquierda) con dos circunferencias dadas (negras), pero no contiene una tercera, al contrario, la solución conjugada (también rosa, abajo a la derecha) contiene la tercera circunferencia dada, pero no contiene las otras dos. Las dos circunferencias resolutorias conjugadas están relacionadas por la inversión, tal como se explica a continuación.

En general, dadas tres circunferencias diferentes cualesquiera existe una única circunferencia —la circunferencia radical— que las interseca a todas perpendicularmente, el centro de esta circunferencia es el centro radical de las tres circunferencias.[22]​ Esto se muestra en la ilustración de la derecha, donde la circunferencia naranja interseca las circunferencias negras dadas en ángulos rectos. La inversión en la circunferencia radical no modifica las circunferencias dadas, pero transforma las dos soluciones conjugadas una en la otra. Bajo la misma inversión, los puntos de tangencia correspondientes a las dos circunferencias resolutorias se transforman el uno en el otro, en la ilustración los dos azules situados en cada recta verde se transforman el uno en el otro. Por ello, las rectas que unen estos puntos de tangencia conjugados no varían bajo la inversión, por lo que deben pasar por el centro de inversión, que es el centro radical (las rectas verdes que intersecan en el punto naranja en la ilustración).

Inversión para obtener un anillo

Una circunferencia resolutoria (en rosa) del primer grupo se sitúa entre las circunferencias concéntricas dadas (en negro). Dos veces rs, el radio de las circunferencias resolutorias, es igual a la diferencia rexterno − rinterno de los radios interno y externo, mientras que dos veces su distancia al centro ds es igual a su suma.
Una circunferencia resolutoria (en rosa) del segundo grupo contiene la circunferencia interna dada (en negro). Dos veces rs, el radio de la circunferencia resolutoria, es igual a la suma rexterno + rinterno de los radios interno y externo, mientras que dos veces su distancia al centro ds es igual a su diferencia.

Si dos de las tres circunferencias dadas no se intersecan, se puede escoger un centro de inversión de modo que estas dos circunferencias dadas queden concéntricas.[20]​[3]​ Bajo esta inversión, las circunferencias resolutorias deben situarse dentro del anillo formado por las dos circunferencias concéntricas. Por lo tanto, pertenecen a dos grupos de un solo parámetro. En el primer grupo, las soluciones no contienen la circunferencia concéntrica interna, sino que giran como las bolas de un cojinete de rodadura en el anillo. En el segundo grupo, las circunferencias resolutorias contienen la circunferencia concéntrica interna. En general, existen cuatro soluciones para cada grupo, y por lo tanto hay un total de ocho soluciones posibles, tal como ya se había visto con las resoluciones algebraicas.

Cuando dos de las circunferencias dadas son concéntricas, el problema de Apolonio se puede resolver fácilmente siguiendo un método de Gauss, creado por Carl Friedrich Gauss.[35]​ Los radios de las tres circunferencias dadas son conocidos, como también lo es la distancia dnon del centro concéntrico común y el centro de la circunferencia no concéntrica. La circunferencia resolutoria se puede determinar a partir de su radio rs, el ángulo θ, y las distancias ds y dT desde su centro hasta el centro concéntrico común y de este último hasta el centro de la circunferencia no concéntrica, respectivamente. El radio y la distancia ds son conocidos, y la distancia dT = rs ± rnon, dependiendo de si la circunferencia resolutoria es tangente internamente o externa a la circunferencia no concéntrica. Por lo tanto, aplicando el teorema del coseno:

Aquí, una nueva constante C ha sido definida para abreviar esto, con el subíndice que indica si la solución es tangente externamente o interna. Una simple reordenación trigonométrica de las cuatro soluciones:

Esta fórmula representa cuatro soluciones, correspondiente a las dos elecciones del signo de θ, y las dos elecciones por C. Las cuatro soluciones restantes se pueden obtener por el mismo método, utilizando las sustituciones por rs y ds indicadas al pie de la imagen que ilustra el segundo grupo. Así, las ocho soluciones que corresponden al problema de Apolonio se pueden encontrar, de manera general, por este método.

Dos circunferencias dadas cualesquiera que no se intersecan pueden transformarse en concéntricas de la siguiente manera. Se construye el eje radical de las dos circunferencias dadas, escogiendo dos puntos arbitrarios P y Q en este eje radical, pudiéndose construir dos circunferencias centradas en P y Q y que intersecan las dos circunferencias dadas perpendicularmente. Estas dos circunferencias construidas intersecan en dos puntos. La inversión en uno de estos puntos de intersección F transforma las circunferencias construidas en rectas que pasan por F y las dos circunferencias dadas en circunferencias concéntricas, con la tercera circunferencia dada que se transforma en otra circunferencia (en general). Por este resultado se obtiene que el sistema de circunferencias es equivalente a un conjunto de circunferencias de Apolonio, formando así un sistema de coordenadas bipolares.

Cambios de tamaño e inversión

La utilidad de la inversión se puede incrementar significativamente con los cambios de tamaño.[41]​[42]​ Como se explica en la reconstrucción de Viète, las tres circunferencias dadas y la circunferencia resolutoria se pueden cambiar de tamaño a la vez mientras se mantienen las tangencias. Así, el problema de Apolonio inicial se transforma en otro problema que puede ser más fácil de resolver. Por ejemplo, las cuatro circunferencias se pueden cambiar de tamaño de manera que una circunferencia resolutoria se reduzca a un punto; alternativamente, a menudo dos circunferencias dadas se pueden cambiar de tamaño para que sean tangentes entre ellas. En tercer lugar, las circunferencias dadas que se cortan también se pueden cambiar de tamaño para que no se intersequen, y después de esto se puede aplicar el método de inversión para obtener 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 la inversión y los cambios de tamaño.

Reducción de una circunferencia dada a un punto

En el primer enfoque, las circunferencias dadas se reducen o aumentan de tamaño (según el tipo de tangencia) hasta que una de las circunferencias dadas se transforma en un punto P.[41]​ Así, el problema de Apolonio degenera en el caso especial CCP, que consiste en encontrar una circunferencia resolutoria tangente a las dos circunferencias dadas restantes y que pase por el punto P. La inversión en una circunferencia centrada en P transforma las dos circunferencias dadas en nuevas circunferencias, y la circunferencia resolutoria en una recta. Por tanto, la solución transformada es una recta tangente a las dos circunferencias dadas transformadas. Pueden existir hasta cuatro rectas resolutorias, que se pueden construir desde los centros homotéticos interno y externo de las dos circunferencias. La reversión de la inversión en P y del cambio de tamaño transforma estas rectas resolutorias en las circunferencias resolutorias deseadas del problema de Apolonio original. Las ocho soluciones generales se pueden obtener reduciendo o aumentando las circunferencias de acuerdo con las tangencias internas y externas diferentes de cada solución, no obstante, se pueden reducir a un punto las circunferencias diferentes y así obtener soluciones diferentes.

Cambio de tamaño para obtener una tangencia entre dos circunferencias dadas

En el segundo enfoque, los radios de las circunferencias dadas son modificados en una cantidad Δr de manera que dos de ellas sean tangentes.[42]​ El punto de tangencia correspondiente se utiliza como centro de inversión en una circunferencia que interseca cada una de las dos circunferencias tangentes en dos puntos. Bajo la inversión, las dos circunferencias tangentes se transforman en dos rectas paralelas: su único punto de intersección se sitúa en el infinito después de la inversión, y por tanto no se pueden encontrar. La misma inversión transforma la tercera circunferencia en otra circunferencia. Las soluciones del problema invertido deben ser (1) rectas paralelas a las dos paralelas dadas y tangentes a la tercera circunferencia transformada, o bien (2) una circunferencia tangente a las dos paralelas (con radio igual a la mitad de distancia entre las paralelas) y tangente a la circunferencia dada transformada. La reversión de la inversión y el reajuste del radio de todas las circunferencias en Δr produce las circunferencias resolutorias tangentes a las tres circunferencias originales.

Resolución de Gergonne

Las dos rectas tangentes de los dos puntos de tangencia de una circunferencia dada intersecan al eje radical R (recta roja) de las dos circunferencias resolutorias (en rosa). Los tres puntos de intersección sobre I son los polos de las rectas que unen los puntos de tangencia azules en cada circunferencia dada (en negro).

El enfoque de Gergonne considera las circunferencias resolutorias en parejas.[8]​ Sean CA y CB una pareja de circunferencias resolutorias y sean A1, A2, A3, y B1, B2, B3 sus puntos de tangencia con las tres circunferencias dadas, con el orden que corresponde. La resolución de Gergonne tiene como objetivo localizar estos seis puntos, y así encontrar las circunferencias resolutorias.

La idea de Gergonne era que si se pudiera construir una recta L1 de manera que A1 y B1 se pertenecieran, estos dos puntos se podrían identificar como los puntos de intersección de L1 con la circunferencia dada C1. Los otros cuatro puntos de tangencia se podrían situar de manera análoga, construyendo las rectas L2 y L3 que contuvieran A2 y B2, y A3 y B3, respectivamente. Para construir una recta como L1, deben encontrar dos puntos que pertenezcan, pero estos puntos no pueden ser los puntos de tangencia. Gergonne fue capaz de encontrar otros dos puntos por cada una de las tres rectas. Uno de los dos puntos ya es conocido: se trata del centro radical G que pertenece a las tres rectas.

Para encontrar un segundo punto de las rectas L1, L2 y L3, Gergonne observó una relación recíproca entre estas rectas y el eje radical R de las circunferencias resolutorias, CA y CB. Para entender esta relación recíproca, se pueden considerar las dos rectas tangentes a la circunferencia C1 dibujadas a sus puntos de tangencia A1 y B1 con las circunferencias resolutorias, el punto de intersección entre estas dos rectas es el polo de L1 respecto a C1. Como las distancias entre este punto (el polo) y los puntos de tangencia A1 y B1 son iguales, el polo también tiene que estar situado en el eje radical R de las circunferencias resolutorias, por definición. La relación entre los polos y las respectivas rectas polares es recíproca, si el polo de L1 respecto a C1 pertenece a I, el polo de I respecto a C1 debe pertenecer a L1. Así, si se conoce R, se puede encontrar su polo P1 respecto a C1, y se obtiene como resultado el segundo punto de L1.

Los polos (puntos rojos) del eje radical R en las tres circunferencias dadas (en negro) se sitúan en las rectas verdes que unen los puntos de tangencia. Estas rectas se pueden construir a partir de los polos y del centro radical (en naranja).

Gergonne encontró el eje radical R de las circunferencias resolutorias desconocidas de la siguiente manera. Cualquier pareja de circunferencias tiene dos centros de semejanza; estos dos puntos son los dos puntos de intersección posibles de las rectas tangentes a las dos circunferencias. Por tanto, las tres circunferencias dadas tienen un total de seis centros de semejanza, dos por cada pareja diferente de circunferencias dadas. Sorprendentemente, estos seis puntos se encuentran en cuatro rectas, tres puntos en cada recta, por otra parte, cada recta corresponde al eje radical de una pareja potencial de circunferencias resolutorias. Para demostrar esto, Gergonne consideró rectas que pasaran por los puntos de tangencia de dos de las circunferencias dadas, es decir, la recta determinada por A1/A2 y la determinada por B1/B2. Sea X3 uno de los dos centros de semejanza de las circunferencias C1 y C2 y después A1/A2 y B1/B2 son parejas de puntos antihomológicas; debido a que no existe relación de los lados que en cada una de dos o más figuras geométricas semejantes están colocados en el mismo orden, y las rectas respectivas intersecan a X3. De ello se deduce, por tanto, que los productos de las distancias son iguales:

o que implica que X3 esté situado en el eje radical de las dos circunferencias resolutorias. El mismo razonamiento se puede aplicar a las otras parejas de circunferencias, de modo que tres centros de semejanza de las tres circunferencias dadas deben encontrarse en el eje radical de parejas de circunferencias resolutorias.

En resumen, la recta L1 buscada queda determinada por dos puntos: el centro radical G de las tres circunferencias dadas y el polo respecto a C1 de una de las cuatro rectas que unen los centros homotéticos. El hecho de encontrar los mismos polos respecto a C2 y C3 permite obtener L2 y L3, respectivamente, así, se pueden situar los seis puntos y encontrar una pareja de circunferencias resolutorias. La repetición de este procedimiento con las otras tres rectas que unen centros homotéticos da seis soluciones más, formando un total de ocho soluciones. Sin embargo, si una recta Lk no interseca la circunferencia correspondiente Ck para algún valor de k, no existe la pareja de circunferencias resolutorias para esta recta de centros de homotecia.

Casos especiales

Diez combinaciones de puntos, rectas y circunferencias

El problema de Apolonio consiste en construir una o más circunferencias tangentes a tres objetos dados, que pueden ser circunferencias, puntos o rectas. Esto da hasta diez tipos de problemas de Apolonio, correspondientes a cada combinación de circunferencias, rectas y puntos, a las que se puede designar un código de tres letras, C, R (L en inglés), o bien P, para denotar si los objetos dados son una circunferencia, una recta o un punto, respectivamente.[5]​ Por ejemplo, el tipo de problema de Apolonio con una circunferencia, recta y punto dados se indica con el código CRP. Los puntos y las rectas se pueden considerar casos especiales de las circunferencias, un punto se puede considerar una circunferencia de radio infinitamente pequeño, y una recta se puede concebir como una circunferencia infinitamente grande con el centro también situado en el infinito.

Algunos de estos casos especiales son más fáciles de resolver que el caso general de tres circunferencias dadas. Los dos casos más sencillos son los que se tratan de dibujar una circunferencia que pase por tres puntos dados (PPP) o tangente a tres rectas (RRR), que fueron resueltos por Euclides en la obra Elementos. Por ejemplo, el caso PPP se puede resolver como se explica a continuación. El centro de la circunferencia resolutoria es equidistante a los tres puntos, y por lo tanto, debe situarse sobre la mediatriz del segmento formado por dos de los puntos. En consecuencia, el centro es el punto de intersección de dos de las mediatrices. Del mismo modo, en el caso RRR, el centro se situará sobre las bisectrices de los ángulos formados en los tres puntos de intersección entre las rectas dadas, por lo que el nuevo centro se sitúa el punto de intersección de dos de estas bisectrices. Como hay dos bisectrices en cada punto de intersección de las tres rectas dadas, existen cuatro soluciones al problema general RRR.

Los otros nueve casos que comportan el uso de rectas y puntos se pueden considerar casos límite del problema general.[5]​[3]​ A menudo estos casos especiales tienen menos soluciones que el problema general, por ejemplo, el reemplazo de una circunferencia dada por un punto deja en la mitad el número de soluciones, ya que un punto se puede concebir como una circunferencia infinitesimal que es a la vez tangente interna y externa.

Tabla 1: Diez tipos de Problemas de Apolonio
Índice Código Elementos dados Número de soluciones
(en general)		 Ejemplo
(soluciones en rosa; circunferencias dadas en negro)
1 PPP tres puntos 1
2 RPP una recta y dos puntos 2
3 RRP dos rectas y un punto 2
4 RRR tres rectas 4
5 CPP una circunferencia y dos puntos 2
6 CRP una circunferencia, una recta y un punto 4
7 CRR una circunferencia y dos rectas 8
8 CCP dos circunferencias y un punto 4
9 CCR dos circunferencias y una recta 8
10 CCC tres circunferencias (el problema original) 8

Número de soluciones

Un problema de Apolonio sin soluciones. Una circunferencia que resolviera el problema (en rosa) debería cruzar la circunferencia discontinua dada (en negro) para tocar las otras dos circunferencias (también en negro).

El problema consistente en contar el número de soluciones de diferentes tipos de problemas de Apolonio pertenece al campo de la geometría enumerativa,[43]​[44]​ una rama de la geometría algebraica que busca encontrar el número de soluciones de ciertas cuestiones geométricas por medio de la teoría de intersección; una teoría en la que se calculan intersecciones dentro de un anillo. El número de soluciones general para cada uno de los diez tipos de problema de Apolonio se muestra en la tabla superior. Sin embargo, algunas disposiciones especiales de los objetos dados pueden hacer cambiar el número de soluciones. Por ejemplo, como se muestra en la ilustración de la derecha, el problema de Apolonio no tiene solución si una circunferencia contiene otra, ya que para tocar la circunferencia interna es necesario cortar la externa, pero la circunferencia resolutoria no puede cortar una circunferencia y ser a la vez tangente. Por otro lado, si las tres circunferencias dadas son tangentes en el mismo punto, entonces cualquier circunferencia tangente al mismo punto es resolutoria, este tipo de problema de Apolonio tienen infinitas soluciones. Si las tres circunferencias dadas son idénticas, existen también un número infinito de soluciones. Si sólo dos de las circunferencias dadas son idénticas, sólo hay dos circunferencias diferentes, los centros de las infinitas circunferencias resolutorias forman una hipérbola, lo que se utiliza en la resolución de las hipérbolas secantes.

Una enumeración exhaustiva del número de soluciones para todas las disposiciones posibles de las tres circunferencias, puntos o rectas dadas fue realizada por Muirhead en 1896,[45]​ aunque anteriormente la cuestión ya había sido tratada por Stoll,[46]​ y Study.[47]​ Sin embargo, la lista de Muirhead no estaba completa; y se amplió en 1974[48]​ y la enumeración definitiva, con 33 casos diferentes, se publicó en 1983.[3]​ Aunque normalmente las soluciones del problema de Apolonio van en parejas relacionadas por la inversión, es posible que en algunos casos haya un número impar de soluciones, como la solución única del caso PPP, o cuando una o tres circunferencias dadas son soluciones por sí mismas (como el teorema de Descartes). Sin embargo, no existe ningún problema de Apolonio con siete soluciones.[38]​[46]​ Otros métodos de resolución alternativos basados en la geometría de circunferencias y esferas han sido desarrollados y utilizados en dimensiones más grandes.[15]​[39]​

Circunferencias dadas tangentes entre ellas: circunferencias de Soddy y teorema de Descartes

Si las tres circunferencias dadas son tangentes entre ellas, el problema de Apolonio tiene cinco soluciones. Tres de las soluciones son las mismas circunferencias dadas, ya que cada una es tangente a sí misma con respecto a las otras dos. Las dos soluciones restantes corresponden a las circunferencias inscrita y circunscrita en la figura, y se llaman circunferencias de Soddy.[49]​ Este caso especial del problema de Apolonio también se conoce como problema de las cuatro monedas.[50]​[51]​ Las tres circunferencias dadas de este problema de Apolonio forman una cadena de Steiner tangente a las dos circunferencias de Soddy.

Cualquier circunferencia de Soddy, junto con las tres circunferencias dadas, produce un conjunto de cuatro circunferencias que son tangentes entre todas ellas en seis puntos. Los radios de estas cuatro circunferencias están relacionados por una ecuación conocida como teorema de Descartes. En una carta del 1643 a la princesa Isabel I de Inglaterra,[52]​ René Descartes demostró que:

donde ks = 1/rs y rs son la curvatura y el radio de la circunferencia resolutoria, respectivamente, y análogamente para las curvaturas k1, k2 y k3 y los radios r1, r2 y r3 de las tres circunferencias dadas. Por cada conjunto de cuatro circunferencias tangentes entre ellas, existe un segundo conjunto de cuatro circunferencias tangentes entre sí en los mismos seis puntos.[20]​[53]​

El teorema de Descartes fue descubierto independientemente en 1826 por Jakob Steiner,[54]​ en 1842 por Philip Beecroft,[20]​[53]​[55]​ y otra vez en 1936 por Frederick Soddy.[56]​ Soddy publicó el descubrimiento en la revista científica Nature en un poema en inglés llamado The Kiss Precise (en español, El beso preciso). La primera estrofa describe las circunferencias de Soddy, mientras que la segunda formula el teorema de Descartes. En el poema de Soddy, se dice que dos circunferencias kiss (se besan) si son tangentes y el término «bend» se refiere a la curvatura k de la circunferencia.

For pairs of lips to kiss maybe
Involves no trigonometry.
'Tis not so when four circles kiss
Each one the other three.
To bring this off the four must be
As three in one or one in three.
If one in three, beyond a doubt
Each gets three kisses from without.
If three in one, then is that one
Thrice kissed internally.

Four circles to the kissing come.
The smaller are the benter.
The bend is just the inverse of
The distance from the center.
Though their intrigue left Euclid dumb
There's now no need for rule of thumb.
Since zero bend's a dead straight line
And concave bends have minus sign,
The sum of the squares of all four bends

Is half the square of their sum.
Pueden besarse los labios, dos a dos,
sin mucho calcular, sin trigonometría;
mas ¡ay! no sucede igual en geometría,
pues si cuatro círculos tangentes quieren ser
y besar cada uno a los otros tres,
para lograrlo habrán de estar los cuatro
o tres dentro de uno, o alguno
por otros tres a coro rodeado. De estar uno entre tres, el caso es evidente
pues son todos besados desde afuera.
Y el caso tres en uno no es quimera,
al ser éste uno por tres veces besado internamente.

Cuatro círcunferencias llegaron a besarse,
cuanto menores tanto más curvados,
y es su curvatura tan sólo la inversa
de la distancia desde el centro.
Aunque este enigma a Euclides asombrara,
ninguna regla empírica es necesaria:
al ser las rectas de nula curvatura
y ser las curvas cóncavas tomadas negativas,
la suma de cuadrados de las cuatro curvaturas

Es igual a un medio del cuadrado de su suma.[57]​

Daniel Pedoe trabajó en varias extensiones del teorema de Descartes.[58]​

Generalizaciones

Un tamiz de Apolonio simétrico, también llamado empaquetado de Leibniz, ya que su creador fue Gottfried Leibniz.

El problema de Apolonio se puede generalizar a construir todas las circunferencias que intersecan tres circunferencias dadas en un ángulo θ preciso, o en tres ángulos especificados θ1, θ2 y θ3;[54]​ el problema de Apolonio ordinario corresponde al caso especial en que el ángulo de cruce es cero para las tres circunferencias dadas. Otra generalización es la dual de la primera extensión, es decir, construir circunferencias con tres distancias tangenciales especificadas de las tres circunferencias dadas, en cuyo caso el problema original es el caso especial en que las distancias son cero.[15]​

El problema de Apolonio se puede generalizar con la esfera y en otras superficies cuádricas. Para la esfera, el problema consiste en construir todas las circunferencias (los bordes de los casquetes esféricos) que son tangentes a tres circunferencias dadas a la esfera.[12]​[13]​[59]​ Este problema esférico puede convertirse en un problema plano correspondiente utilizando una proyección estereográfica. Una vez se han construido las soluciones del problema en el plano, las soluciones correspondientes al problema esférico se pueden determinar invirtiendo la proyección estereográfica. De manera más general, se puede considerar el problema de cuatro curvas tangentes que resultan de la intersección de una superficie cuádrica arbitraria y cuatro planos, un problema que trató por primera vez Charles Dupin.[1]​

Resolviendo el problema de Apolonio para encontrar la circunferencia inscrita repetidamente, se pueden llenar los intersticios entre las circunferencias mutuamente tangentes tan finamente como se desee, formando así un tamiz de Apolonio, también conocido como empaquetado de Leibniz o empaquetado apoloniano.[60]​ Este tamiz es un fractal, es autosemejante y tiene una dimensión de Hausdorff de que no se conoce exactamente pero está alrededor de 1.3,[61]​[62]​[63]​ que es mayor que la de una curva regular o rectificable (d = 1) pero más pequeña que la de un plano (d = 2). El tamiz de Apolonio fue descrito por primera vez por Gottfried Leibniz en el siglo XVII, y es el precursor curvo del triángulo de Sierpinski del siglo XX.[64]​[65]​ El tamiz de Apolonio también posee conexiones profundas con otros campos de las matemáticas, por ejemplo, es el conjunto límite de los grupos kleinianos,[66]​ un grupo finito tipo Γ generado por la orientación y preservación de ciertos mapas en la 1-esfera en la misma . La disposición de una circunferencia tangente a cuatro circunferencias en el plano tiene propiedades especiales, que fueron clarificadas por Larmor (1891)[67]​ y Lachlan (1893).[68]​ Esta disposición también es la base del teorema de Casey,[27]​ que es una generalización del teorema de Ptolomeo.[41]​

La extensión del problema de Apolonio en tres dimensiones, a saber, el problema de encontrar una quinta que sea tangente a cuatro esferas dadas, se puede resolver mediante métodos análogos.[1]​ Por ejemplo, las circunferencias dadas y resolutoria se pueden cambiar de tamaño de tal manera que una circunferencia dada se reduzca a un punto mientras se mantiene la tangencia.[42]​ Una inversión en este punto reduce el problema de Apolonio a encontrar un plano tangente a tres esferas dadas. En general existen ocho planos que son tangentes, que se convierten en las soluciones del problema original cuando se deshacen la inversión y los cambios de tamaño. Pierre de Fermat fue la primera persona que trató este problema,[69]​ y muchos otros métodos de resolución se han desarrollado a lo largo de los siglos.[70]​[71]​[72]​[73]​[74]​[75]​[76]​[77]​[78]​[79]​ El problema de Apolonio puede extenderse a d dimensiones, y consiste en construir las hiperesferas tangentes a un conjunto dado de d + 1 hiperesferas.[44]​ Tras la publicación del redescubrimiento del teorema de Descartes por parte de Frederick Soddy en 1936, varias personas resolvieron (independientemente) el caso de las circunferencias tangentes correspondientes a las circunferencias de Soddy en d dimensiones.[80]​

Aplicaciones

La aplicación principal del problema de Apolonio, tal como lo formuló Isaac Newton, es la trilateración hiperbólica, que tiene por objeto determinar una posición a partir de las diferencias entre las distancias hasta al menos tres puntos.[17]​ Por ejemplo, un barco que determina su posición a partir de las diferencias en el tiempo de llegada de señales provenientes de tres transmisores sincronizados. La resolución del problema de Apolonio fue utilizada durante la Primera Guerra Mundial para determinar la ubicación de una pieza de artillería a partir de la diferencia de tiempo en que se oía el disparo desde tres lugares diferentes,[1]​ y la trilateración hiperbólica es el principio utilizado por los sistemas de navegación Decca y LORAN.[11]​ De manera análoga, la ubicación de un avión se puede determinar a partir de la diferencia en el tiempo de llegada de una señal a cuatro estaciones receptoras. Este problema de multilateración es equivalente a la generalización tridimensional del problema de Apolonio y se aplica a sistemas globales de navegación por satélite como el GPS.[18]​ También se utiliza para determinar la ubicación de animales que emiten sonidos (como los pájaros o las ballenas), aunque no se corresponde con el problema de Apolonio si la velocidad del sonido varía según la dirección (es decir, cuando el medio de transmisión no es isotrópico).[81]​

El problema de Apolonio tiene otras aplicaciones. En el volumen uno y proposición 21 de la obra Principia, Newton utilizó la resolución del problema para construir una órbita en mecánica celeste a partir del centro de atracción y de la observación de rectas tangentes a la órbita correspondientes a velocidades instantáneas.[1]​ El caso especial del problema de Apolonio en el que las tres circunferencias son tangentes se utiliza en el método de la circunferencia de Hardy-Littlewood de teoría de números analítica para construir el contorno de Hans Rademacher para la integración compleja, dados los límites de un conjunto infinito de circunferencias de Ford cada uno de los cuales toca muchos otros.[16]​ Finalmente, el problema de Apolonio ha sido aplicado a algunos tipos de problemas de empaquetado, que surgen en campos dispares como los códigos de corrección de errores utilizados en los DVDs y el diseño de fármacos que se unen a una determinada enzima de una bacteria patógena.[19]​

Fuentes

Referencias

  1. ↑ a b c d e f g h i j Althiller-Court N (1961). «The problem of Apollonius». The Mathematics Teacher 54: 444-452. 
  2. ↑ a b Filmore (2003). The Apollonius Contact Problem and Representational Geometry. Iowa, Estados Unidos. p. 12. 
  3. ↑ a b c d e f g Bruen A, Fisher JC, Wilker JB (1983). «Apollonius by Inversion». Mathematics Magazine 56 (2): 97-103. doi:10.2307/2690380. 
  4. ↑ a b c d e Pappus (1876). F Hultsch, ed. Pappi Alexandrini collectionis quae supersunt (3 volúmenes edición). 
  5. ↑ a b c d Altshiller-Court N (1952). College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle (2da. edición). New York: Barnes and Noble. pp. 222-227. ISBN 978-0486458052. 
    Hartshorne, Robin (2000). Geometry: Euclid and Beyond. New York: Springer Verlag. pp. 346-355, 496, 499. ISBN 978-0387986500. 
    Rouché, Eugène; Ch de Comberousse (1883). Traité de géométrie (5ta. edición). Paris: Gauthier-Villars. pp. 252-256. OCLC 252013267. 
  6. ↑ a b c 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 latin). Würzburg: Typis Georgii Fleischmanni. 
  7. ↑ a b c Newton I (1974). DT Whiteside, ed. The Mathematical Papers of Isaac Newton, Volume VI: 1684–1691. Cambridge: Cambridge University Press. p. 164. ISBN 0-521-08719-8. 
  8. ↑ a b c d e f Dörrie H (1965). «The Tangency Problem of Apollonius». 100 Great Problems of Elementary Mathematics: Their History and Solutions. New York: Dover. pp. 154-160 (§32). 
  9. ↑ a b c d Viète F. (1600). «Apollonius Gallus. Seu, Exsuscitata Apolloni Pergæi Περι Επαφων Geometria». En Frans van Schooten, ed. Francisci Vietae Opera mathematica (en latin). ex officina B. et A. Elzeviriorum (Lugduni Batavorum). pp. 325-346.  Parámetro desconocido |publication-fecha= ignorado (ayuda)
  10. ↑ a b c Newton I (1687). Philosophiæ Naturalis Principia Mathematica. Book I, Section IV, Lemma 16. 
  11. ↑ a b c Hofmann-Wellenhof B, Legat K, Wieser M, Lichtenegger H (2003). Navigation: Principles of Positioning and Guidance. Springer. ISBN 978-3211008287. 
  12. ↑ a b c d Gergonne J (1813–1814). «Recherche du cercle qui en touche trois autres sur une sphère». Ann. Math. Pures appl. 4. 
  13. ↑ a b Carnot L (1803). Géométrie de position. Paris: Unknown publisher. pp. 415, §356. 
  14. ↑ a b Coaklay GW (1860). «Analytical Solutions of the Ten Problems in the Tangencies of Circles; and also of the Fifteen Problems in the Tangencies of Spheres». The Mathematical Monthly 2: 116-126. 
  15. ↑ a b c d e f Zlobec BJ, Kosta NM (2001). «Configurations of Cycles and the Apollonius Problem». Rocky Mountain Journal of Mathematics 31: 725-744. doi:10.1216/rmjm/1020171586. 
  16. ↑ a b Apostol TM (1990). Modular functions and Dirichlet series in number theory (2da edición). New York: Springer-Verlag. ISBN 978-0-387-97127-8. 
  17. ↑ a b c Schmidt, RO (1972). «A new approach to geometry of range difference location». IEEE Transactions on Aerospace and Electronic Systems. AES-8: 821-835. doi:10.1109/TAES.1972.309614. 
  18. ↑ a b c Hoshen J (1996). «The GPS Equations and the Problem of Apollonius». IEEE Transactions on Aerospace and Electronic Systems 32: 1116-1124. doi:10.1109/7.532270. 
  19. ↑ a b Lewis RH, Bridgett S (2003). «Conic Tangency Equations and Apollonius Problems in Biochemistry and Pharmacology». Mathematics and Computers in Simulation 61: 101-114. doi:10.1016/S0378-4754(02)00122-2. 
  20. ↑ a b c d e Coxeter HSM (1 January 1968). «The Problem of Apollonius». The American Mathematical Monthly 75 (1): 5-15. ISSN 0002-9890. doi:10.2307/2315097. 
  21. ↑ a b Coolidge JL (1916). A Treatise on the Circle and the Sphere. Oxford: Clarendon Press. pp. 167-172. 
  22. ↑ a b c Coxeter HSM, Greitzer SL (1967). Geometry Revisited. Washington: MAA. ISBN 978-0883856192. 
  23. ↑ Coxeter, HSM (1969). "Introduction to Geometry" (2nd edición). New York: Wiley. ISBN 978-0471504580. 
  24. ↑ Needham, T (2007). "Visual Complex Analysis". New York: Oxford University Press. pp. 140-141. ISBN 978-0-19-853446-4. 
  25. ↑ Gisch, David (2003). Apollonius' problem: A study of solutions and their connections. Iowa, Estados Unidos. p. 2 |página= y |páginas= redundantes (ayuda).  Texto «publicación » ignorado (ayuda)
  26. ↑ Newton I (1974). DT Whiteside, ed. The Mathematical Papers of Isaac Newton, Volume VI: 1684–1691. Cambridge: Cambridge University Press. pp. 162-165, 238-241. ISBN 0-521-08719-8. 
  27. ↑ a b Casey J (1886) [1881]. A sequel to the first six books of the Elements of Euclid. Hodges, Figgis & co. p. 122. ISBN 978-1418166090. 
  28. ↑ Courant R, Robbins H (1943). What is Mathematics? An Elementary Approach to Ideas and Methods. London: Oxford University Press. pp. 125-127, 161-162. ISBN 0195105192. 
  29. ↑ Bold B (1982). Famous problems of geometry and how to solve them. Dover Publications. pp. 29-30. ISBN 0486242978. 
  30. ↑ Boyer CB, Merzbach UC (1991). «Apollonius of Perga». A History of Mathematics (2nd edición). John Wiley & Sons, Inc. p. 322. ISBN 0-471-54397-7. 
  31. ↑ Simson R (1734) Mathematical Collection, volumen VII, p. 117.
    Zeuthen HG (1886). Die Lehre von den Kegelschnitten im Altertum. Copenhagen: Unknown. pp. 381-383.  (en alemán)
    Heath TL. A History of Greek Mathematics, Volume II: From Aristarchus to Diophantus. Oxford: Clarendon Press. pp. 181-185, 416-417. 
  32. ↑ Poncelet J-V (January de 1811). «Solutions de plusieurs problêmes de géométrie et de mécanique». Correspondance sur l'École Impériale Polytechnique 2 (3): 271-273. 
  33. ↑ Petersen J (1879). Methods and Theories for the Solution of Problems of Geometrical Constructions, Applied to 410 Problems. London: Sampson Low, Marston, Searle & Rivington. pp. 94-95 (Example 403). 
  34. ↑ Euler L (1790). «Solutio facilis problematis, quo quaeritur circulus, qui datos tres circulos tangat» (PDF). Nova Acta Academiae Scientarum Imperialis Petropolitinae 6: 95-101.  Reimpreso en Euler's Opera Omnia, serie 1, volumen 26, pp. 270–275.
  35. ↑ a b Gauss CF (1873). Werke, 4. Band (reprinted in 1973 by Georg Olms Verlag (Hildesheim) edición). Göttingen: Königlichen Gesellschaft der Wissenschaften. pp. 399-400. ISBN 3-487-04636-9. 
  36. ↑ Carnot L (1801). De la corrélation dans les figures de géométrie. Paris: Unknown publisher. pp. No. 158-159.  (en francés)
    Carnot L (1803). Géométrie de position. Paris: Unknown publisher. pp. 390, §334. 
  37. ↑ Cauchy AL (July de 1806). «Du cercle tangent à trois cercles donnés». Correspondance sur l'École Polytechnique 1 (6): 193-195. 
  38. ↑ a b Pedoe D (1970). «The missing seventh circle». Elemente der Mathematik 25: 14-15. 
  39. ↑ a b Knight RD (2005). «The Apollonius contact problem and Lie contact geometry». Journal of Geometry 83: 137-152. doi:10.1007/s00022-005-0009-x. 
  40. ↑ Salmon G (1879). A Treatise on Conic Sections, Containing an Account of Some of the Most Important Modern Algebraic and Geometric Methods. London: Longmans, Green and Co. pp. 110-115, 291-292. ISBN 0828400989. 
  41. ↑ a b c Johnson RA (1960). Advanced Euclidean Geometry: An Elementary treatise on the geometry of the Triangle and the Circle (Edición impresa en 1929 por Houghton Mifflin edición). New York: Dover Publications. pp. 117-121 (Apollonius' problem), 121-128 (Casey's and Hart's theorems). ISBN 978-0486462370. 
  42. ↑ a b c Ogilvy CS (1990). Excursions in Geometry. Dover. pp. 48-51 (Apollonius' problem), 60 (extension to tangent spheres). ISBN 0-486-26530-7. 
  43. ↑ Error en la cita: Etiqueta <ref> no válida; no se ha definido el contenido de las referencias llamadas bruen 1983
  44. ↑ a b Dreschler K, Sterz U (1999). «Apollonius' contact problem in n-space in view of enumerative geometry». Acta Mathematica Universitatis Comenianae 68 (1): 37-47. 
  45. ↑ Muirhead RF (1896). «On the Number and nature of the Solutions of the Apollonian Contact Problem». Proceedings of the Edinburgh Mathematical Society 14: 135-147, attached figures 44-114. doi:10.1017/S0013091500031898. 
  46. ↑ a b Stoll V (1876). «Zum Problem des Apollonius». Mathematische Annalen 6: 613-632. doi:10.1007/BF01443201. 
  47. ↑ Study E (1897). «Das Apollonische Problem». Mathematische Annalen 49: 497-542. doi:10.1007/BF01444366. 
  48. ↑ Fitz-Gerald JM (1974). «A Note on a Problem of Apollonius». Journal of Geometry 5: 15-26. doi:10.1007/BF01954533. 
  49. ↑ Eppstein D (1 January 2001). «Tangent Spheres and Triangle Centers». The American Mathematical Monthly 108 (1): 63-66. ISSN 0002-9890. doi:10.2307/2695679. 
  50. ↑ Oldknow A (1 April 1996). «The Euler-Gergonne-Soddy Triangle of a Triangle». The American Mathematical Monthly 103 (4): 319-329. ISSN 0002-9890. doi:10.2307/2975188. 
  51. ↑ Weisstein, EW. «Four Coins Problem». MathWorld. Consultado el 6 de octubre de 2008. 
  52. ↑ Descartes R, Œuvres de Descartes, Correspondance IV, (C. Adam and P. Tannery, Eds.), Paris: Leopold Cert 1901. (en francés)
  53. ↑ a b Beecroft H (1842). «Properties of Circles in Mutual Contact». Lady’s and Gentleman’s Diary 139: 91-96. 
  54. ↑ a b Steiner J (1826). «Einige geometrische Betrachtungen». Journal für die reine und angewandte Mathematik 1: 161-184, 252-288. 
  55. ↑ Beecroft H (1846). «Unknown title». Lady’s and Gentleman’s Diary: 51.  (MathWords online article)
  56. ↑ Soddy F (20 June 1936). «The Kiss Precise». Nature 137: 1021. doi:10.1038/1371021a0. 
  57. ↑ Traducción del poema de Soddy. Traducción que aparece en la versión en español de Circo Matemático, de Martin Gardner, consultado el 8 de agosto de 2010.
  58. ↑ Pedoe D (1 June 1967). «On a theorem in geometry». Amer. Math. Monthly 74 (6): 627-640. ISSN 0002-9890. doi:10.2307/2314247. 
  59. ↑ Vannson (1855). «Contact des cercles sur la sphère, par la geométrie». Nouvelles Annales de Mathématiques XIV: 55-71. 
  60. ↑ Kasner E, Supnick F (December de 1943). «The Apollonian packing of circles» (Free full text). Proc. Natl. Acad. Sci. USA 29 (11): 378-384. ISSN 0027-8424. PMC 1078636. PMID 16588629. doi:10.1073/pnas.29.11.378. 
  61. ↑ Boyd DW (1973). «Improved Bounds for the Disk Packing Constants». Aeq. Math. 9: 99-106. doi:10.1007/BF01838194. 
  62. ↑ Boyd DW (1973). «The Residual Set Dimension of the Apollonian Packing». Mathematika 20: 170-174. doi:10.1112/S0025579300004745. 
  63. ↑ McMullen, Curtis T (1998). «Hausdorff dimension and conformal dynamics III: Computation of dimension» (PDF). American Journal of Mathematics 120: 691-721. doi:10.1353/ajm.1998.0031. 
  64. ↑ Mandelbrot B (1983). The Fractal Geometry of Nature. New York: W. H. Freeman. p. 170. ISBN 978-0716711865. 
  65. ↑ Aste T, Weaire D (2008). In Pursuit of Perfect Packing (2da. edición). New York: Taylor and Francis. pp. 131-138. ISBN 978-1420068177. 
  66. ↑ Mumford D, Series C, Wright D (2002). Indra's Pearls: The Vision of Felix Klein. Cambridge: Cambridge University Press. pp. 196-223. ISBN 0-521-35253-3. 
  67. ↑ Larmor A (1891). «Contacts of Systems of Circles». Proc. London Math. Soc. 23: 136-157. doi:10.1112/plms/s1-23.1.135. 
  68. ↑ Lachlan R (1893). An elementary treatise on modern pure geometry. London: Macmillan. pp. §383-396, pp. 244-251. ISBN 1429700505. Plantilla:ASIN. 
  69. ↑ de Fermat P, Varia opera mathematica, p. 74, Tolos, 1679.
  70. ↑ Euler L (1810). «Solutio facilis problematis, quo quaeritur sphaera, quae datas quatuor sphaeras utcunque dispositas contingat» (PDF). Memoires de l'academie des sciences de St.-Petersbourg 2: 17-28.  Reimpreso en Opera Omnia, serie 1, volume 26, pp. 334–343.
  71. ↑ Carnot L (1803). Géométrie de position. Paris: Imprimerie de Crapelet, chez J. B. M. Duprat. pp. 357, §416. 
  72. ↑ Hachette JNP (September 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 1 (2): 27-28. 
  73. ↑ Français J (January de 1810). «De la sphère tangente à quatre sphères données». Correspondance sur l'École Impériale Polytechnique 2 (2): 63-66. 
  74. ↑ Français J (January de 1813). «Solution analytique du problème de la sphère tangente à quatre sphères données». Correspondance sur l'École Impériale Polytechnique 2 (5): 409-410. 
  75. ↑ Dupin C (January de 1813). «Mémoire sur les sphères». Correspondance sur l'École Impériale Polytechnique 2 (5): 423. 
  76. ↑ Reye T (1879). Synthetische Geometrie der Kugeln (PDF). Leipzig: B. G. Teubner. 
  77. ↑ Serret JA (1848). «De la sphère tangente à quatre sphères donnèes». Journal für die reine und angewandte Mathematik 37: 51-57. 
  78. ↑ Coaklay GW (1859–1860). «Analytical Solutions of the Ten Problems in the Tangencies of Circles; and also of the Fifteen Problems in the Tangencies of Spheres». The Mathematical Monthly 2: 116-126. 
  79. ↑ Alvord B (1 January 1882). «The intersection of circles and intersection of spheres». American Journal of Mathematics 5 (1): 25-44, con cuatro página de figuras. ISSN 0002-9327. doi:10.2307/2369532. 
  80. ↑ Gossett T (1937). «The Kiss Precise». Nature 139: 62. doi:10.1038/139062a0. 
  81. ↑ Spiesberger, JL (2004). «Geometry of locating sounds from differences in travel time: Isodiachrons». The Journal of the Acoustic Society of America 116: 3168-3177. doi:10.1121/1.1804625. 

Bibliografía

  • Boyd DW (1973). «The osculatory packing of a three-dimensional sphere». Canadian J. Math. 25: 303-322. 
  • Callandreau, Édouard (1949). Célèbres problèmes mathématiques. Paris: Albin Michel. pp. 219-226. OCLC 61042170. 
  • Camerer JG (1795). Apollonii de Tactionibus, quae supersunt, ac maxime lemmata Pappi, in hos libros Graece nunc primum edita, e codicibus manuscriptis, cum Vietae librorum Apollonii restitutione, adjectis observationibus, computationibus, ac problematis Apolloniani historia. Gothae: Ettinger. 
  • Gisch D, Ribando JM (2004). «Apollonius’ Problem: A Study of Solutions and Their Connections». American Journal of Undergraduate Research 3: 15-25. 
  • Pappus, Alexandrinus (1933). Pappus d'Alexandrie: La collection mathématique. Paris. OCLC 67245614.  Trans., introd., and notes by Paul Ver Eecke.
  • Simon M (1906). Über die Entwicklung der Elementargeometrie im XIX. Jahrhundert. Berlin: Teubner. pp. 97-105. 
  • Wells D (1991). The Penguin Dictionary of Curious and Interesting Geometry. New York: Penguin Books. pp. 3-5. ISBN 0-14-011813-6. 

Enlaces externos

Obtenido de «https://es.wikipedia.org/w/index.php?title=Problema_de_Apolonio&oldid=39454522»