Problem:
Prove that the number of 5-tuples of positive integers satisfying the equation
is an odd integer.
, 2004
Solution
Solution:
We write the equation in the form:
The number of five tuples which satisfy the given relation and for which is even, because if is a solution, then so is which is distinct from . Similarly, the number of five tuples which satisfy the equation and for which is also even. Hence it suffices to count only those five tuples for which , . Thus the equation reduces to
Here again, the tuple for which is even because we can associate a different solution to this five tuple. Thus it suffices to consider the equation
and show that the number of pairs satisfying this equation is odd.
This reduces to
or
But observe that
Note that no factorisation of as product of two negative numbers yields a positive tuple . Hence we get these solutions. This proves that the total number of five tuples satisfying the given equation is odd.