Let be a strictly increasing sequence of positive integers such that What is the remainder when is divided by ?
- A)
- B)
- C)
- D)
- E)
Answer
E
Key insight
n^3 - n = (n-1)n(n+1) is always divisible by 6, so the cube sum is congruent mod 6 to the plain sum 2018^2018, which is 4 mod 6.
Solution
The sequence itself is nowhere near determined, so the answer must depend only on the given sum. The bridge between a number and its cube modulo is the identity
a product of three consecutive integers, which always contains a multiple of and a multiple of . Hence for every integer .
Applying this to each term and adding,
Now , so . Powers of modulo go : odd exponents give , even exponents give . Since is even, .
The answer is .
Why this works
When a problem gives far too little information to find the objects, it is asking for an invariant. Here the invariant is (equivalently, cubing preserves the residue mod and mod by Fermat's little theorem). The "strictly increasing" condition is pure decoration.
Alternative approach
Check by listing residues: . Then reduce separately mod (it is ) and mod (, and ); the residue that is even and is .
The trap
Trying to determine the actual terms (the sequence is not determined), or reducing 2018^2018 mod 6 as 2^2018 = 2 instead of 4 (even powers of 2 are 4 mod 6).
Common mistakes
- Trying to determine the actual terms (the sequence is not determined), or reducing 2018^2018 mod 6 as 2^2018 = 2 instead of 4 (even powers of 2 are 4 mod 6).
- Guessing because "the sum is huge and even" or because cubes feel divisible by ; only the residue of the sum matters, and is , not .
Techniques
Apply an identity: SFFT, sum of squares, difference of cubes, Vieta · Compute small cases, spot the pattern, generalize