🔢 mathematics

$D(-1)$ -triples of triangular numbers

本文研究了由三角数组成的 $D(-1)$ 数对与三元组，确立了第 $n$ 个三角数成为此类数对成员的必要条件，并证明了任何满足该条件的三角数均属于无穷多个 $D(-1)$ 三元组。

原作者： Marija Bliznac Trebješanin

发布于 2026-04-01

📖 2 分钟阅读🧠 深度阅读

原作者： Marija Bliznac Trebješanin

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇论文探讨了一个非常有趣的数学谜题，我们可以把它想象成是在三角数（Triangular Numbers）的世界里寻找“完美搭档”和“三人组”的游戏。

为了让你轻松理解，我们把数学概念转化为生活中的比喻：

1. 什么是“三角数”？

想象你在玩保龄球或者堆金字塔。

第 1 层有 1 个球（ $T_1 = 1$ ）。
第 2 层有 3 个球（ $1+2$ ， $T_2 = 3$ ）。
第 3 层有 6 个球（ $1+2+3$ ， $T_3 = 6$ ）。
第 4 层有 10 个球（ $1+2+3+4$ ， $T_4 = 10$ ）。
这些数字（1, 3, 6, 10...）就是三角数。它们就像是用小球堆出来的完美三角形。

2. 什么是"D(-1) 配对”？

论文的核心规则很简单：
我们要找两个不同的三角数，比如 $A$ 和 $B$ 。
如果把它们乘起来，然后减去 1，结果必须是一个完美的平方数（比如 1, 4, 9, 16, 25... 即某个整数的平方）。

比喻：想象 $A$ 和 $B$ 是两个舞伴。他们手拉手（相乘），然后稍微退后一步（减 1），如果此时他们站成的队形能完美地排成一个正方形（平方数），那他们就是“完美舞伴”（D(-1) 对）。

例子：

取 $T_1 = 1$ 和 $T_4 = 10$ 。
$1 \times 10 - 1 = 9$ 。
9 是 $3^2$ ，是个完美平方数！
所以， $\{1, 10\}$ 就是一对完美的舞伴。

3. 这篇论文发现了什么？

作者 Marija Bliznac Trebješanin 主要解决了两个大问题：

问题一：什么样的三角数才能找到舞伴？（定理 1）

并不是所有的三角数都能找到这样的搭档。

坏消息：有些三角数注定是“孤独”的。比如 $T_2$ （数字 3）和 $T_3$ （数字 6），无论怎么找，都找不到另一个三角数和它们组成完美舞伴。
好消息：作者制定了一套**“入场安检规则”**。
- 如果一个三角数 $T_n$ 想要找到舞伴，它的索引 $n$ 和 $n+1$ 必须长得非常“特别”。
- 具体来说，它们只能由特定的“素数积木”（模 4 余 1 的素数）和少量的"2 的因子”搭建而成。
- 比喻：就像进游乐园，你的门票（ $n$ 和 $n+1$ ）必须是由特定颜色的珠子串成的。如果门票上混入了“红色珠子”（模 4 余 3 的素数），你就进不去，找不到舞伴。
- 注意：即使门票符合规则，也不代表一定能找到舞伴（比如 $T_{100}$ 虽然门票合格，但依然找不到搭档），但这只是一个必要条件（没有它肯定不行，有了它不一定行）。

问题二：如果找到了一个舞伴，能组三人组吗？（定理 2）

这是论文最精彩的部分！

如果你已经找到了一个三角数 $T_n$ 和它的舞伴 $T_m$ （即 $\{T_n, T_m\}$ 是完美对）。
结论：你不需要到处乱找第三个舞伴了！数学规律保证，一定存在无穷多个其他的三角数 $T_k$ ，可以和它们组成“三人天团”（D(-1) 三元组）。
比喻：想象你发现了一对完美的双人舞搭档。这篇论文告诉你，只要这对搭档存在，你就永远不用担心找不到第三个加入他们。数学上有一种“魔法公式”（递推数列），可以像变魔术一样，源源不断地生成第三个、第四个、第五个... 无限多个完美的三角数成员，让他们都能和原来的两人组成完美的三人组。

