√2が無理数ならば√2+1が無理数であることを証明せよ。

(証明)√2+1が有理数と仮定すると
    (√2+1)−1=√2も有理数となって
    √2が無理数であることに矛盾する。
    よって√2+1は無理数である。