Problem 2
Prove that the equation has no integer solutions except .
Step 5 of 5: Descend to a smaller solution
Detailed analysis
We have shown that are all even. Dividing the original equation by gives the displayed equation for , a solution with smaller absolute-value sum. This contradicts minimality unless all four variables were already zero.