On Diophantine triples containing a triangular number

Basic Information

• Paper ID: 2510.26617
• Title: On Diophantine triples containing a triangular number
• Author: Marija Bliznac Trebješanin (Faculty of Science, University of Split, Croatia)
• Classification: math.NT (Number Theory)
• Submission Date: October 30, 2025 to arXiv
• Paper Link: https://arxiv.org/abs/2510.26617
• Subject Classification: 11B37 (Recursive sequences), 11D09 (Diophantine equations)

Abstract

This paper presents a general construction method that generates infinitely many families of $D(m^2)$-triples consisting of triangular numbers. A remarkable feature of this construction is that all generated triples contain the same initial triangular number $T_n$.

Research Background and Motivation

Research Problem

The core problem investigated in this paper is: how to systematically construct Diophantine triples containing specific triangular numbers. Specifically, for a given triangular number $T_n$ (where $T_n = \frac{n(n+1)}{2}$), find two other triangular numbers $T_i$ and $T_j$ such that the product of any two of the three numbers plus a fixed integer $m^2$ is a perfect square.

Significance of the Problem

1. Continuation of a classical problem: The Diophantine $m$-tuple problem originates from the ancient Greek mathematician Diophantus, with Fermat discovering the first quadruple {1, 3, 8, 120}. This field has deep historical roots.
2. Theoretical value: Studying the occurrence patterns of specific sequences (such as triangular numbers and Fibonacci numbers) in Diophantine sets is an important topic in number theory. Previous research has shown that $D(1)$-quintuples do not exist (He, Togbé, Ziegler), $D(4)$-quintuples do not exist (the author with Filipin), and no quadruples consisting entirely of Fibonacci numbers exist (Fujita and Luca).
3. Lack of constructive methods: While some isolated examples are known, there is a lack of systematic methods to generate infinitely many triples containing specified triangular numbers.

Limitations of Existing Methods

• Known results: From Deshpande's result, one can derive that {$T_n, T_{n+4}, T_{4n^2+20n+8}$} is a Diophantine triple
• Specific forms: For any positive integers $m$ and $n$, {$T_n, T_{n+m}, T_{4(n^2+(4m+1)n+2m)}$} is a $D(m^2)$-triple
• Lack of recursive construction: These results only give individual triples, not infinite families

Research Motivation

The author aims to establish a recursive construction framework that, starting from an initial $D(m^2)$-pair, systematically generates infinitely many $D(m^2)$-triples containing the same triangular number $T_n$.

Core Contributions

1. Recursive construction method: Proposes a recursive construction starting from the initial pair {$T_n, T_{n+4m}$} that generates infinitely many $D(m^2)$-triples
2. Main theorem: Proves that for any positive integers $m$ and $n$, the triangular number $T_n$ is a member of infinitely many $D(m^2)$-triples consisting of triangular numbers (Theorem 1)
3. Explicit formulas: Provides explicit expressions for the recursive sequences $\{N_k\}$, $\{s_k\}$, and $\{t_k\}$, such that {$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$} forms a $D(m^2)$-triple
4. Completeness proof: Rigorously proves the correctness of the construction through mathematical induction

Detailed Methodology

Task Definition

Input: Positive integers $m$ and $n$
Output: Infinite sequence of triples {$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$} ($k \geq 1$) satisfying the $D(m^2)$ property
Constraint: All triples contain the initial triangular number $T_{N_0} = T_n$

The $D(m^2)$ property requires that for any two distinct elements $a$ and $b$ in the triple, $ab + m^2$ is a perfect square.

Construction Architecture

Step One: Establishment of Initial Pair

Starting from the pair {$T_n, T_{n+4m}$}, verify that it is a $D(m^2)$-pair: $T_n \cdot T_{n+4m} + m^2 = \left(\frac{n^2 + (4m+1)n + 2m}{2}\right)^2 =: r_1^2$

Step Two: First Triple

