展开 柯西不等式三维形式等号成立条件