ja %E3%83%9E%E3%83%AB%E3%83%95%E3%82%A1%E3%83%83%E3%83%86%E3%82%A3%E3%81%AE%E5%86%86

幾何学におけるマルファッティの円（マルファッティのえん）は、それぞれが三角形の2辺に接し互いに外接する3つの円の名称である。名前はこの円を（誤った予想と共に）初期に研究したジアン・フランチェスコ・マルファッティ(en)に由来する。

マルファッティの問題という言葉は、「マルファッティの円を作図する」「三角形内で合計面積が最大となる3つの円を求める」という2通りの意味で使用される。

マルファッティの問題

1803年にマルファッティは、「大理石の三角柱から3つの円柱を切り出し、その合計体積を最大にする」という問題を提起した。彼は、マルファッティの円が最適解を示すと予想していた。

マルファッティの問題はイタリア語で出版されたため、多くの人の目には止まらなかった。フランスのジェルゴンヌが Annales(fr)1810-11 に取り上げたことで、約10号にわたって議論が続けられた。ただし、ジェルゴンヌはこの問題を最大面積の問題ではなく円の接触に関する問題として紹介したため、最大面積の結論にはたどり着いていない。

Lob and Richmond (1930) によって、マルファッティの予想が間違いだと示された。彼らはイタリア語の原典を確認し、最大面積の問題を研究した。彼らは貪欲法によって得られる3つの円がマルファッティの円の面積を上回ることがあるのを見つけた^{[注釈 1]}。正三角形において面積差は1%程度である^[1]。ハワード・イーブズは、頂角が狭い二等辺三角形の場合、貪欲法で得られる円の面積がマルファッティの円の面積の約2倍になることを見つけた^[2]。

Goldberg (1967)は、任意の三角形において Lob とリッチモンドの方法がマルファッティの円よりも大きい円を与えることを示した。Zalgaller and Los' (1994)は、円の置き方を分類することで任意の三角形に対して最大面積の円を見つける方法を示した。1997年に Melissen は博士論文で、任意の n に対し最大面積を与えるn個の円が貪欲法で求められると予想し、 $n \leq 3$ で正しいことが知られている^[3]。

歴史

18世紀に日本の安島直円がこのような問題を研究している。この研究は安島の死後弟子の日下誠によってまとめられている^[4]。更に古い記録として、1384年に Gilio di Cecco da Montepulciano が書いたと思われる記録がシエーナの図書館で見つかっている^[5]。

シュタイナーの作図

初期の構成法では解析幾何学がよく用いられていた。1826年にヤコブ・シュタイナーは統合幾何学を用いた以下の方法を与えている。

三角形の2辺に接する円の中心は、角の二等分線（図の緑色の線）上にある。角の2等分線によって三角形は3つの部分に分けられる。この小さい三角形それぞれの内接円（図の点線の円）を描く。これらの円の2つを通る共通内接線は2本ずつあるが、角の2等分線でないものを図に赤の点線で示した。三角形の3辺を $a$ , $b$ , $c$ とし、赤い点線を $x$ , $y$ , $z$ とする。ここで、 $x$ は $a$ に接しない2円の共通接線とし、 $y$ , $z$ も同様とする。3つの四角形 $abyx$ , $aczx$ , $bczy$ の内接円が求めるマルファッティの円である^[6]。共通接線が辺と交わる点は、もう1つの円と辺の接点でもある。その点が角の2等分線に対して対称の位置にある点は、内接円の中心同士を結ぶ線上にある^[7]。

半径の大きさ

マルファッティの円の半径は、3辺の長さを $a, b, c$ 、内接円の半径を $r$ 、周長の半分を $s = (a + b + c)/2$ 、内心から長さ $a$ , $b$ , $c$ の辺に向かい合う各頂点までの距離をそれぞれ $d$ , $e$ , $f$ としたとき、以下の式で表すことができる。

r_{1}={\frac {r}{2(s-a)}}(s+d-r-e-f),

r_{2}={\frac {r}{2(s-b)}}(s+e-r-d-f),

