如果ab表示有理数,且ab