Difference between revisions of "2013 AMC 12A Problems/Problem 21"
(→= Solution 9 (i just lost my dawg)) |
|||
(10 intermediate revisions by 8 users not shown) | |||
Line 1: | Line 1: | ||
− | ==Problem== | + | == Problem == |
− | Consider <math> A = \log (2013 + \log (2012 + \log (2011 + \log (\cdots + \log (3 + \log 2) \cdots )))) </math>. Which of the following intervals contains <math> A </math>? | + | Consider <math>A = \log (2013 + \log (2012 + \log (2011 + \log (\cdots + \log (3 + \log 2) \cdots ))))</math>. Which of the following intervals contains <math>A</math>? |
<math> \textbf{(A)} \ (\log 2016, \log 2017) </math> | <math> \textbf{(A)} \ (\log 2016, \log 2017) </math> | ||
Line 8: | Line 8: | ||
<math> \textbf{(E)} \ (\log 2020, \log 2021) </math> | <math> \textbf{(E)} \ (\log 2020, \log 2021) </math> | ||
− | + | == Solutions == | |
− | ==Solution 1== | + | === Solution 1 === |
− | |||
Let <math>f(x) = \log(x + f(x-1))</math> and <math>f(2) = \log(2)</math>, and from the problem description, <math>A = f(2013)</math> | Let <math>f(x) = \log(x + f(x-1))</math> and <math>f(2) = \log(2)</math>, and from the problem description, <math>A = f(2013)</math> | ||
Line 39: | Line 38: | ||
<math>(\log 2016, \log 2017)</math> | <math>(\log 2016, \log 2017)</math> | ||
− | ==Solution 2== | + | === Solution 2 === |
− | |||
Suppose <math>A=\log(x)</math>. | Suppose <math>A=\log(x)</math>. | ||
Then <math>\log(2012+ \cdots)=x-2013</math>. | Then <math>\log(2012+ \cdots)=x-2013</math>. | ||
Line 51: | Line 49: | ||
But this leaves only one answer, so we are done. | But this leaves only one answer, so we are done. | ||
+ | === Solution 3 === | ||
+ | Define <math>f(2) = \log(2)</math>, and <math>f(n) = \log(n+f(n-1)), \text{ for } n > 2.</math> We are looking for <math>f(2013)</math>. First we show | ||
+ | |||
+ | '''Lemma.''' For any integer <math>n>2</math>, if <math>n < 10^k-k</math> then <math>f(n) < k</math>. | ||
+ | |||
+ | '''Proof.''' First note that <math>f(2) < 1</math>. Let <math>n<10^k-k</math>. Then <math>n+k<10^k</math>, so <math>\log(n+k)< k</math>. Suppose the claim is true for <math>n-1</math>. Then <math>f(n) = \log(n+f(n-1)) < \log(n + k) < k</math>. The Lemma is thus proved by induction. | ||
+ | |||
+ | Finally, note that <math>2012 < 10^4 - 4</math> so that the Lemma implies that <math>f(2012) < 4</math>. This means that <math>f(2013) = \log(2013+f(2012)) < \log(2017)</math>, which leaves us with only one option <math>\boxed{\textbf{(A) } (\log 2016, \log 2017)}</math>. | ||
+ | |||
+ | === Solution 4 === | ||
+ | Define <math>f(2) = \log(2)</math>, and <math>f(n) = \log(n+f(n-1)), \text{ for } n > 2.</math> We start with a simple observation: | ||
+ | |||
+ | '''Lemma.''' For <math>x,y>2</math>, <math>\log(x+\log(y)) < \log(x)+\log(y)=\log(xy)</math>. | ||
+ | |||
+ | '''Proof.''' Since <math>x,y>2</math>, we have <math>xy-x-y = (x-1)(y-1) - 1 > 0</math>, so <math>xy - x-\log(y) > xy - x - y > 0</math>. | ||
+ | |||
+ | It follows that <math>\log(z+\log(x+\log(y))) < \log(x)+\log(y)+\log(z)</math>, and so on. | ||
+ | |||
+ | Thus <math>f(2010) < \log 2 + \log 3 + \cdots + \log 2010 < \log 2010 + \cdots + \log 2010 < 2009\cdot 4 = 8036</math>. | ||
+ | |||
+ | Then <math>f(2011) = \log(2011+f(2010)) < \log(10047) < 5</math>. | ||
+ | |||
+ | It follows that <math>f(2012) = \log(2012+f(2011)) < \log(2017) < 4</math>. | ||
+ | |||
+ | Finally, we get <math>f(2013) = \log(2013 + f(2012)) < \log(2017)</math>, which leaves us with only option <math>\boxed{\textbf{(A)}}</math>. | ||
+ | |||
+ | === Solution 5 (nonrigorous + abusing answer choices.) === | ||
+ | |||
+ | Intuitively, you can notice that <math>\log(2012+\log(2011+\cdots(\log(2)\cdots))<\log(2013+\log(2012+\cdots(\log(2))\cdots))</math>, therefore (by the answer choices) <math>\log(2012+\log(2011+\cdots(\log(2)\cdots))<\log(2021)</math>. We can then say: | ||
+ | |||
+ | <cmath>x=\log(2013+\log(2012+\cdots(\log(2))\cdots))</cmath> | ||
+ | <cmath>\log(2013)<x<\log(2013+\log(2021))</cmath> | ||
+ | <cmath>\log(2013)<x<\log(2013+4)</cmath> | ||
+ | <cmath>\log(2013)<x<\log(2017)</cmath> | ||
+ | |||
+ | The only answer choice that is possible given this information is <math>\boxed{\textbf{(A)}}</math> | ||
+ | |||
+ | === Solution 6 (super quick) === | ||
+ | |||
+ | Let <math>f(x) = \log(x + \log((x-1) + \log((x-2) + \ldots + \log 2 \ldots )))</math>. From the answer choices, we see that <math>3 < f(2013) < 4</math>. Since <math>f(x)</math> grows very slowly, we can assume <math>3 < f(2012) < 4</math>. Therefore, <math>f(2013) = \log(2013 + f(2012)) \in (\log 2016, \log 2017) \implies \boxed{\textbf{(A)}}</math>. | ||
+ | |||
+ | ~rayfish | ||
− | ==Solution 3= | + | === Solution 7 (Not rigorous but it works) === |
+ | Start small from <math>log(3+log2)</math>. Because <math>log2</math> is close to <math>0</math>, the expression is close to <math>log 3</math>. This continues for the 1 digit numbers. However, when we get to <math>log(11+log10)</math>, <math>log10=1</math> so the expression equals <math>log12</math>. We can round down how much each new log contributes to the expression as an approximate answer. There are 90 2 digit numbers, 900 3 digit numbers, and 1014 4 digit numbers that increase the expression. <math>1000< 90 \cdot 1 + 900 \cdot 2 + 1014 \cdot 3< 10000</math>, so it increases between 3 and 4. The answer is <math>\boxed{\textbf{(A)}}</math>. | ||
− | + | ~dragnin | |
− | <math> | + | === Solution 8 (Assumption) === |
+ | Consider <math>\log (2013+\log(2012))</math> and disregard every other log. We do this because we assume that the logs from <math>2011</math> onward cannot contribute more than <math>7987</math> because of the nature of logs. We have <math>\log(2016)<\log (2013+\log(2012))<\log(2017)</math> so the answer is <math>\boxed{A}.</math> | ||
− | |||
− | + | === Solution 9 (i just lost my dawg) == | |
+ | |||
+ | It seems that <math>\log (2012+x)</math> is going to be less than four, since otherwise, it would imply that <math>x>7987</math>, and going down, that seems very impossible. | ||
− | + | Then, the answer is just <math>\boxed{\textbf{A} (\log{2016}, \log{2017})}</math> | |
− | + | === Video Solution by Richard Rusczyk === | |
+ | https://artofproblemsolving.com/videos/amc/2013amc12a/360 | ||
− | ==See Also== | + | == See Also == |
{{AMC12 box|year=2013|ab=A|num-b=20|num-a=22}} | {{AMC12 box|year=2013|ab=A|num-b=20|num-a=22}} | ||
{{MAA Notice}} | {{MAA Notice}} |
Latest revision as of 17:38, 21 September 2024
Problem
Consider . Which of the following intervals contains ?
Solutions
Solution 1
Let and , and from the problem description,
We can reason out an approximation, by ignoring the :
And a better approximation, by plugging in our first approximation for in our original definition for :
And an even better approximation:
Continuing this pattern, obviously, will eventually terminate at , in other words our original definition of .
However, at , going further than will not distinguish between our answer choices. is nearly indistinguishable from .
So we take and plug in.
Since , we know . This gives us our answer range:
Solution 2
Suppose . Then . So if , then . So . Repeating, we then get . This is clearly absurd (the RHS continues to grow more than exponentially for each iteration). So, is not greater than . So . But this leaves only one answer, so we are done.
Solution 3
Define , and We are looking for . First we show
Lemma. For any integer , if then .
Proof. First note that . Let . Then , so . Suppose the claim is true for . Then . The Lemma is thus proved by induction.
Finally, note that so that the Lemma implies that . This means that , which leaves us with only one option .
Solution 4
Define , and We start with a simple observation:
Lemma. For , .
Proof. Since , we have , so .
It follows that , and so on.
Thus .
Then .
It follows that .
Finally, we get , which leaves us with only option .
Solution 5 (nonrigorous + abusing answer choices.)
Intuitively, you can notice that , therefore (by the answer choices) . We can then say:
The only answer choice that is possible given this information is
Solution 6 (super quick)
Let . From the answer choices, we see that . Since grows very slowly, we can assume . Therefore, .
~rayfish
Solution 7 (Not rigorous but it works)
Start small from . Because is close to , the expression is close to . This continues for the 1 digit numbers. However, when we get to , so the expression equals . We can round down how much each new log contributes to the expression as an approximate answer. There are 90 2 digit numbers, 900 3 digit numbers, and 1014 4 digit numbers that increase the expression. , so it increases between 3 and 4. The answer is .
~dragnin
Solution 8 (Assumption)
Consider and disregard every other log. We do this because we assume that the logs from onward cannot contribute more than because of the nature of logs. We have so the answer is
= Solution 9 (i just lost my dawg)
It seems that is going to be less than four, since otherwise, it would imply that , and going down, that seems very impossible.
Then, the answer is just
Video Solution by Richard Rusczyk
https://artofproblemsolving.com/videos/amc/2013amc12a/360
See Also
2013 AMC 12A (Problems • Answer Key • Resources) | |
Preceded by Problem 20 |
Followed by Problem 22 |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 • 16 • 17 • 18 • 19 • 20 • 21 • 22 • 23 • 24 • 25 | |
All AMC 12 Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.