（10）素数

关于素数的一些定理

无穷多素数定理

存在无穷多个素数
证明假设已列出素数（有限）表。要说明如何找出不在表中的新素数。因为可以将这个新素数加入到表中，再重复这个过程，就表明必有无穷多个素数。
假设由素数表$p_1,p_2,\cdots ,p_r$开始。我们将它们乘起来再加1，给出数

$A=p_1{p}_2\cdots p_r+1$

如果A本身是素数，则证明已完成，因为A太大不在最初的表中。但是即使A不是素数，也肯定会被某个素数整除，因为每个数可表示成素数乘积。设q是某个整数A的素数，且设为最小的那个。可得q不在最初的表中，所以它是所期望的新素数。
为什么q不在最初的表中呢？我们知道q整除A，所以

$q整除p_1{p}_2\cdots p_r+1$

如果q等于$p_i$中的一个，则它必整除1，而这是不可能的。这意味着q是新素数，可添加到表中。重复这个过程可创建素数表，这表明必有无穷多个素数。

模4余3的素数定理

存在无穷多个模4余3的素数。
证明假设已得到素数（有限）表，它们都是模4余3的。我们的目的是通过求新的模4余3的素数制作更长的表。重复这个过程就给出任何所要长度的素数表，由此证明存在无穷多个模4余3的素数。
假设模4余3的素数的初始表是

$3,p_1,p_2,\cdots ,p_r$

考虑数

$A=4p_1{p}_2\cdots p_r+3$

注意乘积中不包括素数3.我们知道可将A分解成素数乘积，譬如说

$A=q_1{q}_2\cdots q_s$

我们断言素数$q_1,q_2,\cdots ,q_s$中至少有一个必是模4余3.这是证明中的关键步骤。为什么成立呢？如果不成立，则$q_1,q_2,\cdots ,q_s$都是模4余1，此时其乘积A模4余1.但是由定义知A显然模4余3.从而，$q_1,q_2,\cdots ,q_s$中至少有一个必定模4余3，即$q_i\equiv 3(\mathrm{m}\mathrm{o}\mathrm{d}4)$
第二个断言是$q_i$不在最初的表中。我们知道$q_i$整除A，而由A的定义这是显然的，$3,q_1,q_2,\cdots ,q_s$中没有一个整除A。因此$q_i$不在我们最初的表中，所以将其加入表中并重复此过程。照此方法可制作所要长度的素数表，这表明必有无穷多个模4余3的素数。
同理我们可以证明模6余5的素数有无穷多个。
注意这种证明对模4余1的素数不合适。
因为我们无法保证一个模4余1素数分解后一定至少一个因数模4余1。
对于模4余1的素数无穷多的证明我们以后会证明。

算数级别的素数狄利克雷定理

设a与m是整数，$gcd(a,m)=1$，则存在无穷多个素数模m余a，即存在无穷多个素数p满足

$p\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}m)$

狄里克雷定理的证明都相当复杂，大佬可以自己看看，涉及复数微积分。

素数定理

当x很大时，小于x的素数个数近似等于

$\frac{\pi (x)}{x/\ln (x)}=1$

$\ln (x)$是以$e=2.718\cdots$为底的x的对数，成为x的自然对数。
π ( x ) = # { 素 数 p : p ≤ x } \pi(x)=\#\{素数p:p\le x \} π(x)=#{素数p:p≤x}素数的计数函数。（与圆周率无关。）