完全数

完全数（Perfect number），又称完美数或完备数，是一些特殊的自然数：它所有的真因子（即除了自身以外的约数）的和，恰好等于它本身，完全数不可能是楔形数、平方数、佩尔数或费波那契数。

以古氏积木演示完全数6

例如：第一个完全数是6，它有约数1、2、3、6，除去它本身6外，其余3个数相加，${{{1}+{2}}+{3}}=6$，恰好等于本身。第二个完全数是28，它有约数1、2、4、7、14、28，除去它本身28外，其余5个数相加，${{{{{1}+{2}}+{4}}+{7}}+{14}}=28$，也恰好等于本身。后面的数是496、8128。

十进制的5位数到7位数、9位数、11位数、13到18位数等位数都没有完全数，它们不是亏数就是盈数。

完全数的发现

古希腊数学家欧几里得是通过$2^{n-1}\times (2^{n}-1)$ 的表达式发现前四个完全数的。

当$n=2:$${{{2}^{1}}\times {\left({{{2}^{2}}-{1}}\right)}}=6$

当$n=3:$${{{2}^{2}}\times {\left({{{2}^{3}}-{1}}\right)}}=28$

当$n=5:$${{{2}^{4}}\times {\left({{{2}^{5}}-{1}}\right)}}=496$

当$n=7:$${{{2}^{6}}\times {\left({{{2}^{7}}-{1}}\right)}}=8128$

一个偶数是完美数，当且仅当它具有如下形式：$2^{n-1}(2^{n}-1)$，其中$2^{n}-1$是素数，此事实的充分性由欧几里得证明，而必要性则由欧拉所证明。

比如，上面的$6$和$28$对应着$n=2$和$3$的情况。我们只要找到了一个形如$2^{n}-1$的素数（即梅森素数），也就知道了一个偶完美数。

尽管没有发现奇完全数，但是当代数学家奥斯丁·欧尔证明，若有奇完全数，则其形式必然是$12p+1$或$36p+9$的形式，其中$p$是素数。

首十个完全数是（ A000396）：

1. 6（1位）
2. 28（2位）
3. 496（3位）
4. 8128（4位）
5. 33550336（8位）
6. 8589869056（10位）
7. 137438691328（12位）
8. 2305843008139952128（19位）
9. 2658455991569831744654692615953842176（37位）
10. 191561942608236107294793378084303638130997321548169216（54位）

历史

古代数学家根据当时已知的四个完全数做了很多假设，大部分都是错误的。其中的一个假设是：因为 2、3、5、7 恰好是头 4 个素数，第 5 个完全数应该是第 5 个素数，即当 $n=11$ 的时候，可是 $2^{11}-1=23\times 89$ 并不是素数。因此 $n=11$ 不是完全数。另外两个错误假设是：

• 头四个完全数分别是 1、2、3、4 位数，第五个应该是 5 位数。
• 完全数应该是交替以 6 或 8 结尾。

事实上，第五个完全数 $33550336=2^{12}(2^{13}-1)$ 是 $8$ 位数。

对于第二个假设，第五个完全数确实是以 $6$ 结尾，但是第六个完全数 $8589869056$ 仍是以 $6$ 结尾，应该说完全数只有以 $6$ 和 $8$ 结尾才对。

对完全数的研究，至少已经有两千多年的历史。《几何原本》中就提出了寻求某种类型完全数的问题。

每一个梅森素数给出一个偶完全数；反之，每个偶完全数给出一个梅森素数，这结果称为欧几里得－欧拉定理。到 2018 年 12 月为止，共发现了 51 个完全数，且都是偶数。最大的已知完全数为 $2^{82589932}\times (2^{82589933}-1)$ 共有 $49724095$ 位数。

性质

以下是目前已发现的完全数共有的性质。

• 偶完全数都是以6或28结尾，奇完全数的结尾可以是任意奇数。
• 除了6以外的偶完全数，把它的各位数字相加，直到变成个位数，那么这个个位数一定是1：

$28$ → $2+8=10$ → $1+0=1$
$496$ → $4+9+6=19$ → $1+9=10$ → $1+0=1$

• 所有的偶完全数都可以表达为2的一些连续正整数次幂之和，从$2^{p-1}$到$2^{2p-2}$：

