[论文解读] Subsequences and Divisibility by Powers of the Fibonacci Numbers

Kritkajohn Onphaeng, Prapanpong Pongsriiam|arXiv (Cornell University)|Jul 10, 2013

Advanced Mathematical Theories and Applications参考文献 3被引用 5

一句话总结

本文引入了一个基于斐波那契数的递归定义序列 $ G(k,n,m) $，并证明了对所有正整数 $ k, m, n $，有 $ F_n^{k+m-1} $ 整除 $ G(k,n,m) $。此外，本文计算了模 $ F_n $ 下的商 $ \frac{G(k,n,m)}{F_n^{k+m-1}} $，揭示了其对 $ k $ 的奇偶性、$ n $ 被 3 和 4 整除的性质以及 $ m $ 的值的复杂依赖关系，扩展了先前关于斐波那契数整除性的结果。

ABSTRACT

Let $F_n$ be the $n$th Fibonacci number. Let $m, n$ be positive integers. Define a sequence $(G(k,n,m))_{k\geq 1}$ by $G(1,n,m) = F^m_n$, and $G(k+1,n,m) = F_{nG(k,n,m)}$ for all $k\geq 1$. We show that $F_n^{k+m-1}\mid G(k,n,m)$ for all $k, m, n\in\mathbb N$. Then we calculate $\frac{G(k,n,m)}{F_n^{k+m-1}}\pmod{F_n}$.

研究动机与目标

• 推广先前关于 $ F_n $ 的幂对迭代斐波那契序列整除性的结果，特别是扩展了 Panraksa 等人以及 Tangboonduangjit 和 Wiboonton 的工作。
• 定义并分析一个新的递归序列 $ G(k,n,m) $，其中 $ G(1,n,m) = F_n^m $ 且 $ G(k+1,n,m) = F_{n \cdot G(k,n,m)} $。
• 建立 $ \frac{G(k,n,m)}{F_n^{k+m-1}} \mod F_n $ 的精确公式，该公式依赖于 $ k $ 的奇偶性，以及 $ n $ 被 3 和 4 整除的性质。
• 证明当 $ k \geq 2 $，$ n \geq 4 $，且 $ m \geq 1 $ 时，有 $ F_n^{k+m-1} \parallel G(k,n,m) $，即整除的幂次是精确的。
• 将此前针对 $ k=2,3 $ 和 $ m=1 $ 的同余结果统一并推广到任意 $ k, m, n $ 的一般框架。

提出的方法

• 递归地定义序列 $ G(k,n,m) $：$ G(1,n,m) = F_n^m $，$ G(k+1,n,m) = F_{n \cdot G(k,n,m)} $。
• 利用恒等式 $ F_{nr} = \sum_{j=1}^r \binom{r}{j} F_n^j F_{n-1}^{r-j} F_j $ 在模 $ F_n $ 下展开 $ F_{n \cdot G(k,n,m)} $。
• 应用已知的斐波那契恒等式：$ \gcd(F_m, F_n) = F_{\gcd(m,n)} $，卡西尼恒等式 $ F_{n+1}F_{n-1} - F_n^2 = (-1)^n $，以及模 4 的周期性。
• 使用引理 2.1：若 $ F_n^{s-1} \mid r $，则 $ F_n^s \mid F_{nr} $，以建立 $ G(k,n,m) $ 被 $ F_n^{k+m-1} $ 整除的结论。
• 基于 $ k $ 的奇偶性，以及 $ n $ 是否被 3 或 4 整除，进行分类讨论，以计算模 $ F_n $ 下的商。
• 对 $ k $ 使用数学归纳法，以 $ k=2 $ 作为 $ m \geq 1 $ 的基础情形，并通过二项式展开和模约化验证同余式。

实验结果

研究问题

• RQ1 对于所有 $ k, m, n \in \mathbb{N} $，其中 $ G(k,n,m) $ 通过斐波那契索引递归定义，是否都有 $ F_n^{k+m-1} \mid G(k,n,m) $？
• RQ2 商 $ \frac{G(k,n,m)}{F_n^{k+m-1}} \mod F_n $ 的值是多少？它如何依赖于 $ n $ 的算术性质，如被 3 和 4 整除？
• RQ3 能否对 $ k \geq 2 $，$ n \geq 4 $，且 $ m \geq 1 $ 的情形，证明 $ F_n^{k+m-1} \parallel G(k,n,m) $，即整除的幂次是精确的？
• RQ4 结果如何推广先前针对 $ m=1 $，$ k=2,3 $ 的发现？模 $ F_n $ 下的商中出现了哪些模式？
• RQ5 斐波那契数的模性质，特别是模 4 的性质以及恒等式 $ F_{n-1}^2 \equiv (-1)^n \mod F_n $，在推导过程中起到了什么作用？

主要发现

• 本文证明了对所有 $ k, m, n \in \mathbb{N} $，有 $ F_n^{k+m-1} \mid G(k,n,m) $，推广了此前针对 $ m=1 $ 的结果。
• 当 $ k \geq 2 $，$ n \geq 3 $ 时，模 $ F_n $ 下的商 $ \frac{G(k,n,m)}{F_n^{k+m-1}} $ 被显式计算，其结果依赖于 $ k $ 的奇偶性，以及 $ n $ 是否被 3 或 4 整除。
• 当 $ 2 \mid k $ 且 $ 3 \nmid n $ 时，商模 $ F_n $ 同余于 1，除非 $ 4 \mid n $，此时其值为 $ F_{n-1} $。
• 当 $ 3 \mid n $ 时，若 $ 2 \mid k $ 且 $ m=1 $，则商为 $ \left(\frac{F_{n-3}}{2}\right)^{k-1} $；若 $ 2 \mid k $ 且 $ m \geq 2 $，则商为 $ (-1)^n \left(\frac{F_{n-3}}{2}\right)^{k-1} $，奇数 $ k $ 的情形具有对称行为。
• 当 $ k \geq 2 $，$ n \geq 4 $，且 $ m \geq 1 $ 时，本文建立了 $ F_n^{k+m-1} \parallel G(k,n,m) $，即该幂次是精确的。
• 针对 $ k=2 $ 和 $ k=3 $，$ m=1 $ 的结果，恢复并推广了文献 [10] 和 [15] 中先前的同余结果，确认了结果的一致性与扩展性。