On Diophantine triples containing a triangular number

基本信息

• 论文ID: 2510.26617
• 标题: On Diophantine triples containing a triangular number
• 作者: Marija Bliznac Trebješanin (克罗地亚斯普利特大学理学院)
• 分类: math.NT (数论)
• 发表时间: 2025年10月30日提交至arXiv
• 论文链接: https://arxiv.org/abs/2510.26617
• 学科分类: 11B37 (递归序列), 11D09 (丢番图方程)

摘要

本文提出了一个一般性构造方法，能够产生无穷多个由三角数组成的$D(m^2)$-三元组族。该构造的一个显著特点是，所有生成的三元组都包含同一个初始三角数$T_n$。

研究背景与动机

研究问题

本文研究的核心问题是：如何系统地构造包含特定三角数的丢番图三元组。具体而言，对于给定的三角数$T_n$（其中$T_n = \frac{n(n+1)}{2}$），寻找其他两个三角数$T_i$和$T_j$，使得三者中任意两个的乘积加上某个固定整数$m^2$都是完全平方数。

问题重要性

1. 经典问题的延续：丢番图$m$-元组问题源于古希腊数学家丢番图，费马发现了第一个四元组{1, 3, 8, 120}。这一领域具有深厚的历史底蕴。
2. 理论价值：研究特定数列（如三角数、斐波那契数）在丢番图集合中的出现规律，是数论中的重要课题。已有研究表明D(1)-五元组不存在（He, Togbé, Ziegler），D(4)-五元组不存在（作者与Filipin），以及不存在完全由斐波那契数组成的四元组（Fujita和Luca）。
3. 构造性方法的缺乏：虽然已知一些孤立的例子，但缺乏系统的构造方法来生成包含指定三角数的无穷多个三元组。

现有方法的局限性

• 已知结果：从Deshpande的结果可以推导出{$T_n, T_{n+4}, T_{4n^2+20n+8}$}是丢番图三元组
• 特定形式：已知对任意正整数$m$和$n$，{$T_n, T_{n+m}, T_{4(n^2+(4m+1)n+2m)}$}是$D(m^2)$-三元组
• 缺乏递归构造：这些结果只给出单个三元组，而非无穷族

研究动机

作者旨在建立一个递归构造框架，从一个初始$D(m^2)$-对出发，系统地生成无穷多个包含同一三角数$T_n$的$D(m^2)$-三元组。

核心贡献

1. 递归构造方法：提出了一个从初始对{$T_n, T_{n+4m}$}出发的递归构造，能够生成无穷多个$D(m^2)$-三元组
2. 主要定理：证明了对任意正整数$m$和$n$，三角数$T_n$是无穷多个由三角数组成的$D(m^2)$-三元组的成员（Theorem 1）
3. 显式公式：给出了递归序列$\{N_k\}$、$\{s_k\}$和$\{t_k\}$的显式表达式，使得{$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$}构成$D(m^2)$-三元组
4. 完整性证明：通过数学归纳法严格证明了构造的正确性

方法详解

任务定义

输入：正整数$m$和$n$
输出：无穷序列的三元组{$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$}（$k \geq 1$），满足$D(m^2)$性质
约束条件：所有三元组都包含初始三角数$T_{N_0} = T_n$

其中$D(m^2)$性质要求：对三元组中任意两个不同元素$a$和$b$，$ab + m^2$是完全平方数。

构造架构

第一步：初始对的建立

从对{$T_n, T_{n+4m}$}开始，验证其为$D(m^2)$-对： $T_n \cdot T_{n+4m} + m^2 = \left(\frac{n^2 + (4m+1)n + 2m}{2}\right)^2 =: r_1^2$

第二步：第一个三元组

扩展为三元组{$T_n, T_{n+4m}, T_{8r_1}$}，定义：

• $N_0 = n$
• $N_1 = n + 4m$
• $N_2 = 8r_1$

验证： $T_n T_{8r_1} + m^2 = (2r_1(2n+1) - m)^2 = s_1^2$$T_{n+4m} T_{8r_1} + m^2 = (2r_1(2(n+4m)+1) + m)^2 = t_1^2$

第三步：递归构造

定义递归序列： $N_{k+2} = 8s_k + N_k, \quad k \geq 1$

其中$s_k$和$t_k$满足递归关系： $s_{k+1} = 2s_k(2N_0 + 1) - s_{k-1} \quad \text{(公式1)}$$t_{k+1} = 2s_k(2N_{k+1} + 1) + t_k \quad \text{(公式2)}$

初始条件：$s_0 := r_1$，$s_{-1} := m$

技术创新点

