柯西不等式推论2个