# Prove that the equation $x^3 -24x + k=0$ has one integer solution at most

Prove that the equation $x^3 -24x + k=0$ has one integer solution at most, $\forall k \in \mathbb{Z}$

Suppose there are two integer solutions. Then, according to Vieta, all the $3$ solutions are integers. Using the first derivative I can get a contradiction out of this assumption, but I'm only allowed to use elementary number theory, so I'm stuck here.

Any help is appreciated.

• "I'm only allowed to use elementary calculus": are you missing a word here? Aug 1, 2017 at 17:32
• @ErickWong I don't know, just tell me that do you think is missing.
– user261263
Aug 1, 2017 at 17:55
• If you were only allowed to use elementary calculus, then there would be no problem using the first derivative. Did you mean to say you're only allowed elementary algebra? Elementary number theory? Or not allowed to use calculus? Aug 1, 2017 at 17:57
• @ErickWong Elementary number theory is what I meant actually.
– user261263
Aug 1, 2017 at 17:59
• Thanks, I have edited the question to fix this. Though I am curious how it could be done with calculus, given that the claim doesn't hold for many numbers different from $24$. Hard to see how calculus can resolve that distinction. Aug 2, 2017 at 16:58

If there are three integer solutions, they add to $0$ and so are $a$, $b$ and $c=-a-b$. Then $$-24=ab+ac+bc=ab-(a+b)^2=-a^2-ab-b^2.$$ You need to prove that $24$ is not represented over the integers by the quadratic form $a^2+ab+b^2$. Maybe you could complete the square...
• $$96=4*24=4a^2+4ab+4b^2=(2a+b)^2+3b^2$$ Now $3|2a+b$ and hence $$32=3x^2+y^2$$ Looking modulo $8$ you can deduce that both $x,y$ are even. Divide by 4 and repeat: look modulo 8, both number are even.... Aug 1, 2017 at 15:55
• $a^2+ab+b^2=24$ has no solutions mod $9$.
It is simpler: Notice $x(x^2-24)=k$ is a unique representation of $k$ since function $x$ is injective for any $x$ and $(x^2-24)$ is injective for positive $x$. (Prime factorisation theorem).
• This argument is unsound: the same properties hold for the factors of $x(x^2-7)$, but the equation $x(x^2-7) = -6$ has three integer solutions ($x=-3,-2,1$). Aug 1, 2017 at 17:21