这个公式右边的第二个平方>=0时，顺便也证明了柯西不等式2*2的形式