A positive integer is nice if there is a positive integer with exactly four positive divisors (including and ) such that the sum of the four divisors is equal to . How many numbers in the set are nice?
- A)
- B)
- C)
- D)
- E)
Answer
A
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: has divisors ; has ; has . There are two kinds:
- a product of two different primes, , with divisors ;
- a prime cubed, , with divisors .
2. Their divisor sums factor nicely:
Check with : .
Step 2: prime cubes.
- For the sum is . For it is . These jump right over to , so no cube works.
Step 3: two different primes, one of them .
4. The sum is . Here is an odd prime, so is even and the sum is a multiple of . In our range the multiples of are and .
- : , . Not prime.
- : , . Not prime.
Step 4: two different odd primes.
5. Now and are both even, so the sum is a multiple of . In our range that means or .
- , and is prime (it is not divisible by or ). The only way to write as even times even is , which needs , so . Not prime, so fails.
- : try . Then and , so , which is prime. So has divisors , adding up to . Nice!
Exactly one number, , is nice.
The answer is .
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.
The trap
Forgetting that a prime cubed, like 8, also has exactly four divisors, or accepting a split (p+1)(q+1) without checking that p and q are really prime.
Concise solution
A number has exactly four divisors when it is (divisors ) or with distinct primes (divisors ). The divisor sums are
Cubes. for is and for is ; nothing lands in to .
Products . If , then with odd, so is a multiple of : needs , and needs ; neither is prime. If both primes are odd, and are even, so is a multiple of : only and qualify.
- with prime: the only way to write it as a product of two even numbers is , giving . Not nice.
- : take , , i.e. , , both prime. So has divisor sum . Nice.
Exactly one number, , is nice.
The answer is .
Review in the AoPS books
- Introduction to Number Theory, Chapter 1: Integers: The Basics (§1.4, §1.5)
- Introduction to Number Theory, Chapter 2: Primes and Composites
- Introduction to Counting & Probability, Chapter 2: Basic Counting Techniques (§2.2)
- Prealgebra, Chapter 15: Problem-Solving Strategies (§15.2)
Techniques
Organized listing / direct enumeration · Split into exhaustive cases and handle each