柯西不等式负数成立么