MathLabs

Problem 4

Prove that if nn is a positive integer such that x3−3xy2+y3=nx^3-3xy^2+y^3=n has an integer solution (x,y)(x,y), then it has at least three such solutions. Show that the equation has no integer solutions for n=2891n=2891.
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.

(x,y)↦(k,−x)↦(−x−k,−k)↦(x,y)(x,y)\mapsto(k,-x)\mapsto(-x-k,-k)\mapsto(x,y)
Detailed analysis

The rewritten equation shows (k,−x)(k,-x) is also a solution. Applying the same rule again gives (−x−k,−k)(-x-k,-k), and a third application returns to (x,y)(x,y). If two of these were equal, all coordinates would be zero, forcing n=0n=0, impossible; hence they are distinct for positive nn.