Extend to the triple {$T_n, T_{n+4m}, T_{8r_1}$}, define:

• $N_0 = n$
• $N_1 = n + 4m$
• $N_2 = 8r_1$

Verify: $T_n T_{8r_1} + m^2 = (2r_1(2n+1) - m)^2 = s_1^2$$T_{n+4m} T_{8r_1} + m^2 = (2r_1(2(n+4m)+1) + m)^2 = t_1^2$

Step Three: Recursive Construction

Define the recursive sequence: $N_{k+2} = 8s_k + N_k, \quad k \geq 1$

where $s_k$ and $t_k$ satisfy the recursive relations: $s_{k+1} = 2s_k(2N_0 + 1) - s_{k-1} \quad \text{(Formula 1)}$$t_{k+1} = 2s_k(2N_{k+1} + 1) + t_k \quad \text{(Formula 2)}$

Initial conditions: $s_0 := r_1$, $s_{-1} := m$

Technical Innovations

1. Derivation of Explicit Formulas

The recursive relation (1) can be solved to obtain explicit formulas. Define: $\alpha = 2N_0 + 1 + 2\sqrt{N_0(N_0+1)}$$\beta = 2N_0 + 1 - 2\sqrt{N_0(N_0+1)}$

Note that $\alpha = (\sqrt{N_0+1} + \sqrt{N_0})^2$, $\beta = (\sqrt{N_0+1} - \sqrt{N_0})^2$, therefore $\beta = \alpha^{-1}$.

Define: $\lambda_1 = \frac{m}{2} + \frac{1}{8}\sqrt{N_0(N_0+1)}$$\lambda_2 = \frac{m}{2} - \frac{1}{8}\sqrt{N_0(N_0+1)}$

Then: $s_k = \lambda_1 \alpha^{k+1} + \lambda_2 \beta^{k+1}, \quad k \geq 1$

By discussing odd and even cases separately, we obtain: $N_k = \frac{8\alpha}{\alpha^2 - 1}(\lambda_1 \alpha^k - \lambda_2 \beta^k) - \frac{1}{2}$

$t_k = \frac{32\alpha^3\lambda_1^2}{(\alpha^2-1)^2}\alpha^{2k} + \frac{32\alpha\lambda_2^2}{(\alpha^2-1)^2}\beta^{2k} - \frac{32\alpha}{(\alpha^2-1)^2}(\alpha^2\lambda_1^2 + \lambda_2^2) + m$

2. Inductive Proof Strategy

Assume {$T_{N_0}, T_{N_k}, T_{N_{k+1}}$} is a $D(m^2)$-triple and (1)(2) hold. We need to prove that {$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$} is also a $D(m^2)$-triple.

Two equations must be verified: $(3) \quad T_{N_0}T_{N_{k+2}} + m^2 = s_{k+1}^2$$(4) \quad T_{N_{k+1}}T_{N_{k+2}} + m^2 = t_{k+1}^2$

3. Key Identities

Using properties of triangular numbers: $T_{8x+y} = 32x^2 + 4x(2y+1) + T_y$$8T_n + 1 = (2n+1)^2$

Proof of (3): $T_{N_0}T_{N_{k+2}} + m^2 = T_{N_0}T_{8s_k+N_k} + m^2$$= 32s_k^2 T_{N_0} + 4s_k(2N_k+1)T_{N_0} + s_{k-1}^2$

By formula (1): $s_{k+1}^2 = 32s_k^2 T_{N_0} + 4s_k^2 - 4s_k s_{k-1}(2N_0+1) + s_{k-1}^2$

The proof reduces to verifying: $(5) \quad (2N_k+1)T_{N_0} = s_k - s_{k-1}(2N_0+1)$

This can be verified by substituting the explicit expressions.

Proof of (4): Similarly, the proof reduces to verifying: $(6) \quad T_{N_{k+1}}(2N_k+1) = s_k + t_k(2N_{k+1}+1)$

