为什么数学条件结论互换,不等式范围扩大