施瓦兹不等式等号成立条件