用不等式的性质解释一个负数的相反数必为正数怎么解?