费马数

✍ dations ◷ 2025-07-30 02:01:59 #数学中未解决的问题,整数数列,大数

费马数是以数学家费马命名一组自然数,具有形式:

其中为非负整数。

若2 + 1是素数,可以得到必须是2的幂。(若 = ,其中1 < , < 且为奇数,则2 + 1 ≡ (2) + 1 ≡ (−1) + 1 ≡ 0(mod 2 + 1),即2 + 1是2 + 1的约数。)也就是说,所有具有形式2 + 1的素数必然是费马数,这些素数称为费马素数。已知的费马素数只有04五个。

费马数满足以下的递回关系:

其中 ≥ 2。这些等式都可以用数学归纳法推出。从最后一个等式中,我们可以推出哥德巴赫定理:任何两个费马数都没有大于1的公因子。要推出这个,我们需要假设 0 ≤ < 且 有一个公因子 > 1。那么 能把

都整除;则能整除它们相减的差。因为 > 1,这使得 = 2。造成矛盾。因为所有的费马数显然是奇数。作为一个推论,我们得到素数个数无穷的又一个证明。

其他性质:

最小的12个费马数为:

130,439,874,405,488,189,727,484,768,796,509,903,946,608,530,841,611,892,186,895,295,776,832,416,251,471,863,574,
140,227,977,573,104,895,898,783,928,842,923,844,831,149,032,913,798,729,088,601,617,946,094,119,449,010,595,906,
710,130,531,906,171,018,354,491,609,619,193,912,488,538,116,080,712,299,672,322,806,217,820,753,127,014,424,577

173,462,447,179,147,555,430,258,970,864,309,778,377,421,844,723,664,084,649,347,019,061,363,579,192,879,108,857,591,038,330,408,837,177,983,810,868,451,
546,421,940,712,978,306,134,189,864,280,826,014,542,758,708,589,243,873,685,563,973,118,948,869,399,158,545,506,611,147,420,216,132,557,017,260,564,139,
394,366,945,793,220,968,665,108,959,685,482,705,388,072,645,828,554,151,936,401,912,464,931,182,546,092,879,815,733,057,795,573,358,504,982,279,280,090,
942,872,567,591,518,912,118,622,751,714,319,229,788,100,979,251,036,035,496,917,279,912,663,527,358,783,236,647,193,154,777,091,427,745,377,038,294,
584,918,917,590,325,110,939,381,322,486,044,298,573,971,650,711,059,244,462,177,542,540,706,913,047,034,664,643,603,491,382,441,723,306,598,834,177

其中前八个来源于(OEIS中的数列A000215)。

只有最小的12个费马数被完全分解了。

1640年,费马提出了一个猜想,认为所有的费马数都是素数。这一猜想对最小的5个费马数成立,于是费马宣称他找到了表示素数的公式。然而,欧拉在1732年否定了这一猜想,他给出了分解式:

欧拉证明费马数的约数皆可表成2+1 + 1,之后卢卡斯证明费马数的约数皆可表成2+2 + 1。

F n = 2 2 n + 1 {\displaystyle F_{n}=2^{2^{n}}+1} 个费马数。如果不等于零,那么:

假设以下等式成立:

那么 3 F n 1 1 ( mod F n ) {\displaystyle 3^{F_{n}-1}\equiv 1{\pmod {F_{n}}}} ,因此满足3k=1(mod F n {\displaystyle F_{n}} )的最小整数k一定整除 F n 1 = 2 2 n {\displaystyle F_{n}-1=2^{2^{n}}} ,它是2的幂。另一方面,k不能整除 F n 1 2 {\displaystyle {\tfrac {F_{n}-1}{2}}} ,因此它一定等于 F n 1 {\displaystyle F_{n}-1} 。特别地,存在至少 F n 1 {\displaystyle F_{n}-1} 个小于 F n {\displaystyle F_{n}} 且与 F n {\displaystyle F_{n}} 互素的数,这只能在 F n {\displaystyle F_{n}} 是素数时才能发生。

假设 F n {\displaystyle F_{n}} 是素数。根据欧拉准则,有:

其中 ( 3 F n ) {\displaystyle \left({\frac {3}{F_{n}}}\right)} 是勒让德符号。利用重复平方,我们可以发现 2 2 n 1 ( mod 3 ) {\displaystyle 2^{2^{n}}\equiv 1{\pmod {3}}} ,因此 F n 2 ( mod 3 ) {\displaystyle F_{n}\equiv 2{\pmod {3}}} ,以及 ( F n 3 ) = 1 {\displaystyle \left({\frac {F_{n}}{3}}\right)=-1} 。因为 F n 1 ( mod 4 ) {\displaystyle F_{n}\equiv 1{\pmod {4}}} ,根据二次互反律,我们便可以得出结论 ( 3 F n ) = 1 {\displaystyle \left({\frac {3}{F_{n}}}\right)=-1}

相关

  • 当费尔-罗什罗广场当费尔-罗什罗广场(法语:Place Denfert-Rochereau,曾经称为Place d'Enfer)位于法国巴黎十四区蒙帕纳斯(Montparnasse)地区7条道路的交汇处:拉斯帕伊大道(Boulevard Raspail)、阿拉贡
  • 强迫强迫行为(英语:Compulsive behavior),又称作态行为,是一种重复与持续的行为,当事人无法由这种行为中获得益处或满足感,但难以停止去做这种行为的内在冲动。这类行为在一般人的身上
  • 1441年约前1445年,古埃及法老图特摩斯三世打败了米坦尼国王,夺占米坦尼王国位于幼发拉底河西岸的土地。
  • 碱式碳酸铅碱式碳酸铅是一种无机化合物,化学式为Pb3(OH)2(CO3)2,有时写作2PbCO3·Pb(OH)2。称量乙酸铅并溶于水,配制成0.1mol/L的溶液。将溶液煮沸,通入二氧化碳,析出碱式碳酸铅沉淀。其它
  • 眉毛眉是位于眼睛以上,顺着眉弓的形状而长出来的粗糙毛发。眉毛的主要功能是防止水流入眼睛,大多是“汗”水和“雨”水。眉毛边缘弯曲的形状和眉尖所指的方向,可以确保水滴沿着脸的
  • 加利西亚-沃里尼亚加利西亚-沃里尼亚王国(Kingdom of Galicia–Volhynia)是一个卢森尼亚人(乌克兰人)在加利西亚和沃里尼亚地区于1199–1349期间建立的一个国家。加利西亚-沃里尼亚王国是基辅罗斯
  • 美利坚合众国宪法第四条修正案宪法正文I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII ∙
  • 丹尼尔·帕特里克·莫伊尼汉丹尼尔·帕特里克·“帕特”·莫伊尼汉(英语:Daniel Patrick "Pat" Moynihan,1927年3月16日-2003年3月26日)生于俄克拉何马州塔尔萨,美国社会学家、政治家,民主党员,曾任美国驻印度
  • 瓯塑瓯塑俗称油泥塑,是浙江省温州市独有的传统美术工艺,被誉为“立体油画”。亦是浙江省人民政府认定的首批“浙江传统优秀工艺美术品类”之一。2006年,列入第一批浙江省非物质文化
  • 炸荷花炸荷花,为山东省济南市的一道地方名菜,为鲁菜济南派系,主要特色在于该菜以荷花花瓣为原料制成。炸荷花的主要用料为荷花中层最嫩的花瓣,辅料为面粉、鸡蛋等。基本做法为,首先将面