This is also verified by substituting the explicit expressions.

Method Advantages

1. Systematicity: Provides a unified construction framework starting from any initial triangular number
2. Computability: Explicit formulas allow direct calculation of the $k$-th triple
3. Completeness: Theoretical proof guarantees the correctness of the construction
4. Generality: Applicable to any positive integers $m$ and $n$

Experimental Setup

Verification Methods

This is a pure theoretical mathematics paper with no traditional experiments. Verification is primarily through:

1. Theoretical proof: Mathematical induction and algebraic identity verification
2. Concrete examples: The paper provides some specific triple instances

Example Verification

Specific examples mentioned in the remarks at the end:

• Classical Diophantine triples: {$T_1, T_{15}, T_{90}$} and {$T_2, T_{15}, T_{153}$}
• $D(9)$-triples: {$T_1, T_{63}, T_{370}$}

These examples demonstrate that there exist triples containing $T_n$ that cannot be directly obtained from the construction in this paper, indicating that while the construction generates infinitely many triples, it is not complete (cannot generate all possible triples).

Experimental Results

Theoretical Results

Main Theorem (Theorem 1): For any positive integers $m$ and $n$, the triangular number $T_n$ is a member of infinitely many $D(m^2)$-triples consisting of triangular numbers.

Validity of the Construction

The correctness of the construction is verified through the following steps:

1. Base case ($k=1$):
   • The triple {$T_{N_0}, T_{N_1}, T_{N_2}$} = {$T_n, T_{n+4m}, T_{8r_1}$} satisfies the $D(m^2)$ property
   • All three product conditions are verified
2. Recursive step:
   • Proves that if {$T_{N_0}, T_{N_k}, T_{N_{k+1}}$} is a $D(m^2)$-triple
   • Then {$T_{N_0}, T_{N_{k+1}}, T_{N_{k+2}}$} is also a $D(m^2)$-triple
3. Explicit verification:
   • Equations (5) and (6) are verified by substituting explicit formulas
   • These verifications rely on the special relationship between $\alpha$ and $\beta$ ($\beta = \alpha^{-1}$)

Important Findings

1. Infinitude: From a single initial triangular number $T_n$, infinitely many $D(m^2)$-triples containing it can be generated
2. Non-uniqueness: The remarks indicate that the triple families produced by the construction are not unique. For example:
   • $T_{n+4m}$ itself can serve as a starting point to generate another family of triples
   • There exist triples that cannot be obtained from any such construction
3. Structural characteristics: All generated triples maintain the first element $T_{N_0} = T_n$ unchanged, while the latter two elements vary with $k$

Related Work

General Theory of Diophantine $m$-tuples

1. Existence results:
   • He, Togbé, Ziegler (2019): Proved that $D(1)$-quintuples do not exist
   • Bliznac Trebješanin & Filipin (2019): Proved that $D(4)$-quintuples do not exist
   • Bonciocat, Cipu & Mignotte (2022): Proved that $D(-1)$-quadruples do not exist
2. Diophantine sets in special sequences:
   • Dujella (1993): Enumerated $D(1), D(4), D(9), D(64)$ quadruples containing Fibonacci numbers
   • Fujita & Luca (2018): Proved that no Diophantine quadruple consists entirely of Fibonacci numbers

Diophantine Properties of Triangular Numbers

1. Deshpande (1998): Proved that {8, $T_n$, $T_{n+4}$, $T_{4n^2+20n+8}$} is a Diophantine quadruple
   • Corollary: {$T_n$, $T_{n+4}$, $T_{4n^2+20n+8}$} is a Diophantine triple of triangular numbers
2. Known general form:
   • For any positive integers $m$ and $n$, {$T_n$, $T_{n+m}$, $T_{4(n^2+(4m+1)n+2m)}$} is a $D(m^2)$-triple
   • This only gives individual triples, not infinite families
