>>558
a＋bを有理数と仮定して、a＋b=m/n(m.nは互いに素な整数)とする
a＋b-2b=m/n-2bよりa-b=(m/n)-2b

あとは有理数＋無理数が無理数であることをいえばいい。
逆にa-bが有理数のときも同じ議論