柯西不等式的向量形式是怎样的?