完美的数字
一种完美的数字是一个正整数,等于其适当分配的总和,即除数本身的正分歧。例如, 是一个完美的数字,因为适当的除法 是 和 和
一个数字的所有正分歧的总和 用 .因此,完美的数字是一个正整数 这样
包括希腊人在内的古代数学家对全数非常感兴趣,他们认为全数具有神秘的意义。也许有些令人惊讶的是,许多关于完全数的基本问题仍然没有解决。最值得注意的是,我们不知道是否有无限多的完全数,也不知道是否有奇数的完全数。
甚至完美的数字
欧几里德证明了元素如果 是素数,然后 是完美的。
前四个完美的数字是
2000多年来,欧拉是第一个给出证据的人每一个即使是完美的数字也是如此形式。这被称为欧氏欧拉定理。欧拉的证据非常小:
积极的整数 如果且仅当且仅当 对于一些积极的素数 这样 是素数。 这里 被称为Mersenne Prime..
对于“if”(欧几里得)语句,让 是默塞尔的主要原子 ,并记下除法 明确:他们是 和 .这些除数的总和,由此几何级数公式,是
所以适当的除法者的总和是 .
对于“仅当”(euler)陈述,关于除数函数的一些事实,表示 ,都是相关的。特别是, 是乘法: 如果 相对'。
现在假设 是一个偶然的数字。然后写 在哪里 和 是奇怪的。自从 是完美的, .然后
所以 , 因此 , 因此 对于一些整数 ,并再次扩展上述等式
但请注意,右侧至少是 因为这些是两个二分层 ,这两个除数已经加起来 .所以结论是平等持有,这些是唯一的二分歧 .这只会发生如果 和 是素数。这完成了证明。
练习:证明在哪里使用了事实
特性
以下是完美数字的一些有趣属性的列表。与文献中的许多列表不同,该列表仅限于非活动性质:例如,每个甚至完美数字是三角形数量的事实是公式的琐碎后果
证明:以下是对1-4的提示:
这是由Mod-10和Mod-100分析的。如果 摩擦 或 ,相应的完美数字结束 , 而如果 摩擦 它结束了 提示:表明它是一致的 摩擦
证明除了 是 摩擦 .求解数字并迭代保留同一类Mod .
对于欧几勒 - 欧拉的完美数字来说,这是清楚的;对于奇数完美的数字,两个奇数的主要因素会导致一个因素 在 , 但 不可分割 .
一个完美数字的除数的谐波平均值是 (为什么?),在哪里 是除数的数量。现在 甚至是 是一个广场,但一个完美的广场不能是一个完美的数字,因为其除数的总和是奇数(为什么?)。
这代表了奇数完美数字的数学研究的当前前沿。用于建立这些结果的方法似乎非常不太可能导致证明奇数完美数字不存在,因为它们仅提供了下限。也许存在奇怪的数字似乎不太可能给出5,但有时只有足够的整数发生的有趣现象。