素数是数的基本单元,就如同高楼大厦中的砖块一样。显然,素数有无穷多个是数论研究价值的前提。不然,数的研究就局限在有限个素数之内,那么很多数字就会失去了它们的魅力。就好比只有有限块砖头,就不能创建出建筑的奇迹一般。下面介绍两个关于素数无穷的经典证明,其中一个是欧几里得的证明,这是最原始、最简单的证法,相信很多读者已经学习过了,在此还是要提一下;另外一个是我在《怎样解题》中看到的,原作者是欧拉,也是一个非常美妙的证明。当然,本文强调的思想,论证过程可能会有一些不严谨的地方,请读者完善^_^

一、欧几里得证明

这个证明思想非常简单:若干个素数的积加上1后会产生新的素数因子。要是素数只有n个,那么我们就把它们相乘,然后加上1,得到的将会是什么呢?如果是一个素数,那么将会与素数只有n个矛盾;如果是一个合数,它除以原来的n个素数都不是整数,那么它就会拥有新的素数因子了,这还是和只有n个素数矛盾。不论哪种情况,只有素数有限,就会得出矛盾,于是素数必然是无限的。

二、欧拉经典

这个证明需要做一些准备工作。它的思想是:等比数列+生成函数。

首先,我们有公式$S(p)=1+p^{-1}+p^{-2}+...+p^{-n}=\frac{1-p^{-n-1}}{1-p^{-1}}$,这是等比数列的求和公式,当$|p| > 1,n\to \infty$时,$p^{-n-1} \to 0$我们有:
$$S(p)=\sum_{n=0}^{\infty} p^{-n}=\frac{1}{1-p^{-1}}=\frac{p}{p-1}$$

下面我们尝试将p遍取所有的素数,即2,3,5,7,...,并将各S(p)相乘,得到(记为K):
$$\begin{aligned}K=S(2)\cdot S(3)\cdot S(5)... \\ =(1+\frac{1}{2}+\frac{1}{2^2}+\frac{1}{2^3}...)(1+\frac{1}{3}+\frac{1}{3^2}+\frac{1}{3^3}...)(1+\frac{1}{5}+\frac{1}{5^2}+\frac{1}{5^3}...)... \\ =\frac{2}{2-1}\cdot \frac{3}{3-1}\cdot \frac{5}{5-1}\cdot ...\end{aligned}$$

K有什么特别的地方呢?注意到这里各素数的幂都相互乘了一次,这和自然数的产生是一样的:把若干个素数的幂相乘,就可以得到任意自然数。于是我们就可以(并非毫无根据地)写出:
$$K=1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+...$$

根据我们知道级数$1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+...$是发散的,所以素数不可能只有有限个,因为$K=\frac{2}{2-1}*\frac{3}{3-1}*\frac{5}{5-1}*...$,要是素数只有有限个的话,那么这个乘积必然也是有限的,这会导致矛盾。所以素数无限。

三、和素数定理的一丝联系

素数定理告诉我们,不大于n的素数的个数$\pi(n)$约等于$\frac{n}{ln n}$。

而由上面的讨论我们得到:
$$K=\frac{2}{2-1}\cdot \frac{3}{3-1}\cdot \frac{5}{5-1}\cdot ...=1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+...$$

而由微积分可以证明,第二个等号右边的部分,即$1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\frac{1}{5}+...+\frac{1}{n}$可以近似表示为$ ln n$,那么把式子倒过来,就可以得到:
$$\frac{2-1}{2}\cdot \frac{3-1}{3}\cdot \frac{5-1}{5}\cdot ...\approx \frac{1}{ln n}$$

而对于n很大时,不大于n的偶数显然约等于$n/2$,剩下的$n/2$个奇数中,3的倍数约等于$1/3$,所以非3倍数约等于$n*1/2*2/3$,剩下的数字中,非5倍数显然会约等于$n*1/2*2/3*4/5$,依此类推,得到
$$\pi(n) \approx n\cdot 1/2\cdot 2/3\cdot 4/5\cdot 6/7\cdot ... \approx \frac{n}{ln n}$$

当然,这个压根儿就不算什么证明,顶多是一个勉强而幸运地成功的推理。不过虽然经不起严格的逻辑的考验,但作为一个初等的思考的欣赏,也是相当有趣的^_^

转载到请包括本文地址:https://spaces.ac.cn/archives/1484

更详细的转载事宜请参考:《科学空间FAQ》

如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。

如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!

如果您需要引用本文,请参考:

苏剑林. (Oct. 02, 2011). 《[欧拉数学]素数有无穷多个的两个证明 》[Blog post]. Retrieved from https://spaces.ac.cn/archives/1484

@online{kexuefm-1484,
        title={[欧拉数学]素数有无穷多个的两个证明},
        author={苏剑林},
        year={2011},
        month={Oct},
        url={\url{https://spaces.ac.cn/archives/1484}},
}