ウィルソンの定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

ウィルソンの定理(うぃるそんのていり)は初等整数論における素数に関する次のような定理である。

p素数ならば (p-1)! ≡ -1 (mod p) が成り立つ。p>1の場合、逆も成り立つ。

p が大きくなるにつれて計算量が膨大になるため、素数かどうかを判定するために用いるには実用的ではない。

歴史[編集]

この定理は、10世紀ペルシャの数学者イブン・アル・ハイサム(アルハゼン)によって最初に発見された[1]。しかし、ヨーロッパでは長いこと知られず、イギリスエドワード・ウェアリングの弟子だったジョン・ウィルソンによって発見され、1770年にウェアリングによって公表され、「ウィルソンの定理」の名がついた[2][3]。しかしウェアリングもウィルソンもこの定理の証明はできず、1773年ラグランジュが最初の証明をした[2]。なお、ゴットフリート・ライプニッツがその一世紀前に結果に気がついていたという証拠があるが、ライプニッツはそれを公表しなかった[2]

[編集]

nの値が2から30までの階乗と剰余の例をあげる。mnで割った剰余をm mod nと表記する。 nが素数の場合は背景色をピンクに、nが合成数の場合は背景色をグリーンにして表示する。

剰余表
n (n-1)! (n-1)! \bmod n
2 1 1
3 2 2
4 6 2
5 24 4
6 120 0
7 720 6
8 5040 0
9 40320 0
10 362880 0
11 3628800 10
12 39916800 0
13 479001600 12
14 6227020800 0
15 87178291200 0
16 1307674368000 0
17 20922789888000 16
18 355687428096000 0
19 6402373705728000 18
20 121645100408832000 0
21 2432902008176640000 0
22 51090942171709440000 0
23 1124000727777607680000 22
24 25852016738884976640000 0
25 620448401733239439360000 0
26 15511210043330985984000000 0
27 403291461126605635584000000 0
28 10888869450418352160768000000 0
29 304888344611713860501504000000 28
30 8841761993739701954543616000000 0

証明[編集]

p = 2 の場合は成り立つので、以下pは奇素数とする。pは素数だから法pに関する原始根aが存在する。このとき、フェルマーの小定理より、

a^{p-1} \equiv 1 \pmod{p}.

aは原始根だから、a1, a2, … ,ap-1(≡1)はそれぞれpを法として還元すると、1, 2, … ,p-1の並べ替えである。よって、

a^1 a^2 ... a^{p-1} \equiv (p-1)! \pmod{p}

となる。一方、

a^1 a^2 ... a^{p-1} = a^{1+2+...+(p-1)} = a^{p(p-1)/2}

が成り立つ。b=ap(p-1)/2とおくと、b2 ≡ 1 (mod p) だからb ≡ ±1 (mod p) である。示したいのはb ≡ -1 (mod p) なのでb ≡ 1 (mod p) と仮定して矛盾を導く。aは原始根だから、フェルマーの小定理より、p(p-1)/2はp-1で割り切れる。ゆえにp/2は整数となるが、これはpが奇数であることに反する。Q.E.D.

関連項目[編集]

脚注[編集]

参考文献[編集]

外部リンク[編集]