Let x,y,z be positive integers such that xy=z2+2. Prove that there exist integers a,b,c,d such that the following equalities are satisfied:
\begin{eqnarray*} x=a^2+2b^2\\
y=c^2+d^2\\
z=ac+2bd\\
\end{eqnarray*}Proposed by Isaac Jiménez number theorySquaresSystem