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