2018 AMC 10B Problem 11
Which of the following expressions is never a prime number when is a prime number?
Show solution without answering
Key insight
The square of any prime other than 3 is one more than a multiple of 3, so adding 26 always gives a multiple of 3. The prime 3 gives 35.
Solution
To show an expression is never prime, we need a reason that works for every prime at once. To rule out the other choices, one prime example each is enough. Start by plugging in small primes.
- Try a few primes.
is prime, so (A) is out. is prime, so (B) is out. is prime, so (D) is out.
2. Notice a pattern in (C). The (C) column gives and , both multiples of . Let us see why.
3. Squares and the number 3. A prime other than is not a multiple of , so it is one more or one less than a multiple of . Squaring such a number always gives one more than a multiple of . For example and .
4. Add 26. One more than a multiple of , plus , is more than a multiple of , which is itself a multiple of . And is bigger than , so it is not prime.
5. The one prime left, . Then , not prime either.
So is never prime. (For completeness, (E) can be prime: , which is prime.)
The answer is .
Why this works
"Never prime" means "always has a small factor." Looking at remainders when dividing by is the natural test, because every prime except has a square that is one more than a multiple of . So the added number must be two more than a multiple of , and is the only choice like that.
Alternative approach
Use the remainder idea first. In the language of congruences, for every prime , which just means leaves remainder when divided by . For to be a multiple of we need to leave remainder . The constants leave remainders , so only can work. Then check separately: is not prime.
Concise solution
A shorter write-up, the way contest solutions are usually written. It may take a different route from the solution above.
A "never prime" expression must be composite for every prime , so it should carry a divisibility argument, and the natural modulus is .
If , then is not divisible by , so . Then
and , so it is composite. If , then , also composite. Hence (C) is never prime.
The other constants () are not , so this argument fails for them, and indeed each produces a prime: , , , .
The answer is .
Review in the AoPS books
- Introduction to Number Theory, Chapter 2: Primes and Composites
- Introduction to Number Theory, Chapter 12: Introduction to Modular Arithmetic
- Introduction to Number Theory, Chapter 4: Prime Factorization (§4.2, §4.4)
- Introduction to Number Theory, Chapter 10: Units Digits
Similar problems
Problem © Mathematical Association of America (MAA), American Mathematics Competitions. Reproduced for non-commercial educational use. Solution and commentary are original to this site.