Malfatti circles

Malfatti circles
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. 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.

Contents

Malfatti's problem

Comparison of the Malfatti circles and the three area-maximizing circles within an equilateral triangle

In 1803 Gian Francesco Malfatti posed the problem of cutting three cylindrical columns out of a rectangular wedge of marble, maximizing the total volume of the columns. He assumed, as did many others after him, 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.

Malfatti published in Italian and his work may not have been read by many in the original. It was popularised for a wider readership in French by Joseph Diaz Gergonne in the first volume of his ``Annales" (1810/11), with further discussion in the second and tenth. However, this advertisement most likely acted as a filter, as Gergonne only stated the circle-tangency problem, not the area-maximizing one.

The conjecture is wrong; Lob and Richmond (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 the largest of the three remaining corners of the triangle, 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%,[1] but as Howard Eves pointed out in 1946, 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.[2]

Goldberg (1967) showed that, for every triangle, the Lob–Richmond procedure produces three circles with larger area than the Malfatti circles, so the Malfatti circles are never optimal. Zalgaller and Los' (1994) classified all of the different ways that a set of maximal circles can be packed within a triangle; using their classification, they proved that the greedy algorithm always finds three area-maximizing circles, and they provided a formula for determining which packing is optimal for a given triangle. In his 1997 Ph.D. thesis, Melissen[3] 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.[4]

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] Even earlier, the same problem was considered in a 1384 manuscript by Gilio di Cecco da Montepulciano, now in the Municipal Library of Sienna, Italy.[6]

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".[7] Notably, in 1826 Jakob Steiner 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 Andrew Hart (1856), but Guy points to the proof scattered within two of Steiner's own papers from that time. Lob and Richmond cite solutions by C. L. Lehmus (1819), Eugène Charles Catalan (1845), J. Derousseau (1895), A. Pampuch (1904), and J. L. Coolidge (1916), all based on algebraic formulations of the problem. 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[8] and conversely a triple of mutually tangent circles will be a solution for eight different triangles.[7] Bottema[9] and Guy cite additional work on the problem and its generalizations by C. Adams (1846), Adolphe Quidde (1850), K. H. Schellbach (1853), Arthur Cayley (1854, 1857, 1875), Alfred Clebsch (1857), P. Simons (1874), J. Casey (1888), Rouché and Comberousse (1900), H. F. Baker (1925), L. J. Rogers (1928), Angelo Procissi (1932), Jun Naito (1975), and D. G. Rogers (2005).

Gatto and Mazotti[10] 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.[11]

Steiner's construction

Steiner's construction of the Malfatti circles.

Although much of the early work on the Malfatti circles used analytic geometry, in 1826 Jakob Steiner 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. Each pair of two of these three inscribed circles has two bitangents, lines that touch both of the dashed circles and pass between them: one bitangent is the angle bisector, and the second bitangent is shown as the 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.[12] 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.[7]

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:

r_1 = \frac{r}{2(s-a)}(s+d-r-e-f),
r_2 = \frac{r}{2(s-b)}(s+e-r-d-f), and
r_3 = \frac{r}{2(s-c)}(s+f-r-d-e).

According to Stevanović (2003), these formulae were discovered by Malfatti and published posthumously by him in 1811.

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.[13]

Ajima–Malfatti points

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.[14][15] 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,[16] and the radical center of the three Malfatti circles.[17]

See also

