On Diophantine triples containing a triangular number

技術要約：三角数を含むディオファントス三つ組について

問題提起
本論文は、ディオファントス $m$-組の問題、具体的には、集合の異なる任意の2つの要素の積に固定された整数 $n$ を加えたものが完全平方数となる、相異なる正の整数の集合（ディオファントス $n$-組）を扱っている。焦点は、集合の要素が三角数（$T_k = k(k+1)/2$）に限定され、かつ特性パラメータが完全平方数 $n = m^2$ である変種にある。

先行文献では、特定のディオファントス三角数三つ組（例：$\{T_n, T_{n+4}, T_{4n^2+20n+8}\}$）の存在が確立されており、また古典的なケースにおけるより大きな集合（五つ組）の非存在も証明されているが、本研究はこのような三つ組の密度と構成について調査している。具体的には、固定された三角数 $T_n$ が、すべて三角数からなる無限個の異なる $D(m^2)$-三つ組の要素となり得るか否かを問うている。

手法
著者は、再帰数列および三角数に関する代数的な恒等式に基づいた構成的アプローチを採用している。手法は以下の手順で進む：

1. 初期ペアの構成： 固定された正の整数 $m$ と開始インデックス $n$ に対して、基礎となる $D(m^2)$-ペア $\{T_n, T_{n+4m}\}$ を特定する。これら要素の積に $m^2$ を加えたものが完全平方数 $r_1^2$ になることが示される。
2. 再帰的拡張： 新しい三角数を生成するために、インデックスの数列 $N_k$ を定義する。$N_0 = n$ および $N_1 = n+4m$ から出発し、第3の要素として $N_2 = 8r_1$ を構成し、初期の三つ組 $\{T_{N_0}, T_{N_1}, T_{N_2}\}$ を形成する。
3. 漸化式： 後続のインデックスのために、以下の再帰的定義を確立する：
   $$N_{k+2} = 8s_k + N_k$$
   ここで、$s_k$ と $t_k$ は特定の漸化式を満たす整数の数列である：
   $$s_{k+1} = 2s_k(2N_0 + 1) - s_{k-1}$$
   $$t_{k+1} = 2s_k(2N_{k+1} + 1) + t_k$$
   これらの数列 $s_k$ および $t_k$ は、三つ組内のペアの積に $m^2$ を加えたものが平方数であるという条件から導かれる。
4. 明示的な公式： $s_k$ の漸化式は、特性根 $\alpha$ および $\beta$（$N_0$ から導出）を用いて解かれ、$s_k, N_k, t_k$ の明示的な閉形式の表現を与える。
5. 検証： 証明は、新しく構成された三つ組 $\{T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}\}$ が $D(m^2)$ 性を満たすことを検証することに依拠している。これには、恒等式 $T_{8x+y} = 32x^2 + 4x(2y+1) + T_y$ および性質 $8T_n + 1 = (2n+1)^2$ を用いた代数的な簡略化が含まれる。著者は、すべての $k \geq 1$ に対して、要求される平方条件が成立することを実証する。

主要な貢献と結果
主要な貢献は定理1である：

$m$ を正の整数とする。任意の正の整数 $n$ に対して、三角数 $T_n$ は、三角数からなる無限個の $D(m^2)$-三つ組の要素となる。

本論文は、そのような三つ組の無限の族を生成する一般的な構成法を提示している。極めて重要な点は、この構成によって生成されるすべての三つ組が、同一の 初期の三角数 $T_n$ を含んでいることである。この構成は、任意の正の整数 $m$ および $n$ に対して有効であることが示されている。

意義と主張
本論文は、共通の要素を共有する $D(m^2)$-三つ組の無限の族が存在することを確立したと主張している。これは、特定の孤立した三つ組や有限の族を特定してきた従来の知見を拡張するものである。

著者は、構成された三つ組が、必ずしも $T_n$ を含む唯一の 三つ組ではないことを控えめに述べている。例えば $\{T_1, T_{15}, T_{90}\}$ のような、提示された特定の再帰的構成から生じない、三つ組の中で $T_n$ が最小要素となる例がある。しかし、本研究の意義は、与えられた $T_n$ および $m^2$ に対して無限の解の集合を生成する体系的かつ一般的な手法を提供し、それによって、三角数が $D(m^2)$ 性の下で豊富なディオファントス構造を持っていることを示した点にある。