威爾森定理是一個判別一個數是否為質數的方法,但在事實上此方法未必實用,因為判別的對象越來越大時,判定其階乘會越來越困難。
說明[]
威爾森定理敘述如下:
對於任意正整數,是質數當且僅當時。
若時,,故定理依舊可以成立。
證明[]
此處所給之證明可能不嚴謹,或有所疏漏,還請大家校驗與修正
以下僅討論的狀況:
若是合數(即不是質數的數),則因的每個因數及其乘方小於(的因數不可能等於),而有,且由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) |