1. 显式公式推导

递归关系(1)可以求解为显式公式。设： $\alpha = 2N_0 + 1 + 2\sqrt{N_0(N_0+1)}$$\beta = 2N_0 + 1 - 2\sqrt{N_0(N_0+1)}$

注意到$\alpha = (\sqrt{N_0+1} + \sqrt{N_0})^2$，$\beta = (\sqrt{N_0+1} - \sqrt{N_0})^2$，因此$\beta = \alpha^{-1}$。

定义： $\lambda_1 = \frac{m}{2} + \frac{1}{8}\sqrt{N_0(N_0+1)}$$\lambda_2 = \frac{m}{2} - \frac{1}{8}\sqrt{N_0(N_0+1)}$

则： $s_k = \lambda_1 \alpha^{k+1} + \lambda_2 \beta^{k+1}, \quad k \geq 1$

通过分奇偶情况讨论，得到： $N_k = \frac{8\alpha}{\alpha^2 - 1}(\lambda_1 \alpha^k - \lambda_2 \beta^k) - \frac{1}{2}$

$t_k = \frac{32\alpha^3\lambda_1^2}{(\alpha^2-1)^2}\alpha^{2k} + \frac{32\alpha\lambda_2^2}{(\alpha^2-1)^2}\beta^{2k} - \frac{32\alpha}{(\alpha^2-1)^2}(\alpha^2\lambda_1^2 + \lambda_2^2) + m$

2. 归纳证明策略

假设{$T_{N_0}, T_{N_k}, T_{N_{k+1}}$}是$D(m^2)$-三元组且(1)(2)成立，需要证明{$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$}也是$D(m^2)$-三元组。

需要验证两个等式： $(3) \quad T_{N_0}T_{N_{k+2}} + m^2 = s_{k+1}^2$$(4) \quad T_{N_{k+1}}T_{N_{k+2}} + m^2 = t_{k+1}^2$

3. 关键恒等式

利用三角数的性质： $T_{8x+y} = 32x^2 + 4x(2y+1) + T_y$$8T_n + 1 = (2n+1)^2$

证明(3)： $T_{N_0}T_{N_{k+2}} + m^2 = T_{N_0}T_{8s_k+N_k} + m^2$$= 32s_k^2 T_{N_0} + 4s_k(2N_k+1)T_{N_0} + s_{k-1}^2$

由(1)式： $s_{k+1}^2 = 32s_k^2 T_{N_0} + 4s_k^2 - 4s_k s_{k-1}(2N_0+1) + s_{k-1}^2$

证明归结为验证： $(5) \quad (2N_k+1)T_{N_0} = s_k - s_{k-1}(2N_0+1)$

通过代入显式表达式可验证此式成立。

证明(4)：类似地，归结为验证： $(6) \quad T_{N_{k+1}}(2N_k+1) = s_k + t_k(2N_{k+1}+1)$

同样通过代入显式表达式验证。

方法优势

1. 系统性：提供了从任意初始三角数出发的统一构造框架
2. 可计算性：显式公式使得可以直接计算第$k$个三元组
3. 完备性：理论证明保证了构造的正确性
4. 通用性：适用于任意正整数$m$和$n$

实验设置

验证方法

本文是纯理论数学论文，不涉及传统意义上的实验。验证主要通过：

1. 理论证明：数学归纳法和代数恒等式验证
2. 具体例子：文中提供了一些具体的三元组实例

例子验证

文末备注中提到的具体例子：

• 经典丢番图三元组：{$T_1, T_{15}, T_{90}$}和{$T_2, T_{15}, T_{153}$}
• $D(9)$-三元组：{$T_1, T_{63}, T_{370}$}

这些例子展示了存在不能从本文构造直接得到的三元组，说明构造虽然能产生无穷多个三元组，但不是完全的（不能产生所有可能的三元组）。

实验结果

理论结果

主定理（Theorem 1）：对任意正整数$m$和$n$，三角数$T_n$是无穷多个由三角数组成的$D(m^2)$-三元组的成员。

构造的有效性

通过以下步骤验证构造的正确性：

1. 基础情况（$k=1$）：
   • 三元组{$T_{N_0}, T_{N_1}, T_{N_2}$} = {$T_n, T_{n+4m}, T_{8r_1}$}满足$D(m^2)$性质
   • 验证了三个乘积条件
2. 递归步骤：
   • 证明了如果{$T_{N_0}, T_{N_k}, T_{N_{k+1}}$}是$D(m^2)$-三元组
   • 那么{$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$}也是$D(m^2)$-三元组
