1 + 2√2 は無理数であることの証明

数学において、無理数と有理数の区別は非常に重要です。特に、無理数であることの証明は、数の性質を理解するために役立ちます。本記事では、「1 + 2√2 は無理数である」という命題の証明を行います。

無理数とは？

無理数とは、整数や分数で表すことのできない数です。例えば、円周率πや平方根の2√2は無理数として知られています。これらの数は、分数の形で表すことができないため、「無理数」と呼ばれます。

今回の命題は、「1 + 2√2 は無理数である」というものです。これを証明するためには、1 + 2√2 が有理数であると仮定した場合に矛盾が生じることを示します。

まず、仮定として「1 + 2√2 は有理数である」と考えます。もしも1 + 2√2 が有理数であるならば、それをrと置くことができます。このとき、1 + 2√2 = r という式が成り立ちます。

次に、1 + 2√2 = r という式から√2の値を求めます。両辺から1を引き、2√2 = r – 1 となります。そして、両辺を2で割ると、√2 = (r – 1) / 2 という式が得られます。

ここで、r は有理数であると仮定しています。したがって、(r – 1) / 2 も有理数であることがわかります。しかし、この式は √2 が有理数であることを示唆しています。しかし、√2 は無理数であることが知られているため、仮定が矛盾していることになります。

したがって、1 + 2√2 が有理数であるという仮定は間違いであり、1 + 2√2 は無理数であると結論できます。このように、無理数の性質を用いた証明は、数学の基礎的な理解を深めるのに役立ちます。