3. Hamtat (2025): A preprint also studies Diophantine triples of triangular numbers

Positioning of This Paper's Contribution

The main advances of this paper compared to existing work:

1. From single to infinite: Existing results only give isolated triples; this paper provides a systematic method for generating infinite families
2. Recursive construction: Introduces a recursive framework enabling generation of arbitrarily many triples from an initial pair
3. Explicit formulas: Provides closed-form expressions for recursive sequences, facilitating theoretical analysis and computation
4. Fixed elements: All triples share the same initial triangular number, which may have special significance in applications

Conclusions and Discussion

Main Conclusions

1. Completeness of construction: For any positive integers $m$ and $n$, the recursive construction starting from the initial pair {$T_n, T_{n+4m}$} can produce infinitely many $D(m^2)$-triples
2. Theoretical guarantee: Through rigorous mathematical proof, the correctness of the construction is established, with the proof relying on:
   • Algebraic properties of triangular numbers
   • Explicit solution of recursive sequences
   • Verification of key identities
3. Universality: Theorem 1 establishes that for all positive integers $m$ and $n$, the triangular number $T_n$ belongs to infinitely many triangular number $D(m^2)$-triples

Limitations

1. Non-completeness:
   • The remarks explicitly state that there exist $D(m^2)$-triples containing $T_n$ that cannot be obtained from the construction in this paper
   • Examples include {$T_1, T_{15}, T_{90}$}, {$T_2, T_{15}, T_{153}$}, and {$T_1, T_{63}, T_{370}$}
   • This suggests that other construction methods or more general theoretical frameworks may exist
2. Specific form restrictions:
   • The construction only applies to the $D(m^2)$ form (where $n$ must be a perfect square)
   • The method does not directly apply to general $D(n)$-triples
3. Choice of initial pair:
   • The construction begins from a specific initial pair {$T_n, T_{n+4m}$}
   • Whether other initial pairs can produce different triple families remains unexplored
4. Extension to quadruples:
   • The paper only studies triples; whether the construction can be extended to obtain quadruples or higher tuples is unknown
   • Given known non-existence results, this may be difficult

Future Directions

Although the paper does not explicitly list future work, the following research directions can be inferred:

1. Complete classification problem:
   • Characterize all $D(m^2)$-triples containing a given triangular number $T_n$
   • Determine which triples can be obtained from recursive construction
2. Other initial conditions:
   • Explore constructions starting from different initial pairs
   • Study relationships between different constructions
3. Generalization to $D(n)$ case:
   • Extend the method to non-perfect-square cases
   • Seek systematic constructions for $D(n)$-triples
4. Possibility of quadruples:
   • Investigate whether extension from triples to quadruples is possible
   • Determine under what conditions extension is feasible
5. Computational aspects:
   • Develop efficient algorithms for generating and verifying large-scale triples
   • Study growth rates and number-theoretic properties of the sequence $\{N_k\}$

In-Depth Evaluation

Strengths

1. Innovation of Method

• Recursive framework: First systematic recursive construction method for Diophantine triples of triangular numbers
• Explicit formulas: Solving recursive relations in closed form demonstrates deep algebraic insight
• Unified treatment: Single framework applicable to all positive integers $m$ and $n$

2. Rigor of Theory

• Complete proof: Inductive proof process is rigorous with detailed algebraic verification at each step
• Key identities: Verification of equations (5) and (6) is the core of the proof, confirmed through explicit formulas
• Boundary conditions: Careful handling of initial cases and connection of recursive steps

3. Importance of Results

• Existence theorem: Theorem 1 is an important theoretical contribution to the field
• Infinitude: The transition from finite to infinite has theoretical significance
• Computability: Explicit formulas make results practically implementable

4. Clarity of Exposition

• Clear structure: Logical flow from background, construction, proof to conclusion
• Consistent notation: Mathematical symbols used consistently and standardly
• Clear motivation: Research background and significance clearly explained

