展开 卡尔松不等式等号成立条件