AMC 10 Step by Step

2014 AMC 10A Problem 25

P21-25~8 minPrint

The number 58675^{867} is between 220132^{2013} and 220142^{2014} . How many pairs of integers (m,n)(m,n) are there such that 1≤m≤20121\leq m\leq 2012 and 5n<2m<2m+2<5n+1?5^n<2^m<2^{m+2}<5^{n+1}?

Log in to save your progress.
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 2m2^m, 2m+12^{m+1} and 2m+22^{m+2} all fit strictly between 5n5^n and the next power of 55. So we are counting gaps between neighbouring powers of 55 that hold at least three powers of 22.

Look at the first few gaps to get a feel for it:

gappowers of 22 insidehow many
11 to 552,42, 422
55 to 25258,168, 1622
2525 to 12512532,6432, 6422
125125 to 625625128,256,512128, 256, 51233

1. Every gap holds two or three powers of 22. Let 2m2^m be the first power of 22 after 5n5^n. The power of 22 just before it is at most 5n5^n, so 2m2^m is at most 2⋅5n2 \cdot 5^n.
- Then 2m+12^{m+1} is at most 4⋅5n4 \cdot 5^n, which is less than 5⋅5n=5n+15 \cdot 5^n = 5^{n+1}. So the gap holds at least two.
- And 2m+3=8⋅2m2^{m+3} = 8 \cdot 2^m, which is more than 8⋅5n8 \cdot 5^n, which is more than 5n+15^{n+1}. So the gap holds at most three.
2. A gap with three powers gives exactly one pair (m,n)(m, n): nn is the gap, and mm is its first power of 22. A gap with only two gives none.
3. Use the given fact. 58675^{867} is between 220132^{2013} and 220142^{2014}. So between 1=501 = 5^0 and 58675^{867} the powers of 22 are exactly 21,22,…,220132^1, 2^2, \ldots, 2^{2013}. That is 20132013 of them.
4. Count the gaps. From 505^0 to 58675^{867} there are 867867 gaps: 505^0 to 515^1, 515^1 to 525^2, and so on up to 58665^{866} to 58675^{867}. A power of 22 is never a power of 55 (other than 11), so each of the 20132013 powers of 22 sits in exactly one gap.
5. Set up an equation. Say tt gaps hold three powers and the other 867−t867 - t hold two. Counting all the powers of 22:
3t+2(867−t)=2013.3t + 2(867 - t) = 2013.
The left side is t+1734t + 1734, so t=2013−1734=279t = 2013 - 1734 = 279.
6. Check the limits on mm. In these gaps the three powers are at most 220132^{2013}, so m+2≤2013m + 2 \le 2013 and m≤2011m \le 2011, which fits m≤2012m \le 2012. Any gap beyond 58675^{867} would need 2m2^m above 220132^{2013}, which breaks m≤2012m \le 2012. So no other pairs exist.

The answer is (B) 279\boxed{\textbf{(B)}\ 279}.

Why this works

Since 55 lies between 44 and 88, multiplying by 55 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 22 decides how many of each. This is counting the same thing two ways: once directly (20132013 powers of 22) and once gap by gap (3t+2(867−t)3t + 2(867 - t)). The odd-looking fact about 58675^{867} 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 2m,2m+1,2m+22^m, 2^{m+1}, 2^{m+2} all lie strictly between 5n5^n and 5n+15^{n+1}. So a pair (m,n)(m, n) corresponds to a gap (5n,5n+1)(5^n, 5^{n+1}) that contains at least three powers of 22, with 2m2^m the smallest of them.

How many powers of 22 can such a gap hold? Let 2m2^m be the first power of 22 above 5n5^n, so 2m<2⋅5n2^m < 2 \cdot 5^n. Then 2m+1<4⋅5n<5n+12^{m+1} < 4 \cdot 5^n < 5^{n+1}, so every gap holds at least two, and 2m+3>8⋅5n>5n+12^{m+3} > 8 \cdot 5^n > 5^{n+1}, so no gap holds more than three. Each gap contains exactly 22 or 33 powers of 22, and a gap with 33 yields exactly one pair.

Now use the given bound. Since 5867>220135^{867} > 2^{2013} and 5867<220145^{867} < 2^{2014}, the interval (50,5867)=(1,5867)(5^0, 5^{867}) = (1, 5^{867}) contains exactly the powers 21,22,…,220132^1, 2^2, \dots, 2^{2013}, which is 20132013 powers. This interval is the union of the 867867 gaps (5n,5n+1)(5^n, 5^{n+1}) for n=0,1,…,866n = 0, 1, \dots, 866, and no power of 22 equals a power of 55, so each of those 20132013 powers lies in exactly one gap.

Let tt gaps hold three powers and 867−t867 - t hold two:
3t+2(867−t)=2013⟹t=2013−1734=279.3t + 2(867 - t) = 2013 \quad\Longrightarrow\quad t = 2013 - 1734 = 279.

Every such gap gives a valid pair: m≥1m \ge 1, and m+2≤2013m + 2 \le 2013 means m≤2011≤2012m \le 2011 \le 2012. Gaps beyond 58675^{867} would need 2m>5867>220132^m > 5^{867} > 2^{2013}, violating m≤2012m \le 2012.

The answer is (B) 279\boxed{\textbf{(B)}\ 279}.

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.