完美数

        按照毕达哥拉斯的说法，数的完满取决于它的真因数 (即除了自身以外的约数)。例如:12的因数是 1，2，3，4 和 6。当一个数的各因数之和大于该数本身时，该数称为“盈”数。于是 12 是一个盈数，因为它的因数加起来等于 16。另一方面，当一个数的因数之和小于该数本身时，该数称为“亏”数。所以 10 是一个亏数，因为它的因数 (1，2 和 5) 加起来只等于 8 。

        最有意义和最少见的数是那些其因数之和恰好等于其本身的数，这些数就是完满数（按照百度百科定义，完美数（perfect number），又称完全数或完备数）。数字 6 有因数 1，2 和 3，结果它是一个完满数，因为 1 + 2 + 3 = 6。下一个完满数是 28，因为 1 + 2 + 4 + 7 + 14 = 28。 

        毕达哥拉斯因完满数而欣喜，但他并不满足于只是收集这些特殊的数;相反，他想要发现它们更深层的意义。其中之一，他察觉到完满性与“倍 2 性”有密切关系。数 4 (2 × 2)，8(2×2×2)，16 (2×2×2×2)等等称为2的幂，可写成2n 。所有这些 2 的幂刚巧不能成为完满数，因为它们的因数之和总是比它们本身小 1。它们只是微亏:

                    22 =2×2               =4，  因数1，2 和=3，
                    23 =2×2×2           =8，  因数1，2，4 和=7，
                    24 =2×2×2×2       =16， 因数1，2，4，8 和=15，
                    25 =2×2×2×2×2   =32， 因数1，2，4，8，16 和=31。

        两个世纪之后，欧几里得 (Euclid) 使毕达哥拉斯发现的倍 2 性和完满性之间的联系更臻精美。欧几里得发现完满数总是两个数的乘积，其中一个数是 2 的幂，而另一个数则是下一个 2 的幂减去 1。 这就是说:

                    6 =21 ×(22 −1)，
                    28 =22 ×(23 −1)，
                    496 =24 ×(25 −1)，
                    8128 =26 ×(27 −1)。

        当代的计算机继续搜索完满数，发现了像 2216090 × (2216091 − 1) 这样巨大的数的例子，这是一个 130000 位以上的数，它仍符合欧几里得法则。 

        毕达哥拉斯为完满数具有的丰富的模式和性质所吸引，他赞赏它们的精妙。初看之下，完满性是相当容易掌握的概念，然而古希腊人并未能探知这个问题中的某些基本要点。例如，虽然有许多数它们的因数之和只比该数本身小 1，即只是微亏，但似乎不存在微盈的数。令人沮丧的是，虽然他们没有发现微盈的数，却不能证明这种数不存在。只知道表面上没有微盈的数是没有任何实际价值的;但尽管如此，它却是一个可能启示这种数的性质的问题，因而值得研究。这样的谜引起了毕达哥拉斯兄弟会的兴趣，但两千五百年后数学家们仍然未能证明微盈数不存在。 

        完美数特性总结：

（1）所有的完全数都是 三角形数，总等于一系列相邻的计数数之和。例如：6=1+2+3；28=1+2+3+...+6+7；496=1+2+3+...+30+31；8128=1+2+3…+126+127。

（2）所有的完全数的倒数都是调和数。例如：1/1+1/2+1/3+1/6=2；1/1+1/2+1/4+1/7+1/14+1/28=2；1/1+1/2+1/4+1/8+1/16+1/31+1/62+1/124+1/248+1/496=2。

（3）可以表示成连续奇 立方数之和。除6以外的完全数，都可以表示成连续奇立方数之和，并规律式增加。例如：28=1³+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+……+125^3+127^3。

（4）都可以表达为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^8+2^9+2^10+2^11+2^12；33550336=2^12+2^13+……+2^24。

（5）完全数都是以6或8结尾。如果以8结尾，那么就肯定是以28结尾。（科学家仍未发现由其他数字结尾的完全数。）

（6）各位数字辗转式相加个位数是1。除6以外的完全数，把它的各位数字相加，直到变成个位数，那么这个个位数一定是1。例如：28：2+8=10，1+0=1；496：4+9+6=19，1+9=10，1+0=1；8128：8+1+2+8=19，1+9=10，1+0=1；33550336:3+3+5+5+0+3+6=28,2+8=10,1+0=1。

（7）它们被3除余1、被9除余1、1/2被27除余1。除6以外的完全数，它们被3除余1，9除余1，还有1/2被27除余1。28/3 商9余1，28/9 商3余1，28/27 商1余1。496/3 商165余1，496/9 商55余1。8128/3 商2709余1，8128/9 商903余1，8128/27 商301余1。

        截止到2013年2月6日为止，一共找到了48个完全数。根据欧几里得法则，完全数应该都是偶数，这个有数学证明吗？会不会有奇完全数存在？

                                              ————部分摘抄于《费马大定理——一个困惑了世间智者358年的迷》