Jump to content

Malfatti circles

This is a good article. Click here for more information.
From Wikipedia, the free encyclopedia

Malfatti circles

Ingeometry,theMalfatti circlesare threecirclesinside a giventrianglesuch that each circle istangentto the other two and to two sides of the triangle. They are named afterGian Francesco Malfatti,who made early studies of the problem of constructing these circles in the mistaken belief that they would have the largest possible total area of any three disjoint circles within the triangle.

Malfatti's problemhas been used to refer both to the problem of constructing the Malfatti circles and to the problem of finding three area-maximizing circles within a triangle. A simple construction of the Malfatti circles was given bySteiner (1826),and many mathematicians have since studied the problem. Malfatti himself supplied a formula for the radii of the three circles, and they may also be used to define twotriangle centers,theAjima–Malfatti pointsof a triangle.

The problem of maximizing the total area of three circles in a triangle is never solved by the Malfatti circles. Instead, the optimal solution can always be found by agreedy algorithmthat finds the largest circle within the given triangle, the largest circle within the three connected subsets of the triangle outside of the first circle, and the largest circle within the five connected subsets of the triangle outside of the first two circles. Although this procedure was first formulated in 1930, its correctness was not proven until 1994.

Malfatti's problem

[edit]
Unsolved problem in mathematics:
Does the greedy algorithm always find area-maximizing packings of more than three circles in any triangle?
In anequilateral trianglethe area of the Malfatti circles (left) is approximately 1% smaller than the three area-maximizing circles (right).

Gian Francesco Malfatti(1803) posed the problem of cutting three cylindricalcolumnsout of a triangular prism of marble, maximizing the total volume of the columns. He assumed that the solution to this problem was given by three tangent circles within the triangular cross-section of the wedge. That is, more abstractly, he conjectured that the three Malfatti circles have the maximum total area of any three disjoint circles within a given triangle.[1] Malfatti's work was popularized for a wider readership in French byJoseph Diaz Gergonnein the first volume of hisAnnales(1811), with further discussion in the second and tenth. However, Gergonne only stated the circle-tangency problem, not the area-maximizing one.

Malfatti's circles, occupying ~1/2 of the maximally possible area in an isosceles triangle with a sharp apex.
Three circles stacked with a greedy algorithm, maximizing their area in the same triangle.
In anisosceles trianglewith a sharp apex, Malfatti's circles (top) occupy roughly half of the area of three circles stacked with agreedy algorithm(below).

Malfatti's assumption that the two problems are equivalent is incorrect. Lob and Richmond (1930), who went back to the original Italian text, observed that for some triangles a larger area can be achieved by agreedy algorithmthat inscribes a single circle of maximal radius within the triangle, inscribes a second circle within one of the three remaining corners of the triangle, the one with the smallest angle, and inscribes a third circle within the largest of the five remaining pieces. The difference in area for an equilateral triangle is small, just over 1%,[2]but asHoward Eves(1946) pointed out, for anisosceles trianglewith a very sharp apex, the optimal circles (stacked one atop each other above the base of the triangle) have nearly twice the area of the Malfatti circles.[3]

In fact, the Malfatti circles are never optimal. It was discovered through numerical computations in the 1960s, and later proven rigorously, that the Lob–Richmond procedure always produces the three circles with largest area, and that these are always larger than the Malfatti circles.[4]Melissen (1997)conjectured more generally that, for any integern,the greedy algorithm finds the area-maximizing set ofncircles within a given triangle; the conjecture is known to be true forn≤ 3.[5]

History

[edit]

The problem of constructing three circles tangent to each other within a triangle was posed by the 18th-century Japanese mathematicianAjima Naonobuprior to the work of Malfatti, and included in an unpublished collection of Ajima's works made a year after Ajima's death by his student Kusaka Makoto.[5][6]Even earlier, the same problem was considered in a 1384 manuscript by Gilio di Cecco da Montepulciano, now in theMunicipal LibraryofSiena,Italy.[7]Jacob Bernoulli(1744) studied a special case of the problem, for a specificisosceles triangle.

