柯西不等式推论取等条件