证明柯西不等式的向量形式