柯西不等式的三维形式