三角不等式（さんかくふとうしき、triangle inequality）とは、「三角形の 2 辺の長さの和は残りの 1 辺の長さよりも大きい」という三角形の成立条件を定式化した不等式である。直観的には、直線距離を進むよりどこかを経由する方が道のりは長くなるということを言い表している。

三角不等式は、実数全体やユークリッド空間をはじめとする内積空間においては定理として得られる一方で、数学のさまざまな場面で距離の概念を導く公理の 1 つとして扱われる。

絶対値・ノルム

内積空間 X のノルムを ||?||X とすると冒頭の三角不等式は

と書き表される。実ベクトルのユークリッドノルムに関する三角不等式: 等号成立は、経由する地点が青い線分上にある a = kb (k ? 0) のとき。

また、これは||a + b||X ? ||a||X + ||b||X

あるいは| ||a||X - ||b||X | ? ||a + b||X ? ||a||X + ||b||X

と同値である。

たとえば実数全体、複素数全体に絶対値を考えたもの、あるいは実ベクトルにその大きさ（ユークリッドノルム）を考えたものなどは内積空間の例であり、三角不等式が成り立つ。

実際に a, b が実数である場合を考えると以下のようである：-|a| ? a ? |a|, -|b| ? b ? |b|

であり、中辺、右辺を足すと a + b ? |a| + |b| あるいは 左辺、中辺を足して両辺に -1 をかけると -(a + b) ? |a| + |b| を得る。よって、
a + b ? 0 ならば　|a + b| = a + b ? |a| + |b| 、

a + b < 0 ならば　|a + b| = -(a + b) ? |a| + |b|

が成り立つ。

他に、2乗して差を取る;(|a| + |b|)2 - |a + b|2 = 2(|ab| - ab) ? 0

などして証明することもできる。

関連項目

不等式

コーシー・シュワルツの不等式

絶対値

距離空間

この項目「三角不等式」は、数学に関連した書きかけの項目です。加筆・訂正などをして下さる協力者を求めています。（P:数学／PJ:数学）
カテゴリ: 数学関連のスタブ項目 | 距離空間 | 不等式 | 数学に関する記事

更新日時:2008年7月26日(土)11:49
取得日時:2008/08/14 11:22