√2の級数展開が無理数であることの証明

√2が無理数であることを証明する問題は、数学的な証明の基本的な部分であり、無理数の概念を理解するために重要です。この記事では、√2が無理数であることを証明するために、級数展開を利用する方法について詳しく解説します。

無理数と有理数の違い

まず、無理数と有理数の違いについて簡単に確認しましょう。有理数は、整数同士の比として表せる数です。つまり、a/b（b ≠ 0）という形で表現できる数が有理数です。

一方、無理数は、有理数では表せない数で、代表的な例として√2やπなどがあります。無理数は、決して分数の形には表せません。√2が無理数であるか有理数であるかを調べることが、問題の目的となります。

√2が無理数であることを証明するためには、最も一般的な証明方法である「背理法」を使います。背理法では、仮定が矛盾することを示すことで、仮定が誤りであることを証明します。

まず、√2が有理数であると仮定しましょう。この場合、√2はa/bという形で表せるとします（aとbは互いに素な整数、b ≠ 0）。この式を平方すると、2 = a²/b²となり、a² = 2b²となります。ここから、a²が偶数であることが分かり、aも偶数であることが導かれます。

次に、aが偶数であるならば、a = 2k（kは整数）と表すことができます。これをa = 2kに代入して式を変形すると、(2k)² = 2b²となり、4k² = 2b²、つまりb² = 2k²となります。

ここから、b²も偶数であることが分かり、bも偶数であることが導かれます。つまり、aとbは両方とも偶数である必要がありますが、これはaとbが互いに素であるという仮定に反します。したがって、√2が有理数であるという仮定は矛盾しており、√2は無理数であることが証明されます。

√2が無理数であることを背理法を使って証明しました。最初に仮定した「√2は有理数である」という前提が矛盾を引き起こし、その結果として√2が無理数であることが明らかになりました。この証明方法は無理数を証明する際の基本的なアプローチとして非常に有用です。