ファニャノの問題

垂心三角形: $\mathrm{△}DEF$

内接三角形: $\mathrm{△}DEF,\mathrm{△}GHI$

$|DE|+|EF|+|FD|\le |GH|+|HI|+|IG|$

ファニャノの問題（ファニャノのもんだい、テンプレート:Lang-en-short）は、1775年テンプレート:仮リンクが提起した、最適化問題の一つである。 テンプレート:Math theorem ファニャノの問題の解は垂心三角形（垂足三角形）、頂垂線の垂足が成す三角形である。

解

垂足三角形は頂垂線と対辺の交点（垂足）が成す三角形である。一般の垂足三角形との区別のため、垂心三角形とも呼ばれる。 垂足三角形は鋭角三角形に内接する（頂点がもとの三角形の各辺上にある）三角形の中で最短の周長を持つ。ファニャノによる解法は微積分を用いたもので途中の結果はファニャノの父であるテンプレート:仮リンク が示したものである。後にヘルマン・シュワルツやフェイェール・リポートによって幾何学的な証明も与えられた。幾何学的な証明では鏡映によって周長を折線の長さに置き換えることを用いる。

物理学的な原理

物理学的には三角形$ABC$の周に引っ掛けられた、滑らかに動きフックの法則に従う輪ゴムを想像することで証明できる。輪ゴムはその弾性エネルギーが最小になるように移り、このとき周長も最小化される。 輪ゴムの内側の張力はどの場所でも同じであるから、制止する場所はラミの定理より$\mathrm{\angle }bcA=\mathrm{\angle }acB,\mathrm{\angle }caB=\mathrm{\angle }baC,\mathrm{\angle }abC=\mathrm{\angle }cbA$を満たす場所になる

三角形ABCの垂心三角形abc

これは垂心三角形と一致する。

関連項目

• テンプレート:仮リンク

出典

• Heinrich Dörrie: 100 Great Problems of Elementary Mathematics: Their History and Solution. Dover Publications 1965, p. 359-360. テンプレート:ISBN2, problem 90 (restricted online version (Google Books))
• Paul J. Nahin: When Least is Best: How Mathematicians Discovered Many Clever Ways to Make Things as Small (or as Large) as Possible. Princeton University Press 2004, テンプレート:ISBN2, p.67
• Coxeter, H. S. M.; Greitzer, S. L.:Geometry Revisited. Washington, DC: Math. Assoc. Amer. 1967, pp.88–89.
• H.A. Schwarz: Gesammelte Mathematische Abhandlungen, vol. 2. Berlin 1890, pp. 344-345. (online at the Internet Archive, German)

外部リンク

• Fagnano's problem at cut-the-knot
• Fagnano's problem in the Encyclopaedia of Mathematics
• Fagnano's problem at a website for triangle geometry
• テンプレート:MathWorld
• テンプレート:高校数学の美しい物語