En géométrie, l'expression problème de Malfatti est utilisée pour deux problèmes apparentés:
déterminer trois cercles tracés à l'intérieur d'un triangle, de sorte que chaque cercle soit tangent aux deux autres et à deux côtés du triangle;
déterminer trois disques disjoints inclus dans un triangle de sorte que la somme de leurs aires soit maximale (ou que l'aire de la surface restante soit minimale).
Illustration du marble problem.
Gian Francesco Malfatti a posé en 1803 le deuxième problème, pensant que les cercles obtenus par le premier donneraient la réponse, ce qui s'est révélé faux (mais seulement 130 ans plus tard) [1].
La détermination des cercles solutions du premier problème est étudiée dans l'article intitulé cercles de Malfatti.
La solution au problème d'optimisation s'obtient par l'algorithme glouton suivant: prendre le disque inscrit dans le triangle, puis le plus grand des trois disques inscrit dans les trois zones restantes, puis le plus grand des cinq disques inscrit dans les cinq zones restantes. Bien que cette procédure ait été formulée pour la première fois en 1930 [2], son exactitude n'a été prouvée qu'en 1994 [3].
Le problème initial posé par Malfatti était de déterminer les trois colonnes circulaires de marbre, éventuellement de différentes tailles, qui, sculptées dans un prisme droit triangulaire, auraient le plus grand volume (voir figure) [1]. Ce problème en 3D est évidemment identique au problème en 2D ci-dessus; d'où l'expression "marble problem" qui lui est parfois donnée.
Lob et Richmond [2], revenant au texte italien original, ont observé que, pour certains triangles, l'algorithme glouton décrit ci-dessus fournit une aire plus grande que celle obtenue par les cercles de Malfatti.
Malfatti en haut, optimaux en bas.
Malfatti à gauche, optimaux à droite.
La différence d'aire pour le triangle équilatéral est petite, un peu plus de 1% (figure de gauche)[4], mais pour un triangle isocèle avec un petit angle au sommet (voir ci-dessous), les disques optimaux (empilés les uns sur les autres au-dessus de la base du triangle) ont une aire égale à près de deux fois celle des cercles de Malfatti.
En fait, les cercles de Malfatti ne sont jamais optimaux. Il été découvert grâce à des calculs numériques dans les années 1960, et plus tard prouvé rigoureusement, que la procédure Lob-Richmond produit toujours les trois disques avec la plus grande aire, et que celle-ci est toujours strictement plus grande que celle issue des cercles de Malfatti [3]. Melissen a conjecturé plus généralement en 1997 que, pour tout entier n, l'algorithme glouton fournit toujours l'ensemble des n cercles maximisant l'aire dans un triangle donné [5]; la conjecture est connue pour être vraie pour n ≤ 3 .
Détermination des trois disques optimaux
Ici, les disques optimaux ont été numérotés 1,2,3.
Les angles du triangle sont rangés dans l'ordre . Avec les notations de la figure, on a , d'où [3].
Le deuxième disque maximisant l'aire, après le disque inscrit, est donc inclus dans le secteur .
Un disque supplémentaire inscrit dans le secteur a alors un rayon .
Tringle isocèle avec un angle au sommet de 37°.
Le deuxième disque maximisant l'aire est donc celui inclus dans le secteur ssi , soit , soit simplement [3].
Même type de raisonnement pour le troisième disque.
Pour un triangle isocèle en A, le deuxième disque est inclus dans le secteur si , soit . Le troisième disque est alors lui aussi inclus dans le secteur , comme ci-contre, si ce qui donne une valeur charnière de 37,5° environ.
Références
12(it) Gianfrancesco Malfatti, «Memoria sopra un problema stereotomica», Memorie di Matematica e Fisica della Società Italiana delle Scienze, no10, , p.235–244 (lire en ligne).
12(en) H. Lob, H. W. Richmond, «On the Solutions of Malfatti's Problem for a Triangle», Proceedings of the London Mathematical Society, 2e série, vol.30, , p.287–304 (lire en ligne).
1234(en) V. A. Zalgaller, G. A. Los', «The solution of Malfatti's problem», Journal of Mathematical Sciences, vol.72 (4), (lire en ligne).
↑Plus précisément, pour un triangle de côté 1, les cercles de Malfatti sont de rayon , donc ont une aire totale de ; le cercle inscrit a un rayon et les deux petits cercles inscrits un rayon , donc les trois diques de Lob et Richmond une aire totale de .
↑J. B. M. Melissen, «Packing and Covering with Circles,», PhD thesis, Utrecht University,
