√p (p は素数）が無理数であることの証明方法

√p（pは素数）が無理数であることを証明する問題は、数学の基本的な命題の一つです。この証明を行うにあたり、素数の整除性定理や素因数分解の一意性を使わないという条件で進める必要があります。この記事では、その証明方法を順を追って解説します。

無理数とは？

まず、無理数について理解することが重要です。無理数とは、整数の比として表すことができない実数のことです。例えば、√2やπが無理数として知られています。無理数は、有理数と呼ばれる整数の比として表せる数と対比されます。

√pが無理数であることを証明するためには、まず√pが有理数であると仮定し、矛盾を導く方法を使います。このアプローチは、数学的な証明でよく使用される「背理法」に基づいています。

まず、√pが有理数であると仮定します。有理数であれば、√pはa/b（a、bは整数）という形で表せるはずです。ここでaとbは互いに素な整数、すなわち最大公約数が1であると仮定します。

この仮定のもとで、√p = a/b と書き換えた後、両辺を2乗します。すると、p = a² / b² となります。ここでa²とb²は整数であり、pが素数であるため、pがa²とb²の比であることになります。

次に、a²とb²が共通の素因数を持つかどうかを調べます。もしa²とb²が共通の素因数を持っているとすると、aとbも共通の素因数を持つことになります。これは、aとbが互いに素であるという仮定に矛盾します。

したがって、a²とb²は共通の素因数を持たないことが分かります。このため、√p = a/bという形でaとbが互いに素であった場合、pがa²とb²の比として表すことができないことが明らかになります。

このように、√pが有理数であるという仮定が矛盾を導きました。よって、√pは有理数ではなく、無理数であることが証明されました。これにより、pが素数であるとき、その平方根は無理数であることが確定します。

√p（pは素数）が無理数であることの証明は、背理法を用いて行います。この証明は、無理数の定義や背理法の考え方を理解するための重要なステップです。素因数分解や整除性定理を使わずに証明を進めることができるので、純粋な論理的な推論に基づく証明方法として有効です。