√2が無理数であることを証明する問題では、よく背理法が使われます。しかし、「有理数ではないことを示しただけで、本当に無理数と言えるのか」「虚数や複素数の可能性は残らないのか」と疑問に感じる人もいます。
この疑問を解決するには、数の分類と、√2がどの範囲の数として扱われているのかを理解することが重要です。この記事では、√2の証明で背理法が成立する理由や、虚数・複素数との関係について詳しく解説します。
まず理解したい有理数と無理数の関係
数学で扱う実数は、大きく分けると有理数と無理数に分類されます。有理数とは、整数aと0ではない整数bを使ってa/bの形で表せる数のことです。
例えば、2、-3、1/5、0.75などはすべて有理数です。一方で、√2や円周率πのように分数で正確に表せない数は無理数と呼ばれます。
ここで重要なのは、有理数と無理数は「実数」の中で互いに重ならず、すべての実数はいずれか一方に分類されるという点です。
√2の証明で背理法が使われる流れ
√2が無理数であることを証明する場合、まず「√2が有理数である」と仮定します。
すると、√2は整数a,bを使って次のように表せることになります。
√2=a/b（ただしaとbは互いに素な整数）
両辺を2乗すると、2=a²/b²となり、a²=2b²が得られます。この式から、a²は2の倍数なのでaも2の倍数であることが分かります。
aを2kと置くと、(2k)²=2b²となり、b²も2の倍数、つまりbも2の倍数になります。
しかし、最初にaとbは互いに素な整数としていました。つまり、aもbも2で割れるという結果は矛盾します。この矛盾から、√2は有理数ではない、つまり無理数であると証明できます。
有理数ではないことだけで無理数と言える理由
疑問になるのは、「有理数ではないことが分かっただけでは、虚数や複素数の可能性が残るのではないか」という点です。
しかし、√2という数は最初から実数の範囲で考えられています。なぜなら、√2は「2乗すると2になる実数」を意味しているからです。
例えば、虚数iはi²=-1となる数であり、実数ではありません。一方、√2は2乗して2になる正の実数として定義されています。そのため、虚数や複素数が候補になることはありません。
√nの問題で考える数の範囲
数学の問題では、特別な指定がない限り、√nのような表記は通常実数の平方根を意味します。
例えば√9の場合、答えは3です。-3も2乗すると9になりますが、√という記号は通常「正の平方根」を表します。
そのため、√2についても「複素数全体の中で何なのか」を調べているのではなく、「実数として存在する√2が有理数なのか無理数なのか」を調べています。
背理法は二択の証明だけに使うものではない
背理法は「AかBのどちらかしかない場合に、AではないからB」という場面だけで使われるものではありません。
背理法では、証明したい内容の反対を仮定し、その仮定から矛盾を導くことで元の主張が正しいことを示します。
√2の証明では、「√2が有理数である」という仮定を置いた結果、数学的に成立しない状況が発生します。そのため、「√2は有理数ではない」という結論になります。
複素数まで考えた場合でも問題は成立するのか
複素数の世界まで広げて考えると、確かに数の分類はさらに広がります。しかし、それによって√2の無理数証明が間違いになるわけではありません。
複素数は実数を含むさらに大きな集合ですが、√2はその中でも実数として存在しています。つまり、「√2が有理数か無理数か」という議論は実数の範囲に限定された分類の話です。
例えるなら、日本国内の住所を調べている時に「海外の住所ではないか」と考える必要がないのと同じで、対象となる範囲が決まっているため不要な可能性を考える必要はありません。
まとめ
√2が無理数である証明に背理法を使うことは、数学的に正しい方法です。
ポイントは、√2が最初から実数として定義されており、実数は有理数と無理数に完全に分類されるということです。そのため、有理数ではないことを証明すれば、必ず無理数であると結論できます。
虚数や複素数の可能性を考える必要がないのは、証明の対象となる数の範囲が明確に定められているためです。背理法は単なる二択の確認ではなく、数学的な矛盾を利用して主張を証明する強力な方法なのです。
コメント