For how many integers between and , inclusive, is an integer? (Recall that .)
- A)
- B)
- C)
- D)
- E)
Answer
D
Key insight
Counting ways to split n squared people into n teams shows the fraction is a whole number times (n-1)!/n. Only primes and n = 4 fail.
Solution
Step 1: try small cases.
- : . Whole number.
- : . Not whole.
- : . Not whole.
- : . We will see below that this is not whole.
So some values fail. We need a way to sort all .
Step 2: a counting fact. Split people into teams of people each, where the teams have no names (only who is with whom matters). The number of ways is
(Line everyone up in ways and cut into blocks of ; each team's order inside does not matter, divide by for each of the teams; the order of the teams does not matter, divide by another .) Since counts something, it is a whole number.
Step 3: rewrite the fraction using . Since ,
So the fraction is surely a whole number whenever divides .
Step 4: not prime and at least 6 always works.
- If with and different and both smaller than (like ), then both and appear in , so divides it.
- If is a prime squared with at least , like or , then and both appear below (for : and ), giving at least two factors of .
Step 5: primes always fail. Take prime. The bottom has factors of (one from each ). The top gets a factor of only from the multiples , which is just factors. There are more 's on the bottom than on the top, so it is not whole.
Step 6: fails. The bottom has factors of . In the top, : the even numbers up to give factors of , the multiples of give more, and gives more, for in all. , so it is not whole.
Step 7: count. The primes up to are : fifteen of them. Adding gives failures. Every other (including ) works, so the count is .
The answer is .
Why this works
A fraction that counts something must be a whole number, which is a quick way to prove many cases at once. For the cases that fail, count how many times a prime appears on top and on bottom. The leftover question "does divide ?" has a well-known answer: yes for every non-prime except , which is exactly the surprise value here.
The trap
Removing only the 15 primes (answer 35) and missing that n = 4 also fails.
Concise solution
Rewrite using :
The number of ways to split labeled objects into unlabeled groups of is , an integer . Hence
So the expression is certainly an integer whenever .
Composite : write with , so and are distinct factors of ; if with , then and both lie below . Either way , and the expression is an integer. Also gives .
Prime : the exponent of in is , while contains . Not an integer.
: the denominator has , but has only factors of . Not an integer.
Failures: the primes up to plus , so values fail and work.
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 1: Counting Is Arithmetic
- Introduction to Counting & Probability, Chapter 2: Basic Counting Techniques (§2.3)
Techniques
Bound the quantity above/below or estimate to pin it down · Count the complement and subtract from the total · Compute small cases, spot the pattern, generalize