4. 作者是怎么做到的？（方法论）

作者没有一个个去试数字（那样太慢了），而是用了一种叫做**“广义佩尔方程”**的数学工具。

比喻：这就像是在寻找一条隐藏的**“数字高速公路”**。
作者把寻找舞伴的问题，转化成了在这条公路上开车的问题。
一旦找到了这条公路的起点（基础解），公路上的每一个站点（解）都对应着一个完美的三角数搭档。
作者证明了，只要你能在这条公路上开起来，你就能无限地开下去，发现无穷无尽的“三人组”。

5. 实际应用与未来

算法：作者还写了一个简单的程序逻辑，可以像滚雪球一样，从 $T_1$ 开始，一步步算出所有小于 1000 的、能组成完美舞伴的三角数索引（结果是 1, 4, 25, 148, 457, 865）。
未来展望：作者最后说，这个“三人组”的魔法不仅仅适用于“减 1"的情况。如果我们把规则改成“减 2"、“加 5"等等（即 $D(a)$ 性质），只要初始条件满足，通常也能找到无穷多的三人组。这为未来的数学探险留下了很多新地图。

总结

这篇论文就像是在三角数的宇宙里绘制了一张藏宝图：

它告诉你哪些星球（三角数）有资格寻找伴侣。
它证明了只要找到了一对伴侣，就永远能组建一个无限扩大的三人天团。
它提供了一张导航图（递推公式），让你能轻松找到这些数字。

这不仅解决了具体的数学难题，还展示了数字之间那种奇妙、对称且无穷无尽的和谐之美。

论文技术总结：三角数的 D(-1)-三元组

论文标题：D(−1)-TRIPLES OF TRIANGULAR NUMBERS（三角数的 D(−1)-三元组）
作者：Marija Bliznac Trebješanin
领域：数论（Diophantine m-tuples，丢番图 m-元组）

1. 研究问题 (Problem)

本文主要研究由三角数（Triangular Numbers, $T_n = \frac{n(n+1)}{2}$ ）构成的集合，这些集合满足特定的丢番图性质。

定义：一个由 $m$ 个不同正整数组成的集合被称为 $D(n)$ -m-元组，如果其中任意两个不同元素的乘积加上 $n$ 是一个完全平方数。
核心问题：
1. 寻找满足 $T_n T_m - 1 = r^2$ 的正整数对 $\{T_n, T_m\}$ （即 $D(-1)$ -对）。
2. 确定哪些三角数 $T_n$ 可以成为 $D(-1)$ -对的成员。
3. 证明如果一个三角数 $T_n$ 是 $D(-1)$ -对的成员，它是否可以扩展为包含无限多个三角数的 $D(-1)$ -三元组（甚至更多）。

2. 方法论 (Methodology)

作者采用代数数论和丢番图方程理论的方法，具体步骤如下：

方程转化：
将三角数乘积条件 $T_n T_m - 1 = r^2$ 转化为广义佩尔方程（Generalized Pellian Equation）：
$x^2 - n(n+1)y^2 = -(n(n+1) + 16)$
其中变量代换为 $x = 4r$ ， $y = 2m + 1$ 。
模运算分析（必要条件推导）：
通过分析上述方程在模 $n$ 和模 $n+1$ 下的性质，推导 $n$ 必须满足的数论条件。特别是利用二次剩余（Quadratic Residues）理论，分析 $-16 $作为模$ n $和$ n+1$ 的二次剩余时的限制。
佩尔方程解的结构分析：
利用广义佩尔方程的解类理论，将解表示为基本解与对应齐次佩尔方程 $X^2 - n(n+1)Y^2 = 1$ 的基本解 $(2n+1, 2)$ 的幂次乘积。
构建线性递推序列 $(m_k)$ ，使得 $\{T_n, T_{m_k}\}$ 构成 $D(-1)$ -对。
恒等式验证：
通过代数恒等式证明，对于序列中相邻的两个解 $m_k$ 和 $m_{k+1}$ ，集合 $\{T_n, T_{m_k}, T_{m_{k+1}}\}$ 构成一个 $D(-1)$ -三元组。
算法构造：
设计了一种迭代算法，用于在给定范围内生成所有满足条件的三角数索引 $n$ 。

