柯西不等式常用公式