On pairs of triangular numbers whose product is a perfect square and pairs of intervals of successive integers with equal sums of squares

论文技术总结

1. 研究问题 (Problem)

本文主要研究两个相互关联的数论问题：

1. 三角数对的乘积问题：寻找非负整数对 $(a, b)$，使得两个三角数 $T_a = \frac{a(a+1)}{2}$ 和 $T_b = \frac{b(b+1)}{2}$ 的乘积是一个完全平方数。即寻找满足 $a(a+1)b(b+1) = 4d^2$ 的整数对 $(a, b)$。
   • 已知情况：如果 $a$ 和 $b$ 本身都是“平方三角数”（即 $T_a$ 和 $T_b$ 均为完全平方数），则乘积显然是平方数。
   • 核心问题：是否存在其他非平凡解（即 $T_a$ 和 $T_b$ 不全是平方数，但它们的乘积是平方数）？
2. 连续整数区间平方和相等的问题：寻找两对长度不同的连续整数区间，使得它们的平方和相等。
   • 具体设定：寻找整数 $n, m, k, j$（其中 $k>0, m \ge 0, j \ge 0$），满足：
     $$\sum_{i=-m}^{k} (n+i)^2 = \sum_{i=k+j+1}^{2k+j} (n+i)^2$$
   • 限制条件：两个区间的长度差为 $m+1$（即左区间长度为 $k+m+1$，右区间长度为 $k$），且两区间之间间隔为 $j$。

2. 方法论 (Methodology)

作者采用了代数构造、多项式恒等式以及佩尔方程（Pell's Equation）理论相结合的方法：

• 多项式构造法：
  • 作者定义了一类二次数 $\Pi(k, j) = k(k+1)(k+j)(k+j+1)$。
  • 通过构造特定系数的多项式 $j_i(k)$（分为偶数阶 $i=2\ell$ 和奇数阶 $i=2\ell+1$），使得对于任意正整数 $k$，$\Pi(k, j_i(k))$ 都是一个完全平方数。
  • 利用恒等式 $k + j_i(k) + 1 = k A^2 + 1 = (k+1) B^2$（针对偶数 $i$）或 $k(k+1)A^2 + 1 = B^2$（针对奇数 $i$），证明了这些构造生成的解确实使 $\Pi$ 成为平方数。
• 递归与显式公式：
  • 利用斐波那契类序列 $x_i$（满足 $x_{i+2} = 2x_{i+1} + x_i$）和费马 - 佩尔方程 $X^2 - 2Y^2 = 1$ 的解，给出了平方三角数的递归生成公式。
  • 推导了多项式系数 $a_t, b_t, c_t$ 的显式组合公式，并证明了其整数性。
• 判别式分析：
  • 将平方和相等的问题转化为关于起始点 $n$ 的二次方程 $An^2 + Bn + C = 0$。
  • 该方程有整数解的充要条件是其判别式 $D$ 为完全平方数。
  • 在 $m=0$（即两区间长度差为 1）的特殊情况下，判别式 $D$ 恰好等于 $4\Pi(k, j)$。因此，$\Pi(k, j)$ 为平方数直接对应于平方和相等问题的整数解。

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

A. 平方三角数与近等腰毕达哥拉斯三元组

• 回顾了欧拉（1778）对平方三角数的刻画，并指出它们与“近等腰毕达哥拉斯三元组”（$k^2 + (k+1)^2 = l^2$）的一一对应关系。
• 给出了生成这些三元组的递归公式和显式公式（基于 $\sqrt{2}$ 的幂次）。

B. 平方二次数对 $(k, j)$ 的家族构造

• 主要定理：证明了对于每一个非负整数 $i$，存在唯一的多项式 $j_i(k)$，使得对任意 $k$，数对 $(k, j_i(k))$ 都是“平方对”（即 $\Pi(k, j_i(k))$ 为完全平方数）。
• 具体构造：
  • 对于 $i=1$，得到 $j_1(k) = k(4k+3)$。
  • 对于 $i=2$，得到 $j_2(k) = 8k(k+1)(2k+1)$。
  • 以此类推，构造了 $i=1$ 到 $8$ 的显式多项式（见论文第 6 节及表 2）。
• 猜想 1 (Conjecture 1)：如果 $k$ 是平方三角数，则行 $k$ 中的解对应于同奇偶性的“双毕达哥拉斯对”；而奇偶性相反的解是“例外”（不在多项式族中，如 $k=8, j=41$）。
• 猜想 2 (Conjecture 2)：所有平方数对 $(k, j)$ 要么属于上述多项式族 $(k, j_i(k))$，要么属于“双毕达哥拉斯对”中奇偶性相反的那一半。作者认为除了这两类外，不存在其他解。

C. 平方和相等区间对的发现

• 利用上述平方二次数的结果，作者找到了无穷多组长度相差 1 的连续整数区间，其平方和相等。
• 定理 3 (Dostor 恒等式)：当 $m=0, j=0$ 时，恢复了 Dostor (1879) 的著名恒等式：
  $$[k(2k+1)]^2 + \dots + [2k(k+1)]^2 = [2k(k+1)+1]^2 + \dots + [k(2k+3)]^2$$
• 新恒等式：利用 $j_i(k)$ 族，生成了新的恒等式。例如，对于 $j_1(k)$，得到：
  $$\sum_{t=0}^{k} [2k(k+1)(4k+1)+t]^2 = \sum_{t=1}^{k} [2k(k+1)(4k+3)+t]^2$$
• 等价性证明：证明了“平方二次数对 $(k, j)$ 的完全分类”与“长度差为 1 的平方和相等区间对的完全分类”是等价的。

D. 数值计算与数据

• 论文提供了大量数值结果（表 2 至表 5），列出了 $k \le 8, i \le 8$ 时的多项式值，以及 $m, k \le 100, j \le 18$ 范围内所有判别式为完全平方数的有理/整数解。
• 特别指出了 $j=0$ 且 $m>0$ 时的部分解（如 Lucas 平方金字塔问题的变体）。

4. 意义与影响 (Significance)

1. 数论结构的深化：该研究将三角数、平方数、毕达哥拉斯三元组以及连续整数平方和等经典数论问题统一在一个代数框架下。
2. 解决开放问题：虽然完全证明“不存在其他解”仍是一个猜想，但作者通过构造无穷多族解并给出强有力的数值证据，极大地推进了对该问题的理解。
3. 连接不同领域：揭示了多项式恒等式（代数）与丢番图方程（数论）以及几何（区间长度）之间的深刻联系。
4. 计算验证：提供了详尽的计算数据，为后续研究者验证猜想或寻找反例提供了坚实基础。
5. 推广潜力：论文最后简要讨论了 $s$ 维向量（$s \ge 2$）的推广问题，指出对于 $s=2$ 的情况，除了已知的两类解外，可能还存在其他类型的解，为未来的研究指明了方向。

总结：这篇论文通过构造特定的多项式族，系统地解决了“乘积为平方数的三角数对”问题，并由此导出了“长度差为 1 的连续整数区间平方和相等”的无穷多组解。作者提出了关于解的完备性的猜想，并证明了这两个问题在数学本质上的等价性，为数论中的经典问题提供了新的视角和工具。