I have been working through D. L. Johnson's "Elements of Logic via Numbers and Sets" and have come across this problem, amongst others, which has me stumped.
"Prove by contradiction that the cube of the largest of three consecutive integers cannot be equal to the sum of the cubes of the other two."
Assume, then (for contradiction) that the above is not the case, i.e.
for some integer . Then
I suppose that we wish to show that this is not the case for any integer , to provide the necessary contradiction. I'm not sure how though I might do this. Any hints much appreciated.
So you can test by exhaustion whether are factors of this cubic. You'll find they're not. Therefore, none of 1, 3 and 9 are roots.
Because the sum of roots is 3, and the sum of pairs of roots taken 2 at a time is 9 (both of which are integers), I think you may be able to show that there are other limitations on the roots such that all other possible integral solutions are likewise eliminated.