Construction des cercles de Soddy
Construction des cercles de Soddy
P'
Y S'
F P
Z
S
I
Q R
B D C
Q'
R'
Résumé. Étant donnés trois cercles extérieurement tangents, nous étudions la construction des
deux cercles de Soddy qui sont tangents à ces trois cercles et présentons la ponctuelle
de Soddy du point de vue synthétique.
Les figures sont toutes en position générale et tous les théorèmes cités peuvent tous
être démontrés synthétiquement.
Abstract. Given three circles externally tangent to each other, we investigate the construction of
the two so called Soddy circles, that are tangent to the given three circles and present
synthetically the Soddy line.
The figures are all in general position and all cited theorems can all be demonstrated
synthetically.
1
St-Denis, Île de la Réunion (France), le 25/08/2011.
2
Sommaire
A. Une historique du problème 3
1. Apollonius de Pergé
2. Pappus d'Alexandrie
3. René du Perron Descartes
4. Le Nobel, Frederick Soddy
B. La figure de Soddy 6
C. Le cercle interne de Soddy 7
1. IMO ShortList 1995, G3
2. Commentaire
3. Le cercle interne de Soddy
4. Synthèse et notations
5. Une courte biographie de Frederick Soddy
D. La ponctuelle de Soddy 20
E. Nature géométrique des points 22
I. Les points M, T, U et V
1. Le point M, c.p. de DEF et XYZ
2. Le point U, c.p. de PQR et P'Q'R'
II. Les points L, N
1. Le point L, c.p. de DEF et PQR
2. Exercice
F. Autres points sur la ponctuelle de Soddy 31
1. Le point central de Gohierre de Longchamps
2. Les deux points remarquables de Floor van Lamoen
G. Appendice 36
1. Perpendiculaire à une gergonnienne
H. Annexe 37
1. Le point de Gergonne
2. Diagonales d'un quadrilatère
3. Axe radical de deux cercles sécants
4. Le théorème de d'Alembert
5. Trois triangles coarguésiens
6. Pôles et polaires
7. Un quaterne harmonique
8. Le théorème des deux triangles
2
3
1. Apollonius de Pergé
Apollonius est né vers 262 av. J. C. à Pergé4 en Pamphylie5, sous le règne de Ptolémée Evergète Ier et
vécut à Alexandrie sous le règne de Ptolémée Philopator, puis à Pergame. Le philosophe Proclus 6 le dépeint sous
des traits peu favorables et le mathématicien Pappus d’Alexandrie comme un homme vain, jaloux du mérite des
autres, et saisissant volontiers l'occasion de les déprimer. Durant son long séjour en Égypte à Alexandrie, il
publie son traité De tactionibus i.e. Contacts ( ) qui a été perdu puis restauré par François Viète en 1603,
dans lequel il généralise deux des propositions d’Euclide
Construire :
un cercle tangent à trois côtés d'un triangle donné7
un cercle passant par trois points non alignés8
est aujourd'hui connue sous le "problème d'Apollonius" qui recouvre aussi le cas particulier suivant
2. Pappus d'Alexandrie
2
The MacTutor Hystory of Mathematics Archive ; [Link]
3
D'après Géminus qui vécut vers 100 av. J.-C..
4
Aujourd'hui, Aksu en Turquie.
5
Aujourd'hui, elle porte le nom de Murtina ou Murtana et se situe en Antalya (Turquie).
6
412-485.
7
Euclide, proposition 4, Livre IV des Éléments.
8
Euclide, proposition 5, Livre IV des Éléments.
9
Descartes R..
3
4
Pappus naît à Alexandrie (Égypte) vers 290 quelques cinq siècles après Apollonius.
Si les écrits nous suggèrent qu'il a été un précepteur, nous ne savons rien vraiment de sa vie. D'après les écrits de
Proclus, nous savons qu'il dirigeait une école à Alexandrie.
Vers 340, il rassemble et commente dans son œuvre10 majeure Synagoge dont huit volumes nous sont seulement
parvenus, le reste ayant été perdu, les découvertes des mathématiciens les plus célèbres. C'est dans le livre VII
des Collections inspiré par Theodosius, Autolycus, Aristarchus, Euclide, Apollonius, Aristote et Ératosthène que
Pappus évoque succinctement le "problème d’Apollonius.
Ayant apparemment vécu toute sa vie à Alexandrie, il y décède vers 350.
Le petit philosophe 11
René du Perron Descartes est né le 31 mars 1596 à La Haye (actuellement Descartes depuis 1966) en Touraine,
une région de France.
Issu d'un milieu aisé, il perd sa mère quelques mois après sa naissance et est élevé par sa grand-mère en l'absence
de son père la moitié de l'année. A Pâques 1607, il entre quelques mois après son ouverture au collège des
Jésuites de La Flèche qu'à fondé Henri IV en Anjou et qu'il quittera en 1615 après avoir rencontré Mersenne.
Parallèlement à la philosophie d'Aristote, il étudie les mathématiques dans le livre de Clavius. De santé très
fragile, il obtient aux relations de son père avec le directeur du College, la permission de ses professeurs de
rejoindre les cours à 11h, une tradition qu'il gardera jusqu'à sa mort.
Après un séjour à Paris, il étudie à l'université de Poitiers qu'il quitte en 1616 pour entrer à l'École militaire du
prince de Nassau alors à Breda; ce n'est qu'en 1618 qu'il entame des études de mathématiques sous la direction
Isaac Beeckman, un scientifique hollandais. Après son séjour en Hollande, il voyage à travers l'Europe, puis
rejoint en 1619 l'armée bavaroise.
C'est dans la nuit du 10 au 11 novembre 1619, dans la maison de son ami Faulhaber, à Neubourg, un petit village
des environs d'Ulm que Descartes, alors âgé de 23 ans, entrevoit "les fondements d'une science admirable" dans
laquelle il introduit une nouvelle méthode, la "méthode des coordonnées" dite aussi "application de l'algèbre à la
géométrie" qui lui permettra de montrer que les coniques pouvaient être représentées par des équations du
second degré.
En 1621, il renonce à l'armée, reprends ses voyages et arrive en France en 1623, à Paris où il entre en contact
avec l'Académie du père Marin Mersenne. Il quitte la France, va en Italie, puis retourne en France en 1625 et
décide définitivement de s'y établir en Hollande en 1628 où il se liera avec l'une de ses servantes, Hélène Jans et
de leur union, naîtra une fille Frantzinje (Francine) qui décèdera d'une scarlatine à l'âge de cinq ans.
Pressé par ses amis de publier ses idées, il écrit le Discours de la méthode pour bien conduire sa raison et
chercher la vérité dans les sciences auquel il ajoute trois appendices à savoir La Dioptrique, Les Météores et La
Géométrie le tout étant publié en 1637 à Leiden. C'est le dernier appendice qui sera le plus important de son
oeuvre et dans lequel il fonde les bases de la Géométrie des coordonnées sur laquelle travaillait aussi Pierre de
Fermat et avec lequel il aura un ton méprisant et des arguments parfois malhonnêtes.
En 1643, René Descartes12 envoie une lettre à la princesse Élisabeth de Bohême, dans lequel il donne une
solution au cas particulier du "problème d'Apollonius" qui devient alors "le théorème de Descartes"13.
10
Collection mathématique υναγωγ´η ou Synagoge.
11
Surnom donné par son père car il ne cessait de poser des questions.
12
Descartes R., Oeuvres IV (Correspondance 1643-1647) (Paris : Leopold Serf 1901) 45-50.
13
En anglais, Descartes Circle Theorem.
4
5
Deux solutions :
un petit cercle tangent extérieurement aux trois cercles deux à deux tangents
et
un grand cercle tangent intérieurement à ces trois cercles.
La princesse lui répondit qu'il lui faudrait trois mois pour venir à bout du calcul.
En 1649, la reine Christine de Suède le persuade de venir à Stockholm. Acceptant finalement son invitation, il se
voit contraint de changer son rythme de vie en se levant non plus à 11h mais à 5h du matin. Avec le froid
nordique du petit matin, sa santé se détériore lentement...
Il décède d'une pneumonie, le 11 février 1650 à Stockholm dans le glacial palais royal de Suède. Sa dépouille
sera transférée en France et inhumée à l'église Saint-Etienne-du-Mont en 1667.
Si, en 1826 le suisse Jacob Steiner et en 1842 l'anglais Philip Beecroft 14 de Hyde (Cheshire), redécouvre "the
Descartes circle formula", Frederick Soddy, prix Nobel de chimie en 1921, la redécouvre à son tour durant sa
retraite de l'université d'Oxford se retire sur son lieu de naissance sur la côte du Sussex et se passionne pour la
géométrie des cercles à son tour en 1936 en proposant une solution liant les rayons des cercles sous la forme d'un
poème intitulé "The Kiss Precise" 15 dont le deuxième paragraphe
14
Beecroft P., Properties of circles in mutual contact, The Lady's and Gentleman's Diary (1843) 91-96.
15
Soddy, F., The Kiss Precise, Nature 137 (June 20, 1936) 1021.
16
Coxeter H. S. M. (1907-2003).
5
6
Ce poème influencera des géomètres qui parleront des cercles internes et externes de Soddy du "The Four Coins
Problem" i.e. du "problème des trois pièces de monnaie" :
B. LA FIGURE DE SODDY
VISION
Figure :
5
1
P'
A
3
E
Z'
F P Y
Z 4
R
Q
X
B D C
Q'
R'
X'
6
7
VISION
Figure :
F Y
Z 1
1a
A* B D C
7
8
VISUALISATION
F
1
Ge
A* B D C
E
X
F Y
1
Z
U
1a
A'* B D C
17
IMO Shortlist 1995, G3 ;
E, F, Z, Y are concyclic, Mathlinks du 30/05/2008 ; [Link]
Problème 5, 36-ième IMO Canada (1996) ;
Toshio Seimiya, Crux Mathematicorum vol. 24, 2 (1998) 72-73 ;
Mathematical reflections 3 (2007).
18
Pappus, Collections, Livre VII, proposition 131.
19
Pappus, Collections, Livre VII, proposition 131.
8
9
F Y
Z 1
1a
A* B D C
F Y
1
Z
1a
A* B D C
Conclusion : d'après Monge "Le théorème des trois cordes"20, E, F, Y et Z sont cocycliques.
Note historique : ce résultat a été démontré métriquement par Toshio Seimiya 21 de Kawasaki (Japon) en
utilisant le théorème de Ménélaüs.
Rappelons que ce problème 5 de la partie Géométrie a été proposé par le Canada au
jury de la 36e I.M.O. de 1995 (Toronto, Ontario, Canada) qui ne l'a pas retenu.
Cependant, il a été retenu comme problème 3 dans IMO Shortlist de 1995.
20
Ayme J.-L., Le théorème des trois cordes, G.G.G. vol. 6 ; [Link]
21
Problème 5, Crux Mathematicorum vol. 22, 7 (1996) 300.
Toshio Seimiya, Crux Mathematicorum vol. 24, 2 (1998) 72-73.
9
10
A
3
1
E
4
X
F
2 Y
Z
1a
A* B D C
5 A
3
1
E
4
X
F
2 Y
Z
1a
A* B D C
10
11
Conclusion : d'après Gaultier "Axe radical de deux cercles sécants" (Cf. Annexe 3),
5 étant orthogonal à 1a et ayant son centre A* sur la corde commune [ZY] de 1a et 4,
5 est orthogonal à 4.
5 A 6
1
E
F
2 P
A* B D C
Conclusion : d'après Gaultier "Axe radical de deux cercles sécants" (Cf. Annexe 3),
5 étant orthogonal à 1 et ayant son centre A* sur la corde commune [EF] de 1 et 6,
5 est orthogonal à 6.
11
12
5 A 6
1
E
T'p
F
2 P
Tp
A* B D C
2. Commentaire
Ce problème 3 de la Shortlist de 1995, est pour l'auteur un germe et pour Darij Grinberg
VISION
Figure :
22
Une porte.
12
13
4
A
1
E
F P
5
A* B D C
VISUALISATION
Conclusion : d'après Gaultier "Axe radical de deux cercles sécants" (Cf. Annexe 3),
5 est tangent à 1 en P.
23
Steiner J., Journal de Crelle 1, (1826) 274.
13
14
Scolies : (1) ce résultat permet de construire les trois points de contact du cercle interne de Soddy.
1
E
F P
5
S R
Q
A* B D C
D'après A. 1. IMO Shortlist 1995, G3, scolie 5, (AP), (BQ), (CR) concourent en S.
24
Kimberling C., Encyclopedia of Triangle Centers ; [Link]
14
15
1 3
E
F P
5
Q R
A* B D C
25
Ayme J.-L., A propos du théorème de Boutin, G.G.G. vol. 1 ; [Link]
15
16
1 3
E
F P
5
Q R
A* B D C
C*
Notons B*, C* les point d'intersection resp. de (FD) et (CA), (DE) et (AB).
16
17
A
3
F P Y
4
Z
S R
Q
X
A* B D C
17
18
1
P'
A
3
E
Z' S'
6
F P Y
4
Z
S R
Q
X
A* B D C
Q'
R'
4. Synthèse et notations
(A*B*C*) est l'axe de perspective de ABC, DEF, PQR, XYZ, P'Q'R' et X'Y'Z'.
26
Kimberling C., Encyclopedia of Triangle Centers ; [Link]
27
Abbréviation pour "centre de perspective".
18
19
19
20
D. LA PONCTUELLE DE SODDY
VISION
Figure :
A
3
F P Y
4
Z
S R
Q
X
A* B D C
Donné : Ge, S, Ol, S', Ol', L, M, N, T, Ri, U, Gr, Gr', V et Ri' sont alignés.28
VISUALISATION
28
Oldknow A., The Euler-Gergonne-Soddy Triangle of a Triangle, American Mathematical Monthly vol. 103, 4 (1996) 319-329 ;
On the line through Incentre and Gergonne Point, Mathlinks du 31/03/2011 ;
[Link] ;
Difficult geometry [Soddy and Gergonne lines of a triangle], Mathlinks du 08/07/2004 ;
[Link]
20
21
Commentaire : Rappelons que le concept de ponctuelle i.e. d'une suite de points alignés, a été
introduit par le géomètre italien Luigi Cremona29 et qu'une ponctuelle donne naissance
à une droite. En pratique, les géomètres confondent ponctuelle et droite.
Terminologie :
Note historique :
We know have the small matter of the 10 points O, O', K, K', M, M', D', E', F' and T.
If they haven't already been claimed I would like to offer T as the Fletcher point,
D', E', F' as the Nobbs points,
M, M' as the Griffiths points
and K, K' as the inner and outer Rigby points.
Which leaves O and O'-modesty forbids- or does it ?
En 2001, le professeur David Eppstein32 de l'Université de Californie à Irvine, fondateur et auteur du site Web
The Geometry Junkyard redécouvre les deux points d'Adrian Oldknow bien qu'il cite l'article de celui-ci en
référence ; il note M' le point interne d'Oldknow et M le point externe d'Oldknow.
Clark Kimberling continuant dans cette direction, note Ep1 le point M' en le référenciant sous X481 et Ep2 le point
M en le référenciant sous X482, les appelle premier et second point d'Eppstein ignorant ainsi Oldknow et son
article.
29
Cremona L., (Pavie 1830-Rome 1903).
30
Il est répertorié sous X(1323) chez ETC.
31
Oldknow A., Computer Aided research into Triangle Geometry, Mathematical Gazette (1995 ou 1996) 263-273.
32
Eppstein D., Tangent spheres and triangle centers, American Mathematical Monthly 108 (January 2001) 63-66.
21
22
En 2007, dans la revue électronique Forum Geometricorum, Nikolaos Dergiades33 propose un article concernant
les cercles de Soddy avec une approche basée sur les coordonnées trilinéaires dans lequel il traite les points
d'Eppstein tout en ignorant Oldknow et son article.
E. NATURE GÉOMÉTRIQUE
I. LES POINTS M, T, U, V
VISION
Figure :
A
3
F P Y
Z
I
S R
Q
X
A* B D C
33
Dergiedes N., The Soddy Circles, Forum Geometricorum vol. 7 (2007) 191-197.
22
23
I le centre de ABC,
DEF le triangle de contact de ABC,
1, 2, 3 les A, B, C-cercles de Soddy,
4 le cercle interne de Soddy,
S le point interne de Soddy,
PQR le triangle interne de Soddy
et XYZ le triangle tangentiel interne de Soddy.
VISUALISATION
A
3
F P Y
Z
I
S R
Q
X
A* B D C
23
24
Énoncé traditionnel :
le centre du cercle inscrit d'un triangle
est sur
la droite de Soddy de ce triangle.
1 3
E
F P
5
Q R
A* B D C
C*
Conclusion : d'après "Le théorème de Sondat" 35 appliqué à ABC et DEF, (GeI) (A*B*C*).
Énoncé traditionnel :
la droite de Soddy d'un triangle
est perpendiculaire à
la droite de Gergonne de ce triangle.
34
Oldknow A., (1996)
35
Ayme J.-L., Le théorème de Sondat, G.G.G. vol. 1 ; [Link]
About the incenter, Romanian ROM TST 2004, problem 11, from Kvant Magazine, Mathlinks du 02/05/2004 ;
[Link]
24
25
B C
en 1843, l'amateur-géomètre Philip Beecroft observe que le cercle inscrit et les 3 cercles de Soddy d'un triangle
déterminent un autre ensemble de quatre cercles qui nous fait penser aux cercles de Lucas.
Revisitant cette figure, Jean-Pierre Ehrmann36 présente un article sur ce sujet dans la revue électronique Forum
Geometricorum en 2006.
VISION
Figure :
36
Ehrmann J.-P., Some geometric constructions, Forum Geometricorum 6 (2006) 327–334 ; [Link]
25
26
1
P'
A 3
E
6 S'
F P Y
Z R
SI
Q
X
A* B D C
Q'
R'
VISUALISATION
D'après de La Hire "Pôles et polaires" (Cf. Annexe 6), I est sur (PP').
26
27
Note historique : ce résultat a été donné par Albert Vandeghen en 1964 et signalé à nouveau en 1996
par Adrian Oldknow.
Selon une lettre d'Oene Bottema adressée à Harold Scott McDonald Coxeter, celui-ci
relate que la hollandais G. R. Veldkamp de Bilt a observé que le centre externe de
d'homothétie des cercles de Soddy est le point de Gergonne.
VISION
Figure :
37
Ayme J.-L., Two perpendicular lines, Mathlinks du 13/08/2011 ;
[Link]
27
28
1
P'
A
3
6 E
Z' S'
F P Y
4
Z
SI R
Q
X
A* B D C
Q'
R'
VISUALISATION
28
29
(2) D'après E. 1. Nature du point M, V, c.p. de XYZ et X'Y'Z', est le centre I de ABC.
VISION
Figure :
1
P'
A
3
6 E
Z' S'
F J P Y
Z I 4
S R
Q
X
A*
B D C
Q'
R'
X'
29
30
VISUALISATION
2. Exercice
38
Ayme J.-L., A point on the Soddy line, Mathlinks du 20/08/2011 ;
[Link]
30
31
F. AUTRES POINTS
SUR
LA PONCTUELLE DE SODDY
B*
A
Lo
G
E S
E
F I O
Ge
S
H
A* B D C
Fl
Ev
C*
39
Oldknow A., The Euler-Gergonne-Soddy Triangle of a Triangle, American Mathematical Monthly vol. 103, 4 (1996) 319-329.
40
Ayme J.-L., La droite d'Hermes-Soddy ou l'alignement des points Ge-I-L, G.G.G. vol. 6 ; http//[Link]/[Link]
31
32
VISION
Figure :
B*
2
A
1 E
F
0
A* B D C
C*
VISUALISATION
41
van Lamoen F.
32
33
1
A
P E
I
F
0
A* B D C
Notons I le centre de 0
et P le second point d'intersection de la A-gergonienne (AD) avec 0.
B*
1 A
P E
F
Ge I 0
R
A*
B D C
C*
33
34
B*
2
1 A
P E
F
Ge I 0
R
A* Q
B D C
C*
Note historique : Floor van Lamoen a communiqué ce résultat dans une correspondance privée à Éric
Danneels. Celui-ci43 a montré par le calcul que les deux points d'intersection sont sur
la droite de Soddy.
42
Ayme J.-L., Le théorème des trois cordes, G.G.G. vol. 6 ; [Link]
43
Danneels E., Two new points on the Soddy Line, Message Hyacinthos # 11948 du 28/12/2005 ;
[Link]
34
B*
35
1
P E
F U I
Ge 0
A*
B D C
B*
G
A
P E
1
F U
Ge I 0
A*
B D C
Fl
S
V
C*
35
36
G. APPENDICE
VISION
Figure :
F
Ge
I
1
A* B D C
VISUALISATION
44
Ayme J.-L., Two perpendicular lines, Mathlinks du 13/08/2011 ;
[Link]
36
37
P E
F
Ge
I
1
A* B D C
H. ANNEXE
1. Le point de Gergonne 45
R
Ge
B P C
45
Gergonne, Annales de Gergonne IX (1818-19).
46
Pappus, Collections, Livre 7, proposition 131.
37
38
D
B
C
H F G E
O O'
B
1 2
4. Le théorème de d'Alembert
47
Gaultier (de Tours) Louis, Les contacts des cercles, Journal de l'École Polytechnique, Cahier 16 (1813) 124-214.
38
39
R
3
1 2
B' C
A
V B"
A' U
B A"
C' C" W
Y X Z
48
Casey J., A sequel to Euclid, propositions 13 (1881) 77.
39
40
6. Pôles et polaires
Q B C
7. Un quaterne harmonique 49
49
Apollonius, Collections, Livre III, proposition 37.
40
41
T T'
U V
J
Traits : 0 un cercle,
I un point extérieur à 0,
T, T’ deux droites passant par I et tangentes à 0,
U, V les points de contact resp . de T, T' avec 0,
S une droite passant par P,
A, B les deux points d'intersection de S avec 0
et J le point d'intersection de S avec [UV].
A'
J
A
C'
C
O
B B'
50
Bosse A., Perspective et de la Coupe des pierres (1648).
41
42
42