一个有理数与其相反数之积符号必为负,