展开 柯西不等式二维形式取等条件