計算機爺には解けない問題

√2が無理数であることを証明せよ。
背理法を用いなくともよい。