On the system of Pell equations \(x^2-(a^2b^2 {\pm } a)y^2=1\) and \(y^2-pz^2=4b^2\) (Q2241684)

In the paper it is proved that \(x^2-(a^2b^2\pm a)y^2=1,y^2-pz^2=4b^2\), where \(a\geq 2,b\geq 1\) and \(p\) is an odd prime, has solutions in integers \(x,y\) if (and only if) \(a,b\) and \(p\) satisfy \(4ab^2=f^2\mp 2-\lambda,f^2-pg^2=2\lambda\), where \(\lambda=\pm 1\) und \(f,g\) are positive integers. In the latter case the only solutions are given by \((x,y,z)=(8a^2b^4\pm 8ab^2+1,4b(2ab^2\mp 1),2bfg)\). All solutions for \(2\leq a\leq 1000,1,\leq b\leq 1000\) are listed. The proof relies on a result concerning the quartic equation \(x^2-dy^4=1\) due to \textit{G. Walsh} [Arch. Math. 73, No. 2, 119--125 (1999; Zbl 0941.11012)].