2014 AMC 10A Problem 25
The number is between and . How many pairs of integers are there such that and
Show solution without answering
Key insight
Since 5 is between 4 and 8, each gap between neighbouring powers of 5 holds two or three powers of 2. Share 2013 powers of 2 among 867 gaps.
Solution
What is being counted. The condition says , and all fit strictly between and the next power of . So we are counting gaps between neighbouring powers of that hold at least three powers of .
Look at the first few gaps to get a feel for it:
| gap | powers of inside | how many |
|---|---|---|
| to | ||
| to | ||
| to | ||
| to |
1. Every gap holds two or three powers of . Let be the first power of after . The power of just before it is at most , so is at most .
- Then is at most , which is less than . So the gap holds at least two.
- And , which is more than , which is more than . So the gap holds at most three.
2. A gap with three powers gives exactly one pair : is the gap, and is its first power of . A gap with only two gives none.
3. Use the given fact. is between and . So between and the powers of are exactly . That is of them.
4. Count the gaps. From to there are gaps: to , to , and so on up to to . A power of is never a power of (other than ), so each of the powers of sits in exactly one gap.
5. Set up an equation. Say gaps hold three powers and the other hold two. Counting all the powers of :
The left side is , so .
6. Check the limits on . In these gaps the three powers are at most , so and , which fits . Any gap beyond would need above , which breaks . So no other pairs exist.
The answer is .
Why this works
Since lies between and , multiplying by jumps over either two or three doublings, never fewer and never more. So each gap is one of two types, and the total number of powers of decides how many of each. This is counting the same thing two ways: once directly ( powers of ) and once gap by gap (). The odd-looking fact about is there to give both totals.
Concise solution
A shorter write-up, the way contest solutions are usually written. It may take a different route from the solution above.
Interpret the inequality: the three consecutive powers all lie strictly between and . So a pair corresponds to a gap that contains at least three powers of , with the smallest of them.
How many powers of can such a gap hold? Let be the first power of above , so . Then , so every gap holds at least two, and , so no gap holds more than three. Each gap contains exactly or powers of , and a gap with yields exactly one pair.
Now use the given bound. Since and , the interval contains exactly the powers , which is powers. This interval is the union of the gaps for , and no power of equals a power of , so each of those powers lies in exactly one gap.
Let gaps hold three powers and hold two:
Every such gap gives a valid pair: , and means . Gaps beyond would need , violating .
The answer is .
Review in the AoPS books
- Introduction to Algebra, Chapter 1: Follow the Rules (§1.6, §1.7, §1.8)
- Introduction to Counting & Probability, Chapter 1: Counting Is Arithmetic
- Introduction to Number Theory, Chapter 1: Integers: The Basics
- Intermediate Counting & Probability, Chapter 4: Constructive Counting and 1-1 Correspondences (§4.4, §4.5, §4.6)
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.