3.4　完美数

正如3.1节所说，古希腊人对数字的各种属性都很感兴趣。他们所提出的一个概念叫做完美数（perfect number），也就是其值等于所有真因子 之和的数。古希腊人知道下面这四个完美数：

有人认为完美数与自然及宇宙的结构有关。例如28这个完美数就与月亮绕地球旋转所经历的天数相近。

古希腊人真正想要知道的是有没有一种方式能够推测出其他的完美数。他们对已知的完美数做了素因子分解（prime factorization）：

并且观察到下列规律：

如果一个数可以写成上述形式，而且其中的第二项是素数，那么这个数就是完美数。欧几里得在公元300年左右证明了这个结论。

定理3.3 （《几何原本》第9卷第36号命题）

我们知道，当n大于0时：

上面这个式子可以通过幂差公式推导出来：

2 ⁿ -1=（2-1）（2 ^n-1 +2 ^n-2 +…+2+1）

或者你也可以这么想：用二进制数的形式来对2的幂进行连加。

习题3.5 通过等式（3.1）来证明：如果2 ⁿ -1是素数，那么n就是素数。

我们现在要按照德国著名数学家高斯（Carl Gauss）的办法来证明定理3.3。（本书第8章还会谈到高斯。）首先，把定理中的n写为n-1，并利用等式（3.5），把其中的两个 都替换为2 ^{n-1，于是定理就变成：}

如果2 ⁿ -1是素数，那么2 ^n-1 （2 ⁿ -1）就是完美数。

接下来定义一个函数σ（n），用它来表示n的所有因子之和。如果n的素数分解形式是：

那么，我们就把指数a _i 的每一种组合方式都列出来，并将其运用到相应的素因子上面，这样就可以得到n的全部因子。比方说，24的素数分解形式是2 ³ ·3 ¹ ，因此，其各个因子是{2 ⁰ ·3 ⁰ ，2 ¹ ·3 ⁰ ，2 ² ·3 ⁰ ，2 ³ ·3 ⁰ ，2 ⁰ ·3 ¹ ，2 ¹ ·3 ¹ ，2 ² ·3 ¹ ，2 ³ ·3 ¹ }。于是，这些因子之和就是：

2 ⁰ 3 ⁰ +2 ¹ 3 ⁰ +2 ² 3 ⁰ +2 ³ 3 ⁰ +2 ⁰ 3 ¹ +2 ¹ 3 ¹ +2 ² 3 ¹ +2 ³ 3 ¹ =（2 ⁰ +2 ¹ +2 ² +2 ³ ）（3 ⁰ +3 ¹ ）

因此，我们可以把任何一个数n的所有因子之和，写为连乘的形式：

在推导最后一步的时候，我们运用幂差公式，对分子进行了化简。（本例中的整数变量p，指的是素数，在本书接下来的各种证明过程中，除非另做说明，否则也将遵循这一惯例。）

习题3.6 证明：如果n与m互质（coprime，也就是没有共同的素因子），那么

（这个命题的另外一种表述方式为：σ是积性函数（multiplicative function）。）

现在我们定义这样一个名为真因子总和（aliquot sum）的函数α（n）：

换句话说，n的真因子总和就是其所有的真因子之和，也就是除去n自身之外的那些因子之和。

现在，我们已经做好了证明定理3.3所需的准备工作，这条定理也称为《几何原本》第9卷第36号命题：

如果2 ⁿ -1是素数，那么2 ^n-1 （2 ⁿ -1）就是完美数。

证明　设q=2 ^n-1 （2 ⁿ -1）。我们已经知道，2是个素数，而根据该定理所列出的条件，2 ⁿ -1也是个素数，因此，2 ^n-1 （2 ⁿ -1）就可以视为一种 形式的素数分解，其中m=2，p ₁ =2，a ₁ =n-1，p ₂ =2n-1，a ₂ =1。套用因子求和公式（参见等式（3.6）），可以得出：

而根据α函数的定义，我们可以得出：

因此，q是完美数。

我们可以把欧几里得的这条定理解读为：如果某数具备特定的形式，那它就是完美数。值得思考的地方在于，该定理的逆命题是否成立：如果某数是完美数，那么它是否必定具备2 ^n-1 （2 ⁿ -1）的形式？欧拉（Euler）在18世纪已经证明，偶完美数必定具备该形式，然而他并没有证明那个更加通用的命题，也就是：每一个完美数都具备这样的形式。这个问题直到今天也没有解决，我们无法确定奇完美数是否存在。

习题3.7 证明每一个偶完美数都是三角形数。

习题3.8 证明偶完美数每个因子的倒数之和，必定是2。例如6是偶完美数，对它的4个因子分别取倒数，并将其相加，就得到： 1XD8RM9z2VnbebrPmv232d55GPtkVSk8/BOwZ5b9uaGkNBqmxl2cDO0JOuv54+73