素数的无穷大——欧几里得的证明
文章目录
- 一、说明
- 二、欧几里得证据
- 三、哥德巴赫对素数无穷性的证明(1730)
- 四、Fürstenberg 对素数无穷性的证明(1955)
- 五、库默尔对欧几里得证明的重述
一、说明
众所周知,素数是无限多的。然而,两千多年前的情况并非如此。当时,数学还处于非常初级的阶段,尚未得到发展。自然,质数是一个有吸引力的探索前沿。要处理素数,首先要了解它最基本的性质——有多少个素数?
欧几里得可能是第一个证明有无穷多个素数的人。即使在 2000 年后,它仍然是一个优秀的推理模型。下面我们遵循 Ribenboim 对欧几里得证明的陈述 [ Ribenboim95 ,第 3 页],请参阅“有无穷多个素数”页面以了解其他几个证明。
二、欧几里得证据
即使在今天,欧几里得的证明仍然是数学推理和美的极好展示。他的证明首先考虑了任何有限的素数集:
{ p 1 , p 2 , p 3 , . . . p n } \{p_1,p_2,p_3,...p_n \} {p1,p2,p3,...pn}
然后,欧几里得的方法涉及证明至少存在一个素数,使其不属于该集合。我们设 P 是该集合成员的乘积,即:
P
=
p
1
∗
p
2
∗
p
3
,
.
.
.
∗
p
n
P=p_1*p_2*p_3,...*p_n
P=p1∗p2∗p3,...∗pn
我们定义 Q = P + 1。
接下来,我们继续通过穷竭来完成这个证明。需要注意的是,这个证明的推论是算术的基本定理:每个大于 1 的数字都可以表示为质因数的唯一乘积。
欧几里得利用了这个定理,产生了两种情况:
- Q 是素数。
- Q 是复合的(不是素数)。
他首先单独考虑每个案例。
-
在 Q 是素数的情况下,Q 不属于我们开始的有限素数集(因为 Q > P),因此,有一个素数不是该集合的成员, 因此,素数是无限的。
-
在 Q 是复合的情况下,Q 具有唯一的质因式分解,并且一些质数 r 除以 Q。如果这个质因数 r 属于我们开始的有限集合,那么它将除以 P,因为 P 是集合中素数的乘积。但 r 还将 Q = P + 1 除以构造。现在,如果 r 除以 Q 和 r 除以 P,那么它也必须除以两者之间的差值。也就是说,它还必须除以 1。由于没有素数除以 1,因此 r 是不属于该集合的素数。
在这两种情况下,素数都存在于有限集之外。这表明,对于每个有限的素数集,至少存在一个不在列表中的素数,从而证明了素数的无穷大。
欧几里得证明的变体
欧几里得证明的变体遵循类似的推理,但涉及阶乘的使用。数字 x 的阶乘,用 x! 表示,定义为所有小于或等于自身的自然数的乘积:
在这个版本的证明中,我们首先注意到 x! 可被从 2 到 x 的每个整数整除,包括 2 和 x。 因此,x! + 1 不能被任何小于 x 的正整数整除。因此,x! + 1 要么是素数,要么可以被大于 x 的素数整除。 在任何情况下,对于每个正整数 x,都有一个大于 x 的素数。有了这个,我们可以得出结论,有无限数量的素数。
欧几里得可能是第一个证明有无穷多个素数的人,但他的证明后来被许多人效仿。下面我们给出哥德巴赫使用费马数(写于 1730 年 7 月写给欧拉的一封信中)的巧妙证明,以及一些变体。请参阅“有无穷多个素数”页面,了解更多证明。
三、哥德巴赫对素数无穷性的证明(1730)
https://t5k.org/notes/proofs/infinite/goldbach.html
首先我们需要一个引理。
引理。
费马数
F
n
=
2
2
n
+
1
F_n =2^{2^n}+1
Fn=22n+1是两两互质的。
证明。
通过归纳法很容易证明
F
m
−
2
=
F
0.
F
1.....
F
m
−
1
F m -2 = F 0 . F 1 . ... . F m -1
Fm−2=F0.F1.....Fm−1。这意味着如果d能整除 F n和 F m(其中n < m),那么d也能整除 F m -2 ;因此d能整除 2 。但每个费马数都是奇数,因此d为 1。
现在我们可以证明这个定理:
定理。
素数有无数个。
证明。
为每个费马数 F n选取一个素数因子 p n。根据引理,我们知道这些素数都是不同的,表明素数有无穷多个。
请注意,任何两两互质的序列都可以用于此证明。这种类型的序列很容易构造。例如,选择互质整数a和b,然后按如下方式定义 a n 。
a 1 = a ,
a 2 =a 1 + b ,
a 3 =a 1 a 2 + b ,
a 4 =a 1 a 2 a 3 + b ,
…
这包括费马数(a =1,b =2)和西尔维斯特数列(a =1,b =2):
a 1 =2 且 a n +1 = a n 2 -a n +1。
事实上,证明实际上只需要一个具有成对互质的子序列的序列,例如梅森数。
四、Fürstenberg 对素数无穷性的证明(1955)
https://t5k.org/notes/proofs/infinite/topproof.html
克里斯·考德威尔
欧几里得可能是第一个证明有无穷多个素数的人。此后,人们给出了许多其他证明。也许最奇怪的是 Fürstenberg [ Fürstenberg55 ] 给出的以下拓扑证明。请参阅“有无穷多个素数”页面,了解其他几个证明。
[定理] 素数有无数个。
[证明]
以等差数列(从-无穷到+无穷)为基础,在整数集上定义一个拓扑。很容易验证这会产生一个拓扑空间。对于每个素数p ,设A p 由p的所有倍数组成。A p是闭集,因为它的补集是所有其他差值为p 的等差数列的并集。现设A为数列A p 的并集 。如果素数的数量是有限的,则A是闭集的有限并集,因此是封闭的。但除 -1 和 1 之外的所有整数都是某个素数的倍数,因此A的补集为 {-1, 1},显然不是开集。这表明A不是有限并集,且素数有无穷多个。
五、库默尔对欧几里得证明的重述
克里斯·考德威尔
欧几里得可能是第一个证明有无穷多个素数的人。即使在 2000 年后,它仍然是一个优秀的推理模型。库默尔给出了这个证明的更优雅的版本,我们在下面给出(遵循 Ribenboim [ Ribenboim95 ,第 4 页])。请参阅“有无穷多个素数”页面,了解其他几个证明。
定理。
素数有无数个。
证明。
假设存在有限多个素数p 1 < p 2 < … < p r。设N = p 1 . p 2 . … . p r。整数N -1 是素数的乘积,它与N有一个共同的素数因子p i;因此,p i能整除N - ( N -1) =1,这是荒谬的!∎
收藏