三角不等式

三辺の長さを テンプレート:Mvar とする三角形の三例

数学における三角不等式（さんかくふとうしき、テンプレート:Lang-en-short）は、任意の三角形に対してその任意の二辺の和が残りの一辺よりも大きくなければならないことを述べるものであるテンプレート:Sfn。なお、三角比を含む不等式のことを三角不等式（テンプレート:Lang-en-short）と呼ぶ場合もあるので、どちらを指しているかは注意が必要である。

概要

（退化した場合も含めた）三角形の三辺が テンプレート:Math2 で最大辺が テンプレート:Mvar とすれば、三角不等式は

$z\le x+y$

が成り立つことを主張しているテンプレート:Efn。

等号が成立するのは三角形が面積 テンプレート:Math に退化したときに限る。ユークリッド幾何学ほかいくつかの幾何学において、三角不等式は距離に関する定理であって、ベクトルやベクトルの長さ（ノルム）を用いて

$\Vert 𝐱+𝐲\Vert \le \Vert 𝐱\Vert +\Vert 𝐲\Vert$

と書くことができる。ここで、第三辺の長さ テンプレート:Mvar がベクトルの和 テンプレート:Math で置き換わっていることに注意。テンプレート:Mvar が実数のとき、それを テンプレート:Math のベクトルと見れば、三角不等式は絶対値の間の関係を記述するものとなる。

ユークリッド幾何学において、直角三角形に対する三角不等式は三平方の定理の帰結であり、一般の三角形の場合は余弦定理の帰結である（もちろんそれらの定理によらない証明は可能であるけれども）。三角不等式は テンプレート:Math や テンプレート:Math の何れかにおいて直観的に見ることができる。右図は明らかに不等号が成り立つもの (上) から等号に近いもの (下) までの三例である。ユークリッド幾何学の場合では、等号が成立するには一つの角が テンプレート:Math で二つの角が テンプレート:Math の場合、したがって三頂点がテンプレート:Ill2場合に限られる。したがって、ユークリッド幾何学において二点間の最短距離は直線である。

球面幾何学において二点間の最短距離は大円弧であるが、球面上の二点間の距離がその二点を結ぶ劣弧線分（大円の中でその二点を端点とする二つの弧のうち中心角が テンプレート:Closed-open のもの）で与えられるものとすれば、三角不等式が成り立つテンプレート:Sfnテンプレート:Sfn。

三角不等式はノルムや距離函数の「定義性質」の一つである。そのような性質は、各々特定の空間（実数直線やユークリッド空間や (テンプレート:Math に対する) [[ルベーグ空間|テンプレート:Mvar-空間]]や内積空間）に対して、そのようなノルムや距離函数となるべき任意の函数に対する定理として、きちんと述べなければならない。

ユークリッド幾何学の場合

ユークリッドの平面幾何における三角不等式の証明の構成

ユークリッドは平面幾何における三角不等式を図のような構成を用いて証明したテンプレート:Sfn: 三角形 テンプレート:Math に対して、一辺 テンプレート:Math を共有する二等辺三角形をもう一つの等辺 テンプレート:Math の足が辺 テンプレート:Math の延長上にあるように作る。すると角について テンプレート:Math が言えるから、さらに辺について テンプレート:Math も言える。しかし テンプレート:Math なのだから、辺の和について テンプレート:Math となる、ということがユークリッドの『原論』 I 巻の命題 20 に書かれている。

折線不等式

三角不等式は数学的帰納法により、任意の折線に関する命題に拡張することができる。すなわち、そのような折線の全ての辺の長さの和は、その折線の二端点を直線で結んだ長さよりも小さくなることはない。特にその帰結として、多角形のどんな長さの辺も残り全ての辺の長さの和より必ず小さいことが言える。

曲線の弧長は折線近似の長さの上限として定義される。

このように折線に対して一般化すれば、ユークリッド幾何において二点間を結ぶ最短曲線が直線であることが示せる。

二点間を結ぶ折線がその二点間を結ぶ線分よりも短くならないことから、曲線の弧長がその曲線の両端点の間の距離より短くなることはないことが従う。実際、定義により曲線の弧長はそれを近似する折線の長さの上限で、折線に対する結果は端点間を結ぶ線分が全ての折線近似の中で最短ということであった。曲線の弧長は任意の折線近似の長さ以上であるから、曲線それ自身が直線経路より短くなることはないテンプレート:Sfn。

高次元単体不等式

三角不等式をより高次元に一般化してものとして、ユークリッド空間内の テンプレート:Mvar-次元単体の テンプレート:Math 次元テンプレート:Ill2の超体積は、それ以外の テンプレート:Mvar 個のファセットの超体積の和以下である。特に、四面体の一つの三角形面の面積は、ほかの三面の面積の和以下になる。

ノルム線型空間の場合

ベクトルのノルムに対する三角不等式

ノルム空間 テンプレート:Mvar に対して、ノルムを定義する性質の一つが三角不等式

