柯西不等式的用法