>>850

コーシーの証明に出て来る「ラグランジュの恒等式」

>>1 まとめWiki → まとめページ → よく使う不等式 → コーシーの不等式 → 証明

http://mathworld.wolfram.com/LagrangesIdentity.html