ノルムの三角不等式

数学とか

2025.12.27

コーシー=シュワルツ不等式

余弦定理を用いてコーシーシュワルツ不等式を導出した時に現れた式を変形していきます。

$\|\boldsymbol{x}+\boldsymbol{y}\|^{2}$(仮定)
※以下太字省略
$⟨x+y⟩⟨x+y⟩$(ノルム⇔内積)
$⟨x,x⟩+2⟨x,y⟩+⟨y,y⟩$(内積乗法)
$\|x\|^{2}+2⟨x,y⟩+\|y\|^{2}$(ノルム⇔内積)…①

$(\|x\|+\|y\||)$(仮定)
$\|x\|^{2}+2\|x\|\|x\|+\|y\|^{2}$(展開法則)…②

コーシーシュワルツ不等式より
$⟨x,y⟩≦\|x\|･\|y\|$(コーシーシュワルツ不等式)
$2⟨x,y⟩≦2\|x\|･\|y\|$(乗法≦保存則)

加法律より
$\|x\|^{2}+2⟨x,y⟩+\|y\|^{2}≦\|x\|^{2}+2\|x\|\|y\|+\|y\|^{2}$(①②)
すなわち
$\|\boldsymbol{x}+\boldsymbol{y}\|^{2}≦(\|\boldsymbol{x}\|+\|\boldsymbol{y}\|)^{2}$

三角不等式が導出されました。

三角形のある一辺の長さとその他の二辺の長さの和の関係。
仮に二辺の長さの和が残りの一辺の長さよりも短いなら、それは三角形とは呼べないよね、という感覚的には自明な定理。

三平方の定理

上の記事で勝手に使った「三平方の定理」を証明します。膨大な種類の証明方法が発見されているようですが、僕が昨日から今日まで悩んで思いついた方法を共有します。長さがa+bの正方形を考えます。紆余曲折あってここから始まることになりました。図...

無理数と黄金比

黄金比黄金比（おうごんひ、英: golden ratio）とは、次の値で表される比のことである： $\displaystyle 1:{\frac {1+{\sqrt {5}}}{2}}\,.$ 黄金比における $\displaystyle...