r_{3}={\frac {r}{2(s-c)}}(s+f-r-d-e).

この式は 1811年にマルファッティが発表している。

この式は有理式なので、3辺と内接円の半径と内心から各頂点への距離がすべて有理数であれば、マルファッティの円の半径も有理数になる。たとえば、3辺が 28392, 21000, 25872 であれば内接円の半径は 6930 であり、マルファッティの円の半径は 3969, 4900, 4356 となる。また、3辺を 152460, 165000, 190740 とすれば内接円の半径は 47520 であり、マルファッティの円の半径は 27225, 30976, 32400 となる^[8]。

安島-マルファッティ点

与えられた三角形 ABC のマルファッティの円同士の接点を D, E, F とする。ただし、D を BC に接する2円の接点とする。このとき AD, BE, CF は1点で交わる。この交点を「第1安島-マルファッティ点」と呼ぶ。三角形の3つの傍心を I_A, I_B, I_C としたとき、I_AD, I_BE, I_CF の交点を「第2安島-マルファッティ点」と呼ぶ^[9]^[10]。

注釈

^ ここでいう貪欲法とは、次のような手続きである。まず、三角形から最大の円を切り取る（これは当然内接円である）。次に、切り取った残りの3つの部分から、最大の円を切り取る。最後に、切り取った残りの5つの部分から、最大の円を切り取る。3つより多くの円を切り取る場合も、以下同様である。

出典

^ Wells (1991).
^ Eves (1946); Ogilvy (1990).
^ Andreatta, Bezdek & Boroński (2010).
^ Fukagawa (2008).
^ Simi & Toti Rigatelli (1993).
^ Martin (1998), exercise 5.20, p.96.
^ Guy (2007).
^ Miller (1875).
^ Weisstein, Eric W. "Ajima-Malfatti Points". mathworld.wolfram.com (英語)..
^ C. Kimberling, Encyclopedia of Triangle Centers, X(179) and X(180).

参考文献