$\Vert x+y\Vert \le \Vert x\Vert +\Vert y\Vert (\mathrm{\forall }x,y\in V)$

である。つまり、二つのテンプレート:Ill2のノルムは、その二つのベクトルそれぞれの長さの和で抑えられる。これを劣加法性と呼ぶこともある。ノルムとして振る舞うことが期待される任意の函数はこの要件を満足しなければならないテンプレート:Sfn

ノルム空間がユークリッド空間あるいはより一般の狭義凸空間ならば、テンプレート:Math となるための必要十分条件は、三点 テンプレート:Math の成す三角形が退化していること、すなわち テンプレート:Mvar が同一半直線上にあることである。式で書けば、テンプレート:Math または テンプレート:Math または テンプレート:Math となる。この性質は狭義凸ノルム空間（例えば テンプレート:Mvar-空間 (テンプレート:Math) など）を特徴付ける。しかしこれが成立しないノルム空間も存在するテンプレート:Efn。

距離空間の場合

距離空間 テンプレート:Mvar の距離函数を テンプレート:Mvar とすれば、三角不等式

$d(x,z)\le d(x,y)+d(y,z)(\mathrm{\forall }x,y,z\in M)$

は距離函数の定義要件の一つである。つまり、テンプレート:Mvar から テンプレート:Mvar までの距離は、テンプレート:Mvar から テンプレート:Mvar への距離とテンプレート:Mvar から テンプレート:Mvar までの距離の和で上から押さえられる。

三角不等式は距離空間上の興味の大半を占める収束性に関わっている。これは距離函数の残りの要件が比較的単純なことによる。例えば距離空間における任意の収束列がコーシー列であるという事実は三角不等式からの直接の帰結である。なんとなれば テンプレート:Mvar および テンプレート:Mvar を（距離空間における収束の定義にある通りの）任意の テンプレート:Math に対して テンプレート:Math および テンプレート:Math なるようにとれば、三角不等式により テンプレート:Math となり、点列 テンプレート:Math は定義によりコーシー列である。

ノルム空間を、ノルムの誘導する距離函数 テンプレート:Math のもとで距離空間とみて、テンプレート:Math は始点 テンプレート:Mvar から終点 テンプレート:Mvar へ結んだベクトルと解釈するとき、この空間の距離空間としての三角不等式は、前節で述べたノルム空間の場合の三角不等式に帰着される。

逆三角不等式

三角不等式が上からの評価であるのに対し、下からの評価を与える逆向きの三角不等式 (reverse triangle inequality) は三角不等式からの初等的な帰結として得られる。それは平面幾何の言葉で言えば「三角形の任意の辺は、その他の二辺の差よりも大きい」テンプレート:Sfnということができる。ノルム空間の場合には

$|\Vert x\Vert -\Vert y\Vert |\le \Vert x-y\Vert ,$

あるいは距離空間の場合には テンプレート:Math ということになる。これはノルム テンプレート:Math や距離函数 テンプレート:Math がテンプレート:Nowrap のリプシッツ連続函数となることを示すもので、したがって特に一様連続である。

逆三角不等式は通常の三角不等式を用いて証明できる:

$\Vert x\Vert =\Vert (x-y)+y\Vert \le \Vert x-y\Vert +\Vert y\Vert ⟹\Vert x\Vert -\Vert y\Vert \le \Vert x-y\Vert ,$

$\Vert y\Vert =\Vert (y-x)+x\Vert \le \Vert y-x\Vert +\Vert x\Vert ⟹\Vert x\Vert -\Vert y\Vert \ge -\Vert x-y\Vert$

に注意すれば

$-\Vert x-y\Vert \le \Vert x\Vert -\Vert y\Vert \le \Vert x-y\Vert ⟹|\Vert x\Vert -\Vert y\Vert |\le \Vert x-y\Vert .$

ミンコフスキー空間における不等号の反転

ミンコフスキー空間において テンプレート:Mvar がともに未来光錐内にある時間的ベクトルならば、三角不等式は逆向きの評価

$\Vert x+y\Vert \ge \Vert x\Vert +\Vert y\Vert$

になる。この不等式の物理学的例が特殊相対論における双子のパラドックスである。二つのベクトルがともに過去光錐内にある場合や、少なくとも一方がヌルベクトルである場合にも、同じくこの逆向きの不等号を持つ三角不等式が成り立つ。この結果は、任意の自然数 テンプレート:Mvar に対する テンプレート:Math 次元において成立する。

テンプレート:Mvar がともに空間的ベクトルの場合は、通常通りの三角不等式が満足される。

関連項目

• 劣加法性
• 優加法性
• ミンコフスキーの不等式
• トレミーの不等式
• 三角形に関する不等式の一覧

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book

関連文献

• テンプレート:Cite book.
• テンプレート:Cite book.

外部リンク

• テンプレート:高校数学の美しい物語
• テンプレート:Nlab
• テンプレート:MathWorld
• テンプレート:PlanetMath
• テンプレート:ProofWiki
• テンプレート:ProofWiki