On Diophantine triples containing a triangular number

Technische Samenvatting: Over Diofantische Triples Bevattenende Driehoekige Getallen

Probleemstelling
Het artikel behandelt het probleem van Diofantische $m$-tuples, specifiek verzamelingen van onderscheidende positieve gehele getallen waarbij het product van twee willekeurige verschillende elementen verhoogd met een vaste integer $n$, een kwadraat oplevert. De focus ligt op de variant waarbij de elementen van de verzameling beperkt zijn tot driehoekige getallen ($T_k = k(k+1)/2$) en de eigenschapsparameter een kwadraat is, $n = m^2$.

Hoewel eerdere literatuur specifieke Diofantische triples van driehoekige getallen heeft vastgesteld (bijv. $\{T_n, T_{n+4}, T_{4n^2+20n+8}\}$) en resultaten van niet-bestaan voor grotere verzamelingen (quintuples) heeft bewezen in klassieke gevallen, onderzoekt dit werk de dichtheid en constructie van dergelijke triples. Specifiek wordt de vraag gesteld of een vast driehoekig getal $T_n$ lid kan zijn van oneindig veel verschillende $D(m^2)$-triples bestaande uit louter driehoekige getallen.

Methodologie
De auteur hanteert een constructieve aanpak gebaseerd op recursieve rijen en algebraïsche identiteiten betreffende driehoekige getallen. De methodologie verloopt als volgt:

1. Constructie van een initiële paren: Voor een vaste positieve integer $m$ en een startindex $n$ identificeert het artikel een basis $D(m^2)$-paar $\{T_n, T_{n+4m}\}$. Het product van deze elementen plus $m^2$ blijkt een kwadraat te zijn, aangeduid als $r_1^2$.
2. Recursieve uitbreiding: De auteur definieert een rij indices $N_k$ om nieuwe driehoekige getallen te genereren. Beginnend met $N_0 = n$ en $N_1 = n+4m$, wordt een derde element $N_2 = 8r_1$ geconstrueerd om de initiële triple $\{T_{N_0}, T_{N_1}, T_{N_2}\}$ te vormen.
3. Recursieve relaties: Een recursieve definitie wordt vastgesteld voor de daaropvolgende indices:
   $$N_{k+2} = 8s_k + N_k$$
   waarbij $s_k$ en $t_k$ reeksen van gehele getallen zijn die voldoen aan specifieke recursieve relaties:
   $$s_{k+1} = 2s_k(2N_0 + 1) - s_{k-1}$$
   $$t_{k+1} = 2s_k(2N_{k+1} + 1) + t_k$$
   De reeksen $s_k$ en $t_k$ zijn afgeleid van de conditie dat het product van paren in de triple plus $m^2$ een kwadraat moet zijn.
4. Expliciete formules: De recursie voor $s_k$ wordt opgelost met behulp van karakteristieke wortels $\alpha$ en $\beta$ (afgeleid van $N_0$), wat leidt tot expliciete gesloten vorm-uitdrukkingen voor $s_k$, $N_k$ en $t_k$.
5. Verificatie: Het bewijs berust op het verifiëren dat de nieuw geconstrueerde triple $\{T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}\}$ voldoet aan de $D(m^2)$-eigenschap. Dit omvat algebraïsche vereenvoudiging met behulp van de identiteit $T_{8x+y} = 32x^2 + 4x(2y+1) + T_y$ en de eigenschap $8T_n + 1 = (2n+1)^2$. De auteur toont aan dat de vereiste kwadratische condities voor alle $k \geq 1$ standhouden.

Kernbijdragen en Resultaten
De primaire bijdrage is Stelling 1, die stelt:

Laat $m$ een positieve integer zijn. Voor iedere positieve integer $n$ is het driehoekige getal $T_n$ lid van oneindig veel $D(m^2)$-triples van driehoekige getallen.

Het artikel biedt een algemene constructie die oneindig veel families van dergelijke triples oplevert. Cruciaal is dat elke door deze constructie gegenereerde triple hetzelfde initiële driehoekige getal $T_n$ bevat. De constructie blijkt geldig te zijn voor alle positieve integers $m$ en $n$.

Betekenis en Claims
Het artikel claimt de existentie van een oneindige familie van $D(m^2)$-triples van driehoekige getallen die een gemeenschappelijk element delen. Dit breidt de eerdere kennis uit, die specifieke geïsoleerde triples of eindige families had geïdentificeerd.

De auteur merkt bescheiden op dat de geconstrueerde triples niet noodzakelijkerwijs de enige dergelijke triples zijn die $T_n$ bevatten. Het artikel citeert voorbeelden (zoals $\{T_1, T_{15}, T_{90}\}$) waarbij $T_n$ het kleinste element is in een triple dat niet voortkomt uit de specifieke recursieve constructie die wordt gepresenteerd. De betekenis van het werk ligt echter in het bieden van een systematische, algemene methode om een oneindige verzameling oplossingen te genereren voor elk gegeven $T_n$ en $m^2, waarmee wordt aangetoond dat driehoekige getallen rijk zijn aan Diofantische structuur onder de$D(m^2)$-eigenschap.