威尔森定理是一个判别一个数是否为质数的方法,但在事实上此方法未必实用,因为判别的对象越来越大时,判定其阶乘会越来越困难。
说明[]
威尔森定理叙述如下:
对于任意正整数,是质数当且仅当时。
若时,,故定理依旧可以成立。
证明[]
此处所给之证明可能不严谨,或有所疏漏,还请大家校验与修正
以下仅讨论的状况:
若是合数(即不是质数的数),则因的每个因数及其乘方小于(的因数不可能等于),而有,且由n|(n-1)!可推出为合数,故若不为的因数,则必须是质数。
若是质数,则因构成的一个完全剩余系,且对于等皆有其逆元,且其逆元具唯一性,其中除和的逆元与自己相同外,其他数的逆元皆不同于自身(在模质数的状况下,若一个数的逆元与自己同,则有,故有,从中可得n|x-1或n|x+1,意即或),且任意数与其逆元皆可包含于某个完全剩余系中,加上同余的乘法具交换性,因此,在将每个数与其逆元相乘后,只剩与未与其逆元相乘(的逆元为、的逆元为),故,并因,而有,故当为质数时,。
参见[]
上下节[]
初等数论(学科代码:1101710,GB/T 13745—2009) | |
---|---|
整除理论 | 整除 ▪ 带余除法 ▪ 素数 ▪ 公因数 ▪ 辗转相除法 ▪ 公倍数 ▪ 惟一因子分解定理 ▪ 容斥原理 |
同余理论 | 同余 ▪ 同余类(完全代表系,缩同余类) ▪ 同余类的代数结构 ▪ 一次同余方程 ▪ 中国剩余定理 ▪ 线性同余方程组 ▪ 二元一次同余方程组 |
剩余理论 | Euler-Fermat 定理 ▪ 原根 ▪ 指数 ▪ 威尔森定理 ▪ K 次剩余 ▪ 二次剩余 ▪ Legendre 符号 ▪ 二次互反律 ▪ Jacobi 符号 ▪ 二次同余方程 |
数论函数 | 除数函数 ▪ 除数和函数 ▪ Euler 函数 ▪ Liouville 函数 ▪ Möbius 反演公式 ▪ 数论函数的卷积 ▪ 数论函数的均值 ▪ Dirichlet 特征 |
不定方程 | 二元一次不定方程 ▪ Pythagoras 方程 ▪ 四平方和问题 ▪ 二平方和问题 ▪ Fermat 方程 ▪ 立方和问题 |
素数分布 | Eratosthenes 筛法 ▪ 素数定理 ▪ Chebyshev 函数 ▪ Mangoldt 函数 ▪ Euler 恒等式 |
所在位置:数学(110)→ 数论(11017)→ 初等数论(1101710) |