素数

1 素数的个数

  定理（无穷多素数定理）：存在无穷多个素数。

  早在2000多年前，欧几里得就在他的《几何原本》中给出了这个优美的证明。

  证明：假设已列出素数（有限）表，要说明如何找到不在表中的新素数。因为可以将这个新素数加入到表中，再重复这个过程，就表明必有无穷多个素数。

  假设由素数表$p_1,p_2,\cdots ,p_r$开始。我们将它们乘起来再加$1$，给出数：
$$A=p_1{p}_2\cdots p_r+1$$
如果$A$本身是素数，则证明已完成，因为$A$肯定不在最初的表中。如果$A$不是素数，根据算术基本定理，$A$肯定会被某个素数整除。设$q$是某个整除$A$的素数，且设其为最小的那个，由于$q$整除$A$，所以$q$整除$p_1{p}_2\cdots p_r+1$，如果$q$是$p_i$中的一个，那么$q$必整除$1$，这显然是不可能的。这意味着$q$是新素数，可添加到表中。重复这个过程，我们总能找到新素数添加到表里，这表明有无穷多个素数。

  我们现在知道素数表可以无终止地继续下去，也观察到$2$是仅有的偶素数。每个奇数模$4$余$1$或模$4$余$3$。

2 模$4$余$3$的素数

  定理（模$4$余$3$的素数定理）：存在无穷多个模$4$余$3$的素数。

  定理的证明与上面的方法类似，假设已得到有限素数表，它们都是模$4$余$3$的。我们的目的是通过寻找新的模$4$余$3$的素数制作更长的表。

  假设模$4$余$3$的素数的初始表是：
$$3,p_1,p_2,p_3,\cdots ,p_r$$
考虑数:
$$A=4p_1{p}_2\cdots p_r+3$$
注意乘积中不包括素数$3$，我们知道可将$A$分解成素数乘积，如：
$$A=q_1{q}_2\cdots q_s$$
素数$q_i$之中至少有一个必是模$4$余$3$。因为假设$q_i$都是模$4$余$1$，那么$A$必定模$4$余$1$，根据$A$的定义可知$A$显然模$4$余$3$。从而$q_i$中至少有一个必定模$4$余$3$。同时，$q_i$必定不在最初的表中，因为$q_i$整除$A$，而原来的表中没有整除$A$的。因此通过这种方法，我们可以不断扩充素数表。这表明必有无穷多个模$4$余$3$的素数。

3 算术级数的素数狄利克雷定理

  我们并没有特别的理由只考虑模$4$的同余式。 例如我们可以考虑每个数同余于$0,1,2,3,4(mod5)$，除了$5$以外，每个素数与$1,2,3,4$之一模$5$同余。

  一般地，如果固定模$m$与数$a$，我们希望何时有无穷多个素数同余$a(modm)$呢？有一种情况是不可能发生的，那就是$a$与$m$有公因数。例如，假设$p$是素数且$p\equiv 35(mod77)$。这意味着$p=35+77y=7(5+11y)$，所以仅有的可能性就是$p=7$，甚至$p=7$也不可行。

  定理（算术级数的素数狄利克雷定理）：设$a$与$m$是整数，$gcd(a,m)=1$，则存在无穷多个素数模$m$余$a$，即存在无穷多个素数$p$满足：
$$p\equiv a(modm)$$

4 参考资料

《数论概论》第四版P55-P58