施瓦茨不等式的四种形式