皮萨诺周期

✍ dations ◷ 2025-10-23 10:30:10 #数论

在数论当中, 自然数  的皮萨诺周期(通常记为π())是指 斐波那契数列模 后的周期,以意大利数学家莱昂纳多·皮萨诺(即斐波那契)的名字命名. 斐波那契数列中模周期的存在性曾在1774年为约瑟夫·拉格朗日所提及.

斐波那契数是指斐波那契数列中的数:

斐波那契数列由下方的递推关系定义

对于任意整数, 数列{ (mod )}为周期数列. 皮萨诺周期()记为该数列的周期. 例如,模3的斐波那契数列前若干项为:

这一数列以8为周期,故(3) = 8.

除去(2) = 3 以外,皮萨诺周期必为偶数这一性质的一个简单证明可由如下事实导出:

则π(n)应等同于矩阵 F 在一般线性群2(ℤ)的阶,其中GL2(ℤn)表示在整数模 环上全体二阶可逆矩阵构成的乘法群. 由于F的行列式为-1,可知在ℤn中有(-1)(n) = 1, 故(n)为偶数.

当 互质时,由中国剩余定理即知()等于()和()的最小公倍数. 例如,(3) = 8 而(4) = 6,由此可得(12) = 24. 因此,对皮萨诺周期的研究可以化归为对素数幂 = ≥ 1)的皮萨诺周期的研究。

可以证明,若为素数,则()整除–1().有猜想认为 π ( p k ) = p k 1 π ( p ) {\displaystyle \pi (p^{k})=p^{k-1}\pi (p)} 及整数 > 1成立. 任何不满足该猜想的素数都必然是一个沃尔-孙-孙素数,而这种素数被猜想并不存在.

因此对皮萨诺周期的研究可以被进一步化归为对素数的皮萨诺周期的研究.出于这种考虑,需要特别指出两个反常的素数. 素数2的皮萨诺周期为奇数,而素数5的皮萨诺周期和其他素数相比“大得多”.这两个素数的幂的皮萨诺周期为:

由此可知对 = 2·5有() = 6.

2和5以外的所有素数均属于共轭类 p ± 1 ( mod 10 ) {\displaystyle p\equiv \pm 1{\pmod {10}}} () 是 2 – – 1 的根模的指数. 当 p ± 1 ( mod 10 ) {\displaystyle p\equiv \pm 1{\pmod {10}}} ()整除 – 1. 例如,(11) = 11 – 1 = 10,(29) = (29 – 1)/2 = 14.

p ± 2 ( mod 5 ) , {\displaystyle p\equiv \pm 2{\pmod {5}},} 2 – – 1 的根不在 F p {\displaystyle \mathbb {F} _{p}} 和交换,因而 = 故+1 = –1. 由此可得2(+1) = 1, 故的阶, 也即,是2(+1)除以某个奇数的商,因而必为4的倍数. 在这种情况中,最小的三个满足()的例子为(47) = 2(47 + 1)/3 = 32, (107) = 2(107 + 1)/3 = 72 及(113) = 2(113 + 1)/3 = 76.

据上述讨论,若 = 是一个奇素数幂,满足() > , 则()/4 是一个不大于的整数. 利用皮萨诺周期的乘积性质,可得

等号成立当且仅当 = 2 · 5,  ≥ 1. 最小的两个等号成立的例子为(10) = 60 及 (50) = 300. 若  不能表示为 2 · 5的形式,则() ≤ 4.

前十二个自然数的皮萨诺周期(OEIS中的数列A001175)及其对应的一个周期内的所有数列举如下(为可读性起见,在每个0前加有空格;X,E分别表示10,11):

如果 = (2) ( ≥ 2), 那么π() = 4;如果 = (2 + 1) ( ≥ 2), 那么π() = 8 + 4. 换而言之,模 F(2k) (k ≥ 2)的一个周期内有两个0,而模F (2k + 1) (k ≥ 2)的一个周期内有四个0.

相关

  • 巴西利卡塔巴西利卡塔(意大利语:Basilicata,意大利语发音:)亦称卢卡尼亚(Lucania),是意大利南部的一个大区,东、西分别与坎帕尼亚、普利亚相邻,南边是卡拉布里亚,有小段海岸线连接第勒尼安海,另一
  • 迪凯特县迪凯特县(Decatur County, Georgia)是美国佐治亚州西南角的一个县,南邻佛罗里达州。面积1,614平方公里。根据美国2000年人口普查,共有人口28,240人。县治班布里奇 (Bainbridge)
  • 玳瑁玳瑁(学名:Eretmochelys imbricata)是属于海龟科的一种海龟,是玳瑁属下唯一一种,又名瑇瑁、蝳蝐、瑇玳、文甲、鹰嘴海龟、十三鲮龟、十三鳞、十三棱龟、明玳瑁、千年龟,简称玳,分为
  • 菊地直子菊地直子(日语:菊地 直子/きくち なおこ ,1971年12月9日-),生于日本埼玉县草加市,奥姆真理教信徒。因涉入东京地铁沙林毒气事件,遭日本警方通缉,于2012年6月3日,于相模原市遭逮捕,是这
  • 科尔莱奥内坐标:37°49′N 13°18′E / 37.817°N 13.300°E / 37.817; 13.300科尔莱奥内(意大利语:Corleone,意大利语发音:),又名柯里昂镇,是意大利巴勒莫省的一个市镇。几位黑手党老大都来自
  • 布罗德半岛布罗德半岛(Brodeur Peninsula)是加拿大的半岛,位于巴芬岛西北部,被摄政王湾、兰开斯特海峡和阿德默勒尔蒂湾围绕,由基吉柯塔鲁克地区负责管辖,长310公里、宽170公里,面积28,000平
  • 常香圻常香圻(1914年09月11日-2003年),福建省林森县(今福州市境)人,毕业于海军学校航海班第五届。1935年赴英国皇家海军学院留学,回国后历任海军学校教官、海军军官学校教官、及国防大学联
  • 地球防卫军‘地球防卫军’(英语:The Mysterians)是于1957年公映的日本东宝株式会社拍摄的一部科幻电影,原作为作家丘美丈二郎。类似于前一年公映的《飞碟恐怖袭击(空飞ぶ円盘恐怖の袭撃)》,此
  • 活该你单身《活该你单身》(英语:),2010年爱情片,导演蔡心,主演贺军翔、林心如、爱戴、吴大维、陶虹、刘芸。该剧讲述21世纪青年男女经过爱情的磨砺终成眷属的故事。英俊潇洒的栗正(贺军翔 饰)
  • 拉涅里·马兹利帕斯库亚尔·拉涅里·马兹利(Pascoal Ranieri Mazzilli,1910年4月27日-1975年4月21日),巴西政治家。于1961年及1964年先后两次成为巴西总统。马兹利从政以前,曾经为陶巴特一名收税