アダマールの不等式のメモ

　アダマールの不等式 ; をの各列ベクトルとして

なるものがあります。知られてる証明はテクニカルなことして相加相乗平均でテクニカルなことするテクニカルなやつです。

　ただQR分解考えたらそれはそうというお気持ちになりました。シュミットの直交化でQR分解を構成するわけですが直角三角形の斜辺は残りの辺以上であることに注意するとアダマールの不等式はわりと自明です。というか等号成立条件から逆算したらQR分解考えるのは自然すぎる。というメモでした。