素数p满足(p-1)!+1为p的幂的证明逻辑漏洞排查问询

问题回顾 #

我们需要证明：若$p$是素数，则$(p-1)!+1$是$p$的幂当且仅当$p=2,3,5$。

你的推理过程梳理 #

你从假设$(p-1)!+1=p^k$（$k\in\mathbb{Z}$）出发，变形得到：
$$p^k - 1=(p-1)!$$
两边除以$p-1$（默认$p\neq2$）后得到：
$$p^{k-1}+p{k-2}+\dots+1=(p-2)!$$

接着你尝试对等式两边取模$p-1$分析，核心逻辑是：

• 对于奇素数$p$，$p-1$是偶数，因此$p-1\mid(p-2)!$，即右边$(p-2)! \equiv 0 \pmod{p-1}$；
• 左边每一项$p^m \equiv 1 \pmod{p-1}$，因此左边和$\equiv k \pmod{p-1}$；
• 由此推出$k \equiv 0 \pmod{p-1}$，进而错误认为$k=0$，导致矛盾。

但实际$p=3,5$是满足条件的：

• $p=3$时，$(3-1)!+1=2+1=3=3^1$，对应$k=1$；
• $p=5$时，$(5-1)!+1=24+1=25=5^2$，对应$k=2$。

推理中的关键漏洞 #

你犯了一个前提性的错误：并非所有奇素数$p$都满足$p-1\mid(p-2)!$。这个结论只在$p>5$时成立，$p=3$和$p=5$时并不满足：

• 当$p=3$时，$p-1=2$，$(p-2)! =1! =1$，显然$2\nmid1$；
• 当$p=5$时，$p-1=4$，$(p-2)! =3! =6$，$4\nmid6$（因为$4=2^2$，但$3!$中仅含1个因子2）。

只有当$p>5$时，$p-1$是大于4的偶数，此时$p-1$的所有素因子的指数都不会超过$(p-2)!$中对应素因子的指数，才能保证$p-1\mid(p-2)!$。

所以你的同余分析只适用于$p>5$的情况，这时候确实能推出矛盾（$k\equiv0\pmod{p-1}$，而$p^{k=(p-1)!+1$，当$p>5$时$(p-1)!$远大于$p}{p-1}$，不可能相等）；但对于$p=3,5$，你的前提假设$p-1\mid(p-2)!$不成立，因此后续的同余推导无效，这就是为什么这两个正确的情况被错误排除了。

补充验证 #

针对$p=3,5$，直接代入你的除法后的等式就能验证：

• $p=3$时，左边是$p^{k-1}+\dots+1$，当$k=1$时左边为1，右边$(3-2)! =1! =1$，等式成立；
• $p=5$时，左边是$p^{2-1}+1=5+1=6$，右边$(5-2)! =3! =6$，等式成立。

这说明你的除法变形是对的，但后续的模运算分析需要分情况讨论，不能一概而论。

备注：内容来源于stack exchange，提问作者Thomas Finley