論文「三角数の積が完全平方数となる数対と、平方和が等しい連続整数区間の数対」の技術的サマリー

著者: Vladimir Gurvich (HSE, ルツコル), Mariya Naumova (ルッジャーズ大学)
日付: 2026 年 2 月 20 日
分野: 数論、三角数、平方数、ピタゴラス数、ペル方程式

1. 問題の背景と定義

本論文は、以下の 2 つの数学的問題の関連性を解明することを目的としています。

1. 三角数の積が完全平方数となる数対 $(a, b)$ の同定:
   三角数 $T_n = n(n+1)/2$ において、2 つの三角数 $T_a$ と $T_b$ の積 $T_a \cdot T_b$ が完全平方数となるような整数対 $(a, b)$ を見つける問題です。
   式で表すと、$a(a+1)b(b+1)$ が完全平方数となる $(a, b)$ の探索です。

   • 自明な解として、$a$ と $b$ 自体が「平方三角数（三角数でありかつ完全平方数）」である場合が挙げられます（オイラーが 1778 年に特徴付け）。
   • しかし、$a$ と $b$ がそれぞれ平方三角数でなくても、その積が平方数となる「非自明な解」が存在するかが問われています。

2. 平方和が等しい連続整数区間の数対:
   長さの異なる（または同じ）2 つの連続整数の区間があり、それぞれの区間内の整数の平方和が等しくなるようなペアを見つける問題です。
   具体的には、長さ $k+m+1$ の区間と長さ $k$ の区間（距離 $j+1$ だけ離れている）の平方和が等しくなる条件を探求します。

2. 手法とアプローチ

著者らは、多項式とペル方程式（Fermat-Pell 方程式）の理論を駆使して、これらの問題を体系的に解決しました。

2.1. 多項式によるパラメータ化

平方数となる二次数 $\Pi(k, j) = k(k+1)(k+j)(k+j+1)$ を生成する多項式族 $j_i(k)$ を定義しました。
ここで、$k$ は区間の開始点（または関連パラメータ）、$j$ は区間の長さの差や間隔に関連するパラメータです。

• 偶数次数 $i=2\ell$ の場合:
  恒等式 $k + j_{2\ell}(k) + 1 = k A_{2\ell}^2 + 1 = (k+1) B_{2\ell}^2$ を満たす多項式 $A, B$ を構成し、$j_{2\ell}(k)$ を導出します。
• 奇数次数 $i=2\ell+1$ の場合:
  恒等式 $k + j_{2\ell+1}(k) + 1 = k(k+1) A_{2\ell+1}^2 + 1 = B_{2\ell+1}^2$ を満たす多項式を構成します。

これらの多項式の係数は、明示的な公式（二項係数や階乗を用いた式）によって与えられ、すべての整数 $k$ に対して $\Pi(k, j_i(k))$ が完全平方数となることを証明しました。

2.2. 区間問題への還元

「平方和が等しい連続整数区間」の問題は、二次方程式 $an^2 + bn + c = 0$ の解が整数となる条件に帰着されます。
この方程式の判別式 $D$ は、上記の二次数 $\Pi(k, j)$ に比例します（特に $m=0$ の場合、$D = 4\Pi(k, j)$）。
したがって、$\Pi(k, j)$ が完全平方数であれば、判別式も完全平方数となり、区間の開始点 $n$ が整数となる解が存在します。

3. 主要な貢献と結果

3.1. 平方三角数以外の解の無限族の発見

著者らは、$a$ と $b$ の両方が平方三角数である場合（自明な解）以外にも、無限に多くの解が存在することを示しました。
具体的には、多項式 $j_i(k)$ によって定義される数対 $(k, j_i(k))$ が、すべての正の整数 $k$ に対して条件を満たすことを証明しました。

• 定理 1 と 2: 任意の次数 $i$ に対して、一意な正の整数係数を持つ多項式 $j_i(k)$ が存在し、対 $(k, j_i(k))$ は平方数条件を満たします。
• 表 2: $k \le 8, i \le 8$ までの具体的な数値例を示しています。

3.2. 2 つの予想の同等性の証明

論文の核心的な貢献は、以下の 2 つの予想が同等であることを示した点です。

• 予想 1: 三角数 $k(k+1)/2$ が平方数である場合、その行に含まれる数対は特定の「二重ピタゴラス数対（bi-Pythagorean pairs）」の性質を持つ。
• 予想 2: 平方数となる数対 $(k, j)$ は、上記の多項式族 $j_i(k)$ によって生成されるもの、または「逆パリティの二重ピタゴラス四つ組の半分」によって与えられるものに限られる（これ以外に例外はない）。

著者らは、区間問題における解の構造と三角数の積の構造が本質的に同じであることを示し、これら 2 つの予想が同等であることを証明しました。つまり、一方が真であれば他方も真となります。

3.3. 具体的な恒等式の導出

$m=0$（区間の長さの差が 1）の場合、得られた解を用いて、平方和が等しい連続整数区間の無限族を構成しました。
例として、$k=1, j=j_1(1)=7$ の場合、以下の恒等式が得られます：
$$20^2 + 21^2 = 29^2$$
また、$k=2, j=j_1(2)=22$ の場合：
$$108^2 + 109^2 + 110^2 = 133^2 + 134^2$$
さらに、負の整数を含む区間についても同様の恒等式が導かれます（例：$(-4)^2 + (-3)^2 = 5^2$）。

3.4. 数値的検証

• 表 3: 近等辺ピタゴラス数対（$k^2 + (k+1)^2 = l^2$）のリストを示し、これが $i=1$ のケースに対応することを示しました。
• 表 4, 5: $m, k \le 100, j \le 18$ の範囲で、判別式が完全平方数となるすべての有理数解（および整数解）を計算し、リスト化しました。これにより、既知の解以外に新たな解が存在しない可能性（または特定の構造に従っていること）を強く示唆しています。

4. 意義と結論

本論文は、以下の点で数論において重要な意義を持ちます。

1. 構造的な統一: 「三角数の積が平方数となる問題」と「平方和が等しい連続整数区間の問題」という一見異なる 2 つの古典的な問題を、ペル方程式と多項式族を通じて統一的に扱った点。
2. 完全性の仮説: 発見された多項式族が、平方数となる数対の「すべて」を網羅している可能性が高いという強い仮説（予想 2）を提示し、その正当性を部分的に裏付けた点。
3. 新たな恒等式の生成: 既知の Dostor の恒等式（$m=j=0$ の場合）を一般化し、無限に多くの新しい平方和の恒等式を系統的に生成する手法を提供した点。

結論として、著者らは $a(a+1)b(b+1)$ が完全平方数となる数対 $(a, b)$ の大部分を、特定の多項式族によって記述できることを示し、これらが区間問題の解と完全に一致することを証明しました。残された未解決問題は、これら以外の「例外」が本当に存在しないことの厳密な証明ですが、数値的証拠と理論的構造から、その存在は極めて低いと結論付けています。