求证存在无穷多个素数p满足p≡2或-2 mod 5（不用狄利克雷定理）

阿华AIGC实验室

2026-5-19

提示：证明存在无穷多个素数$p\equiv\pm2\pmod{5}$

你已经走对了最关键的第一步——假设满足条件的素数仅有有限个$p_1,p_2,...,p_n$（别忘了2本身就是满足$2\equiv2\pmod{5}$的素数，所以它会在这个列表里），接下来可以沿着以下思路推进：

构造关键数并分析模5性质：选一个构造式，比如$N=5p_1p_2...p_n - 2$，先算它模5的结果：$N\equiv 0 - 2 \equiv 3 \pmod{5}$。这里有个核心点：模5下，所有≡1或4的数相乘，结果只能是1或4（因为1×1=1，1×4=4，4×4=16≡1），永远得不到2或3。而$N\equiv3\pmod{5}$，这意味着$N$的素因子里，不可能全是≡1或4 mod5的素数——必然存在至少一个素因子$q$满足$q\equiv2$或$3\pmod{5}$（也就是$q\equiv\pm2\pmod{5}$，这正是我们要找的素数类型）。
排除原列表中的素数：现在要证明这个$q$不在你的有限列表里：
- 如果$q=5$，那$5\mid N=5P-2$，会推出$5\mid-2$，显然矛盾；
- 如果$q$是列表里的某个奇素数$p_i$（也就是$p_i\equiv3\pmod{5}$），那么$p_i\mid P$，所以$p_i\mid5P$，又$p_i\mid N$，就会推出$p_i\mid(5P - N)=2$，但$p_i$是奇素数，不可能整除2，矛盾；
- 唯一可能的例外是$q=2$（因为2在列表里，且2整除$N$：$N=5P-2$，$P$包含2，所以5P是偶数，$N$是偶数减偶数，确实是偶数）。这时候别慌，我们看$N/2$——它是一个大于1的奇数，而且$N/2\equiv3\times3^{-1}\equiv9\equiv4\pmod{5}$（因为2在模5下的逆元是3）。现在分析$N/2$的素因子：
  - 它的素因子不可能是原列表里的任何素数（奇素数$p_i$整除$P$，所以$N/2=5\times(P/2)-1\equiv-1\pmod{p_i}\neq0$；2也不整除它，因为它是奇数）；
  - 如果$N/2$是素数，那它≡4 mod5，虽然不是我们要的类型，但这时候你可以把这个新素数加入你的“有限列表”，再构造新的$N'=5\times(2\times p_1\times...\times p_n\times(N/2)) -2$，新的$N'\equiv3\pmod{5}$，它的素因子里必然有≡±2 mod5的素数，而且这个素数肯定不在更新后的列表里（理由和之前一样）；
  - 如果$N/2$是合数，那它的素因子里要么有≡±2 mod5的素数（这就是我们要找的新素数，矛盾），要么全是≡1或4 mod5的素数——但这时候$N/2\equiv4\pmod{5}$，而4可以表示为$2^2$或$32$（也就是两个≡±2 mod5的素数的乘积），但我们已经排除了这种情况，所以必然存在新的满足条件的素数。
换构造式规避例外：如果你觉得处理$q=2$的情况麻烦，也可以换用构造式$N=5p_1p_2...p_n +3$，这时候$N\equiv0+3\equiv3\pmod{5}$，而且$N$是奇数（5P是奇数，加3还是奇数），直接排除了2作为因子的可能，接下来的分析会更顺畅：$N$的素因子$q$必然≡±2 mod5，且$q$不在原列表里（因为$q\mid N$且$q\mid P$会推出$q\mid3$，而3是满足$3\equiv-2\pmod{5}$的素数，如果3在列表里，那$N=5P+3$，$P$包含3，所以$N=3k$，$k=5\times(P/3)+1\equiv0+1\equiv1\pmod{5}$，$k$的素因子同样会带来新的矛盾）。