Théorème de Descartes (géométrie)

En géométrie, le théorème de Descartes, découvert par René Descartes, établit une relation entre quatre cercles tangents entre eux. Il peut être utilisé pour construire les cercles tangents à trois cercles donnés tangents deux à deux.

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (novembre 2016).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».

En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?

Cercles tangents. Soient trois cercles tangents entre eux (**noirs**), quel peut être le rayon d'un quatrième cercle tangent à ceux-ci ? Il existe généralement deux réponses (**cercles rouges**). *Les nombres sont les courbures des cercles*.

Histoire

Les problèmes géométriques concernant des cercles tangents sont très anciens. En Grèce antique, trois siècles avant Jésus-Christ, Apollonius de Perga a consacré un livre entier à ce sujet ; malheureusement ce livre, Les Contacts, a disparu. La construction d'un cercle tangent à trois cercles donnés (le plus difficile des problèmes qui figurait dans ce livre) est souvent appelé Problème d'Apollonius. Regiomontanus en a donné une solution algébrique au XV^e siècle mais ne croyait pas possible l'existence d'une solution géométrique, François Viète en a proposé la restauration à Adrien Romain, qui en a donné une solution bâtie sur des intersections d'hyperboles. Cette joute est l'occasion pour Viète de montrer la supériorité de son algèbre nouvelle par la publication de Apollonius Gallus^[1]. La grande finesse de Viète s'y montre à plein et Michel Chasles découvrira dans cet ouvrage les prémices de l'inversion plane.

René Descartes parle brièvement du problème en 1643, en considérant contrairement à ces prédécesseurs le cas de cercles mutuellement tangents, dans une lettre adressée à la princesse Élisabeth de Bohême à qui il avait soumis le problème^[2]^,^[3]. Il a fourni essentiellement la même solution que celle donnée dans la formule ci-dessous, c'est pourquoi son nom a été donné au théorème.

Philip Beecroft, un mathématicien amateur, découvre en 1842 que les configurations de quatre cercles mutuellement tangents apparaissent en paires duales ayant les mêmes points de contact et en déduit une démonstration de la relation de Descartes^[4].

Émile Lemoine donne une solution géométrique du problème, minimale dans son système de mesure des constructions.

Frederick Soddy redécouvre la formule en 1936, d'où le nom de formule de Soddy-Descartes donné parfois à cette formule^[5]. Les cercles solutions de l'équation sont appelés cercles de Soddy. Ils sont parfois connus sous le nom de kissing circles, peut-être parce que Soddy a choisi d'éditer sa version du théorème sous forme de poésie intitulée The Kiss precise, qui a été imprimé dans Nature le 20 juin 1936. Soddy a également étendu le théorème aux sphères. Une solution géométrique est détaillée ici^[6].

Définition de la courbure

Le théorème de Descartes s'énonce simplement en utilisant la courbure des cercles. La courbure d'un cercle est définie par $k=\pm 1/r$ , où $r$ est son rayon. Plus le cercle est grand, plus sa courbure est petite, et vice versa.

Le signe plus dans $k=\pm 1/r$ s'utilise pour un cercle qui est tangent extérieurement aux autres cercles, comme les trois cercles noirs dans la figure ci-dessus. Dans le cas d'un cercle tangent intérieurement, comme le grand cercle rouge dans la figure, on utilise le signe moins.

Le théorème de Descartes

Si quatre cercles tangents entre eux ont pour courbure $k_{i}$ (pour $i$ = 1…4), le théorème de Descartes énonce^[5]^,^[4]^,^[7]^,^[8]:

(1)

(k_{1}+k_{2}+k_{3}+k_{4})^{2}=2\,(k_{1}^{2}+k_{2}^{2}+k_{3}^{2}+k_{4}^{2}).

Une démonstration rapide datant de 2022 utilise le fait que le tétraèdre formé par les centres des quatre cercles a un volume donné par le déterminant de Cayley-Menger égal à 0^[9].

