Which of the following expressions is never a prime number when is a prime number?
- A)
- B)
- C)
- D)
- E)
Answer
C
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.
The trap
Trying only p = 2 and p = 3 and stopping at the first choice that looks composite, without showing it can never be prime or that the other choices can be.
Concise solution
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
Techniques
Use the answer choices (mod checks, size, form) to eliminate or select · Test small/specific values or special cases to find or verify the answer