Teorema di Cartesio

Ercole Suppa 2 novembre 2013

Sommario In geometria il teorema di Descartes ` e una formula che esprime la relazione tra quattro circonferenze mutuamente tangenti . Il teorema, dimostrato da Ren e Descartes nel 1643, pu` o essere usato per costruire una quarta circonferenza tangente, date altre tre.

Storia

Problemi geometrici relativi a circonferenze tangenti furono studiati n dallantica Grecia; Apollonio di Perga, nel III secolo a.C. dedic` o allargomento un intero libro (Sulle tangenze), andato perso nel tempo. Fu Cartesio nel 1643 a riprendere largomento e a fornire una dimostrazione in una lettera alla principessa Elisabetta de Hervorden (glia di Elisabetta di Boemia ). In seguito Frederick Soddy ripropose una sua versione del teorema in versi, nella poesia The Kiss Precise, pubblicata il 20 giugno 1936 sul periodico Nature ; da qui nacque anche lusanza di chiamare circonferenze di Soddy le quattro circonferenze tangenti coinvolte nel teorema. Soddy forn` anche una dimostrazione del teorema estesa al caso di sfere tangenti.

ercolesuppa@gmail.com

Enunciato del teorema

I numeri sono le curvature dei cerchi Figura 1

Date quattro circonferenze mutuamente tangenti (non pi` u di due tangenti internamente) di raggio rj (j = 1, 2, 3, 4), vale la seguente relazione:
2 2 2 2 (k1 + k2 + k3 + k4 )2 = 2 k1 + k2 + k3 + k4 1 ` e la curvatura della i-esima circonferenza. Il teorema pu` o quindi dove ki = r i essere scritto anche utilizzando i raggi delle circonferenze:

1 1 1 1 + + + r1 r2 r3 r4

=2

1 1 1 1 + 2+ 2+ 2 2 r1 r2 r3 r4

Date tre circonferenze tangenti, il raggio della quarta circonferenza pu` o essere trovato come: k4 = k1 + k2 + k3 2 k1 k2 + k2 k3 + k3 k1 Il segno indica che in generale esistono due possibili circonferenze, una esterna e laltra interna alle tre iniziali.

Caso particolare

Figura 2

Il teorema pu` o essere esteso al caso in cui una delle circonferenze degenera in una retta; in questo caso una delle tre curvature ` e nulla; ad esempio, ponendo k3 = 0 si ricava k4 = k1 + k2 + k1 k2 Il teorema non ` e applicabile al caso in cui due o tre circonferenze degenerano in rette.