探索数论中连接素数与阶乘的桥梁，理解为什么 (p-1)! ≡ -1 (mod p) 是素数的充要条件。
威尔逊定理（Wilson's Theorem） 是数论中的一条重要定理，由约翰·威尔逊（John Wilson）发现，但最初由英国数学家沃拉斯顿（Waring）的学生梅森（Mason）的学生提出，最终由拉格朗日给出严格证明。该定理描述了自然数阶乘与模运算之间的深刻联系。
若 p 为素数，则：
(p-1)! ≡ -1 (mod p)
反之，若 (n-1)! ≡ -1 (mod n)，则 n 必为素数。
要理解威尔逊定理直接证明，最直观且优雅的方法是利用模运算中的乘法逆元概念。我们将通过以下步骤进行严谨推导：
如果 n 是合数且 n > 4，则 (n-1)! ≡ 0 (mod n)。
证明：设 n = ab，其中 1 < a ≤ b < n。
如果 a < b，则 a 和 b 都是 (n-1)! 中的不同因子，因此 n = ab 整除 (n-1)!，余数为0。
如果 a = b（即 n 是完全平方数），只要 n > 4，则 a < 2a < n，所以 a 和 2a 都是 (n-1)! 的因子，其乘积 2a² = 2n 被 n 整除，故 (n-1)! ≡ 0 (mod n)。
因此，只有当 (n-1)! ≡ -1 (mod n) 时，n 才可能是素数。
理论需要实践来检验。让我们通过几个具体的素数来验证威尔逊定理直接证明的正确性，并观察合数的情况以形成对比。
计算 (5-1)! = 4! = 24。
模 5 运算：24 ÷ 5 = 4 ... 余 4。
在模 5 意义下，4 ≡ -1 (mod 5)。
✅ 定理成立。
计算 (7-1)! = 6! = 720。
模 7 运算：720 ÷ 7 = 102 ... 余 6。
在模 7 意义下，6 ≡ -1 (mod 7)。
✅ 定理成立。
计算 (4-1)! = 3! = 6。
模 4 运算：6 ÷ 4 = 1 ... 余 2。
2 ≢ -1 (mod 4)。
❌ 不符合定理，因为 4 不是素数。
| 素数 p | (p-1)! 的值 | (p-1)! mod p | 是否等于 -1 (即 p-1) |
|---|---|---|---|
| 2 | 1! | 1 | 是 (1 ≡ -1 mod 2) |
| 3 | 2! | 2 | 是 |
| 11 | 3628800 | 10 | 是 |
| 13 | 6227020800 | 12 | 是 |
| 17 | 355687428096000 | 16 | 是 |
以下是网友关于威尔逊定理直接证明及相关知识的高频提问与深度解答。
A: 理论上可以，因为它是充要条件。但在实践中完全不推荐。计算 (n-1)! 的时间复杂度极高，即使使用现代计算机，对于稍大的数（如超过100位），计算阶乘所需的时间和存储空间也是不可承受的。目前主流使用Miller-Rabin等概率素性测试或AKS确定性算法。
A: “直接证明”通常指不通过反证法，而是直接构造逻辑链条。在本定理中，利用逆元配对是最直接的构造性证明方法。它清晰地展示了为什么素数的阶乘模素数会余-1，揭示了乘法群的结构特性。
A: 定义 W(p) = (p-1)! + 1 / p。如果 W(p) 能被 p 整除，则 p 称为威尔逊素数。目前已知的威尔逊素数只有 5, 13, 563 等极少数几个。这是一个活跃的数论研究领域。
A: 因为 1×1 = 1 ≡ 1 (mod p)，显然1是自身的逆元。而 (p-1)×(p-1) = p² - 2p + 1 ≡ 1 (mod p)，因为 p² 和 2p 都能被 p 整除。所以在模 p 下，p-1（即 -1）也是自身的逆元。
本文详细阐述了威尔逊定理直接证明的逻辑过程，并结合实例与周边知识进行了拓展。希望能为您的数学学习提供有价值的参考。