已知a为有理数,且0