3. 关键贡献与主要结果 (Key Contributions & Results)

A. 存在性必要条件 (Theorem 1)

作者证明了若 $T_n$ 属于某个 $D(-1)$ -对，则 $n$ 和 $n+1$ 必须具有特定的素因子分解形式：

$n$ 和 $n+1$ 均可表示为 $2^a \cdot p_1^{l_1} \cdots p_k^{l_k}$ 的形式。
其中所有奇素数因子 $p_i \equiv 1 \pmod 4$ 。
指数 $a$ $a$ 的限制：
- 对于 $n$ ， $a \in \{0, 2\}$ （即 $n$ 不能被 $2^1$ 整除，也不能被 $2^3$ 及以上整除）。
- 对于 $n+1$ ， $a \in \{0, 1\}$ （即 $n+1$ 不能被 $2^2$ 及以上整除）。
推论：这意味着 $n$ 和 $n+1$ 都必须能表示为两个平方数之和。
反例说明：该条件是必要的但非充分的。例如 $n=100$ 满足上述条件，但通过计算证明 $T_{100}$ 无法与任何三角数构成 $D(-1)$ -对。

B. 无限扩展性 (Theorem 2)

这是论文的核心结论：

定理：如果存在正整数 $m$ 使得 $\{T_n, T_m\}$ 是 $D(-1)$ -对，那么 $T_n$ 必定属于无限多个仅由三角数组成的 $D(-1)$ -三元组。
构造方法：通过广义佩尔方程的解序列 $(m_k)$ ，可以构造出无限个 $m$ 值，使得 $\{T_n, T_{m_k}, T_{m_{k+1}}\}$ 满足 $D(-1)$ 性质。

C. 算法与实例

作者提出了一种算法，利用递推关系生成所有满足条件的索引。
实例结果：在 $n \le 1000$ 的范围内，满足条件的索引集合为 $\{1, 4, 25, 148, 457, 865\}$ 。
文章还指出 $T_2$ 和 $T_3$ 不能属于任何 $D(-1)$ -对。

D. 推广 (Theorem 3)

作者将结论推广到一般的 $D(a)$ -性质（ $a$ 为非零整数）。
结论：如果 $\{T_n, T_m\}$ 是 $D(a)$ -对，则 $T_n$ 同样可以扩展为无限多个由三角数组成的 $D(a)$ -三元组。
这表明从 $D(a)$ -对扩展到 $D(a)$ -三元组的机制在三角数集合中具有普适性，尽管 $D(a)$ -对存在的初始条件依赖于具体的 $a$ 值。

4. 意义与影响 (Significance)

解决特定序列的丢番图问题：将经典的 Diophantine m-tuple 问题限制在三角数序列中，丰富了该领域的研究视角。
结构性质揭示：揭示了三角数在 $D(-1)$ 性质下的深层结构，证明了只要存在一个“种子”对，就能生成无限个三元组，这为构造更大的集合提供了理论依据。
数论条件的精细化：通过模运算和二次剩余理论，给出了 $n$ 必须满足的严格数论条件，排除了大量不可能的情况（如 $n=2, 3$ 或 $n=100$ 的情况）。
未来研究方向：论文指出了针对不同 $a$ 值（ $D(a)$ ）寻找初始对存在条件的困难，这为未来的研究提供了明确的方向，即探索不同 $a$ 值下三角数 $D(a)$ -对的分类和存在性规律。

总结：该论文通过严谨的代数推导和数论分析，确立了三角数 $D(-1)$ -三元组的无限存在性，并给出了判定三角数能否参与此类结构的必要条件，是丢番图 m-元组理论在特定整数序列应用中的重要进展。