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