Since the work of Malfatti, there has been a significant amount of work on methods for constructing Malfatti's three tangent circles;Richard K. Guywrites that the literature on the problem is "extensive, widely scattered, and not always aware of itself".[8]Notably,Jakob Steiner(1826) presented a simple geometric construction based onbitangents;other authors have since claimed that Steiner's presentation lacked a proof, which was later supplied byAndrew Hart(1856), but Guy points to the proof scattered within two of Steiner's own papers from that time. Solutions based on algebraic formulations of the problem include those byC. L. Lehmus(1819),E. C. Catalan(1846),C. Adams(1846,1849), J. Derousseau (1895), and Andreas Pampuch (1904). The algebraic solutions do not distinguish between internal and external tangencies among the circles and the given triangle; if the problem is generalized to allow tangencies of either kind, then a given triangle will have 32 different solutions and conversely a triple of mutually tangent circles will be a solution for eight different triangles.[8]Bottema (2001)credits the enumeration of these solutions toPampuch (1904),butCajori (1893)notes that this count of the number of solutions was already given in a remark bySteiner (1826).The problem and its generalizations were the subject of many other 19th-century mathematical publications,[9]and its history and mathematics have been the subject of ongoing study since then.[10] It has also been a frequent topic in books on geometry.[11]

Gatto (2000)andMazzotti (1998)recount an episode in 19th-centuryNeapolitanmathematics related to the Malfatti circles. In 1839,Vincenzo Flauti,asynthetic geometer,posed a challenge involving the solution of three geometry problems, one of which was the construction of Malfatti's circles; his intention in doing so was to show the superiority of synthetic to analytic techniques. Despite a solution being given by Fortunato Padula, a student in a rival school ofanalytic geometry,Flauti awarded the prize to his own student, Nicola Trudi, whose solutions Flauti had known of when he posed his challenge. More recently, the problem of constructing the Malfatti circles has been used as a test problem forcomputer algebra systems.[12]

Steiner's construction

[edit]
Steiner's construction of the Malfatti circles usingbitangents

Although much of the early work on the Malfatti circles usedanalytic geometry,Steiner (1826)provided the following simplesyntheticconstruction.

A circle that is tangent to two sides of a triangle, as the Malfatti circles are, must be centered on one of theangle bisectorsof the triangle (green in the figure). These bisectors partition the triangle into three smaller triangles, and Steiner's construction of the Malfatti circles begins by drawing a different triple of circles (shown dashed in the figure) inscribed within each of these three smaller triangles. In general these circles are disjoint, so each pair of two circles has fourbitangents(lines touching both). Two of these bitangents passbetweentheir circles: one is an angle bisector, and the second is shown as a red dashed line in the figure. Label the three sides of the given triangle asa,b,andc,and label the three bitangents that are not angle bisectors asx,y,andz,wherexis the bitangent to the two circles that do not touch sidea,yis the bitangent to the two circles that do not touch sideb,andzis the bitangent to the two circles that do not touch sidec.Then the three Malfatti circles are the inscribed circles to the threetangential quadrilateralsabyx,aczx,andbczy.[13]In case of symmetry two of the dashed circles may touch in a point on a bisector, making two bitangents coincide there, but still setting up the relevant quadrilaterals for Malfatti's circles.

The three bitangentsx,y,andzcross the triangle sides at the point of tangency with the third inscribed circle, and may also be found as the reflections of the angle bisectors across the lines connecting pairs of centers of these incircles.[8]

Radius formula

[edit]

Theradiusof each of the three Malfatti circles may be determined as a formula involving the three side lengthsa,b,andcof the triangle, theinradiusr,thesemiperimeter,and the three distancesd,e,andffrom theincenterof the triangle to the vertices opposite sidesa,b,andcrespectively. The formulae for the three radii are:[14]

