今回はが無理数であることを様々な方法で証明してみます。
定理
は無理数
まずは教科書に載っている証明です。
(証明1)
が有理数であると仮定するとと既約分数に表すことができる。
これを変形するととなる。
この式において、右辺は偶数なので左辺も無論偶数であり、が偶数であることがわかる。
よって、とおくとより、となり、先程と同じ理由によりが偶数であることがわかる。しかし、これはが既約分数であるという仮定に反する。
よっては無理数である。 □
次に、この方法を少しアレンジしてみます。
(証明2)
が有理数であると仮定すると、と表すことができる。(既約分数でなくてもよい)
これより、となる。
ここで、がで割り切れる最大の回数を、がで割り切れる最大の回数をとすると、となり、となるので矛盾。
従って、は無理数である。 □
ここから先は日常生活では使わない証明になると思います。
(証明3)無限降下法
が有理数であると仮定すると、正の整数の組であってを満たすものが存在する。このようなのうちが最小となるものをとする。
このとき、より、となり、は条件を満たし、より、の最小性に矛盾する。
従って、は無理数である。
(証明4)正則連分数展開
が有理数であるとするとその正則連分数展開は有限回で終わる。しかし、の正則連分数展開はと無限に続くのでは無理数である。
正則連分数展開を使う方法だとの他にもやなどにも適用できますね。
(証明5)0と1の間にある整数
と置く。が有理数であると仮定すると、と置ける。
また、数学的帰納法により整数列を用いてと表せるので
これとより、kが十分大きいところではとなり矛盾。
従って、は無理数である。 □
このように、0と1の間にある整数を作って矛盾を生じさせる方法もたまに使われます。(証明6)方程式の解
が有理数であると仮定する。
となるが、これに「整数係数多項式が2つ以上の有理数係数多項式の積に分解できるとき2つ以上の整数係数多項式の積にも分解することができる」という定理を使うと整数を用いてと表せる。2次の係数を比較することでとなるので、が整数であることになるが、これはに反する。
従って、は無理数である。 □
途中に出てきた定理はの無理性を示すには強すぎますね。お読みいただきありがとうございました。
他にも証明方法があったらコメントやリプで教えてください。
追記)
ぐれぽんさんから証明を教えていただきました。
(ぐれぽんさんの証明)
証明1と同じ仮定でとおき矛盾を導く。2乗してであるがとは互いに素よりとも互いに素。これよりそれらの商がという整数になるにはが必要。よってとなり、このような整数は存在せず矛盾。背理法より示された。