柯西不等式推论1