3. 显式验证：
   • 等式(5)和(6)通过代入显式公式得到验证
   • 这些验证依赖于$\alpha$和$\beta$的特殊关系（$\beta = \alpha^{-1}$）

重要发现

1. 无穷性：从单一初始三角数$T_n$可以生成无穷多个包含它的$D(m^2)$-三元组
2. 非唯一性：备注中指出，构造产生的三元组族不是唯一的。例如：
   • $T_{n+4m}$本身也可以作为起点生成另一族三元组
   • 存在不能从任何这类构造得到的三元组
3. 结构特征：所有生成的三元组都保持第一个元素$T_{N_0} = T_n$不变，而后两个元素随$k$变化

相关工作

丢番图$m$-元组的一般理论

1. 存在性结果：
   • He, Togbé, Ziegler (2019)：证明了$D(1)$-五元组不存在
   • Bliznac Trebješanin & Filipin (2019)：证明了$D(4)$-五元组不存在
   • Bonciocat, Cipu & Mignotte (2022)：证明了$D(-1)$-四元组不存在
2. 特殊数列中的丢番图集合：
   • Dujella (1993)：列举了包含斐波那契数的$D(1), D(4), D(9), D(64)$四元组
   • Fujita & Luca (2018)：证明不存在完全由斐波那契数组成的丢番图四元组

三角数的丢番图性质

1. Deshpande (1998)：证明了{8, $T_n$, $T_{n+4}$, $T_{4n^2+20n+8}$}是丢番图四元组
   • 推论：{$T_n$, $T_{n+4}$, $T_{4n^2+20n+8}$}是三角数的丢番图三元组
2. 已知一般形式：
   • 对任意正整数$m$和$n$，{$T_n$, $T_{n+m}$, $T_{4(n^2+(4m+1)n+2m)}$}是$D(m^2)$-三元组
   • 这只给出单个三元组，而非无穷族
3. Hamtat (2025)：预印本也研究三角数的丢番图三元组

本文的贡献定位

本文相比现有工作的主要进展：

1. 从单个到无穷：现有结果只给出孤立的三元组，本文提供了生成无穷族的系统方法
2. 递归构造：引入递归框架，使得可以从初始对生成任意多个三元组
3. 显式公式：给出了递归序列的闭形式表达式，便于理论分析和计算
4. 固定元素：所有三元组共享同一初始三角数，这在应用中可能有特殊意义

结论与讨论

主要结论

1. 构造的完备性：对任意正整数$m$和$n$，从初始对{$T_n, T_{n+4m}$}出发的递归构造能够产生无穷多个$D(m^2)$-三元组
2. 理论保证：通过严格的数学证明，确立了构造的正确性，证明依赖于：
   • 三角数的代数性质
   • 递归序列的显式求解
   • 关键恒等式的验证
3. 普遍性：定理1确立了对所有正整数$m$和$n$，三角数$T_n$都属于无穷多个三角数$D(m^2)$-三元组

局限性

1. 非完全性：
   • 备注中明确指出，存在包含$T_n$的$D(m^2)$-三元组不能从本文构造得到
   • 例如{$T_1, T_{15}, T_{90}$}、{$T_2, T_{15}, T_{153}$}和{$T_1, T_{63}, T_{370}$}
   • 这表明可能存在其他构造方法或更一般的理论框架
2. 特定形式限制：
   • 构造只适用于$D(m^2)$形式（$n$必须是完全平方数）
   • 对于一般的$D(n)$-三元组，方法不直接适用
3. 初始对的选择：
   • 构造从特定的初始对{$T_n, T_{n+4m}$}开始
   • 是否存在其他初始对能产生不同的三元组族未被探讨
4. 扩展到四元组：
   • 论文只研究三元组，是否能扩展构造以获得四元组或更高元组未知
   • 考虑到已知的非存在性结果，这可能很困难

未来方向

虽然论文未明确列出未来工作，但可以推断以下研究方向：

1. 完全分类问题：
   • 刻画所有包含给定三角数$T_n$的$D(m^2)$-三元组
   • 确定哪些三元组可以从递归构造得到
2. 其他初始条件：
   • 探索从不同初始对出发的构造
   • 研究不同构造之间的关系
3. 一般化$D(n)$情况：
   • 将方法推广到非完全平方数的情况
   • 寻找$D(n)$-三元组的系统构造
4. 四元组的可能性：
   • 研究是否能从三元组扩展到四元组
   • 在什么条件下扩展是可能的
5. 计算方面：
   • 开发高效算法生成和验证大规模的三元组
   • 研究序列$\{N_k\}$的增长速率和数论性质

深度评价

优点

1. 方法的创新性

