设a=p/q(p,q是整数,且互质)是有理数,b是无理数.
假设c=a+b是有理数,可设c=r/s(r,s是整数,且互质)
于是b=c-a=r/s-p/q=(qr-ps)/(sq)是有理数.矛盾!