数论概论读书笔记 15.梅森素数与完全数

梅森素数与完全数

完全数是等于其真因数之和的数。比如6和28均为完全数。

欧几里得《几何原本》第9卷的命题36给出了求某些完全数的方法：

15.1 欧几里得完全数公式： 如果$2^p-1$是素数，则$2^{p-1}(2^p-1)$是完全数

证明：质因子分解一下，由等比公式易证。

自然要问的是，由15.1给出的求解完全数公式的方法，是否能表示所有完全数呢？

2000年后的欧拉给出了一个定理：

15.2 欧拉完全数定理：如果n是偶完全数，则$n$一定是$2^{p-1}(2^p-1)$ 的形式，其中

$2^p-1$是梅森素数。

在证明15.2之前，我们先来讨论一个函数$\sigma$，

$$\sigma(n)=n的所有因数之和（包括1和n)$$
如果 $p$是素数，则$\sigma(p)=p+1$，更一般地，素数幂 $p^k$的因数是 $1,p,p^2,...,p^k$,所以
$$\sigma(p^k)=1+p+p^2+...+p^k=\frac{p^{k+1}-1}{p-1}$$
那么 $\sigma$函数是否像欧拉函数那样满足 积性呢？

答案是肯定的！证明略。

显然，$\sigma$函数可以和完全数产生联系，如果$\sigma(n)=2n$，则n恰好是完全数。

下面证明15.2，欧拉完全数定理。

证明 假设n是偶完全数，n是偶数则说明可将它分解成$n=2^km,\quad k\ge 1 且m是odd$

则$\sigma(n)=\sigma(2^km)=\sigma(2^k)\sigma(m)=(2^{k+1}-1)\sigma(m)$

又n是完全数，则$\sigma(n)=2n=2^{k+1}m$

因此可以得到

$$2^{k+1}m=(2^{k+1}-1)\sigma(m)$$
由上式可知，由于 $(2^{k+1}-1)$一定是奇数，所以 $2^{k+1}| \sigma(m)$ ,于是设 $\sigma(m)=c*2^{k+1}$ ,带入上式有：
$$2^{k+1}m=(2^{k+1}-1)*c*2^{k+1} \\ m=(2^{k+1}-1)*c$$
现在我们有两个式子， $m=(2^{k+1}-1)*c$ 和 $\sigma(m)=c*2^{k+1}$

实际上这里c只能等于1，下面我们来证明$c=1$。

假设$c>1$，则$m=(2^{k+1}-1)*c$至少被不同的数$1,c,m$所整除，因此有

$$\sigma(m)\ge 1+c+m=1+c+(2^{k+1}-1)*c$$
显然，这是错误的，因此 $c=1$，所以 $m=2^{k+1}-1$ ， $\sigma(m)=2^{k+1}=m+1$，所以m是素数。

现在我们已经证明了，如果n是偶完全数，则

$$n=2^k(2^{k+1}-1) ，其中(2^{k+1}-1)是素数$$
由于 $2^{k+1}-1$是素数，则 $(k+1)$一定是素数，（由几何级数展开可证）。令 $k+1=p$

则$n=2^{p-1}(2^p-1)$，其中$2^p-1$是梅森素数。

欧拉完全数定理证毕。

奇完全数难题 ：存在奇完全数吗？

仍是未解之谜，，，