已知a,b为有理数,且a>0,a