Cercles de Soddy

Article détaillé : Théorème de Soddy.

L'équation (1), vue comme une équation du second degré en $k_{4}$ , permet d’obtenir la courbure des cercles tangents à trois cercles donnés tangents deux à deux :

(2)

k_{4}=k_{1}+k_{2}+k_{3}\pm 2{\sqrt {k_{1}k_{2}+k_{2}k_{3}+k_{3}k_{1}}}.

Le signe ± indique qu'il existe deux cercles solutions : ce sont les cercles de Soddy ; les deux courbures de ces cercles sont reliés par $k_{4}+k'_{4}=2(k_{1}+k_{2}+k_{3})$ ; on en déduit que si quatre de ces cinq courbures sont entières, la cinquième l'est aussi.

Un des cercles est remplacé par une droite (courbure nulle) : le théorème de Descartes s'applique toujours. Les nombres indiqués sont les courbures des cercles .

Cas particulier

Si l'un des trois cercles est remplacé par une droite, la courbure $k_{3}$ (par exemple) est nulle^[11]. Ainsi l'équation (2), nous donne :

(3)

k_{4}=k_{1}+k_{2}\pm 2{\sqrt {k_{1}k_{2}}}

ce qui s'écrit aussi :

{\sqrt {k}}_{4}=|{\sqrt {k}}_{1}\pm {\sqrt {k}}_{2}|

.

Le théorème de Descartes ne s'applique pas lorsque plus d'un cercle est remplacé par une droite.

Le théorème ne s'applique pas non plus lorsque plus d'un cercle est tangent intérieurement, par exemple dans le cas de trois cercles imbriqués tangents en un point.

Théorème complexe de Descartes

Afin de définir un cercle complètement, non seulement son rayon (ou sa courbure), mais aussi son centre doivent être connus. L'équation appropriée est plus claire si les coordonnées (x, y) sont interprétées comme un nombre complexe $z=x+\mathrm {i} y.$ L'équation est alors similaire au théorème de Descartes et s'appelle le théorème complexe de Descartes.

Soient quatre cercles de courbure $k_{i}$ et de centre $z_{i}$ (pour $i$ = 1…4), l'égalité suivante se tire de l'équation (1):

(4)

(k_{1}z_{1}+k_{2}z_{2}+k_{3}z_{3}+k_{4}z_{4})^{2}=2\,(k_{1}^{2}z_{1}^{2}+k_{2}^{2}z_{2}^{2}+k_{3}^{2}z_{3}^{2}+k_{4}^{2}z_{4}^{2}).

Une fois $k_{4}$ trouvée via l'équation (2), on peut calculer $z_{4}$ en réécrivant l'équation (4) sous une forme semblable à l'équation (2). Encore une fois, il y aura en général deux solutions pour $z_{4}$ , correspondant aux deux solutions pour $k_{4}$ .

Démonstration par Beecroft de la relation de Descartes, et configuration associée.

Configuration de Beecroft.
$Vue des quatre cercles tangents C i {\displaystyle C_{i}} en noir, des quatre cercles tangents C i ′ {\displaystyle C'_{i}} grisés, et des trois cercles orthogonaux C i ″ {\displaystyle C_{i}} blancs.$

Vue des quatre cercles tangents $C_{i}$ en noir, des quatre cercles tangents $C'_{i}$ grisés, et des trois cercles orthogonaux $C''_{i}$ blancs.

Étant donné trois cercles mutuellement tangents extérieurement $C_{1},C_{2},C_{3}$ de centres $O_{1},O_{2},O_{3}$ , et $C_{4}$ le cercle minimum qui les englobe, de centre $O_{4}$ non tracé sur la figure, on note $I_{k}$ le point de contact de $C_{i}$ avec $C_{j}$ ( $\{i,j,k\}=\{1,2,3\}$ ), et $I'_{i}$ le point de contact de $C_{i}$ avec $C_{4}$ . On note $C'_{i}$ le cercle passant par $I'_{j},I_{i},I'_{k}$ , $O'_{i}$ son centre, et $C'_{4}$ le cercle passant par $I_{1},I_{2},I_{3}$ .

On a alors les résultats démontrés par Beecroft, complétés par Soland, suivants^[5]^,^[4]^,^[7]^,^[12] :

1) Les cercles $C'_{i}$ sont mutuellement tangents, $I'_{k}$ est le point de contact de $C'_{i}$ avec $C'_{j}$ , et $I_{i}$ le point de contact de $C'_{i}$ avec $C'_{4}$ .

