威尔逊定理

定理

威尔逊定理是以英格兰数学家爱德华·华林的学生约翰·威尔逊命名的,尽管这对师生都未能给出证明。华林于1770年提出该定理,1773年由拉格朗日首次证明。

初等数论中,威尔逊定理给出了判定一个自然数是否为質數充分必要条件。即:当且仅当p为質數时:

证明编辑

充分性编辑

如果   不是質數,那么它的正因数必然包含在整数   中,因此   ,所以我们不可能得到  

必要性编辑

若p是質數,取集合  ; 则A 构成模p乘法的缩系,即任意   , 存在   ,使得:

 

那么A中的元素是不是恰好两两配对呢? 不一定,但只需考虑这种情况

 ;

解得: 

 

其余两两配对;故而

 

若p不是質數且大于4, 则易知有 

故而

 

推論编辑

可以藉此推論 如下: