趣味数学141：“完美无缺”节选.docVIP

《数论妙趣——数学女王的盛情款待》 第三章　完美无缺（节选） 所谓完全数，就是真因数之和等于它的数，要求把一切因数加起来，其中也包括1，但不包括此数本身。绝大多数自然数是“富裕数”或“亏损数”，即它们的一切真因数之和超过或达不到该数。例如24的真因数之和为1＋2＋3＋4＋6＋8＋12＝36，而15的真因数之和为1＋3＋5＝9，等等。6是最小的完全数，它的真因数之和1＋2＋3正好等于6。 完全数极其稀少，而且它们之间相隔得很开：在6之后相继出现的4个完全数是28、496、8128迄今未发现过奇完全数。 早在公元前，欧几里得就给出了偶完全数的公式： N＝2n-1(2n－1) 式中，n是正整数，并且必须能使第二个因子(2n－1)为质数。 研究发现，当n为合数时，2n－1恒为合数。因为如果n为偶合数2y，2n－1就是平方差，当然可以分解因式22y－1＝(2y＋1)(2y－1)；如果n为奇合数pq，2n－1也可以分解因式2pq－1＝(2p)q－1)[(2p)p－1＋(2p)p－2＋(2p)p－3＋…＋2p＋1]。所以n只能是质数。 于是，对偶完全数(2n-1)(2n－1)来说，存在的主要问题是：要找出一些n值，能使(2n－1)为质数。法国数学家梅森对此作过深入研究，因此，人们便把(2n－1)型的数称为“梅森数”。下面是前8个完全数2n-1(2n－1)、梅森数(2n－1)和n的对应关系： 　　n　　　　　　　完全数2n-1(2n－1)　　　 　梅森数(2n－1) 　　2　　　　　　　　　　　　　　　6　　　　　　　　　　3 　　3　　　　　　　　　　　　　　 28 7 5 496 31 7 8128 127 13 8191 17 8589869056 131071 19 137438691328 524287 31 2305843008139952128 2147483647 观察发现：质数n并不连续（缺少11,23,29）。这就是说，即使n是质数，对应的梅森数(2n－1)也可能不是质数，否则，2n-1(2n－1)就是完全数了。例如，当n＝11时，梅森数(2n－1)＝211－1＝2047＝23×89，就是一个合数。 这样一来，判断一个梅森数(2n－1)是否是质数，就成为对应的2n-1(2n－1)是否是完全数的关键。从上面列举的数据可以发现，随着n的增大，梅森数的数位急剧增多，给判断造成极大困难，这也是已发现的偶完全数的数量，增长极其缓慢的原因。 偶完全数有一个非常奇妙的性质：如果令a＝n－1，偶完全数2n-1(2n－1)就可以记作2a(2a＋1－1)。那么，除去第一个偶完全数6（相当于a＝1）以外，任一偶完全数2a(2a＋1－1)就等于前2a/2个奇数的和。 例如，a＝2时，完全数2a(2a＋1－1)＝22(23－1)＝28。2a/2＝2，28＝13＋33；a＝4时，完全数2a(2a＋1－1)＝24(25－1)＝496。2a/2＝4，496＝13＋33＋53＋73；a＝6时，完全数2a(2a＋1－1)＝26(27－1)＝8182。2a/2＝8，8182＝13＋33＋53＋73＋93＋113＋133＋153。 立方数与完全数之间，居然有如此奇妙的联系，实在是出乎人们的意料之外！ 数学家们并不满足于普通的完全数，他们又进一步发现了多重完全数，即，某数的所有因数之和是该数的倍数。如果把通常的完全数记作P2，表示所有因数之和是该数的2倍。P3则表示所有因数之和是该数的3倍，如此等等。 作为P3的一个实例是数120。它的所有因数之和是1＋2＋3＋4＋5＋6＋8＋10＋12＋15＋20＋24＋30＋40＋60＋120＝360。360÷120＝3，即120所有因数之和是120的3倍。 P3的另一个实例是672。它的所有因数之和是1＋2＋3＋4＋6＋7＋8＋12＋14＋16＋21＋24＋28＋32＋42＋48＋56＋84＋96＋112＋168＋224＋336＋672＝2016。2016÷672＝3，即672的所有因数之和是672的3倍。 P4的一个实例是30240； P5的一个实例是14182439040； 还有P6、P7