Diophantine Quintuple?

Andrej Dujella is the world expert on diophantine quintuples. Start reading here. The conjecture is that there aren't any (not just that there's no 5th number after 1, 3, 8, 120, but that there's no set of 5 distinct positive integers with each product of two being one less than a square).


In OEIS A192629 it is stated that four integers is the maximum, but you can add $\frac {777480}{8288641}$. You can multiply it by any number in the set, add one, and get a square rational number. No further extension is known


(This is an old question, but updates were found for the rational case by Dujella et al in $2015$.)

I. Sextuple

Given a quadruple {$a,b,c,d$}, if they satisfy an additional constraint, then it can be extended to a rational sextuple {$a,b,c,d,e,f$}. Let,

$$ab+1,\;ac+1,\;ad+1 = r_1^2,\; r_2^2,\; r_3^2\tag1$$

$$bc+1,\;bd+1,\;cd+1 = r_4^2,\; r_5^2,\; r_6^2\tag2$$

If also,

$$(abcd)^2-6abcd+2(a^2+b^2+c^2+d^2)-(a+b+c+d)^2-3=r_7^2\tag3$$

then one can find two more rationals {$e,f$},

$$e=\frac{1}{a}\Big(\frac{(r_1 r_2 r_3+a\, r_4 r_5 r_6)^2}{(abcd-1)^2}-1\Big)$$

$$f=\frac{1}{a}\Big(\frac{(r_1 r_2 r_3-a\, r_4 r_5 r_6)^2}{(abcd-1)^2}-1\Big)$$

such that the product of any two members of the sextuple {$a,b,c,d,e,f$} plus one is a square.

II. Example

$$a,b,c,d = \frac{5}{4},\;\frac{5}{36},\;\frac{32}{9},\;\frac{189}{4}$$

Using the formulas, we get,

$$e,f = \frac{3213}{676},\;\frac{665}{1521}$$

III. Remarks

  1. The eq $(3)$ in fact has a parametric solution discussed in Dujella's website,

$$a = \frac{18t(t^2-1)}{(t^2-6t+1)(t^2+6t+1)}$$

$$b = \frac{(t - 1)(t^2 + 6t + 1)^2}{6t(t + 1)(t^2 - 6t + 1)}$$

$$c = \frac{(t + 1)(t^2 - 6t + 1)^2}{6t(t - 1)(t^2 + 6t + 1)}$$

$$d = \frac{r_3^2-1}{a}$$

Using an elliptic curve, appropriate values of $r_3$ will make all of $(2)$ also as squares. This implies there is an infinite number of sextuples which contain fixed $a,b,c$.

  1. However, if $(a + b - c - d)^2 = 4(a b + 1)(c d + 1)$, then one of $e,f$ will be zero, hence will only yield a quintuple.