AMC 10 Step by Step

2018 AMC 10B Problem 11

P11-15~4 minPrint

Which of the following expressions is never a prime number when pp is a prime number?

Log in to save your progress.
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.

  1. Try a few primes.
ppp2p^2+16+16+24+24+26+26+46+46+96+96
5525254141494951517171121121
7749496565737375759595145145

4141 is prime, so (A) is out. 7373 is prime, so (B) is out. 7171 is prime, so (D) is out.
2. Notice a pattern in (C). The (C) column gives 51=3×1751 = 3 \times 17 and 75=3×2575 = 3 \times 25, both multiples of 33. Let us see why.
3. Squares and the number 3. A prime other than 33 is not a multiple of 33, so it is one more or one less than a multiple of 33. Squaring such a number always gives one more than a multiple of 33. For example 52=25=24+15^2 = 25 = 24 + 1 and 72=49=48+17^2 = 49 = 48 + 1.
4. Add 26. One more than a multiple of 33, plus 2626, is 2727 more than a multiple of 33, which is itself a multiple of 33. And p2+26p^2 + 26 is bigger than 33, so it is not prime.
5. The one prime left, p=3p = 3. Then p2+26=35=5×7p^2 + 26 = 35 = 5 \times 7, not prime either.

So p2+26p^2 + 26 is never prime. (For completeness, (E) can be prime: 192+96=45719^2 + 96 = 457, which is prime.)

The answer is (C) p2+26\boxed{\textbf{(C)}\ p^2+26}.

Why this works

"Never prime" means "always has a small factor." Looking at remainders when dividing by 33 is the natural test, because every prime except 33 has a square that is one more than a multiple of 33. So the added number must be two more than a multiple of 33, and 2626 is the only choice like that.

Alternative approach

Use the remainder idea first. In the language of congruences, p2≡1(mod3)p^2 \equiv 1 \pmod 3 for every prime p≠3p \ne 3, which just means p2p^2 leaves remainder 11 when divided by 33. For p2+cp^2 + c to be a multiple of 33 we need cc to leave remainder 22. The constants 16,24,26,46,9616, 24, 26, 46, 96 leave remainders 1,0,2,1,01, 0, 2, 1, 0, so only 2626 can work. Then check p=3p = 3 separately: 3535 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 pp, so it should carry a divisibility argument, and the natural modulus is 33.

If p≠3p \ne 3, then pp is not divisible by 33, so p2≡1(mod3)p^2 \equiv 1 \pmod 3. Then
p2+26≡1+26=27≡0(mod3),p^2 + 26 \equiv 1 + 26 = 27 \equiv 0 \pmod 3,
and p2+26>3p^2 + 26 > 3, so it is composite. If p=3p = 3, then p2+26=35=5⋅7p^2 + 26 = 35 = 5 \cdot 7, also composite. Hence (C) is never prime.

The other constants (16,24,46,9616, 24, 46, 96) are not 2 mod 32 \bmod 3, so this argument fails for them, and indeed each produces a prime: 52+16=415^2 + 16 = 41, 72+24=737^2 + 24 = 73, 52+46=715^2 + 46 = 71, 192+96=45719^2 + 96 = 457.

The answer is (C) p2+26\boxed{\textbf{(C)}\ p^2+26}.

Review in the AoPS books

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.