Notes

  1. ^ Wells (1991).
  2. ^ Eves (1946); Ogilvy (1990).
  3. ^ Melissen, J.B.M. (1997), Packing and Covering with Circles (PhD thesis), Utrecht University .
  4. ^ Andreatta, Bezdek & Boroński (2010).
  5. ^ Fukagawa, Hidetoshi; Rothman, Tony (2008), Sacred mathematics: Japanese temple geometry, Princeton University Press, p. 79, ISBN 9780691127453, http://books.google.com/books?id=OxKKDCmGDlEC&pg=PA79 .
  6. ^ Simi, A.; Toti Rigatelli, L. (1993), "Some 14th- and 15th-century texts on practical geometry", Vestigia mathematica, Amsterdam: Rodopi, pp. 453–470, MR1258835 .
  7. ^ a b c Guy (2007).
  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 an 1826 remark by Steiner. See Cajori, Florian (1893), A history of mathematics, Macmillan & Co., p. 296, http://books.google.com/books?id=bfgRxVzjbMYC&pg=PA296 .
  9. ^ Bottema (2001).
  10. ^ Mazzotti, Massimo (1998), "The geometers of God: mathematics and reaction in the kingdom of Naples", Isis 89 (4): 674–701, doi:10.1086/384160, MR1670633, http://history.berkeley.edu/faculty/Mazzotti/The%20Geometers%20of%20God.pdf . Gatto, Romano (2000), "The debate about methods and Vincenzo Flauti's challenge to the mathematicians of the Kingdom of Naples", Società Nazionale di Scienze, Lettere e Arti in Napoli. Rendiconto dell'Accademia delle Scienze Fisiche e Matematiche. Serie IV 67: 181–233, MR1834240 .
  11. ^ Hitotumatu, Sin (1995), "The Malfatti problem" (in Japanese), The state of the art of scientific computing and its prospects, II, Sūrikaisekikenkyūsho Kōkyūroku, 915, pp. 167–170, MR1385273 . Takeshima, Taku; Anai, Hirokazu (1996), "Computer algebra applied to Malfatti's problem of constructing three tangent circles inside a triangle—the construction of towers over the field of rational functions" (in Japanese), Studies in the theory of computer algebra and its applications, Sūrikaisekikenkyūsho Kōkyūroku, 941, pp. 15–24, MR1410316 .
  12. ^ Martin (1998), exercise 5.20, p. 96.
  13. ^ Miller, W. J. C., ed. (1875), "Problem 4331", Mathematical questions with their solutions, from the "Educational times", Hodgson, p. 70, http://books.google.com/books?id=7QYAAAAAQAAJ&pg=PA70 . Proposed by Artemas Martin; solved by the proposer and by Asher B. Evans.
  14. ^ Weisstein, Eric W., "Ajima-Malfatti Points" from MathWorld..
  15. ^ C. Kimberling, Encyclopedia of Triangle Centers, X(179) and X(180).
  16. ^ Encyclopedia of Triangle Centers, X(400).
  17. ^ Stevanović (2003).

References

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Malfatti — is Italian surname of; People Anita (Catarina) Malfatti (1889, São Paulo  – 1964), Brazilian artist Egisto Malfatti (it) (1914, Viareggio  – 1997, Viareggio) (Giovanni Francesco Giuseppe) Gian Francesco (Gianfrancesco) Malfatti (1731,… …   Wikipedia

  • Malfatti-Kreis — Die drei Malfatti Kreise eines Dreiecks sind Kreise, von denen jeder zwei Dreiecksseiten und die beiden anderen Kreise berührt. Malfatti Kreise sind nach Gianfrancesco Malfatti benannt, der sie 1803 im Zusammenhang mit einer von ihm gestellten… …   Deutsch Wikipedia

  • Gian Francesco Malfatti — Gian Francesco Malfatti. Giovanni Francesco Giuseppe, also known as Gian Francesco or Gianfrancesco (26 September 1731 9 October 1807) was an Italian mathematician. He was born in Ala, Trentino, Italy and died in Ferrara. Malfatti studied at the… …   Wikipedia

  • Tangent circles — In geometry, tangent circles (also known as kissing circles) are circles 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… …   Wikipedia

  • Ajima Naonobu — In this Japanese name, the family name is Ajima . Ajima Naonobu (安島 直円?, 1732 – May 20, 1798), also known as Ajima Chokuyen, was a Japanese mathematician of the Edo period.[1] Ajima is credited with introducing calculus into Japanese mathematics …   Wikipedia

  • List of published false theorems — The historical record of mathematics and mathematicians is excellent overall. Few published theorems have later been discovered to be false. However, a number of well known exceptions are listed below.*In 1803, Gian Francesco Malfatti proved that …   Wikipedia

  • Circle packing — This article describes the packing of circles on surfaces. For the related article on circle packing with a prescribed intersection graph, please see the circle packing theorem. The most efficient way to pack different sized circles together is… …   Wikipedia

  • List of circle topics — This list of circle topics includes things related to the geometric shape, either abstractly, as in idealizations studied by geometers, or concretely in physical space. It does not include metaphors like inner circle or circular reasoning in… …   Wikipedia

  • Circle packing in an equilateral triangle — is a packing problem in discrete mathematics where the objective is to pack n unit circles into the smallest possible equilateral triangle. Optimal solutions are known for n < 13 and for any triangular number of circles, and… …   Wikipedia

  • Sangaku — Saltar a navegación, búsqueda Para otros usos de este término, véase Sangaku (música). En el interior de un cuadrado hay un círculo central. Cuatro círculos todos con radio diferente, tocan a este círculo central y a los lados del cuadrado. ¿Qué… …   Wikipedia Español

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”