√2が無理数であることの証明
$ \sqrt{2}が無理数であることの証明
よく知られているアプローチは以下の2種類
1. 有理数だとしたら矛盾することを示す。(背理法)
2. ユークリッドの互除法を使い、操作が終わらないことを示す。
http://m-ac.jp/me/subjects/nq/real_num/root2/proof/index_j.phtml