素数的计数

1 素数定理

  我们已经知道有无穷多个素数，也知道有无穷多个合数。那到底哪个数多呢？我们可以通过计数函数来比较它们。

  素数的计数函数被称为$\pi (x)$，这里的$\pi$是“prime”的缩写。它计数不超过$x$的素数的数量，即：
π ( x ) = # { 素 数 p : p ≤ x } \pi(x) = \#\{素数p:p\le x\} π(x)=#{素数p:p≤x}
例如，$\pi (10)=4$，下表给出了$\pi (x)$与$\pi (x)/x$的值

$x$	10	25	50	100	200	500	1000	5000
$\pi (x)$	4	9	15	25	46	95	168	669
$\pi (x)/x$	0.400	0.360	0.300	0.250	0.230	0.190	0.168	0.134

看起来，$x$越大，$\pi (x)/x$越小。假设这种模式继续持续下去，我们就有理由说“大多数整数不是素数”。这就进一步提出$\pi (x)/x$以怎样的速度减小的问题。下述定理给出了答案，它是19世纪数论取得的最高成就之一。

  定理（素数定理）：当$x$很大时，小于$x$的素数个数近似等于$x/\ln (x)$，换句话说：
$$\underset{x\to +\infty }{\lim }\frac{\pi (x)}{x/\ln (x)}=1$$

  下表比较了一下这个值：

$x$	$10$	$100$	$1000$	$10^4$	$10^6$	$10^9$
$\pi (x)$	4	25	168	1229	78498	50847534
$x/\ln (x)$	4.34	21.71	144.76	1085.74	72382.41	48254942.43
$\pi (x)/(x\ln (x))$	0.921	1.151	1.161	1.132	1.084	1.054

  大约在1800年，通过检查类似的表，高斯与勒让德独立地提出素数定理成立的猜想。1896年，阿达马和Ch. de la vallee Poussin各自证明了素数定理。证明需要用到复分析方法。令人惊讶的是，有关整数的定理的证明不得不使用微积分作为工具，解析数论这一数学分支专用微积分方法证明数论定理。

2 哥德巴赫猜想

  每个偶数$n\ge 4$可表成两个素数之和。

  哥德巴赫在1742年6月7日给欧拉的一封信中提出这个猜想。不难验证哥德巴赫猜想对前几个偶数成立。现在使用计算机，人们已经对$2\ast 10^{10}$以下的偶数验证了哥德巴赫猜想。数学家甚至能够证明与哥德巴赫猜想相似的结论。1937年，维诺格拉朵夫证明了每个（充分大的）奇数$n$可表成三个素数之和。1966年陈景润证明了每个（充分大的）偶数可表成$p+a$的形式，其中$p$是素数，$a$是素数或两个素数的乘积。

3 孪生素数猜想

  存在无穷多个素数$p$使得$p+2$也是素数。

  素数很不规则，相邻两个素数之间常常会有很大间隙。似乎有相当多的场合使素数$p$紧随另一个素数$p+2$。这些数对被称为孪生素数，例如：
$$(3,5),(5,7),(11,13),(17,19)\cdots$$
  人们用计算机查找大的孪生素数，其中包括像：
$$(242206083\ast 2^{38880}-1,242206083\ast 2^{38880}+1)$$
组成的巨大孪生素数对。1966年，陈景润证明存在无穷多个素数$p$使得$p+2$是素数或两个素数的乘积。

4 $N^2+1$猜想

  存在无穷多个形如$N^2+1$的素数。

  如果$N$是奇数，则$N^2+1$是偶数，所以它不可能是素数，除非$N=1$，然而，如果$N$是偶数，则$N^2+1$似乎经常是素数。$N^2+1$猜想说明这种情况无穷次发生。前几个这种形式的素数是：
$$2^2+1=5,4^2+1=17,6^2+1=37,\cdots$$

  目前已知的最好结果由Hendrik Iwaniec于1978年证明。他证明存在无穷多个$N$使得$N^2+1$是素数或两个素数的乘积。

  尽管没有人知道是否存在无穷多个孪生素数或无穷多个形如$N^2+1$的素数，但是数学家们猜测它们的计数函数很像。设：
T ( x ) = # { 使 得 p + 2 也 是 素 数 的 素 数 p ≤ x } S ( x ) = # { 使 得 p 的 形 式 为 N 2 + 1 的 素 数 p ≤ x } T(x) =\#\{使得p+2也是素数的素数p\le x\} \\ S(x) =\#\{使得p的形式为N^2+1的素数p\le x\} T(x)=#{使得p+2也是素数的素数p≤x}S(x)=#{使得p的形式为N2+1的素数p≤x}
人们猜测：
$$\begin{gathered} \underset{x\to +\infty }{\lim }\frac{T(x)}{x/(\ln (x){)}^2}=C \\ \underset{x\to +\infty }{\lim }\frac{S(x)}{\sqrt{x}/\ln (x)}=C^{\prime } \end{gathered}$$

5 参考资料

《数论概论》第四版 P60-P62