横画面推奨!
モバイル機器の場合、数式が見切れる場合があります。

2024年12月18日

ウィルソンの定理とその逆

 ウィルソンの定理とは、任意の素数ppについて
(p1)!1(modp)
が成り立つ、という定理のことです。

これが成り立つことを確かめてみます。


 (p1)!p1以下の自然数をすべて掛け合わせる階乗を表し、
(p1)!=1×2×(p2)(p1)
となります。

p=2のとき

 (21)!=1!=1であり、11(mod2)なので、(1)を満たします。

p>2のとき

(p1)!1×2×(p2)(p1)(modp)
と書けるので、右辺が1と法pに関して合同であることを確かめます。
p1に着目すると
p11(modp)
なので、
(p1)!1×{2×3×(p3)(p2)}(1)(modp)
となります。
ただし、p=3のときp1=2なので上式の{ }にあたる部分はなく
(31)!1×(1)(mod3)1
となり、p=3のとき(1)が成り立つことはこの時点でわかります。
ここで、「ある素数未満の自然数の倍数をある素数で割ったときの余りの性質」より2,3,,p3,p2は適切に2つを選んで掛け合わせると、すべての積は法pに関して1と合同になるので、
p32×3×(p3)(p2)p321×1××1×1(modp)
となります。
したがって、
(p1)!1×{p321×1××1×1}×(1)(modp)1
となり、(1)が成り立つことがわかります。
例えばp=17のとき、法17に関して1と合同になる2以上15以下の自然数による因数の組み合わせは
(2,9),(3,6),(4,13),(5,7),(8,15),(10,12),(11,14)
なので、
(171)!1×2×3×4×5×6×7×8×9×10×11×12×13×14×15×161×(2×9)×(3×6)×(4×13)×(5×7)×(8×15)×(10×12)×(11×14)×161×1×1×1×1×1×1×1×(1)1
となり、(1)が成り立つことがわかります。

以上より、いかなる素数pにおいても(1)が成り立つことがわかります。


ウィルソンの定理の逆

 ウィルソンの定理は、
自然数nについて、nが素数ならば(n1)!1(modn)
という命題であるといえ、その逆は
自然数nについて、(n1)!1(modn)ならばnは素数である
となります。
これの真偽を調べてみます。
ウィルソンの定理の逆の対偶
自然数nについて、nが合成数ならば(n1)!1(modn)でない
の真偽を調べます。
自然数nが合成数であるということは、n
n=pαqβrγ(p,q,r,:α,β,γ,:
と表せるということです。
ここで、α個の素因数pβ個の素因数qγ個の素因数r、…を2つのグループに分け、各グループ内の素因数を掛け合わせて2つの2以上の自然数をつくると、その2つの自然数の組には2つの場合が考えられます。

異なる2つの自然数の組の場合

 合成数nの素因数から異なる2つの自然数がつくれる場合、どちらの自然数もnの約数なので、これらはn未満の自然数です。
そして、これらの自然数はどちらも(n1)!の約数でもある、すなわち(n1)!nの倍数であるということなので、
(n1)!0(modn)
となります。

1つの自然数のみの組の場合

 合成数nの素因数から同じ自然数が2つつくれる場合、これはnが平方数であるということです。
nが合成数の平方数であるとき、素因数のグループを組み直すと異なる2つの自然数の組をつくることができるので、nは上の場合にも含まれる合成数となります。
しかし、nが自身未満の素数の平方数であるとき、素因数のグループを組み直すことができないので、nはこの場合にしか含まれない合成数となります。
なので、この場合においてはn未満の素数の平方数であるときに着目します。

n2の平方数のとき

 n2の平方数、すなわちn=4のとき
(41)!=3!=62(mod4)
となります。

n2より大きい素数の平方数のとき

 n=p2p:素数)とおくとnは小さい順でp番目の正のpの倍数です。
すると、n1までの自然数の中には正のpの倍数がp1個含まれているということになります。
n2より大きい素数の平方数のとき、n1までの自然数の中には正のpの倍数が2個以上含まれているので、(n1)!は少なくともp2の倍数、すなわちnの倍数であるといえます。
したがって、このとき
(n1)!0(modn)
です。

 以上より、自然数nが合成数のとき(n1)!1(modn)でないことがわかったので、ウィルソンの定理の逆の対偶は真、すなわちウィルソンの定理の逆も真であることがわかります。
ウィルソンの定理の逆より、(n1)!1(modn)が成り立つのはnが素数のときだけなので
(n1)!1(modn)
が成り立つかは素数判定に利用することができます。
(2025/1)加筆しました。
Share:
share
◎Amazonのアソシエイトとして、当サイト「数学について考えてみる」は適格販売により収入を得ています。
Powered by Blogger.

PR

blogmura_pvcount
ブログランキング・にほんブログ村へ