$C_{4}$ est le cercle inscrit dans le triangle $O'_{1}O'_{2}O'_{3}$ , $C'_{4}$ le cercle inscrit dans le triangle $O_{1}O_{2}O_{3}$ , $C'_{i}$ le cercle exinscrit associé à $O_{4}$ dans le triangle $O_{4}O_{j}O_{k}$ , et $C_{i}$ le cercle inscrit dans le triangle $(O'_{4}O'_{j}O'_{k})$ .

On note $r_{i}$ le rayon algébrique de $C_{i}$ , $k_{i}=1/r_{i}$ sa courbure algébrique, $r'_{i}$ le rayon algébrique de $C'_{i}$ , et $k'_{i}=1/r'_{i}$ sa courbure algébrique.

2) Les huit courbures vérifient les relations de Descartes : $\left(\sum _{k=1}^{4}k_{i}\right)^{2}=2\sum _{k=1}^{4}{k_{i}}^{2}$ et $\left(\sum _{k=1}^{4}k'_{i}\right)^{2}=2\sum _{k=1}^{4}{k'_{i}}^{2}$ .

Démonstration partielle

On note $a_{i}=O_{j}O_{k}$ les longueurs des côtés du triangle $(O_{1}O_{2}O_{3})$ , $p$ son demi-périmètre, $S$ son aire.

$C'_{4}$ étant le cercle inscrit dans le triangle $(O_{1}O_{2}O_{3})$ , ${r'_{4}}^{2}={\frac {S^{2}}{p^{2}}}={\frac {(p-a_{1})(p-a_{2})(p-a_{3})}{p}}$ .

D'après les propriétés du cercle inscrit, $p-a_{i}=O_{i}I_{j}=r_{i}$ , et $p=r_{1}+r_{2}+r_{3}$ , donc ${k'_{4}}^{2}={\frac {r_{1}+r_{2}+r_{3}}{r_{1}r_{2}r_{3}}}=k_{2}k_{3}+k_{3}k_{1}+k_{1}k_{2}$ .

Dans la configuration duale des cercles $C'_{i}$ , on a donc aussi ${k_{4}}^{2}=k'_{2}k'_{3}+k'_{3}k'_{1}+k'_{1}k'_{2}$ , et on montre qu'on a aussi : ${k'_{i}}^{2}=k_{4}k_{j}+k_{j}k_{k}+k_{k}k_{4},{k_{i}}^{2}=k'_{4}k'_{j}+k'_{j}k'_{k}+k'_{k}k'_{4}$ .

On a alors $\sum _{k=1}^{4}k_{i}^{2}=2\sum _{1\leqslant i<j\leqslant 4}k'_{i}k'_{j}$ et $\sum _{k=1}^{4}{k'_{i}}^{2}=2\sum _{1\leqslant i<j\leqslant 4}k_{i}k_{j}$ .

Donc $\left(\sum _{k=1}^{4}k_{i}\right)^{2}=\sum _{k=1}^{4}k_{i}^{2}+2\sum _{1\leqslant i<j\leqslant 4}k_{i}k_{j}=\sum _{k=1}^{4}k_{i}^{2}+\sum _{k=1}^{4}{k'_{i}}^{2}$ et de la même façon : $\left(\sum _{k=1}^{4}k'_{i}\right)^{2}=\sum _{k=1}^{4}{k'_{i}}^{2}+\sum _{k=1}^{4}k_{i}^{2}$ , donc $\left(\sum _{k=1}^{n}k_{i}\right)^{2}=\left(\sum _{k=1}^{n}k'_{i}\right)^{2}$ , et $\sum _{k=1}^{4}k_{i}=\sum _{k=1}^{4}k'_{i}$ .

D'où les deux relations de Descartes: $\left(\sum _{k=1}^{4}k_{i}\right)^{2}=2\sum _{k=1}^{4}{k_{i}}^{2}$ et $\left(\sum _{k=1}^{4}k'_{i}\right)^{2}=2\sum _{k=1}^{4}{k'_{i}}^{2}$ .

3) On a l'égalité ${\frac {1}{4}}\sum _{k=1}^{4}k_{i}={\frac {1}{4}}\sum _{k=1}^{4}k'_{i}=k$ et les courbures des $C_{i}$ sont reliées à celle des $C'_{i}$ par les relations $k={\frac {1}{2}}(k_{i}+k'_{i})$ .

