Proving that system has solutions assuming xy=z^2+2
Source: Mexico National Olympiad Mock Exam 2017 P3
November 2, 2019
number theorySquaresSystem
Problem Statement
Let be positive integers such that . Prove that there exist integers 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