Maths Olympiad Prep

Library / /115 of 351

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.

n01234-4-3-2-1
n - 1-101234-4-3-2
3(n-1)-303-303-303
2n^202-10-4-40-12
2n^2(2n^2-1)022022022
f(n)-32-4-32-4-32-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 reproduced verbatim; metadata (topic, difficulty) added by this project.