Weaknesses

1. Completeness Issues

• Missing triples: Remarks acknowledge existence of triples not obtainable from the construction
• Lack of characterization: No complete characterization of which triples can be constructed
• Other constructions: Possible alternative construction methods not discussed

2. Generalization Limitations

• $D(m^2)$ restriction: Method heavily depends on the special form $n = m^2$
• Fixed initial pair: Only one specific initial pair considered
• Triple limitation: Extension to higher tuples not discussed

3. Examples and Applications

• Few concrete examples: Only a few examples mentioned in remarks without detailed computation
• Missing numerical verification: No specific $k$ values with corresponding triples shown
• Weak application background: No discussion of applications in other mathematical problems

4. Technical Details

• Odd/even classification: Mentions "careful consideration of whether $k$ is odd or even" for $N_k$ formula without detailed process
• Verification process: Equations (5) and (6) verification stated as "can be verified by substituting explicit expressions" without showing actual computation
• Properties of $\alpha$ and $\beta$: While key relationships are noted, deeper number-theoretic significance could be explored

Impact

1. Contribution to the Field

• Theoretical progress: Provides new tools for studying Diophantine properties of triangular numbers
• Methodology: Recursive construction ideas may inspire research on other special sequences
• Open problems: Raises new questions about complete classification

2. Practical Value

• Computational tool: Explicit formulas can generate large quantities of triples
• Verification method: Can verify completeness of other constructions
• Theoretical foundation: Provides basis for further research on higher tuples

3. Reproducibility

• High theoretical reproducibility: Proof steps are clear and can be independently verified
• Implementable computation: Explicit formulas can be directly programmed
• Verifiable examples: Examples in remarks can be hand-verified

4. Limitations

• Specialized audience: Primarily targets number theory researchers with limited application scope
• Unknown completeness: Non-completeness of construction limits its value as a universal tool

Applicable Scenarios

1. Theoretical research:
   • Study Diophantine properties of triangular numbers
   • Explore algebraic structure of recursive sequences
   • Analyze behavior of special sequences in Diophantine sets
2. Computational number theory:
   • Generate and test large quantities of Diophantine triples
   • Verify special cases of number-theoretic conjectures
   • Search for counterexamples or patterns
3. Teaching applications:
   • Demonstrate applications of recursive methods in number theory
   • Illustrate techniques for solving explicit formulas
   • Show uses of mathematical induction
4. Foundation for further research:
   • Starting point for studying more general Diophantine sets
   • Explore similar properties of other figurate numbers (pentagonal, hexagonal)
   • Research new solution methods for Diophantine equations

References

The paper cites 8 key references, primarily including:

1. Bliznac Trebješanin & Filipin (2019): Non-existence of $D(4)$-quintuples
2. Bonciocat, Cipu & Mignotte (2022): Non-existence of $D(-1)$-quadruples
3. Deshpande (1998): A property of triangular numbers (starting point of this paper's construction)
4. Dujella (1993, 2024): Generalizations and surveys of Diophantine problems
5. Fujita & Luca (2018): Non-existence of Diophantine quadruples of Fibonacci numbers
6. Hamtat (2025): Diophantine triples of triangular numbers (related preprint)
7. He, Togbé & Ziegler (2019): Non-existence of $D(1)$-quintuples

These references form the core literature on Diophantine $m$-tuple research, with Dujella's work providing comprehensive field overview.

Summary

This paper makes important progress in studying Diophantine properties of triangular numbers, proposing an elegant recursive construction method that proves every triangular number belongs to infinitely many $D(m^2)$-triples. The paper's main strengths lie in the systematicity of the method and rigor of theory, transforming recursive relations into computable forms through explicit formulas. However, the non-completeness of the construction indicates that the problem warrants further investigation. This is a solid number theory paper that provides valuable theoretical tools and new research directions for the field.