Inverses of Fibonacci and Lucas Numbers via Rational Indices

技术摘要：通过有理指数研究斐波那契与卢卡斯数的逆

问题陈述
本文探讨了将经典的斐波那契（$F_n$）和卢卡斯（$L_n$）序列扩展至有理指数 $X \in \mathbb{Q}_{>0}$ 的问题。虽然 Uludağ 和 Gökmen (2022) 的前序工作已经确立了有理指数斐波那契数（$F_X$）可以通过“分母码”（codenominator）函数 $F$ 来表示，并且存在无数种此类表示形式，但其特定的结构属性、任意有理指数的显式公式，以及在该框架内乘法逆的存在性，仍有待完全表征。作者旨在推导 $F_X$ 的一般显式公式，确定 $F_X$ 在何种条件下与经典卢卡斯数重合或偏离整数指数斐波那契序列，并证明这些数在乘法逆的存在性。

研究方法
本研究依赖于通过分子码（conumerator）函数递归定义的 $F: \mathbb{Q}_{>0} \to \mathbb{Z}_{>0}$ 分母码函数。函数 $F$ 是利用连分数性质构建的。对于有理数 $X = [n_0; n_1, \dots, n_k]$，作者利用 $F$ 的递归关系（具体为 $F(1+X) = F(1/X)$ 和 $F(\frac{1}{1+X}) = F(X) + F(1/X)$）将有理指数分解为整数组件。

研究过程分为三个阶段：

1. 推导显式公式： 作者推导了连分数长度最多为 6 的 $F_X$ 的闭式表达式。这些公式将 $F_X$ 表示为由 $X$ 的部分商决定的经典斐波那契（$F_n$）和卢卡斯（$L_n$）数的线性组合。
2. 重合与偏离分析： 通过将推导出的公式与经典序列的定义进行对比，本文确立了 $F_X$ 等于经典斐波那契数、卢卡斯数或不同值的精确条件。
3. 逆运算计算： 作者研究了这些有理指数数的逆。通过计算 $F_{X^{-1}}$（其中 $X^{-1}$ 为指数的倒数）并利用卡西尼恒等式（Cassini's identity）和比内公式（Binet's formulas），他们证明了有理指数数与其逆的乘积产生一个单位元（具体而言，在相关序列项模下为 $\pm 1$），从而确立了乘法逆的存在性。

核心贡献与结果

• 一般显式公式： 本文提供了长度为 2 至 6 的连分数对应的 $F_X$ 的显式公式（引理 3.1–3.4）以及针对任意长度 $k$ 的一般递归公式（引理 4.2）。例如，对于 $X = [n_0; n_1]$，$F_X = F_{n_0}F_{n_1} + F_{n_0-1}F_{n_1+1}$。
• 数值特征化：
  • 与经典序列的重合： 本文证明了仅在特定条件下（例如，若连分数长度 $k=1$ 且 $n_0 \in \{1, 2\}$，或者若 $k=2$ 且 $n_0=1$ 并满足特定约束），$F_X$ 才与经典斐波那契数 $F_m$ 重合。
  • 与卢卡斯数的重合： 研究表明，若 $X = [3; n]$，则 $F_X = L_{n+1}$。类似地，$F([2; 1, n]) = L_{n+1}$。
  • 偏离： 推论 6.1 确立了当 $k \ge 3$，或当 $k=1$ 且 $n_0 \ge 3$ 时（排除卢卡斯情况），$F_X$ 区别于经典斐波那契序列。
• 乘法逆的存在性： 核心结果是证明了每一个斐波那契数和卢卡斯数在有理指数框架内都拥有一个乘法逆。
  • 对于 $F_m = F([1; m])$，其逆为 $F_{m+2}$。
  • 对于 $F_m = F([2; m-2])$，其逆为 $L_{m-1}$。
  • 对于 $L_m = L([3; m-1])$，其逆为 $L_m + F_{m+1}$。
  • 本文通过证明 $F_X \cdot F_{X^{-1}} \equiv \pm 1 \pmod{\text{相关项}}$，确认了其单位元属性。

意义
作者声称，这些结果通过提供一种计算任意有理指数下的值及其逆的系统化方法，扩展了 Uludağ 和 Gökmen 引入的有理指数视角。这项工作揭示了斐波那契及卢卡斯相关序列的新结构属性，特别是通过分母码函数定义和计算其乘法逆的能力。本文表明，这些发现为研究有理指数化序列（特别是在模算术和连分数背景下）的算术性质开辟了进一步数论探索的途径。作者并未声称在理论数论之外有直接应用，而是强调了对这些经典序列代数理解的丰富。