数学の問題で、√2が無理数であることを証明する際に使われるのが背理法です。特に、難関校に通う学生たちは、このような問題を解く際に背理法を使って初見の問題にも対応できる場合があります。この記事では、√2が無理数であることを証明する過程を解説し、背理法を用いる意味やその活用法を学びましょう。
無理数と有理数の違い
まずは、無理数と有理数の違いを簡単におさらいしましょう。有理数は、整数同士の比として表せる数です。例えば、1/2や-3/4などが有理数に該当します。一方、無理数は整数同士の比では表せない数で、例えば√2やπ、eなどが無理数に分類されます。
√2は無理数であることを証明することで、有理数と無理数の違いをより深く理解できるようになります。
背理法を使った証明の概要
背理法とは、「もしも〇〇でないとすると、矛盾が生じる」という方法です。これを使うことで、ある命題が正しいことを証明することができます。
√2が無理数であることを証明するためには、まず√2が有理数だと仮定します。その仮定が間違っていることを証明すれば、√2は無理数であることが示されます。
√2が無理数であることの背理法を用いた証明
では、実際に√2が無理数であることを証明してみましょう。まず、仮定として「√2は有理数である」とします。つまり、√2はa/bの形で表せると考えます。ここでaとbは互いに素な整数です。
この式を2乗すると、2 = a² / b² となり、a² = 2b² となります。これにより、a²が偶数であることが分かります。a²が偶数であれば、aも偶数であることが分かります。さらに、a = 2k とすると、式は次のようになります。
a² = (2k)² = 4k² となり、a² = 2b² に代入すると、4k² = 2b² となります。これを整理すると、b² = 2k² となり、b²も偶数であることが分かります。つまり、bも偶数であることが分かります。
しかし、最初にaとbは互いに素な整数であると仮定しましたが、aとbの両方が偶数であるならば、互いに素でないことが矛盾します。この矛盾から、最初の仮定が間違っていることが分かり、√2は無理数であることが証明されます。
背理法を使った証明のポイント
背理法を使った証明では、まず矛盾が生じる前提を立て、それが間違っていることを証明します。この方法は難関校の問題にもよく出題されるので、しっかりと練習しておくことが重要です。
また、背理法を使う場合、最初に立てた仮定が間違いであることを証明するために論理的に進める必要があります。途中で矛盾が出た時点で、「最初の仮定が間違っている」と結論できます。
まとめ
√2が無理数であることを証明する際に、背理法を使うことで論理的に正しい証明ができます。最初に仮定を立て、矛盾を導き出すことで、無理数であることが示されます。この方法は難関校の数学問題にもよく登場するため、しっかり理解しておくことが重要です。
背理法を使った証明の考え方をマスターすれば、他の難しい問題にも対応できるようになるでしょう。
コメント