ウィルソンの定理とその2通りの証明
以上の整数 について, が素数
入試や数学オリンピックで見かける機会は少ないですが,合同式を扱うよい練習になります。
ウィルソンの定理
ウィルソンの定理
が合成数のとき, から の中には の約数が含まれているので, を で割った余りはその約数の倍数です。つまりウィルソンの定理の右から左(の対偶)が分かります。
重要なのは左から右です。
実際に が小さい場合に実験してウィルソンの定理の主張を確認してみます。
合同式に慣れていない人は合同式の意味とよく使う6つの性質を参考にしてください。
以下 の表記を省略します。
ウィルソンの定理の証明では特に,合同式の性質:
「 で, と が互いに素なら 」
が重要になります。
以下ではウィルソンの定理の証明を2通り解説します。
ウィルソンの定理の証明1
ウィルソンの定理の証明1
が小さい場合に証明しようとすれば自然に出てくる発想です。
個の数 を2つずつペアにして消していきます。そのために, を固定して となるような相方 を探します。そのときに整数の有名な性質「 を で割った余りはすべて異なる」が使えます。(この性質の証明は一次不定方程式ax+by=cの整数解の「ax+by=1についての証明」の下側参照)
のときは成立。以下 の場合について考える。
を で割った余りはすべて異なるので,
となる が から の間にただ1つ存在する(注1)。
そのような が, と等しい場合は困るのでそのような良くない場合を探す:
つまり,
合同式の性質より または
よって, のときは となる。
よって, の中でそのような と のペアを 個作ることにより,
が分かりウィルソンの定理が示された。
注1:群論の言葉を使えば「 の剰余群の任意の元が逆元を持つ」と簡潔に表現できます。
ウィルソンの定理の証明2
ウィルソンの定理の証明2
フェルマーの小定理を用います。発想力が必要なエレガントな証明です。
という関数を考える。
フェルマーの小定理より, に対して,
である。
を で割った商を ,余りを とおくと
を代入すると, より
つまり
さらに, を で割った商を ,余りを とおくと
を代入すると, より
以下同様にして,
となる。ここで,割り算の等式を見ながら,
- は 次で最高次の係数は
- は 次で最高次の係数は
と順々に考えていくと は 次で最高次の係数は ,つまり である。
以上より,
この式の に を代入すると,
のときは自明に成立し,それ以外のとき は奇数なのでウィルソンの定理を得る。
ちなみに,原始根の存在定理を仮定すれば原始根を使っても証明できます。→位数の性質と原始根の応用
知名度は高くないですがなかなかにエレガントな定理です