展开 柯西shiwaci不等式