Problem:
Let be an integer. Consider the solutions of the system of equations
where are integers. Prove that there is at least one solution and that there are finitely many solutions.
Problem:
Let be an integer. Consider the solutions of the system of equations
where are integers. Prove that there is at least one solution and that there are finitely many solutions.
Solution:
From the first equation we obtain ; substituting into the second equation we get
Rearranging, we obtain
The right-hand side is always an integer, because one of and is always even. The solutions of the equation correspond to the ways of factoring as a product of two integers and . Since by hypothesis, is a positive integer, and hence the number of these factorizations is finite; it follows that the system will have finitely many solutions, .
To find at least one solution, for every we can choose , from which we obtain the solution