4) Si on pose, pour $\{i,j,k\}=\{1,2,3\}$ , $\alpha _{i}={\frac {1}{4}}(k_{i}-k_{j}-k_{k}+k_{4})$ , les huit courbures sont paramétrées par :

${\begin{cases}k_{i}=k+\alpha _{i}-\alpha _{j}-\alpha _{k},&k'_{i}=k-\alpha _{i}+\alpha _{j}+\alpha _{k}\\k_{4}=k+\alpha _{1}+\alpha _{2}+\alpha _{3},&k'_{4}=k-\alpha _{1}-\alpha _{2}-\alpha _{3}\end{cases}}$ .

La relation de Descartes s'écrit alors : $k^{2}=\alpha _{1}^{2}+\alpha _{2}^{2}+\alpha _{3}^{2}$ .

5) Géométriquement, le nombre ${\sqrt {2}}\alpha _{i}$ est la courbure du cercle $C''_{i}$ passant par les points de contact cocycliques $I_{j},I_{k},I'_{j},I'_{k}$ pour $\{i,j,k\}=\{1,2,3\}$ .

Les trois cercles $C''_{1},C''_{2},C''_{3}$ , deux à deux orthogonaux, déterminent la configuration des huit cercles $C_{i}$ et $C'_{i}$ .

