不等式三条基本性质(乘除负数必须变号)