三角不等式
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/12 01:08 UTC 版)
概要
(退化した場合も含めた)三角形の三辺が x, y, z で最大辺が z とすれば、三角不等式は
ユークリッドの平面幾何における三角不等式の証明の構成 ユークリッドは平面幾何における三角不等式を図のような構成を用いて証明した[5]: 三角形 ABC に対して、一辺 BC を共有する二等辺三角形をもう一つの等辺 BD の足が辺 AB の延長上にあるように作る。すると角について β > α が言えるから、さらに辺について AD > AC も言える。しかし AD = AB + BD = AB + BC なのだから、辺の和について AB + BC > AC となる、ということがユークリッドの『原論』 I 巻の命題 20 に書かれている[6]。
折線不等式
三角不等式は数学的帰納法により、任意の折線に関する命題に拡張することができる。すなわち、そのような折線の全ての辺の長さの和は、その折線の二端点を直線で結んだ長さよりも小さくなることはない。特にその帰結として、多角形のどんな長さの辺も残り全ての辺の長さの和より必ず小さいことが言える。
このように折線に対して一般化すれば、ユークリッド幾何において二点間を結ぶ最短曲線が直線であることが示せる。
二点間を結ぶ折線がその二点間を結ぶ線分よりも短くならないことから、曲線の弧長がその曲線の両端点の間の距離より短くなることはないことが従う。実際、定義により曲線の弧長はそれを近似する折線の長さの上限で、折線に対する結果は端点間を結ぶ線分が全ての折線近似の中で最短ということであった。曲線の弧長は任意の折線近似の長さ以上であるから、曲線それ自身が直線経路より短くなることはない[7]。
高次元単体不等式
三角不等式をより高次元に一般化してものとして、ユークリッド空間内の n-次元単体の n − 1 次元ファセットの超体積は、それ以外の n 個のファセットの超体積の和以下である。特に、四面体の一つの三角形面の面積は、ほかの三面の面積の和以下になる。
注釈
出典
- ^ Weisstein, Eric W. "Triangle Inequality". mathworld.wolfram.com (英語).
- ^ Khamsi & Kirk 2001, p. 8, §1.4 The triangle inequality in ℝn.
- ^ Brock, Trinkle & Ramos 2009, p. 195.
- ^ Ramsay & Richtmyer 1995, p. 17.
- ^ Jacobs 2003, p. 201.
- ^ David E. Joyce (1997年). “Euclid's elements, Book 1, Proposition 20”. Dept. Math and Computer Science, Clark University. 2010年6月25日閲覧。
- ^ Stillwell 1997, p. 95.
- ^ Kress 1988, p. 26, §3.1: Normed spaces.
- ^ anon. 1854, p. 196, Exercise I. to proposition XIX—"Any side of a triangle is greater than the difference between the other two sides"
「三角不等式」の続きの解説一覧
三角不等式と同じ種類の言葉
- 三角不等式のページへのリンク