沒人會用的判別法
英國數學家華林 (Edward Waring 1736 - 1798)
(照片取自「The MacTutor History of Mathematics Achieve」http://www-gap.dcs.st-and.ac.uk/~history/ )
其實喜愛數學真的不會分職業的，威爾遜 (John Wilson 1741-1793) 爵士本身是一英國法官。原來其發現了數論中一個極為稀罕的關係，連逆定理 (Converse Theorem) 也成立。有位外國數論專家曾說過：如果一個人不知道威爾遜定理 (Wilson's Theorem) ，那他就白學了數論。
但威爾遜並沒有對此發現大重視，若不是其朋友英國數學家華林 (Edward Waring 1736 - 1798)，劍橋大學的數學教授發表了他的研究結果，那麼又是一條費馬大定理 (Fermat's Last Theorem) ，十之八九被人遺忘，或在其子女替他整理遺物在被公開。
但是威爾遜爵士也好，好友華林也好，甚至是微積分共同發明人德國數學家萊布尼茨 (Gottfried Wilhelm von Leibniz 1646-1716)，他比威爾遜更早知到這關係，都沒法驗證其發現。1770年華林在其代數學的著作中發表了威爾遜的發現，1771年法國數學家拉格朗日 (Joseph-Louis Lagrange 1736-1813) 便給出証明，正是萊布尼茨發表後一百年。其實說正確的應是「萊布尼茨定理」、「拉格朗日定理」而非「威爾遜定理」，但事情卻是這樣發生了。我們只有為其在歷史上加補註明而已。
下文便是解釋威爾遜爵士的發現：
取得從 1 到某素數的所有連續正整數 (Positive Integer) 的乘積，如取 1 * 2 * 3 * ...... * 11 ，記作 11! ( 11 的階乘 Factorial) 。顯然易見，11! 是可被 1 至 11 整除。現在我們看看 10! ，因 11 是素數，這數當然不會是 11 的倍數 ，如果是 10!+1 又怎樣？ 6!+1 = ( 1* 2 * 3 * 4 * 5 * 6)+1 = 721 是 7的倍數，原來這一性質只合用於素數，合數 則不可。證明從略。
用數學的說法是：任一數 n ，若 (n-1)!+1=0 (mod n) 即 (n-1)!+1 是 n 的倍數，則 n 為素數。反之，定某素數 p ，(p-1)!+1 = 0 (mod p) 必成立，即 (p-1)!+1 是 p 的倍數。
或考慮 W(p) = [(p-1)! + 1] / p ，這稱為威爾遜商 (Wilson Quotient)。若某數的威爾遜商為整數，即該數為 1 或素數。
下表列出威爾遜定理的一些測試結果：
| n | (n-1)! | (n-1)!+1 | [(n-1)!+1] 除以 n 的餘數 |
素性 |
|
| 2 | 1!= |
1 |
2 |
0 |
素數 |
| 3 | 2!= |
2 |
3 |
0 |
素數 |
| 4 | 3!= |
6 |
7 |
1 |
合數 |
| 5 | 4!= |
24 |
25 |
0 |
素數 |
| 6 | 5!= |
120 |
121 |
1 |
合數 |
| 7 | 6!= |
720 |
721 |
0 |
素數 |
| 8 | 7!= |
5040 |
5041 |
1 |
合數 |
| 9 | 8!= |
40320 |
40321 |
1 |
合數 |
| 10 | 9!= |
362880 |
362881 |
1 |
合數 |
| 11 | 10!= |
3628800 |
3628801 |
0 |
素數 |
| 12 | 11!= |
39916800 |
39916801 |
1 |
合數 |
| 13 | 12!= |
479001600 |
479001601 |
0 |
素數 |
| 14 | 13!= |
6227020800 |
6227020801 |
1 |
合數 |
| 15 | 14!= |
87178291200 |
871278291201 |
1 |
合數 |
大家可知要判斷 15 的素性 (Primality)，先要弄到 14! 。若要判斷 101 的素性，要討取 100! ，可不易事。若要判斷更大的素數，工作量也是級數般上升。這一發現是重要，但卻沒有人會用這一素數的判別法吧。
參考文獻及網址：
Ball, W. W. R. and Coxeter, H. S. M. Mathematical Recreations and Essays, 13th ed. New York: Dover, p. 61, 1987.
Conway, J. H. and Guy, R. K. The Book of Numbers. New York: Springer-Verlag, pp. 142-143 and 168-169, 1996.
Weisstein, E. W. "Wilson Quotient." From MathWorld. http://mathworld.wolfram.com/WilsonQuotient.html.
Weisstein, E. W. "Wilson's Theorem." From MathWorld. http://mathworld.wolfram.com/WilsonsTheorem.html.
