柯西不等式向量形式例题