欧几里得-欧拉定理

✍ dations ◷ 2025-10-22 22:52:29 #数论

数学上,欧几里得-欧拉定理(英语:Euclid–Euler theorem)是一条联系偶完全数与梅森质数的定理。这定理指出每个偶完全数都可以写成2 − 1(2 − 1),其中2 − 1是质数。形如2 − 1的质数称为梅森质数,因此其中的必须是质数。

一个偶数是完全数(即等于它的所有真因数的和),当且仅当它有形式2−1,其中是梅森质数,即形为 = 2 − 1 的质数。

欧几里得证明当2 − 1是质数时,2 − 1(2 − 1)是完全数(Prop. IX.36)。这是他的《几何原本》中数论的最后一条结果。

过了超过一千年后,约在公元1000年,海什木猜想所有偶完全数都有形式2 − 1(2 − 1),但他未能证明。

直至18世纪,数学家欧拉始证明所有偶完全数都有形式2 − 1(2 − 1)。因此确定偶完全数和梅森质数之间存在一一对应:每个偶完全数给出一个梅森质数,反之亦然。

欧拉的证明简短,用到因数总和函数 σ 是积性函数的性质:对任何两个互质正整数和,都有σ() = σ()σ()。要使这个公式成立,一个数的因数总和须包括该数本身,不只是真因数。一个数是完全数,当且仅当该数的因数总和是该数的两倍。

定理中一个方向(欧几里得所证明的)较为容易:如果2 − 1是质数,那么

至于另一个方向,设有偶完全数2,其中是奇数。它是完全数,故此

上式右边的奇因数2 + 1 − 1 至少等于3,且必定整除或等于左边唯一的奇因数,因此 = /(2 + 1 − 1) 是的真因数。将上式两边除以公因数2 + 1 − 1,并考虑已知有因数和,得出

要使等式成立,必需无其他因数,因此必定等于1,必定是形为2 + 1 − 1的质数。定理得证。

相关

  • 生理心理学异常心理学 行为遗传学 生物心理学 心理药物学 认知心理学 比较心理学 跨文化心理学 文化心理学 差异心理学(英语:Differential psychology) 发展心理学 演化心理学 实验心理学
  • 2,3-二甲基-1-丁醇2,3-二甲基-2-丁醇是一种有机化合物,化学式为C6H14O是六碳醇的同分异构体之一。它可由2,3-二甲基丁酸(或2,3-二甲基丁醛)在乙醚中被氢化铝锂还原,或者通过2,3-二甲基-1-丁烯的硼
  • 迪克罗伯特·亨利·迪克(英语:Robert Henry Dicke,/ˈdɪki/,1916年5月6日-1997年3月4日),美国物理学家,对天体物理,原子物理,宇宙学和引力等领域做出了重要贡献。
  • 陈师曾陈师曾(1876年3月2日-1923年9月17日),名衡恪,字师曾,以字行,号槐堂,又号朽道人,江西省义宁州(今江西省九江市修水县)人,出生于湖南省凤凰县,中国画画家,陈三立长子,陈寅恪长兄。梁启超称他
  • 皮克斯动画常用元素列表由《Red的梦》开始,皮克斯制作的动画经常会重复引用和自我参照一些相同的元素,这些材料包括一些客串演出、字串、物体或公司商号等,可以被视为是皮克斯工作人员在电影中布置的
  • 中国文史出版社中国文史出版社,位于北京市西城区太平桥大街23号、锦什坊街96号,是全国政协办公厅下属的全民所有制企业。中国文史出版社是中国人民政治协商会议全国委员会所属的专业出版社。
  • 纯豆腐锅纯豆腐锅(英语:Sundubu Jjigae)是韩国一种锅类食品,由软豆腐、蔬菜、菇类、海鲜、猪肉和牛肉加上苦椒酱混合烹调而成。这道菜通常直接以锅上菜,在完成前加上一只生鸡蛋配白饭食用
  • 小行星8596小行星8596(8596 Alchata)是一颗绕太阳运转的小行星,为主小行星带小行星。该小行星于1973年9月29日发现。小行星8596的轨道半长轴为2.2223994 UA,离心率为0.071。
  • 求爱敢死队《求爱敢死队》(英语:),1988年由王晶指导、编剧的爱情喜剧,演员阵容坚强,剧情更是笑料不断。谭冠伦是广播节目主持人,专门处理爱情问题的高手。某次冼洁晶遭女友抛弃后本想跳楼自杀
  • 乱数斐波那契数列乱数斐波那契数列是一个类似斐波那契数列的数列,由以下的递回关系式所定义:其中正负号是依乱数决定,几率各是1/2,每次的正负号有统计独立性。依照Harry Kesten及Hillel Fürsten