Teorema de los círculos de Descartes

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En geometría, el teorema de los círculos de Descartes establece la relación entre cuatro círculos tangentes entre sí por medio de su curvatura.

Historia[editar]

Este problema geométrico ha sido abordado por milenios. En la grecia antigua, del siglo III a. C. Apolonio de Perga dedicó un libro entero al tema, lamentablemente el libro llamado Sobre tangencias, no está entre sus obras sobrevivientes. En él se describía el que será el tamiz de Apolonio.

René Descartes abordó el problema en 1643, en una carta a la princesa Isabel I de Bohemia. Da una solución al problema, y por lo tanto, se atribuye su nombre al teorema.

Frederick Soddy redescubrió en 1936 la solución, por lo cual, este problema es a veces conocido como los círculos besadores de Soddy , porque Soddy escogió para publicar su versión del teorema en la forma de un poema titulado The Kiss Precise, publicado en la revista Nature (20 de junio de 1936). Soddy también extendió el teorema de las esferas; Thorold Gosset prorrogó el teorema a dimensiones arbitrarias.

Definición de curvatura[editar]

Círculos tangentes. Dado tres círculos mutuamente tangentes (negro), ¿Cuál es el radio del cuarto círculo? . En general hay dos soluciones posibles (rojo).

El teorema es más fácil de enunciar en términos de la curvatura de los círculos. La curvatura de un círculo se define como k = \pm \cfrac{1}{r}, donde r es el radio. Mientras más grande el círculo, menor es la magnitud de su curvatura, y viceversa.

El signo (+) en la curvatura se aplica a un círculo que es tangente exterior a los demás círculos, al igual que los tres círculos (negros) en la imagen. Internamente tangente de un círculo como el gran círculo (rojo), que circunscribe a los demás círculos, se aplica el signo (-).

Si consideramos una línea recta como un círculo degenerado de curvatura k = 0, el teorema es igualmente aplicable.

Teorema[editar]

Si cuatro círculos son mutuamente tangentes de curvatura ki (para cada i = 1,...,4), el teorema nos dice:

(k_1+k_2+k_3+k_4)^2=2\,(k_1^2+k_2^2+k_3^2+k_4^2).

Al tratar de encontrar el radio del cuarto círculo tangente a los otros tres círculos, la ecuación se reescribe como:

 k_4 = k_1 + k_2 + k_3 \pm2 \sqrt{k_1 k_2 + k_2 k_3 + k_3 k_1}.

El signo ± refleja que en general existen dos soluciones, criterios externos pueden favorecer una solución sobre la otra en un determinado problema.

Véase también[editar]