若根号a是无理数,则a是实数