6) Sur la sphère $\mathbb {S} ^{2}$ d'équation $x_{1}^{2}+x_{2}^{2}+x_{3}^{2}=1$ , on marque les six points d'intersection avec les axes ${\overline {I_{i}}}:x_{i}=1,x_{j}=x_{k}=0,{\overline {I'_{i}}}:x_{i}=-1,x_{j}=x_{k}=0$ formant un octaèdre régulier.

Les trois grands cercles orthogonaux deux à deux intersections avec les plans de coordonnées $x_{i}=0$ sont notés ${\overline {C''_{i}}}$ , et les cercles circonscrits aux faces de l'octaèdre sont :

${\overline {C_{i}}}$ circonscrit à ${\overline {I'_{i}}}{\overline {I_{j}}}{\overline {I_{k}}}$ , ${\overline {C_{4}}}$ circonscrit à ${\overline {I'_{1}}}{\overline {I'_{2}}}{\overline {I'_{3}}}$ , ${\overline {C'_{i}}}$ circonscrit à ${\overline {I_{i}}}{\overline {I'_{j}}}{\overline {I'_{k}}}$ , ${\overline {C'_{4}}}$ circonscrit à ${\overline {I_{1}}}{\overline {I_{2}}}{\overline {I_{3}}}$ . Les quatre cercles ${\overline {C_{i}}}$ sont mutuellement tangents, ainsi que les quatre ${\overline {C'_{i}}}$ .

Alors, par projection stéréographique sur un plan tangent à la sphère de pôle le point antipodal du point de contact du plan avec la sphère, on obtient quatre cercles $C_{i}$ , quatre cercles $C'_{i}$ et trois cercles $C''_{i}$ du type de la configuration de départ, et on obtient ainsi toutes les configurations possibles.

Notes et références

↑ Anne Boyé, L'Apollonius gallus et le problème des trois cercles comme défense et illustration de la géométrie synthétique, thèse de doctorat (dir. Jean Dhombres), 1998 [présentation en ligne].
↑ Dana Mackenzie, « La princesse et le philosophe », Pour la Science, n^o 556,‎ février 2024, p. 70-77.
↑ Lettre de novembre 1643, sur wikisource.
↑ ^{a b et c} (en) Philip Beecroft, « Properties of circles in mutual contact », The Lady's and Gentleman's Diary, vol. 139,‎ 1842, p. 91–96 (lire en ligne)
↑ ^{a b et c} « Formule de Soddy - Descartes », sur Mathafou
↑ (en) David Gisch, Jason M. Ribando, « Apollonius’ Problem : A Study of Solutions and Their Connections », American Journal of Undergraduate Research,‎ 2004 (lire en ligne)
↑ ^{a et b} (en) Harold Scott Macdonald Coxeter, Introduction to geometry, New York, Wiley, 1969, p. 13-16
↑ Jean-Pierre Boudine, L'appel des maths, t. 2, Cassini, p. 245-249
↑ (en) Alden Bradford, « An even more straightforward proof of Descartes’s circle theorem », ArXiv,‎ septembre 2022 (lire en ligne)
↑ Géry Huvent, Sangaku. Le mystère des énigmes géométriques japonaises, Paris, Dunod, 2008, page 60.
↑ (en) Frank M. Jackson, « Soddyian Triangles », Forum Geometricorum, vol. 13,‎ 2013, p. 1–6 (ISSN 1534-1178, lire en ligne)
↑ Christoph Soland, « Le théorème de Descartes et les sangakus », 2000

Voir aussi

Articles connexes

Liens externes

(en) Soddy Circles and David Eppstein's Centers: What Are They? sur cut-the-knot : applet java interactive montrant quatre cercles tangents

Portail de la géométrie

[1] Anne Boyé, L'Apollonius gallus et le problème des trois cercles comme défense et illustration de la géométrie synthétique, thèse de doctorat (dir. Jean Dhombres), 1998 [présentation en ligne].

[PLS556-2] Dana Mackenzie, « La princesse et le philosophe », Pour la Science, n^o 556,‎ février 2024, p. 70-77.

[3] Lettre de novembre 1643, sur wikisource.

[:1-4] {a b et c} (en) Philip Beecroft, « Properties of circles in mutual contact », The Lady's and Gentleman's Diary, vol. 139,‎ 1842, p. 91–96 (lire en ligne)

[:0-5] {a b et c} « Formule de Soddy - Descartes », sur Mathafou

[6] (en) David Gisch, Jason M. Ribando, « Apollonius’ Problem : A Study of Solutions and Their Connections », American Journal of Undergraduate Research,‎ 2004 (lire en ligne)

[:2-7] {a et b} (en) Harold Scott Macdonald Coxeter, Introduction to geometry, New York, Wiley, 1969, p. 13-16

[8] Jean-Pierre Boudine, L'appel des maths, t. 2, Cassini, p. 245-249

[9] (en) Alden Bradford, « An even more straightforward proof of Descartes’s circle theorem », ArXiv,‎ septembre 2022 (lire en ligne)

[10] Géry Huvent, Sangaku. Le mystère des énigmes géométriques japonaises, Paris, Dunod, 2008, page 60.

[11] (en) Frank M. Jackson, « Soddyian Triangles », Forum Geometricorum, vol. 13,‎ 2013, p. 1–6 (ISSN 1534-1178, lire en ligne)

[12] Christoph Soland, « Le théorème de Descartes et les sangakus », 2000

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]