• 递归框架：首次为三角数的丢番图三元组提供了系统的递归构造方法
• 显式公式：将递归关系求解为闭形式，展示了深刻的代数洞察
• 统一处理：单一框架适用于所有正整数$m$和$n$

2. 理论的严密性

• 完整证明：归纳证明过程严谨，每一步都有详细的代数验证
• 关键恒等式：等式(5)和(6)的验证是证明的核心，通过显式公式得到确认
• 边界条件：仔细处理了初始情况和递归步骤的衔接

3. 结果的重要性

• 存在性定理：Theorem 1是该领域的一个重要理论贡献
• 无穷性：从有限到无穷的跨越具有理论意义
• 可计算性：显式公式使得结果具有实际可操作性

4. 写作的清晰度

• 结构清晰：从背景、构造、证明到结论，逻辑流畅
• 符号一致：数学符号使用规范且一致
• 动机明确：清楚说明了研究的背景和意义

不足

1. 完备性问题

• 遗漏的三元组：备注承认存在不能从构造得到的三元组
• 缺乏刻画：没有给出哪些三元组可以被构造得到的完整刻画
• 其他构造：可能存在的其他构造方法未被探讨

2. 推广性限制

• $D(m^2)$限制：方法严重依赖于$n = m^2$的特殊形式
• 初始对固定：只考虑了一种特定的初始对
• 三元组局限：未讨论扩展到更高元组的可能性

3. 例子和应用

• 具体例子少：只在备注中提到几个例子，没有详细计算展示
• 数值验证缺失：没有给出具体的$k$值对应的三元组
• 应用背景薄弱：未说明这些结果在其他数学问题中的应用

4. 技术细节

• 奇偶分类：提到"通过仔细考虑$k$是奇数还是偶数"得到$N_k$的公式，但没有给出详细过程
• 验证过程：等式(5)和(6)的验证说"可以通过代入显式表达式验证"，但没有展示具体计算
• $\alpha$和$\beta$的性质：虽然指出了关键关系，但可以更深入探讨其数论意义

影响力

1. 对领域的贡献

• 理论进展：为三角数的丢番图性质研究提供了新工具
• 方法论：递归构造思想可能启发其他特殊数列的研究
• 开放问题：提出了关于完全分类的新问题

2. 实用价值

• 计算工具：显式公式可用于生成大量三元组
• 验证方法：可用于检验其他构造的完备性
• 理论基础：为进一步研究更高元组提供基础

3. 可复现性

• 理论可复现性高：证明步骤清晰，可以独立验证
• 计算可实现：显式公式可以直接编程实现
• 例子可验证：备注中的例子可以手工验证

4. 局限性

• 专业性强：主要面向数论研究者，应用范围相对窄
• 完备性未知：构造的不完全性限制了其作为通用工具的价值

适用场景

1. 理论研究：
   • 研究三角数的丢番图性质
   • 探索递归序列的代数结构
   • 分析特殊数列在丢番图集合中的行为
2. 计算数论：
   • 生成和测试大量丢番图三元组
   • 验证数论猜想的特殊情况
   • 寻找反例或模式
3. 教学应用：
   • 展示递归方法在数论中的应用
   • 说明显式公式求解的技巧
   • 演示数学归纳法的使用
4. 进一步研究的基础：
   • 作为研究更一般丢番图集合的起点
   • 探索其他图形数（如五边形数、六边形数）的类似性质
   • 研究丢番图方程的新解法

参考文献

论文引用了8篇关键文献，主要包括：

1. Bliznac Trebješanin & Filipin (2019)：D(4)-五元组不存在性
2. Bonciocat, Cipu & Mignotte (2022)：D(-1)-四元组不存在性
3. Deshpande (1998)：三角数的一个性质（本文构造的起点）
4. Dujella (1993, 2024)：丢番图问题的推广和综述
5. Fujita & Luca (2018)：斐波那契数的丢番图四元组不存在性
6. Hamtat (2025)：三角数丢番图三元组（相关预印本）
7. He, Togbé & Ziegler (2019)：D(1)-五元组不存在性

这些文献构成了丢番图$m$-元组研究的核心参考，特别是Dujella的工作提供了领域的全面概述。

总结

本文在三角数的丢番图性质研究中取得了重要进展，提出了一个优雅的递归构造方法，证明了每个三角数都属于无穷多个$D(m^2)$-三元组。论文的主要优势在于方法的系统性和理论的严密性，通过显式公式将递归关系转化为可计算的形式。然而，构造的非完全性表明问题仍有深入研究的空间。这是一篇扎实的数论论文，为该领域提供了有价值的理论工具和新的研究方向。