施瓦茨不等式积分形式等号成立