展开 柯西不等式求和形式