√2が無理数である証明方法とその初見で思いつく難しさ

√2が無理数である証明は、初めて見たときには難しく感じるかもしれません。しかし、この証明方法は非常にシンプルで論理的に進めることができます。本記事では、√2が無理数であることの証明方法について詳しく解説し、その証明がなぜ初見で思いつくことが難しいのかを説明します。

無理数とは？

無理数とは、分数として表現できない実数のことです。具体的には、有理数でない実数が無理数に該当します。例えば、√2やπ（パイ）、e（ネイピア数）などが無理数の例です。これらは、整数または整数の比として表すことができません。

√2はその中でも非常に有名な無理数で、古代ギリシャ時代からその証明が議論されてきました。では、どのようにして√2が無理数であるかを証明するのでしょうか。

√2が無理数であることの証明方法には「背理法（逆説法）」がよく使われます。背理法は、仮定した命題が誤りであることを示す方法です。具体的な証明は次の通りです。

まず、√2が有理数であると仮定します。
有理数は、p/qの形で表せると仮定できます。ここで、pとqは互いに素な整数とし、√2 = p/qとします。
両辺を2乗すると、2 = p²/q²となります。これを整理すると、p² = 2q²になります。
p²が偶数であれば、pも偶数でなければなりません。pを2k（kは整数）と表現できます。
これをp = 2kとして代入すると、(2k)² = 2q²となり、4k² = 2q²となります。これを整理すると、q² = 2k²となり、q²も偶数であることがわかります。
qが偶数であるならば、pとqは両方とも偶数であり、これはpとqが互いに素であるという仮定に矛盾します。
したがって、√2は有理数であるという仮定が間違っていることが証明されます。

このように、背理法を使うことで、√2が無理数であることが証明されます。