Andreatta, Marco; Bezdek, András; Boroński, Jan P. (2010), “The problem of Malfatti: two centuries of debate”, The Mathematical Intelligencer 33 (1): 72–76, doi:10.1007/s00283-010-9154-7 .
Andreescu, Titu; Mushkarov, Oleg; Stoyanov, Luchezar N. (2006), “2.3 Malfatti's Problems”, Geometric problems on maxima and minima, Springer-Verlag, pp. 80–87, ISBN 978-0-8176-3517-6 .
Bottema, Oene (2001), “The Malfatti problem”, Forum Geometricorum 1: 43–50, MR1891514 .
Cajori, Florian (1893), A history of mathematics, Macmillan & Co., p. 296 .
Dörrie, H. (1965), “§30. Malfatti's Problem”, 100 Great Problems of Elementary Mathematics: Their History and Solutions, New York: Dover, pp. 147–151, ISBN 0-486-61348-8 .
Eves, Howard (1946), Malfatti Problem (problem 4145), “Problems and Solutions”, American Mathematical Monthly 53 (5): 285–286, JSTOR 2305117, https://jstor.org/stable/2305117 .
Fukagawa, Hidetoshi; Rothman, Tony (2008), Sacred mathematics: Japanese temple geometry, Princeton University Press, p. 79, ISBN 978-0-691-12745-3 .
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 .
Goldberg, M. (1967), “On the Original Malfatti Problem”, Mathematics Magazine 40: 241–247, JSTOR 2688277, MR1571715, https://jstor.org/stable/2688277 .
Guy, Richard K. (2007), “The lighthouse theorem, Morley & Malfatti—a budget of paradoxes”, American Mathematical Monthly 114 (2): 97–141, JSTOR 27642143, MR2290364, オリジナルの2011年7月6日時点におけるアーカイブ。 .
Hitotumatu, Sin (1995), “The Malfatti problem” (Japanese), The state of the art of scientific computing and its prospects, II, Sūrikaisekikenkyūsho Kōkyūroku, 915, pp. 167–170, MR1385273 .
Lob, H.; Richmond, H. W. (1930), “On the Solutions of Malfatti's Problem for a Triangle”, Proceedings of the London Mathematical Society, 2nd ser. 30 (1): 287–304, doi:10.1112/plms/s2-30.1.287 .
Martin, George Edward (1998), “Malfatti's Problem”, Geometric Constructions, Undergraduate Texts in Mathematics, Springer-Verlag, pp. 92–95, ISBN 978-0-387-98276-2 . The cover of Martin's book features an illustration of the Malfatti circles.
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 .
Melissen, J.B.M. (1997) (PhD thesis), Packing and Covering with Circles, Utrecht University .
Miller, W. J. C., ed. (1875), “Problem 4331”, Mathematical questions with their solutions, from the "Educational times", Hodgson, p. 70--71 . Proposed by Artemas Martin; solved by the proposer and by Asher B. Evans; compare Martin's Question 4401,also in this volume, pp. 102-103, again solved by Evans and Martin. Note further that Martin had asked for a geometrical solution in The Lady's and Gentleman's Diary for 1869 (so appearing in late 1868), with solution in the LDG for the following year, pp. 89-90. Versions of the problem then appear from 1879 in The Mathematical Visitor, edited by Martin. A solver of the first of these, Marcus Baker, proposed the second; he also presented a talk surveying the subject to the Philosophical Society of Washington in 1877 that then appeared in the Society's Bulletin. This survey is perhaps the first in English to cite the work of Adolph Gustav Quidde, but copied in from a survey in German.
Ogilvy, C. Stanley (1990), “Malfatti's problem”, Excursions in Geometry, Dover, pp. 145–147, ISBN 0-486-26530-7 .
Simi, A.; Toti Rigatelli, L. (1993), “Some 14th- and 15th-century texts on practical geometry”, Vestigia mathematica, Amsterdam: Rodopi, pp. 453–470, MR1258835 .
Stevanović, Milorad R. (2003), “Triangle centers associated with the Malfatti circles”, Forum Geometricorum 3: 83–93, MR2004112 .
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” (Japanese), Studies in the theory of computer algebra and its applications, Sūrikaisekikenkyūsho Kōkyūroku, 941, pp. 15–24, MR1410316 .
Wells, David (1991), “Malfatti's problem”, The Penguin Dictionary of Curious and Interesting Geometry, New York: Penguin Books, pp. 145–146, ISBN 0-14-011813-6 .
Zalgaller, V.A.; Los', G.A. (1994), “The solution of Malfatti's problem”, Journal of Mathematical Sciences 72 (4): 3163–3177, doi:10.1007/BF01249514 .

外部リンク

Weisstein, Eric W. "Malfatti Circles". mathworld.wolfram.com (英語).
Weisstein, Eric W. "Malfatti's Problem". mathworld.wolfram.com (英語).
Malfatti's Problem

[1] ここでいう貪欲法とは、次のような手続きである。まず、三角形から最大の円を切り取る（これは当然内接円である）。次に、切り取った残りの3つの部分から、最大の円を切り取る。最後に、切り取った残りの5つの部分から、最大の円を切り取る。3つより多くの円を切り取る場合も、以下同様である。

[FOOTNOTEWells1991-2] Wells (1991).

[3] Eves (1946); Ogilvy (1990).

[4] Andreatta, Bezdek & Boroński (2010).

[FOOTNOTEFukagawa2008-5] Fukagawa (2008).

[FOOTNOTESimiToti_Rigatelli1993-6] Simi & Toti Rigatelli (1993).

[7] Martin (1998), exercise 5.20, p.96.

[guy07-8] Guy (2007).

[FOOTNOTEMiller1875-9] Miller (1875).

[10] Weisstein, Eric W. "Ajima-Malfatti Points". mathworld.wolfram.com (英語)..

[11] C. Kimberling, Encyclopedia of Triangle Centers, X(179) and X(180).

[注釈 1]

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

マルファッティの円