展开 柯西不等式等号成立条件怎么推出来的