展开 柯西不等式基本公式