若有理数a、b互为相反数,则他们一定异号