Fibonacci numbers and sets with the property \(D(4)\) (Q2501400)

A set of \(m\) positive integers is called a \(D(n)\)-\(m\)-tuple if the product of any two of them increased by \(n\) is a perfect square. It is conjectured that there do not exist \(D(4)\)-quintuples. Moreover it is widely believed that all \(D(4)\)-quadruples \(\{a,b,c,d\}\) are regular, i.e. \(d>\max\{a,b,c\}\) implies \[ d=a+b+c+\frac{abc+\sqrt{(ab+4)(ac+4)(bc+4)}}2. \] Let \(F_n\) and \(L_n\) be the Fibonacci and the Lucas sequence. The authors prove that the set \(\{F_{2k},5F_{2k},4F_{2k+2},d\}\) is a \(D(4)\)-quadruple if and only if \(d=4L_{2k}F_{4k+2}\). Note that this a implies that all \(D(4)\)-quadruples of this specific form are regular.