$6=2^{1}+2^{2}$
$28=2^{2}+2^{3}+2^{4}$
$496=2^{4}+2^{5}+2^{6}+2^{7}+2^{8}$
$8128=2^{6}+2^{7}+...+2^{12}$

• 每个偶完全数都可以写成连续自然数之和：

$6=1+2+3$
$28=1+2+3+4+5+6+7$
$496=1+2+3+...+30+31$
$8128=1+2+3+...+126+127$

• 除6以外的偶完全数，还可以表示成连续奇立方数之和（被加的项共有${\sqrt {2^{p-1}}}$)：

$28=1^{3}+3^{3}$
$496=1^{3}+3^{3}+5^{3}+7^{3}$
$8128=1^{3}+3^{3}+5^{3}+...+15^{3}$
$33550336=1^{3}+3^{3}+5^{3}+...+127^{3}$

• 每个完全数的所有约数（包括本身）的倒数之和，都等于2：（这可以用通分证得。因此每个完全数都是欧尔调和数。）

${\frac {1}{1}}+{\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{6}}={\frac {6+3+2+1}{6}}=2$
${\frac {1}{1}}+{\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{7}}+{\frac {1}{14}}+{\frac {1}{28}}={\frac {28+14+7+4+2+1}{28}}=2$

• 它们的二进制表达式也很有趣：（因为偶完全数形式均如$2^{n-1}(2^{n}-1)$）

$(6)_{10}=(110)_{2}$
$(28)_{10}=(11100)_{2}$
$(496)_{10}=(111110000)_{2}$
$(8128)_{10}=(1111111000000)_{2}$
$(33550336)_{10}=(1111111111111000000000000)_{2}$
$(8589869056)_{10}=(111111111111111110000000000000000)_{2}$
$(137438691328)_{10}=(1111111111111111111000000000000000000)_{2}$

奇完全数

用计算机已经证实：在10¹⁵⁰⁰以下，没有奇完全数；至今还证明了，如果奇完全数存在，则它至少包含11个不同素数（包含一个不少于7位数的素因子）但不包含3，亦不会是立方数。一般猜测：奇完全数是不存在的。完全数的个数是否为无限？至今都不能回答。

Carl Pomerance提出了一个想法说明奇完全数不太可能存在。

奇完全数的部分条件

• N > 10¹⁵⁰⁰，2012年公布的结果。
• N是以下形式：

$N=q^{\alpha }p_{1}^{2e_{1}}\ldots p_{k}^{2e_{k}},$

其中：

• q，p₁，…，p_k是不同的素数（Euler）。
• q ≡ α ≡ 1 (mod 4)（Euler）。
• N的最小素因子必须小于（2k + 8） / 3（Grün 1952）。
• $e_{1}$≡$e_{2}$...≡$e_{k}$ ≡ 1（mod 3）的关系不能满足（McDaniel 1970）。
• 要么q^α > 10⁶²，要么对于某个j有$p_{j}^{2e_{j}}$ > 10⁶²（Cohen 1987）。
• $N<2^{4^{k+1}}$（Nielsen 2003）。

• N不能被105整除。
• N的最大素因子必须大于10⁸（Takeshi Goto和Yasuo Ohno，2006）。
• N的第二大素因子必须大于10⁴（Iannucci 1999，2000）。
• N的第三大素因子必须大于100。
• N的第四大素因子必须大于10。
• N至少要有75个素因子，其中至少9个是不同的。如果3不是素因子之一，则至少要有12个不同的素因子。（Nielsen 2006；Kevin Hare 2005）。

• 如果对于所有的i，都有$e_{i}$ ≤ 2，那么：
  • N的最小素因子必须大于739（Cohen 1987）。
  • α ≡ 1（mod 12）或α ≡ 9 (mod 12)（McDaniel 1970）。

Touchard定理

这个定理说明若存在奇完全数，其形式必如$12m+1$或$36q+9$。最初的证明在1953年由Jacques Touchard首先证明，1951年van der Pol用非线性偏微分方程得出证明。Judy A. Holdener在《美国数学月刊》第109卷第7期刊证了一个初等的证明。

证明会使用这四个结果：（下面的n,k,j,m,q均为正整数）

