AMC 10 Step by Step

2013 AMC 10B Problem 24

P21-25~8 minPrint

A positive integer nn is nice if there is a positive integer mm with exactly four positive divisors (including 11 and mm ) such that the sum of the four divisors is equal to nn . How many numbers in the set {2010,2011,2012,…,2019}\{ 2010,2011,2012,\dotsc,2019 \} are nice?

Log in to save your progress.
Show solution without answering

Key insight

A number with exactly four divisors is p^3 or p times q for primes. The divisor sums are (1+p)(1+p^2) or (1+p)(1+q); only 2016 works.

Solution

Step 1: which numbers have exactly four divisors?

1. Look at examples: 66 has divisors 1,2,3,61, 2, 3, 6; 1010 has 1,2,5,101, 2, 5, 10; 88 has 1,2,4,81, 2, 4, 8. There are two kinds:
- a product of two different primes, m=pqm = pq, with divisors 1,p,q,pq1, p, q, pq;
- a prime cubed, m=p3m = p^3, with divisors 1,p,p2,p31, p, p^2, p^3.
2. Their divisor sums factor nicely:
1+p+q+pq=(1+p)(1+q),1+p+p2+p3=(1+p)(1+p2).1 + p + q + pq = (1 + p)(1 + q), \qquad 1 + p + p^2 + p^3 = (1 + p)(1 + p^2).
Check with 66: 1+2+3+6=12=3×41 + 2 + 3 + 6 = 12 = 3 \times 4.

Step 2: prime cubes.

  1. For p=11p = 11 the sum is 1+11+121+1331=14641 + 11 + 121 + 1331 = 1464. For p=13p = 13 it is 1+13+169+2197=23801 + 13 + 169 + 2197 = 2380. These jump right over 20102010 to 20192019, so no cube works.

Step 3: two different primes, one of them 22.

4. The sum is 3(q+1)3(q + 1). Here qq is an odd prime, so q+1q + 1 is even and the sum is a multiple of 66. In our range the multiples of 66 are 20102010 and 20162016.
- 20102010: q+1=670q + 1 = 670, q=669=3×223q = 669 = 3 \times 223. Not prime.
- 20162016: q+1=672q + 1 = 672, q=671=11×61q = 671 = 11 \times 61. Not prime.

Step 4: two different odd primes.

5. Now p+1p + 1 and q+1q + 1 are both even, so the sum is a multiple of 44. In our range that means 20122012 or 20162016.
- 2012=4×5032012 = 4 \times 503, and 503503 is prime (it is not divisible by 2,3,5,7,11,13,172, 3, 5, 7, 11, 13, 17 or 1919). The only way to write 20122012 as even times even is 2×10062 \times 1006, which needs p+1=2p + 1 = 2, so p=1p = 1. Not prime, so 20122012 fails.
- 20162016: try p=3p = 3. Then p+1=4p + 1 = 4 and q+1=504q + 1 = 504, so q=503q = 503, which is prime. So m=3×503=1509m = 3 \times 503 = 1509 has divisors 1,3,503,15091, 3, 503, 1509, adding up to 20162016. Nice!

Exactly one number, 20162016, is nice.

The answer is (A) 1\boxed{\textbf{(A)}\ 1}.

Why this works

"Exactly four divisors" allows only two shapes of number, and both have a divisor sum that factors. Checking even and odd then throws out most of the ten candidates at once, and only a couple need real factoring. When a problem gives a condition on divisors, first work out what the number itself must look like.

Concise solution

A shorter write-up, the way contest solutions are usually written. It may take a different route from the solution above.

A number has exactly four divisors when it is p3p^3 (divisors 1,p,p2,p31, p, p^2, p^3) or pqpq with distinct primes p<qp < q (divisors 1,p,q,pq1, p, q, pq). The divisor sums are
1+p+p2+p3=(1+p)(1+p2)or(1+p)(1+q).1 + p + p^2 + p^3 = (1+p)(1+p^2) \qquad\text{or}\qquad (1+p)(1+q).

Cubes. (1+p)(1+p2)(1+p)(1+p^2) for p=11p = 11 is 12⋅122=146412 \cdot 122 = 1464 and for p=13p = 13 is 14⋅170=238014 \cdot 170 = 2380; nothing lands in 20102010 to 20192019.

Products pqpq. If p=2p = 2, then n=3(q+1)n = 3(q + 1) with qq odd, so nn is a multiple of 66: 20102010 needs q=669=3⋅223q = 669 = 3 \cdot 223, and 20162016 needs q=671=11⋅61q = 671 = 11 \cdot 61; neither is prime. If both primes are odd, p+1p + 1 and q+1q + 1 are even, so nn is a multiple of 44: only 20122012 and 20162016 qualify.

  • 2012=4⋅5032012 = 4 \cdot 503 with 503503 prime: the only way to write it as a product of two even numbers is 2⋅10062 \cdot 1006, giving p=1p = 1. Not nice.
  • 2016=4⋅5042016 = 4 \cdot 504: take p+1=4p + 1 = 4, q+1=504q + 1 = 504, i.e. p=3p = 3, q=503q = 503, both prime. So m=1509m = 1509 has divisor sum 1+3+503+1509=20161 + 3 + 503 + 1509 = 2016. Nice.

Exactly one number, 20162016, is nice.

The answer is (A) 1\boxed{\textbf{(A)}\ 1}.

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.