LE PROBLÈME DE MALFATTI
ANDREW SEARLE HART
Jean - Louis AYME 1
1a
1c
1b
B C
Résumé. L'auteur propose de revisiter la première preuve synthétique du célèbre problème de
Malfatti proposée par Andrew S. Hart. Une simplication basée sur la troisième
proposition d'Adolph Gustav Quidde est apportée par l'auteur.
Une réponse à la conjecture d'Alexey Zaslavsky est donnée et un appendice détaille
l'une des clefs de ce problème.
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. The author proposes to revisit the first synthetic proof of the famous Malfatti problem
proposed by Andrew S. Hart. A due based on the third proposal of Adolph Gustav
Quidde is provided by the author.
A response to the conjecture of Alexey Zaslavsky is given and an appendix details one
of the keys to this problem.
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/11/2010
2
Sommaire
A. Le problème de Malfatti 3
1. Présentation
2. Note historique
3. Une courte biographie de Giovanni Malfatti
B. La preuve du Docteur Andrew Searle Hart 7
1. La preuve par analyse et synthèse
Analyse
étape 1 : le centre radical
étape 2 : les cercles associés
étape 3 : la cévienne T23
étape 4 : nature géométrique de T23
Synthèse
2. Une courte biographie d'Andrew S. Hart
C. La conjecture d'Alexey Zaslavsky 13
1. Présentation
2. Note historique
D. Appendice 15
1. Sous le même angle ou isoptique
2. Deux tangentes égales
2
3
A. LE PROBLÈME DE MALFATTI
1. Présentation
VISION
Figure :
3
2
B C
Traits : ABC un triangle
et 1, 2, 3 trois cercles extérieurement tangents entre eux deux à deux
et tangent chacun à deux côtés de ABC.
Donné : construire 1, 2 et 3.
Scolie : 1a, 1b et 1c sont ''les A, B, C-cercles de Malfatti de ABC''.
3
4
2. Note historique :
Ce problème d'inscription a été posé en 1810 dans les Annales de Gergonne bien qu'il ait été envisagé en 1744
dans le cas particulier d'un triangle équilatéral par Jakob Bernoulli3.
C'est en travaillant analytiquement sur ce problème que Joseph Diaz Gergonne et J. E. Thomas Lavernède 4
surent par l'intermédiaire du professeur G. Bidone de l'académie de Turin que Malfatti5 l'avait découvert en 1802,
publié en 1803 sous le titre un problema stereotomica et résolu analytiquement d'une façon plus simple.
En 1826, le géomètre suisse Jakob Steiner 6 en donne une extraordinaire et élégante construction géométrique
sans preuve dans le Journal de Crelle.
2
Annales de Gergonne, tome I, (1810-11) 196 ; http://www.numdam.org/numdam-bin/feuilleter?j=AMPA
3
Bernoulli J., Œuvres complètes, Genève (1744) tome 1 p. 303.
4
Annales de Gergonne, tome I, (1810-11) 343-348 ; http://www.numdam.org/numdam-bin/feuilleter?j=AMPA
5
Malfatti G. F. S., Memorie di matematica e fisica della società italiana delle scienze, Modena,
première partie du tome 10 partie 1 (1803) 225.
6
Steiner J., Journal de Crelle, tome 1, cahier 2 (1826) 178 ;
http://gdz.sub.uni-goettingen.de/no_cache/dms/load/toc/?IDDOC=238618
4
5
Cette sera vérifiée analytiquement en 1833 par Zornow 7, professeur au Collège de Kneiphof à Königsberg
(Allemagne).
La première tentative d'une solution synthétique est menée par Julius Plüker 8 en 1834, mais il faudra attendre
1856 pour voir éclore la pure solution synthétique du docteur Andrew S. Hart 9 qui sera développée par
Adolphe H. Desboves (1818-1888) professeur au lycée Fontanes à Paris dans ses Questions de Géométrie
Élémentaires.
Rappelons que F. G.-M.10 a reproduit en 1920 la solution géométrique d'Eugène Catalan11. D'après Catalan, le
docteur Hart aurait publié plus tard la démonstration que lui-même a reproduite dans Théorèmes et problèmes de
Géométrie Élémentaire publié en 1852.
Pour terminer, rappelons que la figure de Malfatti était connue du japonais Chokuen Ajima 12 (1732-1798) qui en
a donné une solution métrique par calcul des rayons dans un manuscrit de la période 1771-1773 et cela environ
30 ans avant Malfatti.
7
Zornow, Journal de Crelle, tome 10 (1833) 300 ; http://gdz.sub.uni-goettingen.de/no_cache/dms/load/toc/?IDDOC=238618
8
Plüker J., Journal de Crelle, tome 11 (1834) 117, 356
9
Hart A. S., Geometrical investigation of Steiner's solution of Malfatti's problem, Quart. J. Math., 1 (1856) 219.
10
F.G.M., Exercices de Géométrie, 6th ed., 1920, Rééditions Jacques Gabay (Gabay reprint), Paris (1991) 726-728.
11
Catalan E., Théorèmes et problèmes de Géométrie Élémentaire, 6e édition, Dunod, Paris (1865) 258-260.
12
Fukagawa H. and D. Pedoe D., Japanese Temple Geometry Problems, Charles Babbage Research Centre, Winnipeg (1989) 28;
exemple 2. 3.
5
6
Le professeur Douglas Rodgers (Hawaï, États-Unis) m'a signalé dans un message privé que des géomètres
comme l'anglais Éric Harold Neville en 1930 avaient découverts qu'Andrew S. Hart avait été devancé par
Adolph Gustav Quidde, professeur au lycée de Herford.13
3. Une courte biographie de Giovanni Malfatti
14
Giovanni Francesco G. ou S. Malfatti est né en 1731 à Ala (Trente, Trentin-Haut-Adige, Italie).
Étudiant de Vincenzo Riccati au Collège de San Francesco Saverio de Bologne, il devient en 1771 professeur
avec chaire de mathématiques à l'Université Ferrare.
Il décède le 9 octobre 1807 à Ferrare (Émilie-Romagne, Italie).
13
Guidde A. G., das Malfatti'sche problem, Beweis der Steinerschen Construction, Grunert's Archiv der Mathematik and Physik 15
(1850) 197-204 ;
14
The MacTutor History of Mathematics archive ; http://www-groups.dcs.st-and.ac.uk/~history/BiogIndex.html
6
7
B. LA PREUVE
DU
DOCTEUR ANDREW SEARLE HART 15
1. La preuve
VISION
Figure :
1a
1b 1c
B C
Traits : ABC un triangle
et 1a, 1b, 1c trois cercles extérieurement tangents entre eux deux à deux
et tangent chacun à deux côtés de ABC.
Donné : construire 1a, 1b et 1c.
VISUALISATION
Commentaire : raisonnons par analyse et synthèse.16
15
Hart A. S., Geometrical investigation of Steiner's solution of Malfatti's problem, Quart. J. Math., 1 (1856) 219.
16
Ce raisonnement permet de démontrer l'existence et l'unicité d'un objet vérifiant des propriétés données.
7
8
ANALYSE 17
i.e.
supposons le problème résolu
1a
1b 1c
B C
• Notons 1a, 1b, 1c ces trois cercles inconnus.
étape 1 : le centre radical de 1a, 1b et 1c
17
On raisonne sur une hypothétique solution du problème et on accumule des déductions de propriétés qu'elle doit vérifier, du seul
fait qu'elle est solution.
8
9
1a
Tbc
Tca
Tab
J
1c
1b
B C
• Notons Tab, Tbc, Tca les tangentes communes intérieures resp. de 1a et 1b, 1b et 1c, 1c et 1a.
• Conclusion partielle : par culture géométrique,
Tab, Tbc et Tca sont concourantes au centre radical de 1a, 1b et 1c.
• Notons J ce point de concours.
étape 2 : les cercles associés
A*
E
1a
B"
Tbc
Tca F
2 C*
Tab
C+ J
C"
1b A+ 1c
B A" C
• Notons A'', A* les points d'intersection de Tbc resp. avec (BC), (AC),
C'', C* les points d'intersection de Tab resp. avec (AB), (AC),
B'' le point d'intersection de Tca avec (AC),
2 le cercle inscrit du triangle JA*C*,
A+, C+ les points de contact resp. de 1b et 1c, 1a et 1b,
et E, F les points de contact de (AC) resp. avec 1a, 1c.
• Considérons les cercles 2, 1a et 1c tangents à (BC)
9
10
• Rappels : (1) Tab est la tangente commune extérieure distincte de (AC) de 2 et 1a
(2) Tbc est la tangente commune extérieure distincte de (AC) de 2 et 1c
(3) Tca est l'unique tangente commune intérieure de 1a et 1c
(4) 2, 1a et 1c admettent (AC) pour tangente commune extérieure.
• Conclusion partielle : d'après ''La troisième proposition de Quidde'' 18,
B'' est le point de contact de 2 avec (AC).
A*
E
1a
B"
Tbc
Tca F
3
2 C*
Tab
J
C" C+
A+ 1c
1b
B
A" C
• Notons 3 le cercle exinscrit du triangle déterminé par Tbc, Tca et (AB).
• Par une démarche analogue,
nous montrerions que C'' est le point de contact de 3 avec (AB).
étape 3 : la cévienne T23
18
Ayme J.-L., A propos de Guidde-Mannheim, G.G.G. vol. 9, p. 10-12 ; http://perso.orange.fr/jl.ayme
10
11
A*
T23 1a E
B"
Tbc
Tca F
3 2
B*
Tab
J
C" C+
1c
A+
1b
B A" C
• Notons T23 la seconde tangente commune intérieure de 2 et 3.
• D'après Quidde-Mannheim ''int-ext-ext'' 19
appliqué à 1a, 2 et 3, Tbc, Tab et Tca étant concourantes en J,
T23, (AC) et (AB) sont concourantes en A.
• Conclusion partielle : T23 passe par A.
étape 4 : nature géométrique de T23
T23
1a E
Tbc B"
Tca
3
G 2 C*
B+
I Tab
J R
C" C+
Q 1c
1b
B C
• Notons G le point de contact de 3 avec (AC)
et Q, R les points de contact resp. de Tca avec 3, Tab avec 2.
• Un calcul segmentaire : B''Q = B+ B'' + QB+ = B''E + GC'' = C+R + C'' C+ = C''R.
• Conclusion partielle : d'après D. 2. Deux tangentes égales, scolie,
19
Ayme J.-L., A propos de Guidde-Mannheim, G.G.G. vol. 9, p. 6 ; http://perso.orange.fr/jl.ayme
11
12
T23 est la A-bissectrice intérieure de ABC.
• Notons T31 la seconde tangente commune intérieure de 3 et 1,
T12 la seconde tangente commune intérieure de 1 et 2,
et I le centre de ABC.
• Mutatis mutandis, nous montrerions que T31 est la B-bissectrice intérieure de ABC
T12 est la C-bissectrice intérieure de ABC.
Commentaire : la phase d'analyse produisant une seule condition nécessaire
[les secondes tangentes communes intérieures de 1a, 1b et 1c pris deux à deux
sont les bissectrices intérieures de ABC],
prouve l'unicité de la solution.
SYNTHÈSE 20
Construction donnée par J. Steiner avec nos notations :
'' I étant le centre du cercle inscrit au triangle ABC,
inscrivez aux triangles BIC, CIA, AIB, les cercles 1, 2, 3 ;
menez à ces cercles pris deux à deux les tangentes communes T23, T31, T12 :
on forme ainsi trois triangles ayant chacun pour côté une de ces tangentes et
deux côtés du triangle ABC.
Les cercles inscrits à ces nouveaux triangles sont les cercles demandés. ''
Commentaire : la phase de synthèse affirme l'existence d'une solution en montrant que la condition trouvée
dans la phase d'analyse est suffisante.
CONCLUSION
Le problème de Malfatti ainsi posé n'a qu'une seule solution.
Commentaire : certains géomètres ont objecté que la preuve de Hart a eu recours à des théorèmes
probablement non connus de Steiner et qui ont été inventés ad hoc par Hart.
Cependant Heinrich Schröter 21 de Breslau précise que ces théorèmes ad hoc ont été découverts
par Julius Plücker bien avant Hart et après Steiner sans donner de références.
2. Une coute biographie d'Andrew S. Hart
Sir Andrew Searle Hart est né à Limerick (Irlande), le 14 mars 1811.
Il est le fils cadet du révérend George Vaughan Hart de Glenalla (comté de Donegal) et de Maria Murray, fille du
très révérend John Hume, doyen de Derry.
En 1828, il entre au Trinity College de Dublin et devient l'ami intime d'Isaac Butt avec qui il conservera toujours
une amitié chaleureuse malgré leur divergence politique.
20
on examine tous les objets vérifiant les conditions nécessaires précédemment accumulées (ce sont les seuls candidats possibles à
être des solutions) et on détermine, parmi eux, lesquels sont réellement des solutions.
21
Schröter H., Die Steinerche Auflösung der Malfattischen Aufgabe, Journal de Crelle, vol. 77 (1874) 232.
12
13
Il obtient son diplôme B.A. en 1833, son M.A. en 1839 et son LL.B. et LL.D. en 1840.
Il a été élu fellow le 15 juin 1835, coopté senior fellow le 10 juillet 1858 et élu vice-recteur du Trinity College de
Dublin en 1876.
En 1840, il épouse Frances, fille de Henry MacDougall avec qui il aura deux fils. Elle décède en 1876.
Andrew Hart meurt subitement à la maison de son beau-frère, George Hart, le 13 avril 1890.
C. LA CONJECTURE DE ZASLAVSKY
1. Présentation
VISION
Figure :
13
14
T23
3
2
I
B A' C
Traits : ABC un triangle,
I le centre de ABC,
1, 2, 3 les cercles inscrits resp. des triangles IBC, ICA, IAB,
A' le point de contact de 1 avec (BC)
et T23 la seconde tangente intérieure de 2 et 3.
Donné : T23 passe par A'. 22
Commentaire : Le problème de Malfatti apporte la réponse.
2. Note historique :
23
Cette situation a été présentée en 2003 sur le site Hyacinthos par le russe Alexey A. Zaslavsky 24.
22
Ayme J.-L., Zaslavsky et Malfatti, G.G.G. vol. 20 ; http://perso.orange.fr/jl.ayme
23
Zaslavsky A. A., Problem, Message Hyacinthos # 7093 du 08/05/2003 ; http://tech.groups.yahoo.com/group/Hyacinthos/
24
Yiu P., One more triad of circles, Message Hyacinthos # 888 du 16/05/2000 ;
14
15
25
Dans sa réponse, Darij Grinberg suggère un lien avec le célèbre problème de Giovanni Francesco S. Malfatti et
propose plusieurs références.
26
De plus, il rappelle dans un autre message, le théorème du professeur Adolph Gustav Quidde démontré par le
lieutenant Amédée Mannheim.27
En 2004, le problème de Zaslavsky réapparaît sur le site Art of Problem Solving 28.
29
Darij Grinberg y répond en reprenant ses remarques présentées sur AoPS (anciennement Hyacinthos) et en
ajoutant plus de précisions.
25
Grinberg D., Problem, Message Hyacinthos # 7097 du 08/05/2003 ; http://tech.groups.yahoo.com/group/Hyacinthos/
26
Grinberg D., Problem, Message Hyacinthos # 7100 du 09/05/2003 ; http://tech.groups.yahoo.com/group/Hyacinthos/
27
Ayme J.-L., A propos de Quidde-Mannheim, G.G.G. vol. 9 ; http://perso.orange.fr/jl.ayme
28
Circles [incircles of BCI, CAI, ABI], AoPS du 08/02/2004 ;
http://www.artofproblemsolving.com/Forum/viewtopic.php?f=46&t=3680
29
Grinberg D., Circles [incircles of BCI, CAI, ABI], AoPS du 11/02/2004 ;
http://www.artofproblemsolving.com/Forum/viewtopic.php?f=46&t=3680
15
16
30
Avec ces quelques indications, l'auteur a commencé une recherche ayant pour sujet la situation évoquée par
Alexey A. Zaslavsky… ce qui donne une justification à cet article.
D. APPENDICE
1. Sous le même angle ou isoptique 31
VISION
Figure :
2
1
C'
Ta Tb'
D
A
B A' B'
Traits : D une droite,
A, B, A', B' quatre points alignés dans cet ordre de D,
30
Grinberg D., Circles [incircles of BCI, CAI, ABI], AoPS du 12/02/2004 ;
http://www.artofproblemsolving.com/Forum/viewtopic.php?f=46&t=3680
31
Catalan E., Théorèmes et problèmes de géométrie élémentaires, C. Théorème 100, p. 166, 6e édition (1879)
16
17
1, 2 deux cercles passant resp. par A et B, A' et B',
Ta , Tb' les tangentes à 2, 3 resp. en A, B',
M le point d’intersection de Ta et Tb',
et C, C' les points de contact des secondes tangentes resp. à 1, 2 issues de M.
Donné : AB = A'B' si, et seulement si, <AMC = <B'MC'.
VISUALISATION NÉCESSAIRE
O'
Ta P D Tb'
A
D B A' D' B'
• Notons O, O' les centres resp. de 1, 2,
et D, D', P les pieds des perpendiculaires à D issues resp. de O, O', M.
• Les triangles ADO et MPA étant semblables, AO/MA = AD/MP.
• Les triangles B'D'O' et MPB' étant semblables, B'O'/MB' = B'D'/MP.
• Sachant que AD = B'D', nous en déduisons que AO/MA = B'O'/MB'
• Conclusion partielle : les triangles AMO et B'MO' étant semblables, <AMO = <B'MO'.
17
18
2
1
C'
O'
O
C
Ta Tb'
D
A
B A' B'
• Conclusion : <AMC = <B'MC'.
Scolie : M est isoptique relativement à 1 et 2.
VISUALISATION SUFFISANTE
18
19
O'
Ta P D Tb'
A
D B A' D' B'
• Nous avons : <AMC = <B'MC'
par moitié, <AMO = <B'MO'.
• Conclusion partielle : les triangles AMO et B'MO' étant semblables, AO/MA = B'O'/MB'.
• Les triangles ADO et MPA étant semblables, AO/MA = AD/MP.
• Les triangles B'D'O' et MPB' étant semblables, B'O'/MB' = B'D'/MP ;
• Par substitution, AD/MP = B'D'/MP ;
en conséquence, AD = B'D',
• Conclusion : AB = A'B'.
2. Deux tangentes égales
VISION
Figure :
19
20
N'
2
1 N
Ta Tb'
D
A
B A' B'
Traits : D une droite,
A, B, A', B' quatre points alignés dans cet ordre de D,
1, 2 deux cercles passant resp. par A et B, A' et B',
Ta , Tb' les tangentes à 2, 3 resp. en A, B',
M le point d’intersection de Ta et Tb',
et N, N' les points de contact des tangentes à 1, 2 issues resp. de B', A.
Donné : AB = A'B' si, et seulement si, AN' = B'N.
Commentaire : en appliquant la définition de la puissance d'un point par rapport à un cercle,
l'équivalence à montrer est immédiate.
Scolie : deux équivalences
20
21
N'
2
1 N
O'
Ta Tb'
D
A
B A' B'
• Conclusion : AB = A'B' si, et seulement si, AN' = B'N si, et seulement si, <AMO = <B'MO'.
21