皮薩諾週期

在數論中，自然數 n 的皮薩諾週期（通常記為π(n)）是斐波那契數列模 n 後的週期，以意大利數學家萊昂納多·皮薩諾（即斐波那契）的名字命名。斐波那契數列取模後，週期的存在性曾在1774年為約瑟夫·拉格朗日所提及。

**定義**
斐波那契數列是：
 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765, 10946, 17711, 28657, 46368, ... A000045
斐波那契數列由下方的遞推關係定義
 
 
 
對於任意整數n, 數列{Fi (mod n)}為週期數列。皮薩諾週期(n)記為該數列的週期。例如，模3的斐波那契數列前若干項為：
 0, 1, 1, 2, 0, 2, 2, 1, 0, 1, 1, 2, 0, 2, 2, 1, 0, 1, 1, 2, 0, 2, 2, 1, 0, ... id=A082115
這一數列以8為週期，故(3) = 8.

**性質**
除去(2) = 3 以外，皮薩諾週期必為偶數。這一性質的一個簡單證明可由如下事實導出：
考慮斐波那契矩陣
 
則π(n)應等同於矩陣 F 在一般線性群GL2(ℤn)的階，其中GL2(ℤn)表示在整數模 n 環上全體二階可逆矩陣構成的乘法群。由於F的行列式為−1, 可知在ℤn中有(−1)(n) = 1, 故(n)為偶數。
當 m,n 互質時，由中國剩餘定理即知(mn)等於(m)和(n)的最小公倍數。例如，(3) = 8 而(4) = 6，由此可得(12) = 24. 因此，對皮薩諾週期的研究可以化歸為對素數冪q = pk  (k ≥ 1) 的皮薩諾週期的研究。
可以證明，若p為素數，則(pk)整除pk–1(p). 有猜想認為對一切素數p及整數k > 1成立。任何不滿足該猜想的素數p都必然是一個沃爾-孫-孫素數，而這種素數被猜想並不存在。
因此對皮薩諾週期的研究可以被進一步化歸為對素數的皮薩諾週期的研究。出於這種考慮，需要特別指出兩個反常的素數。素數2的皮薩諾週期為奇數，而素數5的皮薩諾週期和其他素數相比“大得多”。這兩個素數的冪的皮薩諾週期為：- 若 n = 2k, 則 (n) = 3·2k–1 = 3n/2.- 若 n = 5k, 則 (n) = 4·5k = 4n.
由此可知對n = 2·5k有(n) = 6n.
2和5以外的所有素數均屬於共軛類 或 . 在這一情況下，在模p下由比內公式的類比可知(p) 是 x2 – x – 1 的根模p的指數。當時，根據二次互反律，這兩個根在  中，由費馬小定理可知(p)整除p – 1. 例如，(11) = 11 – 1 = 10，(29) = (29 – 1)/2 = 14.
若 根據二次互反律，x2 – x – 1 的根不在內，而是在有限域
 
中。注意到弗羅貝尼烏斯自同態  將方程的兩根r和s交換，因而rp = s，故rp+1 = –1. 由此可得r2(p+1) = 1, 故r的階，也即π(p)，是2(p+1)除以某個奇數的商，因而必為4的倍數。在這種情況中，最小的三個滿足 (p)k是一個奇素數冪，滿足π(n) > n, 則 (n)/4 是一個不大於n的整數。利用皮薩諾週期的乘積性質，可得
 (n) ≤ 6n,
等號成立當且僅當n = 2 · 5r, r ≥ 1. 最小的兩個等號成立的例子為 (10) = 60 及 (50) = 300. 若 n 不能表示為 2 · 5r  的形式，則(n) ≤ 4n.

**列表**
前十二個自然數的皮薩諾週期（OEIS中的數列A001175）及其對應的一個週期內的所有數列舉如下（為可讀性起見，在每個0前加有空格；X, E分別表示10, 11）：

**斐波那契數的皮薩諾週期**
如果n = F (2k) (k ≥ 2), 那麼π(n) = 4k; 如果n = F (2k + 1) (k ≥ 2), 那麼π(n) = 8k + 4. 換而言之，模 F(2k) (k ≥ 2)的一個週期內有兩個0，而模F (2k + 1) (k ≥ 2)的一個週期內有四個0.

**參考文獻**
 Engstrom, H. T. (1931). "On sequences defined by linear recurrence relations". Trans. Am. Math. Soc. 33 (1): 210–218. doi:10.1090/S0002-9947-1931-1501585-5. JSTOR //www.jstor.org/stable/1989467 1989467. MR //www.ams.org/mathscinet-getitem?mr=1501585 1501585. - Freyd, Peter; Brown, Kevin S. (1992). "Problems and Solutions: Solutions: E3410". Amer. Math. Monthly 99 (3): 278–279. doi:10.2307/2325076. - Ward, Morgan (1931). "The characteristic number of a sequence of integers satisfying a linear recursion relation". Trans. Am. Math. Soc. 33 (1): 153–165. doi:10.1090/S0002-9947-1931-1501582-X. JSTOR //www.jstor.org/stable/1989464 1989464. - Ward, Morgan (1933). "The arithmetical theory of linear recurring series". Trans. Am. Math. Soc. 35 (3): 600–628. doi:10.1090/S0002-9947-1933-1501705-4. JSTOR //www.jstor.org/stable/1989851 1989851. - Zierler, Neal (1959). "Linear recurring sequences". J. SIAM 7 (1): 31–38. doi:10.1137/0107003. JSTOR //www.jstor.org/stable/2099002 2099002. MR //www.ams.org/mathscinet-getitem?mr=0101979 0101979. - Wall, D. D. (1960). "Fibonacci series modulo m". Am. Math. Monthly 67 (6): 525—532. doi:10.2307/2309169. JSTOR //www.jstor.org/stable/2309169 2309169. - Bloom, D. M. (1965). "Periodicity in generalized Fibonacci sequences". Am. Math. Monthly 72: 856—861. doi:10.2307/2315029. JSTOR //www.jstor.org/stable/2315029 2315029. MR //www.ams.org/mathscinet-getitem?mr=0222015 0222015. - Laxton, R. R. (1969). "On groups of linear recurrences". Duke Mathematical Journal 36 (4): 721–736. doi:10.1215/S0012-7094-69-03687-4. MR //www.ams.org/mathscinet-getitem?mr=0258781 0258781. - Brent, Richard P. (1994). "On the periods of generalized Fibonacci sequences". Mathematics of Computation 63 (207): 389–401. arXiv://arxiv.org/abs/1004.5439 1004.5439. Bibcode: 1994MaCom..63..389B date=20181116073147 . doi:10.2307/2153583. JSTOR //www.jstor.org/stable/2153583 2153583. MR //www.ams.org/mathscinet-getitem?mr=1216256 1216256. - Johnson, R. C. (2008).  "Fibonacci numbers and matrices" date=20201130211206  (PDF).