展开 柯西不等式三角形式后面是加号还是减号