On a Diophantine Equation with Jacobsthal and Fibonacci Numbers

技术摘要：关于涉及雅科布斯塔尔数与斐波那契数的丢番图方程

问题陈述
本文研究了丢番图方程 $F_k F_l F_m = J_n$，其中 $F_n$ 表示第 $n$ 个斐波那契数，$J_n$ 表示第 $n$ 个雅科布斯塔尔数。作者旨在寻找满足条件 $2 < k < l < m$ 的所有正整数解 $(k, l, m, n)$。该研究侧重于两种不同递归序列之间的乘法相互作用：一种是定义为 $F_{n+2} = F_{n+1} + F_n$ 的斐波那契序列，另一种是定义为 $J_{n+2} = 2J_{n+1} + J_n$ 的雅科布斯塔尔序列。

研究方法
证明过程采用了涉及代数数对数线性形式的技术，具体利用了 Matveev 定理来建立变量的上界。该方法通过以下阶段进行：

1. 比内公式与不等式： 作者使用各自的比内公式（Binet formulas）来表示斐波那契数和雅科布斯塔尔数。通过将这些公式代入主方程，他们推导出了关于指数之和 $k+l+m$ 与指数 $n$ 之间的不等式关系。具体而言，他们确定了 $n$ 大约正比于 $(k+l+m) \frac{\log \alpha}{\log 2}$，其中 $\alpha = \frac{1+\sqrt{5}}{2}$。
2. 线性形式构建： 通过固定不同的变量子集（先固定 $k$，然后是 $k$ 和 $l$，最后是全部三个变量）并除以主导项，将方程重新排列以分离出一个对数线性形式，记作 $\Lambda$。作者构建了三个不同的线性形式（$\Lambda_1, \Lambda_2, \Lambda_3$）。
3. 应用 Matveev 定理： 对于每个线性形式，作者通过伽罗瓦自同构以及 $\mathbb{Q}(\sqrt{5})$ 中有理部分与无理部分的比较，验证了该形式是非零的。随后，他们应用 Matveev 的下界定理，得到一个形如 $\log |\Lambda| > -C(1 + \log B)$ 的不等式，其中 $B$ 是指数的界限。
4. 上界推导： 通过将 Matveev 定理得到的下界与源自原方程结构（涉及项如 $\alpha^{-2k}$）的上界进行比较，作者推导出了变量 $m$ 的一个巨大的初始上界，即 $m < 5.93 \times 10^{42}$。
5. 界限缩减： 意识到初始界限在计算上是难以处理的，作者应用引理 3.3（一个关于连分数及与最近整数距离的结果）来降低界限。通过分析 $\tau = \frac{\log 2}{\log \alpha}$ 的连分数展开，并利用计算工具（SageMath 和 Mathematica），作者迭代地将变量的界限缩减至可控大小（$k \le 110$，$l \le 114$，$m \le 236$）。

主要结果
论文确立了以下主要定理：

• 在约束条件 $2 < k < l < m$ 下，丢番图方程 $F_k F_l F_m = J_n$ 恰好有一个非平凡解。
• 该唯一解为 $(k, l, m, n) = (5, 7, 8, 12)$。
• 该解对应于恒等式：$F_5 F_7 F_8 = 5 \cdot 13 \cdot 21 = 1365 = J_{12}$。

意义与背景
作者将这项工作置于近期关于递归序列间乘法关系研究的背景之下。他们引用了以往识别出 Tribonacci 数为两个斐波那契数之积，以及斐波那契数为两个雅科布斯塔尔数之积的相关研究。本文的意义在于将这些调查扩展到涉及三个斐波那契因子的更复杂的方程。作者指出，理解此类乘法关系可以为理解不同递归序列之间的“算术刚性与巧合结构”提供见解。本文并未提出新的应用或未来的实验方向，而是专注于对所呈现的具体丢番图方程的完整求解。