√7が無理数であることの証明と有理数との違いについて

無理数と有理数の違いについては数学においてよく取り上げられるテーマです。今回は、√7が無理数であることを証明する問題について、なぜ「aとbが互いに素である」という条件が重要なのかを解説します。具体的にどのような思考を使うべきなのかを分かりやすく説明します。

有理数と無理数の違い

有理数とは、整数の分数（a/b）の形で表せる数のことです。ここで、aとbは互いに素な自然数（共通の約数が1の数）である必要があります。一方、無理数は分数の形で表せない数で、例として√2やπ（円周率）などが挙げられます。

√7が有理数だと仮定すると、√7はa/bの形で表せると考えます。ここでaとbは互いに素な自然数（共通の約数が1）です。この仮定のもとで、証明を進めていきます。

まず、√7 = a/b という式を両辺2乗すると、7 = a²/b² となります。これを整理すると、a² = 7b² という式が得られます。この式からわかることは、a²が7の倍数であるということです。

a²が7の倍数であるならば、aも7の倍数でなければなりません。なぜなら、整数の二乗が7の倍数であれば、その整数自体も7の倍数であるからです。したがって、a = 7k（kは整数）と表せます。

ここで、aを7kと置き換えて式に代入すると、(7k)² = 7b² となり、49k² = 7b² となります。両辺を7で割ると、7k² = b² となります。この式から、b²も7の倍数であることがわかります。

b²が7の倍数であるならば、bも7の倍数でなければなりません。したがって、b = 7m（mは整数）と表せます。

ここまでの証明から、aもbも7の倍数であることがわかりました。しかし、最初の仮定で「aとbは互いに素である」としましたが、aとbが共に7の倍数であるならば、aとbは共通の約数7を持っています。この矛盾から、√7は有理数でないと結論できます。

最初に「aとbが互いに素である」という条件を仮定したことが、証明において重要です。この条件が成立しないとき、仮定が間違っていることが示され、√7が無理数であることが証明されます。

仮に√7が有理数であった場合、aとbは互いに素でなければならないと考えますが、最終的にaとbが共に7の倍数であることが分かり、この矛盾から有理数でないと結論されるのです。

√7が無理数であることの証明では、「aとbが互いに素である」という仮定が重要であり、この仮定を否定することで矛盾が生じ、√7が有理数でないことが証明されます。無理数の証明はこのように、仮定が成立しない場合にその矛盾を利用して結論を導く方法です。