Let
Prove that if is an integer, then is not the cube of an integer.
Solutions — 2
Solution 1
Suppose for the sake of contradiction that and are integers satisfying . Write and let be the remainder of on division by 3.
Suppose 3 divides . Then 3 divides . But is not divisible by 3. Hence 3 does not divide and so 3 must divide . This implies that 3 divides and 9 divides . Since 9 divides , it follows that 3 divides . But, with as before, is not divisible by 3, so 3 does not divide , yielding a contradiction. Suppose that the remainder of on division by 3 is 1. Then, since 3 divides , 3 must divide . Again, is not divisible by 3, so this case is eliminated.
Finally, suppose leaves remainder 2 on division by 3. Then , for some integer , so , for some integer . Now , and 3 must divide or . But , so both factors are divisible by 3, Hence, since is divisible by 9 also, 3 must divide . But we have already shown this cannot happen. So we have reached a final contradiction, and the claimed result is established.
Solution 2
Note that the cubes modulo 9 are -1, 0, 1 and observe that (mod 9). The calculation modulo 9 in the table below shows that is congruent to -4, -3 or 2 modulo 9, hence cannot be the cube of an integer.
| n | 0 | 1 | 2 | 3 | 4 | -4 | -3 | -2 | -1 |
|--------|----|----|----|----|----|----|----|----|----|
| n - 1 | -1 | 0 | 1 | 2 | 3 | 4 | -4 | -3 | -2 |
| 3(n-1) | -3 | 0 | 3 | -3 | 0 | 3 | -3 | 0 | 3 |
| 2n^2 | 0 | 2 | -1 | 0 | -4 | -4 | 0 | -1 | 2 |
| 2n^2(2n^2-1) | 0 | 2 | 2 | 0 | 2 | 2 | 0 | 2 | 2 |
| f(n) | -3 | 2 | -4 | -3 | 2 | -4 | -3 | 2 | -4 |
Therefore, cannot be the cube of an integer.