[论文解读] Simson Identity of Generalized m-step Fibonacci Numbers

Yüksel Soykan|arXiv (Cornell University)|Mar 4, 2019

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

一句话总结

本文将经典的斐波那契数的西尔蒙森（或卡西尼）恒等式推广至广义的 m 步斐波那契数列，推导出一个闭式行列式恒等式，该恒等式将 m×m 矩阵的行列式与初始行列式通过一个涉及递推系数 r_m 和依赖于 m 与 n 的符号项缩放关联起来。其主要贡献在于为所有 m ≥ 2 的情形提供了一个统一的西尔蒙森恒等式公式。

ABSTRACT

One of the best known and oldest identities for the Fibonacci sequence $F_n$ is $F_{n+1}F_{n-1}-F_{n}^2=(-1)^n$ which was derived first by R. Simson in 1753 and it is now called as Simson or Cassini Identity. In this paper, we generalize this result to generalized m-step Fibonacci numbers and give an attractive formula. Furthermore, we present some Simson's identities of particular generalized m-step Fibonacci sequences.

研究动机与目标

• 将适用于斐波那契数（m=2）的经典西尔蒙森恒等式推广至任意 m ≥ 2 的广义 m 步斐波那契数列。
• 建立一个统一的基于行列式的恒等式，以捕捉具有任意初值和递推系数的广义 m 步数列的西尔蒙森型关系。
• 通过汇编并列出 m=2 至 5 的 m 步斐波那契、卢卡斯、雅克布斯泰尔及雅克布斯泰尔-卢卡斯数列的数值表，填补文献中的空白，提供全面的参考。
• 提出一个关于由广义 m 步斐波那契数构造的特定 m×m 矩阵的行列式 f(n) 的通用公式，并将其与初始行列式 f(0) 关联起来。

提出的方法

• 通过具有任意系数 r_i 和初值 c_i 的 m 阶线性递推关系定义广义的 m 步斐波那契数列。
• 构造一个 m×m 行列式 f(n)，其元素为广义 m 步数列 V_n 的平移项。
• 对 n ≥ 0 使用数学归纳法证明主恒等式 f(n) = y(n) * r_m^n * f(0)，其中 y(n) 依赖于 m 的奇偶性。
• 应用行与列的变换操作，包括利用递推关系表达第一列，以转换行列式并分离出 r_m。
• 利用递推关系的结构，将第 n+1 步的行列式简化为第 n 步行列式的缩放版本，同时引入由矩阵置换带来的符号因子。
• 类似地处理负 n 的情形，指出递推关系与行列式结构的对称性。

实验结果

研究问题

• RQ1 经典的斐波那契数西尔蒙森恒等式能否推广至任意 m ≥ 2 的 m 步斐波那契数列？
• RQ2 由广义 m 步斐波那契数列的平移项构成的 m×m 矩阵的行列式是否存在闭式表达式？
• RQ3 行列式 f(n) 与初始行列式 f(0) 之间的关系如何体现递推系数与序列奇偶性的影响？
• RQ4 系数 r_m 在行列式随连续项变化过程中的缩放作用是什么？
• RQ5 行列式的符号与缩放行为在 m 为奇数与偶数时有何不同？

主要发现

• 广义 m 步斐波那契数列的西尔蒙森恒等式为 f(n) = y(n) * r_m^n * f(0)，其中 f(n) 是 m×m 数列项矩阵的行列式。
• 符号因子 y(n) 在 m 为奇数时为 1，在 m 为偶数时为 (-1)^n，表明其具有奇偶性依赖的符号行为。
• 行列式 f(n) 相对于 f(0) 的缩放因子为 r_m^n，表明其对递推系数 r_m 呈指数依赖。
• 该恒等式对所有整数 n（包括负下标）均成立，通过将递推关系扩展至负下标实现。
• 证明通过归纳法完成，利用递推关系表达第一列，并通过行变换操作转换行列式。
• 本文提供了 m=2 至 5 的 m 步斐波那契、卢卡斯、雅克布斯泰尔及雅克布斯泰尔-卢卡斯数列的显式数值表，支持理论结果。