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