若ab为有理数,若ab