A polynomial variant of a problem of Diophantus and Euler (Q1430421)

It is shown that there are no polynomials \(f_1(X),\dots,f_4(X)\) with integral coefficients having the property that the polynomials \(f_if_j-1\) are squares for \(1\leq i<j\leq 4\). The main point of the proof consists in showing that two polynomial binary linear recurrences, resulting from consideration of a system of two polynomial Pell equations, do not have common elements.