技术问询：如何严谨证明所有大于3的素数均形如6n±1

问题背景 #

你提到的这个数论问题是数论入门里的经典命题：要证明所有大于3的素数都可以表示为$6n\pm1$的形式（其中$n$为正整数）。

你的初步思路分析 #

你已经走对了核心方向：把所有整数按模6的剩余类拆分，得到6种覆盖所有整数的形式：

• $6n$
• $6n+1$
• $6n+2$
• $6n+3$
• $6n+4$（等价于$6n-2$）
• $6n+5$（等价于$6n-1$）

并且你正确排除了其中四类不可能是大于3的素数的情况：

• $6n\pm2=2(3n\pm1)$：这类数是2的倍数，除了2本身外，都不可能是素数；
• $6n\pm3=3(2n\pm1)$：这类数是3的倍数，除了3本身外，都不可能是素数。

你的顾虑完全合理——只排除其他形式确实不够，得把逻辑补成闭环，明确为什么剩下的$6n\pm1$就是所有大于3素数的必然归属。

完善后的严谨证明 #

我们可以从整数模6的完全剩余系性质来补全逻辑：

1. 任何整数必然属于模6的6个剩余类之一，也就是你列出的6种形式，这是数论里的基础结论——所有整数都被这6种形式无遗漏覆盖。
2. 对于大于3的素数$p$：
   • 根据素数定义，$p$只能被1和自身整除，而$p>3$，所以2和3都不可能是它的因子；
   • 这就意味着$p$不能属于$6n$、$6n\pm2$、$6n\pm3$这四类——因为这些形式要么是2的倍数，要么是3的倍数；
   • 剩下的唯一可能就是$6n+1$或者$6n+5$，而$6n+5$可以改写为$6(n+1)-1$（令$k=n+1$，则为$6k-1$），所以统一起来就是$6n\pm1$的形式。

到这里逻辑就完整了：所有整数都在6类之中，大于3的素数被排除了4类，那必然属于剩下的$6n\pm1$两类。

内容的提问来源于stack exchange，提问作者Deniz Tuna Yalçın