Mή μου τοὺς κύκλους τάραττε
’Αρχιμήδης ‘ο Συρακóσιος
Noli turbare circulos meos
Archimedes Syracusanus
Abstract
Malfatti’s problem is more than 200 years old and its solution given by the greedy arrangement has been stated first in 1994. The solution was obtained at that time by considering 14 arrangements and by justifying the exclusion of the non-greedy ones through a complex reasoning relying purely on numerical simulations in several crucial steps. By significantly improving the underlying methods and by filling still extant gaps, a full purely analytical proof of the solution is provided for the first time in the present work, especially based on a mixture of synthetic and analytic Euclidean geometry and on the theory of convex functions.
Similar content being viewed by others
Notes
Any other larger circle would have the center interior to one of the three triangles obtained joining the in-center with the vertices of the triangle and then would overlap at least the corresponding L of the LLL triangle.
Another known construction is to consider the center C3 of C and to inscribe a given arbitrary circle in the angle with parallel sides to LL and vertex V4 in Fig. 2a [7], wherein the sides of this last angle are at a distance equal to the radius of C from the sides of the angle LL; the ray V4C3 always intersects the given circle in two points and the two solutions follow by homothety centered in V4.
This fact may be shown also by inversion in the contact point of CC, transforming CC in two parallel lines and L in a circle tangent to them. For sake of completeness, the same reasoning applies to the curvilinear triangle delimited by tangent CCC, thus also admitting an in-circle: the in-center is the common intersection of three hyperbola branches with respective vertices at the CCC contact points. One may see by reasoning as in the LLL case that the in-circle is maximum among the circles contained in the triangle, which is then a rigidity zone.
The center of the maximal circle inscribed in a given angle of a quadrangle is obtained by taking the bisectors of the adjacent two angles, intersecting them with the bisector of the angle and taking the intersection closest to the vertex.
If C ≠ E, the side AD is a common external tangent of the maximal circles and the maximal circle in ∠D touches BC, whereas if C = E, two opposite sides of the quadrangle are common external tangents; then with respect to a common internal tangent not containing B, B and D lie on opposite sides, as well as the circles, and every couple of smaller circles inscribed respectively in the angles is a fortiori separated by this tangent.
t sinα0(t) < 1, and √R3m(t) are positive increasing, whereas sinα0(t)/t < 1, and 1/cosα0(t) are positive decreasing for t in (5).
The singularity of γ0´(t) at t = t2 hinders analysis of the function α0 + β0 + γ0: by numerical computation one could check that this value is also unique in 1 < t < t2, but this is unnecessary for the development of the proof.
References
Malfatti, G.: Memoria sopra un problema stereotomico. Memorie di Matematica e di Fisica della Società Italiana delle Scienze 10(1), 235–244 (1803)
Goldberg, M.: On the original Malfatti problem. Math. Mag. 40, 241–247 (1967)
Zalgaller, V.A., Los, G.A.: The solution of Malfatti’s problem. J. Math. Sci. 72(4), 3163–3177 (1994)
Zalgaller, V.A.: An inequality for acute triangles. J. Math. Sci. 72(4), 3160–3162 (1994)
Ninjbat, U.: On Malfatti’s Marble Problem. Arnold Math. J. 2(3), 309–327 (2016)
Andreatta, M., Bezdek, A., Boroński, J.P.: The problem of Malfatti: two centuries of debate. Math. Intell. 33(1), 72–76 (2011)
Altshiller-Court, N.: College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle, p. 225. Dover Publ., New York (2012)
Roberts, A.W. Varberg, D.E.: Convex Functions, pp. 1–16, 220–221. Academic Press, New York and London (1973)
Catalan, E.: Note sur le problème de Malfatti. Nouvelles Annales de Mathématiques, 1re série 5, 60–64 (1846)
Derousseau, J.: Historique et résolution analytique complète du problème de Malfatti. Mémoires de la Societé des Science de Liége, 2me série 18, 3–52 (1895)
Andreescu, T., Andrica, D.: Complex Numbers from A to Z, 2nd edn., pp. 125–127. Springer, New York (2014)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Lombardi, G. Proving the solution of Malfatti’s marble problem. Rend. Circ. Mat. Palermo, II. Ser 72, 1751–1782 (2023). https://doi.org/10.1007/s12215-022-00759-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12215-022-00759-2