Teorema di Descartes

Da Wikipedia, l'enciclopedia libera.

In geometria il teorema di Descartes è una formula che esprime la relazione tra quattro circonferenze mutuamente tangenti (circonferenze che si baciano). Il teorema, dimostrato da René Descartes (Cartesio) nel 1643, può essere usato per costruire una quarta circonferenza tangente, date altre tre.

Storia[modifica | modifica wikitesto]

Problemi geometrici relativi a circonferenze tangenti furono studiati fin dall'antica Grecia; Apollonio di Perga, nel III secolo a.C. dedicò all'argomento un intero libro (Sulle tangenze), andato perso nel tempo.

Fu Cartesio nel 1643 a riprendere l'argomento e a fornire una dimostrazione in una lettera alla principessa Elisabetta de Hervorden (figlia 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 l'usanza 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.

Enunciato del teorema[modifica | modifica wikitesto]

Dati tre cerchi mutuamente tangenti (in nero), il teorema di Descartes permette di trovare un quarto cerchio tangente; esistono due soluzioni possibili una interna (in rosso) e una esterna (in verde).

Date quattro circonferenze mutuamente tangenti (non più di due tangenti internamente) di raggio (, vale la seguente relazione:

dove è la curvatura della i-esima circonferenza. Il teorema può quindi essere scritto anche utilizzando i raggi delle circonferenze:

Date tre circonferenze tangenti, il raggio della quarta circonferenza può essere trovato come:

Il segno ± indica che in generale esistono due possibili circonferenze, una esterna e l'altra interna alle tre iniziali.

Casi particolari[modifica | modifica wikitesto]

Il teorema può essere esteso al caso in cui una delle circonferenze degenera in una retta; in questo caso una delle tre curvature è nulla; ad esempio, ponendo si ricava

Il teorema non è applicabile al caso in cui due o tre circonferenze degenerano in rette.

Teorema di Descartes complesso[modifica | modifica wikitesto]

Il teorema di Descartes classico fornisce i raggi delle circonferenze tangenti; queste vengono determinate completamente una volta noti i centri delle stesse; se le coordinate dei centri sono date da sul piano complesso i centri corrispondono ai numeri .

Si può allora dimostrare che vale la relazione

che è detta teorema di Descartes complesso.

Date tre circonferenze, si può applicare il teorema classico per trovare la curvatura della quarta circonferenza, e il teorema complesso per determinarne il centro.

Voci correlate[modifica | modifica wikitesto]

Altri progetti[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica