Malfatti circles

Last updated

Malfatti circles Malfatti's circles.svg
Malfatti circles

In geometry, the Malfatti circles are three circles inside a given triangle such that each circle is tangent to the other two and to two sides of the triangle. They are named after Gian 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.

Contents

Malfatti's problem has 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 by Steiner (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 two triangle centers, the Ajima–Malfatti points of 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 a greedy algorithm that 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

Unsolved problem in mathematics:

Does the greedy algorithm always find area-maximizing packings of more than three circles in any triangle?

In an equilateral triangle the area of the Malfatti circles (left) is approximately 1% smaller than the three area-maximizing circles (right). Malfatti circles in equilateral triangle.svg
In an equilateral triangle the area of the Malfatti circles (left) is approximately 1% smaller than the three area-maximizing circles (right).

Gian FrancescoMalfatti  ( 1803 ) posed the problem of cutting three cylindrical columns out 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 by Joseph Diaz Gergonne in the first volume of his Annales (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 in sharp isosceles triangle.svg
Alternative to Malfatti's circles in sharp isosceles triangle.svg
In an isosceles triangle with a sharp apex, Malfatti's circles (top) occupy roughly half of the area of three circles stacked with a greedy algorithm (below).

Malfatti's assumption that the two problems are equivalent is incorrect. LobandRichmond ( 1930 ), who went back to the original Italian text, observed that for some triangles a larger area can be achieved by a greedy algorithm that 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 as HowardEves  ( 1946 ) pointed out, for an isosceles triangle with 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 integer n, the greedy algorithm finds the area-maximizing set of n circles within a given triangle; the conjecture is known to be true for n ≤ 3. [5]

History

The problem of constructing three circles tangent to each other within a triangle was posed by the 18th-century Japanese mathematician Ajima Naonobu prior 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 the Municipal Library of Siena, Italy. [7] JacobBernoulli  ( 1744 ) studied a special case of the problem, for a specific isosceles 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. Guy writes that the literature on the problem is "extensive, widely scattered, and not always aware of itself". [8] Notably, JakobSteiner  ( 1826 ) presented a simple geometric construction based on bitangents; other authors have since claimed that Steiner's presentation lacked a proof, which was later supplied by AndrewHart  ( 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 by C. L.Lehmus  ( 1819 ), E. C.Catalan  ( 1846 ), C.Adams  ( 1846 , 1849 ), J.Derousseau ( 1895 ), and AndreasPampuch ( 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 to Pampuch (1904), but Cajori (1893) notes that this count of the number of solutions was already given in a remark by Steiner (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) and Mazzotti (1998) recount an episode in 19th-century Neapolitan mathematics related to the Malfatti circles. In 1839, Vincenzo Flauti, a synthetic 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 of analytic 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 for computer algebra systems. [12]

Steiner's construction

Steiner's construction of the Malfatti circles using bitangents Construction of Malfatti circles.svg
Steiner's construction of the Malfatti circles using bitangents

Although much of the early work on the Malfatti circles used analytic geometry, Steiner (1826) provided the following simple synthetic construction.

A circle that is tangent to two sides of a triangle, as the Malfatti circles are, must be centered on one of the angle bisectors of 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 four bitangents (lines touching both). Two of these bitangents pass between their 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 as a, b, and c, and label the three bitangents that are not angle bisectors as x, y, and z, where x is the bitangent to the two circles that do not touch side a, y is the bitangent to the two circles that do not touch side b, and z is the bitangent to the two circles that do not touch side c. Then the three Malfatti circles are the inscribed circles to the three tangential quadrilaterals abyx, aczx, and bczy. [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 bitangents x, y, and z cross 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

The radius of each of the three Malfatti circles may be determined as a formula involving the three side lengths a, b, and c of the triangle, the inradius r, the semiperimeter , and the three distances d, e, and f from the incenter of the triangle to the vertices opposite sides a, b, and c respectively. 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 all rational numbers or 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

First Ajima-Malfatti point Primo punto di Malfatti.svg
First Ajima–Malfatti point

Given a triangle ABC and its three Malfatti circles, let D, E, and F be the points where two of the circles touch each other, opposite vertices A, B, and C respectively. Then the three lines AD, BE, and CF meet in a single triangle center known as the first Ajima–Malfatti point after 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 the excircles of 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 the radical center of the three Malfatti circles (the point where the three bitangents used in their construction meet). [19]

See also

Notes

  1. Ogilvy (1990).
  2. Wells (1991).
  3. See also Ogilvy (1990).
  4. Goldberg (1967); Gabai & Liban (1968); Zalgaller (1994); Zalgaller & Los' (1994); Lombardi (2022).
  5. 1 2 Andreatta, Bezdek & Boroński (2010).
  6. Fukagawa & Rothman (2008).
  7. Simi & Toti Rigatelli (1993).
  8. 1 2 3 Guy (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 to Stevanović (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 editor Joseph Diez Gergonne) giving this formula as equivalent to the results in Malfatti (1803).
  15. Miller (1875).
  16. Weisstein, Eric W., "Ajima-Malfatti Points", MathWorld .
  17. C. Kimberling, Encyclopedia of Triangle Centers Archived 2012-04-19 at the Wayback Machine , X(179) and X(180).
  18. Encyclopedia of Triangle Centers, X(400).
  19. Stevanović (2003).

Related Research Articles

<span class="mw-page-title-main">Kite (geometry)</span> Quadrilateral symmetric across a diagonal

In Euclidean geometry, a kite is a quadrilateral with reflection symmetry across a diagonal. Because of this symmetry, a kite has two equal angles and two pairs of adjacent equal-length sides. Kites are also known as deltoids, but the word deltoid may also refer to a deltoid curve, an unrelated geometric object sometimes studied in connection with quadrilaterals. A kite may also be called a dart, particularly if it is not convex.

Tarski's circle-squaring problem is the challenge, posed by Alfred Tarski in 1925, to take a disc in the plane, cut it into finitely many pieces, and reassemble the pieces so as to get a square of equal area. This was proven to be possible by Miklós Laczkovich in 1990; the decomposition makes heavy use of the axiom of choice and is therefore non-constructive. Laczkovich estimated the number of pieces in his decomposition at roughly 1050, the pieces used in his decomposition are non-measurable subsets. A constructive solution was given by Łukasz Grabowski, András Máthé and Oleg Pikhurko in 2016 which worked everywhere except for a set of measure zero. More recently, Andrew Marks and Spencer Unger (2017) gave a completely constructive solution using about Borel pieces. In 2021 Máthé, Noel and Pikhurko improved the properties of the pieces.

<span class="mw-page-title-main">Ferdinand Georg Frobenius</span> German mathematician

Ferdinand Georg Frobenius was a German mathematician, best known for his contributions to the theory of elliptic functions, differential equations, number theory, and to group theory. He is known for the famous determinantal identities, known as Frobenius–Stickelberger formulae, governing elliptic functions, and for developing the theory of biquadratic forms. He was also the first to introduce the notion of rational approximations of functions, and gave the first full proof for the Cayley–Hamilton theorem. He also lent his name to certain differential-geometric objects in modern mathematical physics, known as Frobenius manifolds.

<span class="mw-page-title-main">Descartes' theorem</span> Equation for radii of tangent circles

In geometry, Descartes' theorem states that for every four kissing, or mutually tangent, circles, the radii of the circles satisfy a certain quadratic equation. By solving this equation, one can construct a fourth circle tangent to three given, mutually tangent circles. The theorem is named after René Descartes, who stated it in 1643.

<span class="mw-page-title-main">Elwin Bruno Christoffel</span> German mathematician and physicist

Elwin Bruno Christoffel was a German mathematician and physicist. He introduced fundamental concepts of differential geometry, opening the way for the development of tensor calculus, which would later provide the mathematical basis for general relativity.

<span class="mw-page-title-main">Hugo Hadwiger</span> Swiss mathematician (1908–1981)

Hugo Hadwiger was a Swiss mathematician, known for his work in geometry, combinatorics, and cryptography.

Ajima Naonobu, also known as Ajima Manzō Chokuyen, was a Japanese mathematician of the Edo period.

<span class="mw-page-title-main">Gian Francesco Malfatti</span> Italian mathematician (1731–1807)

Giovanni Francesco Giuseppe Malfatti, also known as Gian Francesco or Gianfrancesco was an Italian mathematician. He was born in Ala, Trentino, Italy and died in Ferrara.

<span class="mw-page-title-main">Bitangent</span> Line tangent to a curve at two locations

In geometry, a bitangent to a curve C is a line L that touches C in two distinct points P and Q and that has the same direction as C at these points. That is, L is a tangent line at P and at Q.

<span class="mw-page-title-main">Problem of Apollonius</span> Construct circles that are tangent to three given circles in a plane

In Euclidean plane geometry, Apollonius's problem is to construct circles that are tangent to three given circles in a plane (Figure 1). Apollonius of Perga posed and solved this famous problem in his work Ἐπαφαί ; this work has been lost, but a 4th-century AD report of his results by Pappus of Alexandria has survived. Three given circles generically have eight different circles that are tangent to them (Figure 2), a pair of solutions for each way to divide the three given circles in two subsets.

<span class="mw-page-title-main">Midsphere</span> Sphere tangent to every edge of a polyhedron

In geometry, the midsphere or intersphere of a convex polyhedron is a sphere which is tangent to every edge of the polyhedron. Not every polyhedron has a midsphere, but the uniform polyhedra, including the regular, quasiregular and semiregular polyhedra and their duals all have midspheres. The radius of the midsphere is called the midradius. A polyhedron that has a midsphere is said to be midscribed about this sphere.

In mathematics, Kummer sum is the name given to certain cubic Gauss sums for a prime modulus p, with p congruent to 1 modulo 3. They are named after Ernst Kummer, who made a conjecture about the statistical properties of their arguments, as complex numbers. These sums were known and used before Kummer, in the theory of cyclotomy.

In geometry, tangent circles are circles in a common plane that intersect in a single point. There are two types of tangency: internal and external. Many problems and constructions in geometry are related to tangent circles; such problems often have real-life applications such as trilateration and maximizing the use of materials.

In polyhedral combinatorics, a branch of mathematics, Steinitz's theorem is a characterization of the undirected graphs formed by the edges and vertices of three-dimensional convex polyhedra: they are exactly the 3-vertex-connected planar graphs. That is, every convex polyhedron forms a 3-connected planar graph, and every 3-connected planar graph can be represented as the graph of a convex polyhedron. For this reason, the 3-connected planar graphs are also known as polyhedral graphs.

In mathematics, the Neukirch–Uchida theorem shows that all problems about algebraic number fields can be reduced to problems about their absolute Galois groups. Jürgen Neukirch (1969) showed that two algebraic number fields with the same absolute Galois group are isomorphic, and Kôji Uchida (1976) strengthened this by proving Neukirch's conjecture that automorphisms of the algebraic number field correspond to outer automorphisms of its absolute Galois group. Florian Pop extended the result to infinite fields that are finitely generated over prime fields.

<span class="mw-page-title-main">Carl Friedrich Geiser</span> Swiss mathematician

Carl Friedrich Geiser was a Swiss mathematician, specializing in algebraic geometry. He is known for the Geiser involution and Geiser's minimal surface.

<span class="mw-page-title-main">Samuel James Patterson</span> British mathematician

Samuel James Patterson is a Northern Irish mathematician specializing in analytic number theory. He has been a professor at the University of Göttingen since 1981.

A Treatise on the Circle and the Sphere is a mathematics book on circles, spheres, and inversive geometry. It was written by Julian Coolidge, and published by the Clarendon Press in 1916. The Chelsea Publishing Company published a corrected reprint in 1971, and after the American Mathematical Society acquired Chelsea Publishing it was reprinted again in 1997.

The Lotschnittaxiom is an axiom in the foundations of geometry, introduced and studied by Friedrich Bachmann. It states:

Perpendiculars raised on each side of a right angle intersect.

References