梅森素数与完全数
完全数是等于其真因数之和的数。比如6和28均为完全数。
欧几里得《几何原本》第9卷的命题36给出了求某些完全数的方法:
15.1 欧几里得完全数公式: 如果 2p−1 2 p − 1 是素数,则 2p−1(2p−1) 2 p − 1 ( 2 p − 1 ) 是完全数
证明:质因子分解一下,由等比公式易证。
自然要问的是,由15.1给出的求解完全数公式的方法,是否能表示所有完全数呢?
2000年后的欧拉给出了一个定理:
15.2 欧拉完全数定理:如果n是偶完全数,则 n n 一定是 的形式,其中
2p−1 2 p − 1 是梅森素数。
在证明15.2之前,我们先来讨论一个函数
σ
σ
,
如果 p p 是素数,则,更一般地,素数幂 pk p k 的因数是 1,p,p2,...,pk 1 , p , p 2 , . . . , p k ,所以
那么 σ σ 函数是否像欧拉函数那样满足 积性呢?
答案是肯定的!证明略。
显然, σ σ 函数可以和完全数产生联系,如果 σ(n)=2n σ ( n ) = 2 n ,则n恰好是完全数。
下面证明15.2,欧拉完全数定理。
证明 假设n是偶完全数,n是偶数则说明可将它分解成 n=2km,k≥1且m是odd n = 2 k m , k ≥ 1 且 m 是 o d d
则 σ(n)=σ(2km)=σ(2k)σ(m)=(2k+1−1)σ(m) σ ( n ) = σ ( 2 k m ) = σ ( 2 k ) σ ( m ) = ( 2 k + 1 − 1 ) σ ( m )
又n是完全数,则 σ(n)=2n=2k+1m σ ( n ) = 2 n = 2 k + 1 m
因此可以得到
由上式可知,由于 (2k+1−1) ( 2 k + 1 − 1 ) 一定是奇数,所以 2k+1|σ(m) 2 k + 1 | σ ( m ) ,于是设 σ(m)=c∗2k+1 σ ( m ) = c ∗ 2 k + 1 ,带入上式有:
现在我们有两个式子, m=(2k+1−1)∗c m = ( 2 k + 1 − 1 ) ∗ c 和 σ(m)=c∗2k+1 σ ( m ) = c ∗ 2 k + 1
实际上这里c只能等于1,下面我们来证明 c=1 c = 1 。
假设
c>1
c
>
1
,则
m=(2k+1−1)∗c
m
=
(
2
k
+
1
−
1
)
∗
c
至少被不同的数
1,c,m
1
,
c
,
m
所整除,因此有
显然,这是错误的,因此 c=1 c = 1 ,所以 m=2k+1−1 m = 2 k + 1 − 1 , σ(m)=2k+1=m+1 σ ( m ) = 2 k + 1 = m + 1 ,所以m是素数。
现在我们已经证明了,如果n是偶完全数,则
由于 2k+1−1 2 k + 1 − 1 是素数,则 (k+1) ( k + 1 ) 一定是素数,(由几何级数展开可证)。令 k+1=p k + 1 = p
则 n=2p−1(2p−1) n = 2 p − 1 ( 2 p − 1 ) ,其中 2p−1 2 p − 1 是梅森素数。
欧拉完全数定理证毕。
奇完全数难题 :存在奇完全数吗?
仍是未解之谜,,,