柯西不等式(Cauchy Schwarz Inequality)

命題：

證明：

P.S. (*)式一般稱為拉格朗日(Lagrange)恆等式。