展开 柯西不等式向量形式