Maths Olympiad Prep

Library / /10 of 23

Number theory Difficulty 5.2 AIME, harder Prove it Ireland

Let
f(n)=4n4+7n2+3n+6. f(n) = 4n^4 + 7n^2 + 3n + 6.
Prove that if nn is an integer, then f(n)f(n) is not the cube of an integer.

Solutions — 2

Solution 1

Suppose for the sake of contradiction that nn and zz are integers satisfying f(n)=z3f(n) = z^3. Write f(n)=3(n4+n+2)+n47n2f(n) = 3(n^4 + n + 2) + n^4 - 7n^2 and let τ{0,1,2}\tau \in \{0, 1, 2\} be the remainder of nn on division by 3.

Suppose 3 divides zz. Then 3 divides n4+7n2=n2(n2+7)n^4 + 7n^2 = n^2(n^2 + 7). But r2+7{7,8,11}r^2 + 7 \in \{7, 8, 11\} is not divisible by 3. Hence 3 does not divide n2+7n^2 + 7 and so 3 must divide n2n^2. This implies that 3 divides nn and 9 divides n2(n2+7)n^2(n^2 + 7). Since 9 divides z3z^3, it follows that 3 divides n4+n+2n^4 + n + 2. But, with rr as before, r4+r2+2r^4 + r^2 + 2 is not divisible by 3, so 3 does not divide n4+n+2n^4 + n + 2, yielding a contradiction. Suppose that the remainder of zz on division by 3 is 1. Then, since 3 divides f(n)1f(n) - 1, 3 must divide n4+7n21n^4 + 7n^2 - 1. Again, r4+7r21r^4 + 7r^2 - 1 is not divisible by 3, so this case is eliminated.
Finally, suppose zz leaves remainder 2 on division by 3. Then z=2+3hz = 2 + 3h, for some integer hh, so z3=8+9kz^3 = 8 + 9k, for some integer kk. Now n4+7n28=(n21)(n2+8)n^4 + 7n^2 - 8 = (n^2 - 1)(n^2 + 8), and 3 must divide n21n^2 - 1 or n2+8n^2 + 8. But n2+8(n21)=9n^2 + 8 - (n^2 - 1) = 9, so both factors are divisible by 3, Hence, since z38z^3 - 8 is divisible by 9 also, 3 must divide n4+n+2n^4 + n + 2. 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 f(n)4n42n2+3n3=2n2(2n21)+3(n1)f(n) \equiv 4n^4 - 2n^2 + 3n - 3 = 2n^2(2n^2 - 1) + 3(n-1) (mod 9). The calculation modulo 9 in the table below shows that f(n)f(n) 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, f(n)f(n) cannot be the cube of an integer.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.