An infinite two-parameter family of Diophantine triples (Q2302039)

A set of positive integers is called a Diophantine tuple if the product of any two elements in the set increased by the unity is a square. If \(\{a,b,c\}\) is a Diophantine triple and \[ d_+=a+b+c+2abc+2\sqrt{(ab+1)(bc+1)(ca+1)} \] is an integer, then \(\{a,b,c,d_+\}\) is a Diophantine quadruple. This is called the regular continuation of a Diophantine triple. The authors prove:\par Let \(a, b\) be positive integers defined by \(a=KA^2,b=4KA^4+4\varepsilon A\) with \(K, A\) positive integers and \(\varepsilon=\pm 1\). Define an integer \(c=c^{\tau}_{\nu}\) by \[ c^{\tau}_{\nu}=\frac{1}{4ab}\left\{(\sqrt{b}+\tau\sqrt{a})^2(r+\sqrt{ab})^{2\nu}+(\sqrt{b}-\tau\sqrt{a})^2(r-\sqrt{ab})^{2\nu}-2(a+b)\right\}. \] with \(\nu\) a positive integer and \(\tau=\pm 1\). If \(\{a,b,c,d\}\) is a Diophantine quadruple with \(c<d\), then \(d=d_+\). The proof applies among others Baker type estimates on linear forms in two logarithms.