On the extensions of the Diophantine triples in Gaussian integers

From MaRDI portal
Publication:2139072



Abstract: A Diophantine m-tuple is a set of m distinct integers such that the product of any two distinct elements plus one is a perfect square. In this paper we study the extensibility of a Diophantine triple k−1,k+1,16k3−4k in Gaussian integers mathbbZ[i] to a Diophantine quadruple. Similar one-parameter family, k−1,k+1,4k, was studied in Franuv{s}i'c's previous paper, where it was shown that the extension to a Diophantine quadruple is unique (with an element 16k3−4k). The family of the triples of the same form k−1,k+1,16k3−4k was already studied in rational integers. It appeared as a special case while solving the extensibility problem of Diophantine pair k−1,k+1, in which it was not possible to use the same method as in the other cases. As authors (Bugeaud, Dujella and Mignotte) point out, the difficulty appears because the gap between k+1 and 16k3−4k is not sufficiently large. We find the same difficulty here while trying to use Diophantine approximations. Then we partially solve this problem by using linear forms in logarithms.


A Diophantine \( m \)-tuple is a set of distinct integers such that the product of any two distinct elements plus \( 1 \) is a perfect square. In the paper under review, the authors study the extensibility of a Diophantine triple \( \{k-1, k+1, 16k^3-4k\} \) in Gaussian integers \( \mathbb{Z}[i]:=\{a+bi\mid a,b\in \mathbb{Z}\} \) to a Diophantine quadruple. More precisely, they prove the following theorem, which is the main result in the paper. Theorem 1. Let \( k\in \mathbb{Z}[i] \) such that \( \mathfrak{Re} ~k\ne 0 \) and \( |k|\ge 7\cdot 10^{37} \). Then, the Diophantine triple \( \{k-1, k+1, 16k^3-4k\} \) can be extended to a Diophantine quadruple only by \( d=4k \) or \( d=64k^5-48k^3+8k \). The authors approach the problem leading to Theorem 1 as follows: First, they assume that a Diophantine triple \( \{a,b,c\} \) in Gaussian integers \( \mathbb{Z}[i] \) can be extended with a fourth element \( d \) to form a Diophantine quadruple \( \{a,b,c,d\} \); Next, by eliminating \( d \) from the equations \( (ad+1=x^2,~bd+1=y^2, ~cd+1=z^2) \), the authors get a system of two Pell-type equations with common unknown; Further, they show that the structure of the solutions of the system of Pell equations is the same as that in the rational integers case. A solution of this system gives two simultaneous approximations of square roots close to \( 1 \). One can use Diophantine approximations in the general case by assuming that \( |c| \) is bigger than \( |b| \), say \( |c|>|b|^{15} \). However, the authors show that this is not useful for the Diophantine triple of the form \( \{k-1, k+1, 16k^3-4k\} \) considered in this paper; Finally, the authors also prove that the linear form in logarithms usually involved in approaching these problems is not zero under certain conditions. This can be useful in lowering the general bound, and also use it in this paper to partially resolve the extensibility problem of the Diophantine triple \( \{k-1, k+1, 16k^3-4k\} \).





Describes a project that uses

Uses Software






This page was built for publication: On the extensions of the Diophantine triples in Gaussian integers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2139072)