展开 柯西不等式的基本形式