Problem 4
Prove that if is a positive integer such that has an integer solution , then it has at least three such solutions. Show that the equation has no integer solutions for .
Step 2 of 3: Generate a three-cycle of solutions
In plain words
A finite-order symmetry turns one solution into an orbit of size three.
Detailed analysis
The rewritten equation shows is also a solution. Applying the same rule again gives , and a third application returns to . If two of these were equal, all coordinates would be zero, forcing , impossible; hence they are distinct for positive .