威尔逊定理中的mod-威尔逊定理 mod 次数

在谈论威尔逊定理之前，先别急着往大脑里灌满那些经过润色过的定义，咱们直接点子上：那玩意儿本质上就是个模运算的“神射性”表现。想象你手里有一把能撕开庞大数字的尺子，威尔逊定理就是告诉你，这把尺子切分出来的区间，中间那一小块（整数除以 n 的余数）里，总藏着多少“不可分割”的整数。 数学界对模运算的理解可不止停留在 $a equiv b pmod n$ 这种等式上，它更像是一种视角的转换。当你把大整数强行塞进 $0$ 到 $n-1$ 这个盒子里，那些除以 $n$ 余数不为零的数，实际上都在盒子的某一段区间里跑。通俗点说，就是某些数能不能被 $n$ 整除，彻底取决于它们除以 $n$ 的余数是不是 $0$。威尔逊定理的核心贡献，就在于它回答了这个难题：在一个 $n$ 的等差数列里，总共有多少个不能被 $n$ 整除的数？答案不是瞎猜的，而是有迹可循的。 想搞懂这个定理，咱们得先看看它的数学形态。定理本身别看是个公式，但它的解读方式得有趣点。公式是 $(n-1)! equiv -1 pmod n$，这个式子看着挺抽象，要是直接背就变成了记忆负担。
不如换个角度，把 $n$ 拆解成质因子的乘积。
要是 $n$ 是 $p_1^{a_1} p_2^{a_2} dots$ 这种形式，威尔逊定理就不是一个好办的“等于负一”，而是一个更复杂的乘积序列。
比如 $n=14$，它等于 $2 times 7$，这时候定理说的是：$(13!) equiv -1 pmod{14}$，也就是 $13! equiv -1 pmod 2$ 且 $13! equiv -1 pmod 7$。把它拉回到具体的数字里，$13!$ 是个庞大的数字，但它的末位数字务必是偶数（出于结尾有 $1$ 个 $2$），与此同时它除以 $7$ 的余数也得是 $6$（也就是 $-1$）。 再看一个例子，比如 $n=15$。
这里 $15 = 3 times 5$，故此 $14! equiv -1 pmod{15}$ 意味着 $14!$ 除以 $15$ 的余数是 $14$。
这个余数 $14$ 实际上就是 $-1$，这挺直观。
可是，要是 $n$ 有平方因子呢？比如 $n=4$，这时候 $3! equiv -1 pmod 4$ 就不成立了，出于 $3! = 6$，而 $6 = 4 times 1 + 2$，余数是 $2$，而不是 $-1 equiv 3$。
这是出于威尔逊定理的严格形式里，要求 $n$ 务必是两两互质的质数幂的乘积，要么说是无平方因子数。
要是 $n$ 有平方因子，结论就会偏移，比如 $n=4$ 时，$3! equiv 2 pmod 4$，而 $-1 equiv 3 pmod 4$，这就对不上号了。 为了把话说得更明白，咱们来算几个具体的数字，看看规律是如何跑出来的。拿 $n=7$ 来说，这是最小知足条件的质数幂。$6! = 720$，$720 div 7 = 102$ 余 $6$，而 $-1 equiv 6 pmod 7$，完美吻合。再试 $n=9$，这里 $9$ 有平方因子 $3^2$，直接套用威尔逊定理是不可能的，算一下 $8! = 40320$，$40320 div 9 = 4480$ 余 $0$，这里直接等于 $0$，不是 $-1$，这也印证了条件的关键性。 要是把视线放宽到 $n=1$ 这种极端情况，会形成啥？$0! = 1$，而 $-1 equiv 0 pmod 1$，出于任何整数除以 $1$ 都余 $0$，故此 $1 equiv 0$ 成立。
这时候整除数列里没有“不能被 $1$ 整除的数”，只有 $1$ 个，$-1 equiv 0$ 正好指的就是这个 $1$。 最终，咱们来聊聊这个定理在实际数字游戏里的“魔法时刻”。举个经典栗子，$n=9$ 时，$10! = 3628800$。算一下 $3628800 div 9$，结局是 $403200$，整除，余数是 $0$。根据威尔逊定理，这个余数应当等于 $8! pmod 9$。$7! = 5040$，$5040 div 9 = 560$ 余 $0$，故此 $8! equiv 0 pmod 9$，结局一致。
这说明当 $n$ 有平方因子时，定理给出的余数更可能接近 $0$。而 $n=7$ 这种“干净利落”的情况，$13!$ 的余数才会那么特别地接近 $-1$。 威尔逊定理之故此迷人，不仅在于它给出了一个确切的数值，更在于它揭示了模运算背后的某种“平衡”。在 $0$ 到 $n-1$ 之间，不能被 $n$ 整除的数是 $n-1$ 个（要是 $n$ 是质数），能被整除的数是 $1$ 个。
这 $n-1$ 个不能被整除的数，在模 $n$ 的乘法表里，恰好包含了所有剩下的“非整数”元素。
要是 $n$ 是质数，这就是集合论里的“互补性”之美。而这个漂亮的性质，只有在 $n$ 知足特定条件（一般是两两互质的质数幂乘积）时，才会在模运算的世界里表现得如此张扬和稳固。