アダマールの不等式 ; をの各列ベクトルとして なるものがあります。知られてる証明はテクニカルなことして相加相乗平均でテクニカルなことするテクニカルなやつです。 ただQR分解考えたらそれはそうというお気持ちになりました。シュミットの直交化でQR分解…