展开 柯西—施瓦茨不等式向量形式证明