这是数分上的题,证明如下：假设a+x不是无理数,则a+x为有理数,
又因为a为有理数,a+x为有理数,所以x也为有理数,与题设矛盾,所以假设不成立,原命题得证!