柯西不等式推论等号成立条件