Related formulae may be used to find examples of triangles whose side lengths, inradii, and Malfatti radii are allrational numbersor all integers. For instance, the triangle with side lengths 28392, 21000, and 25872 has inradius 6930 and Malfatti radii 3969, 4900, and 4356. As another example, the triangle with side lengths 152460, 165000, and 190740 has inradius 47520 and Malfatti radii 27225, 30976, and 32400.[15]

Ajima–Malfatti points

[edit]
First Ajima–Malfatti point

Given a triangleABCand its three Malfatti circles, letD,E,andFbe the points where two of the circles touch each other, opposite verticesA,B,andCrespectively. Then the three linesAD,BE,andCFmeet in a singletriangle centerknown as the firstAjima–Malfatti pointafter the contributions of Ajima and Malfatti to the circle problem. The second Ajima–Malfatti point is the meeting point of three lines connecting the tangencies of the Malfatti circles with the centers of theexcirclesof the triangle.[16][17]Other triangle centers also associated with the Malfatti circles include the Yff–Malfatti point, formed in the same way as the first Malfatti point from three mutually tangent circles that are all tangent to the lines through the sides of the given triangle, but that lie partially outside the triangle,[18]and theradical centerof the three Malfatti circles (the point where the three bitangents used in their construction meet).[19]

See also

[edit]

Notes

[edit]
  1. ^Ogilvy (1990).
  2. ^Wells (1991).
  3. ^See alsoOgilvy (1990).
  4. ^Goldberg (1967);Gabai & Liban (1968);Zalgaller (1994);Zalgaller & Los' (1994);Lombardi (2022).
  5. ^abAndreatta, Bezdek & Boroński (2010).
  6. ^Fukagawa & Rothman (2008).
  7. ^Simi & Toti Rigatelli (1993).
  8. ^abcGuy (2007).
  9. ^Paucker (1831);Zornow (1833);Plücker (1834a,1834b);Terquem (1847);Quidde (1850);Sylvester (1850);Scheffler (1851);Schellbach (1853);Cayley (1849,1854,1857,1875–1876);Clebsch (1857);Talbot (1867);Wittstein (1871);Affolter (1873);Mertens (1873);Baker (1874);Schröter (1874);Simons (1874);Miller (1875);Seitz (1875);Godt (1877);Lebon (1889);Bellacchi (1895);Wedell (1897).
  10. ^Hagge (1908);Loeber (1914);Danielsson (1926);Rogers (1928);Scardapane (1931);Procissi (1932);Eves (1946);Naitō (1975);Fiocca (1980);Hitotumatu (1995);Takeshima & Anai (1996);Gatto (2000);Bottema (2001);Andreatta, Bezdek & Boroński (2010);Horváth (2014).
  11. ^Casey (1882);Rouché & de Comberousse (1891);Coolidge (1916);Baker (1925);Dörrie (1965);Ogilvy (1990); Wells (1991);Martin (1998);Andreescu, Mushkarov & Stoyanov (2006).
  12. ^Hitotumatu (1995);Takeshima & Anai (1996).
  13. ^Martin (1998),exercise 5.20, p. 96.
  14. ^According toStevanović (2003),these formulae were discovered by Malfatti and published posthumously by him in 1811. However, the 1811 publication,"Résolues",Annales de Mathématiques Pures et Appliquées,1:347–348, 1811,is an unsigned letter (likely from journal editorJoseph Diez Gergonne) giving this formula as equivalent to the results inMalfatti (1803).
  15. ^Miller (1875).
  16. ^Weisstein, Eric W.,"Ajima-Malfatti Points",MathWorld.
  17. ^C. Kimberling,Encyclopedia of Triangle CentersArchived2012-04-19 at theWayback Machine,X(179) and X(180).
  18. ^Encyclopedia of Triangle Centers, X(400).
  19. ^Stevanović (2003).

References

[edit]
[edit]