[论文解读] Identities for the Generalized Fibonacci Polynomial

Rigoberto Flórez, Nathan McAnally+1 more|arXiv (Cornell University)|Feb 7, 2017

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

一句话总结

本文利用Binet公式，将经典的斐波那契数与卢卡斯数恒等式推广至广义斐波那契多项式（GFPs）和卢卡斯型多项式。通过递推关系与闭式表达式的代数运算，将数值恒等式扩展为多项式形式，建立了一个统一框架，涵盖11种多项式序列（如斐波那契、佩尔、切比雪夫与摩根-沃伊斯等）的恒等式。

ABSTRACT

A second order polynomial sequence is of Fibonacci type (Lucas type) if its Binet formula is similar in structure to the Binet formula for the Fibonacci (Lucas) numbers. In this paper we generalize identities from Fibonacci numbers and Lucas numbers to Fibonacci type and Lucas type polynomials. A Fibonacci type polynomial is equivalent to a Lucas type polynomial if they both satisfy the same recurrence relations. Most of the identities provide relationships between two equivalent polynomials. In particular, each type of identities in this paper relate the following polynomial sequences: Fibonacci with Lucas, Pell with Pell-Lucas, Fermat with Fermat-Lucas, both types of Chebyshev polynomials, Jacobsthal with Jacobsthal-Lucas and both types of Morgan-Voyce.

研究动机与目标

• 将已知的斐波那契数与卢卡斯数恒等式推广至广义斐波那契多项式（GFPs）与卢卡斯型多项式。
• 在单一代数框架下统一多个著名多项式序列的恒等式。
• 为广义斐波那契多项式提供一组全面的恒等式，以推广经典数值结果。
• 利用Binet公式，将现有文献（如Bergum、Koshy、Wu）中的恒等式适配至GFP定义。
• 证明数值序列的恒等式可通过适当调整系统性地推广至多项式序列。

提出的方法

• 通过二阶线性递推关系定义广义斐波那契多项式（GFPs）：$\mathcal{F}_n(x) = d(x)\mathcal{F}_{n-1}(x) + g(x)\mathcal{F}_{n-2}(x)$，其中 $\mathcal{F}_0=0$，$\mathcal{F}_1=1$。
• 通过 $\mathcal{L}_n(x) = d(x)\mathcal{L}_{n-1}(x) + g(x)\mathcal{L}_{n-2}(x)$ 定义卢卡斯型多项式，初始值为 $\mathcal{L}_0 = p_0$，$\mathcal{L}_1 = p_1(x)$，其中 $p_0 = 1$ 或 $2$，且 $\alpha = 2/p_0$。
• 使用GFP的Binet公式：$\mathcal{F}_n(x) = \frac{a^n - b^n}{a - b}$，以及卢卡斯型多项式的公式：$\mathcal{L}_n(x) = \frac{a^n + b^n}{\alpha}$，其中 $a, b$ 是方程 $z^2 - d(x)z - g(x) = 0$ 的根。
• 通过代数运算Binet公式推导恒等式，代入 $a^n$ 与 $b^n$ 项，并利用 $a+b = d(x)$，$ab = -g(x)$ 简化表达式。
• 利用符号计算（如Mathematica®）验证恒等式，以平衡并验证复杂的多项式表达式。
• 通过代入适当的 $d(x)$、$g(x)$ 与 $\alpha$ 值，将恒等式映射至具体序列（如斐波那契、佩尔、切比雪夫等）。

实验结果

研究问题

• RQ1 斐波那契数与卢卡斯数的恒等式在何种条件下可推广至广义斐波那契多项式？
• RQ2 GFP与卢卡斯型多项式的Binet公式如何实现不同多项式序列间恒等式的统一推导？
• RQ3 将数值恒等式推广至GFP的多项式形式，需要哪些代数变换？
• RQ4 哪些已知的斐波那契与卢卡斯多项式恒等式可适配至本文提出的广义框架？
• RQ5 GFP的恒等式如何与佩尔、切比雪夫与雅克布斯泰尔等经典序列的恒等式相关联？

主要发现

• 本文成功利用Binet公式，将经典斐波那契与卢卡斯数论中的98个恒等式推广至广义斐波那契多项式。
• 关键恒等式包括 $\mathcal{F}_{m+n} = \mathcal{F}_m\mathcal{F}_{n+1} + g\mathcal{F}_{m-1}\mathcal{F}_n$ 与 $\mathcal{F}_{n+2} - g^2\mathcal{F}_{n-2} = (a+b)(a^n + b^n)$，统一了斐波那契与卢卡斯多项式的行为特征。
• 恒等式 $\mathcal{F}_{3^{n+1}} = (a-b)^2\mathcal{F}_{3^n}^3 + 3(-g)^{3^n}\mathcal{F}_{3^n}$ 展示了在3的幂次下GFP的立方递推关系。
• 对于卢卡斯型多项式，$\mathcal{L}_{2^{n+1}} = \alpha\mathcal{L}_{2^n}^2 - 2\alpha^{-1}(-g)^{2^n}$ 表明在2的幂次下存在二次递推关系。
• 本文证明了 $\left(d^2\mathcal{F}_{n+1}^2 + \mathcal{F}_{n+2}^2\right)^2 = \mathcal{F}_n^2\left(\mathcal{F}_{n+4} - d^2\mathcal{F}_{n+2}\right)^2 + (2d\mathcal{F}_{n+1}\mathcal{F}_{n+2})^2$，这是勾股定理的多项式类比。
• 恒等式 $\alpha^2\left(\mathcal{F}_{n+m}^2\mathcal{L}_{n+m}^2 - g^{2n}\mathcal{F}_m^2\mathcal{L}_m^2\right) = \mathcal{F}_{2n}\mathcal{F}_{4m+2n}$ 揭示了斐波那契与卢卡斯型多项式之间深层的结构对称性。