已知a.b是有理数,且a