• 欧拉证明了奇完全数的形式必如$4j+1$。
• $\sigma (n)$表示$n$的正约数之和。完全数的定义即为$2n=\sigma (n)$。
  $\sigma (n)$为积性函数
• 引理（甲）：若$n=6k-1$（$k$是正整数），则$n$非完全数。
• 引理（乙）：若$n=4k-1$（$k$是正整数），则$n$非完全数。

引理的证明（甲）：

使用反证法，设$n$为完全数，且$n\equiv -1{\pmod {6}}$。

$n\equiv -1{\pmod {3}}$。因为3的二次剩余只有0,1，故$n$非平方数，因此其正约数个数为偶数。

$n$有正约数$d$，则可得：

$d\equiv 1{\pmod {3}}$且$n/d\equiv -1{\pmod {3}}$；或

$d\equiv -1{\pmod {3}}$且$n/d\equiv 1{\pmod {3}}$。

因此，$(n/d+d)\equiv 0{\pmod {3}}$。故$\sigma (n)=\sum _{d<{\sqrt {n}}}d+n/d\equiv 0{\pmod {3}}$。

但$2n\equiv 2(-1)\equiv 1{\pmod {3}}$，矛盾。

故$n$的形式只可能为$6k+1$或$6k+3$。

引理的证明（乙）：

使用反证法，设$n$为完全数，且$n\equiv -1{\pmod {4}}$。

$n\equiv -1{\pmod {4}}$。因为4的二次剩余只有0,1，故$n$非平方数，因此其正约数个数为偶数。

$n$有正约数$d$，则可得：

$d\equiv 1{\pmod {4}}$且$n/d\equiv -1{\pmod {4}}$；或

$d\equiv -1{\pmod {4}}$且$n/d\equiv 1{\pmod {4}}$。

因此，$(n/d+d)\equiv 0{\pmod {4}}$。故$\sigma (n)=\sum _{d<{\sqrt {n}}}d+n/d\equiv 0{\pmod {4}}$。

但$2n\equiv 2(-1)\equiv 2{\pmod {4}}$，矛盾。

故$n$的形式只可能为$4k+1$。

若$n=6k+1$，根据欧拉的结果，$n=4j+1$，综合两者，得$n=12m+1$。

若$n=6k+3$，$n=4j+1$，得$n=12m+9=3(4m+3)$。若$m$非3的倍数，3和$4m+3$互素。

因为$\sigma (n)$为积性函数，可得$\sigma (n)=\sigma (3)\sigma (4m+3)=4\sigma (4m+3)\equiv 0{\pmod {4}}$。

但$2n=2(4j+1)\equiv 2{\pmod {4}}$，出现了矛盾。故知$m$是3的倍数。代入$m=3q$，可得$n=36q+9$。

盈完全数与亏完全数

盈完全数的定义为：自己的约数（不含自己）的和减去自己得到的数可以整除自己，前几个盈完全数为：

12、18、20、24、40、56、88、104、120、196、224、234、368、464、650、672、992、1504、... （OEIS中的数列A153501）

亏完全数的定义为：自己减去自己的约数（不含自己）的和得到的数可以整除自己，前几个亏完全数为：

1、2、4、8、10、16、32、44、64、128、136、152、184、256、512、752、884、1024、2048、2144、2272、... （OEIS中的数列A271816）

盈完全数是盈数的子集，亏完全数是亏数的子集。

参考

• Odd Perfect Numbers, Gagan Tara Nanda

参见

• 高合成数
• 婚约数
• 亲和数
• 盈数
• 亏数
• 梅森素数
• 半完全数
• 佩服数
• 超完全数

外部链接

• Hazewinkel, Michiel (编), Perfect number, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 
• David Moews: Perfect, amicable and sociable numbers
• Perfect numbers – History and Theory
• 埃里克·韦斯坦因. Perfect Number. MathWorld. 
• Sloane, N.J.A. (编). Sequence A000396 (Perfect numbers). The On-Line Encyclopedia of Integer Sequences. OEIS Foundation. 
• OddPerfect.org A projected distributed computing project to search for odd perfect numbers.
• Great Internet Mersenne Prime Search
• Perfect Numbers, math forum at Drexel.
• Grimes, James. 8128: Perfect Numbers. Numberphile. Brady Haran. [2015-01-10]. （原始内容存档于2013-05-31）.