Concerning the Sierpinski-Schinzel system of Diophantine equations (Q1972517)

In 1963, \textit{A. Schinzel} and \textit{W. Sierpiński} [Elem. Math. 18, 132-133 (1963; Zbl 0126.07301)] found all the integral solutions of the equation \[ (x^2-1)(y^2-1)=(z^2-1)^2\tag{1} \] with \(x-y=2z\). In 1989, the reviewer conjectured that if \(x-y=kz, k\in {\mathbb N}\) with \(k\neq 2\), then equation (1) has no integral solutions with \(|x|\neq |y|\) and \(|z|\neq 1\). Furthermore, the reviewer got a generalization of the Schinzel-Sierpinski's result [see J. Harbin Inst. Tech. 23, No. 5, 9-14 (1991; Zbl 0971.11503)]. For example, it is proved that if \(k\leq 30\) then the conjecture is correct. \textit{Y. Wang} [Heilongjiang Daxue Ziran Kexue Xuebao 1989, No. 4, 84-85 (1989)] proved that the conjecture holds for \(k=1\) or \(31\). In this paper, the authors prove that the reviewer's conjecture is correct for any \(k\in{\mathbb N}.\) The method of proof is elementary by using Pell's equation.