Abstract:A set of $m$ distinct nonzero rationals $\{a_1, a_2,\ldots, a_m\}$ such that $a_i a_j+1$ is a perfect square for all $1\le i <j \le m$, is called a rational Diophantine $m$-tuple. If in addition, $a_i^2+1$ is a perfect square for $1\le i\le m$, then we say the $m$-tuple is strong. In this paper, we construct infinite families of rational Diophantine sextuples containing a strong Diophantine pair.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct rational Diophantine sextuples containing strong Diophantine pairs. Specifically, the authors focus on sextuples that satisfy the following conditions:
1. **Rational Diophantine m - tuples**: Let \(\{a_1, a_2, \ldots, a_m\}\) be \(m\) distinct non - zero rational numbers such that for all \(1\leq i < j\leq m\), \(a_i a_j + 1\) is a perfect square.
2. **Strong Diophantine m - tuples**: Moreover, if for all \(1\leq i\leq m\), \(a_i^2 + 1\) is also a perfect square, then the m - tuple is called a strong Diophantine m - tuple.
In this paper, the authors construct infinitely many rational Diophantine sextuples containing strong Diophantine pairs. Specifically, they study rational Diophantine sextuples that satisfy specific conditions and construct these sextuples through elliptic curves and parameterization methods.
### Main problems
The core problems of the paper are:
- How to construct rational Diophantine sextuples containing strong Diophantine pairs?
- Do there exist infinitely many such sextuples?
### Research background
In previous research, it has been proven that there are infinitely many rational Diophantine triples that can be extended to sextuples, but there is less research on sextuples containing strong Diophantine pairs. Therefore, the goal of this paper is to fill this gap and provide new construction methods and theoretical results.
### Methods and results
The authors construct three parametric families \(F_1(u, v)\), \(F_2(u, v)\), and \(F_3(u, v)\) by introducing a new affine curve \(C\) and its corresponding elliptic curve \(E\) and using the parameterization method. The sextuples generated by these parametric families not only satisfy the definition of rational Diophantine sextuples but also contain strong Diophantine pairs.
Finally, the authors prove Theorem 1 and Theorem 2, indicating that there are infinitely many rational Diophantine sextuples containing strong Diophantine pairs.
### Summary
The main contribution of this paper is to provide a systematic method for constructing rational Diophantine sextuples containing strong Diophantine pairs and to prove the existence of such sextuples. This provides new ideas and tools for further research on Diophantine m - tuples and their properties.