The extension of the \(D(-k^2)\)-pair \(\left\{k^2, k^2+1\right\}\) (Q2392043)

For a nonzero integer \(n\) a set of \(m\) distinct positive integers is called a \(D(n)\)-\(m\)-tuple if the product of any two of them increased by \(n\) is a square. The authors prove that if \(k,c,d\) with \(c<d\) are positive integers such that \(\{k^2,k^2+1,c,d\}\) is a \(D(-k^2)\)-quadruple, then \(c=1\) and \(d=4k^2+1\). This result extends previous work of the first author (\textit{Y.~Fujita} [Period. Math. Hung. 59, 81--98 (2009; Zbl 1199.11073)]), and of \textit{A.~Dujella} [Acta Math. Inform. Univ. Ostrav. 6, 59--67 (1998; Zbl 1024.11014)]. The proof relies on the theory of Pellian and simultaneous Pellian equations.