ウィルソンの定理
出典: フリー百科事典『ウィキペディア(Wikipedia)』
ウィルソンの定理(ていり)は次のような定理である。
p が素数ならば (p-1)! ≡ -1(mod p) が成り立つ。
この定理は逆も成り立つ。p が大きくなるにつれて計算量が膨大になるため、素数かどうかを判定するために用いるには実用的ではない。
[編集] 歴史
この定理は、10世紀のペルシャの数学者イブン・アルハイサム(アルハゼン)によって最初に発見された。しかし、ヨーロッパでは長いこと知られず、イギリスのエドワード・ウェアリングの弟子だったジョン・ウィルソンによって発見され、1770年にウェアリングによって公表されて「ウィルソンの定理」の名がついた。しかしウェアリングもウィルソンもこの定理の証明はできず、1773年にラグランジュが最初の証明をした。なお、ゴットフリート・ライプニッツがその一世紀前に結果に気がついていたという証拠があるが、ライプニッツはそれを公表しなかった。