Difference between revisions of "2016 AMC 12A Problems/Problem 25"
(Undo revision 129767 by Rainestorm (talk) Non-constructive.) (Tag: Undo) |
Alexlikemath (talk | contribs) (new solution) |
||
Line 30: | Line 30: | ||
This way, while being longer, is IMO more motivated and doesn't use calculus. | This way, while being longer, is IMO more motivated and doesn't use calculus. | ||
− | ==Solution 2(Cheap Realization)== | + | ==Solution 2(Rigorous)== |
+ | |||
+ | We assume <math>n \geq 1</math> for all claims. | ||
+ | |||
+ | We will let <math>g_k(x) = \lfloor \frac{x^2}{10^k}\rfloor</math>. This is the result when the last k digits are truncated off <math>x^2</math>. | ||
+ | |||
+ | Let <math>x_n</math> = the smallest a, such that <math>g_{2n}(a) - g_{2n}(a-1) \geq 2</math> | ||
+ | |||
+ | We then have <math>\lfloor \frac{a^2}{10^{2n}} \rfloor - \lfloor \frac{(a-1)^2}{10^{2n}} \rfloor \geq 2</math> | ||
+ | |||
+ | '''Claim 1:''' <math>x_n > 5\cdot10^{2n-1}</math> | ||
+ | |||
+ | '''Proof of Claim 1:''' | ||
+ | |||
+ | Assume for the sake of contradiction, we have <math>x_n \leq 5 \cdot 10^{2n-1}</math> | ||
+ | |||
+ | Let <math>c = \frac{2x_n - 1}{10^{2n}}</math>, <math>d = \frac{(x_n-1)^2}{10^{2n}}</math> | ||
+ | |||
+ | Note that since <math>x_n \leq 5 \cdot 10^{2n-1}</math>, we have <math>c < 1</math> | ||
+ | |||
+ | It is well known that <math>\lfloor i+j \rfloor \leq \lfloor i \rfloor + \lfloor j \rfloor + 1</math> for any <math>i</math> and <math>j</math> | ||
+ | |||
+ | Since <math>x_n</math> satisfies the condition, we have: | ||
+ | |||
+ | <math>1 = \lfloor c \rfloor + 1 \geq \lfloor{c+d} \rfloor - \lfloor d \rfloor \geq 2</math> | ||
+ | |||
+ | This is a contradiction. <math>\blacksquare</math> | ||
+ | |||
+ | '''Claim 2: <math>x_n = 5 \cdot 10^{2n-1} + 10^n</math>''' | ||
+ | |||
+ | '''Proof of Claim 2:''' | ||
+ | |||
+ | We will show our choice of <math>x_n = 5 \cdot 10^{2n-1} + 10^n</math> satisfies the criteria above. | ||
+ | |||
+ | <math>\lfloor \frac{{x'_n}^2}{10^{2n}} \rfloor - \lfloor \frac{(x_n-1)^2}{10^{2n}} \rfloor = \lfloor \frac{25 \cdot 10^{4n - 2} + 10^{3n} + 10^{2n}}{10^{2n}} \rfloor - \lfloor \frac{25 \cdot 10^{4n - 2} + 10^{3n} - 2 \cdot 10^n + 1}{10^{2n}} \rfloor </math> | ||
+ | |||
+ | <math>= (25 \cdot 10^{2n-2} + 10^{n} + 1) - (25 \cdot 10^{2n-2} + 10^{n} - 1) = 2</math> | ||
+ | |||
+ | Now, we will show all values smaller than <math>5 \cdot 10^{2n-1} + 10^n</math> don’t satisfy the criteria. | ||
+ | We will assume for the sake of contradiction, there exists an <math>x'_n</math> which satisfies the criteria. | ||
+ | |||
+ | We will write <math>x'_n</math> as <math>5 \cdot 10^{2n - 1} + k</math>. By our hypothesis, we have <math>k < 10^n</math>. We also have <math>k > 0</math> by claim 1. | ||
+ | |||
+ | We have <math>\lfloor \frac{{x'}_n^2}{10^{2n}} \rfloor - \lfloor \frac{(x'_n-1)^2}{10^{2n}} \rfloor = \lfloor \frac{25 \cdot 10^{4n - 2} + k \cdot 10^{2n} + k^2}{10^{2n}} \rfloor - \lfloor \frac{25 \cdot 10^{4n - 2} + (k-1) \cdot 10^{2n} + (k-1)^2 }{10^{2n}} \rfloor </math> | ||
+ | |||
+ | <math>= (25 \cdot 10^{2n-2} + k) - (25 \cdot 10^{2n-2} + k - 1) = 1 \geq 2.</math> This gets a contradiction. <math>\blacksquare</math> | ||
+ | |||
+ | '''Claim 3: <math>f(2n) = 25 \cdot10^{2n - 2} + 10^{n}</math>. ''' | ||
+ | |||
+ | '''Proof of Claim 3:''' | ||
+ | Because of claim 2, <math>x_n</math> is <math>5 \cdot 10^{2n-1} + 10^n</math>. Note that <math>g_n(x_n)</math> and <math>g_n(x_n - 1)</math> are the first numbers written that will differ by at least 2. Thus, <math>f(2n) = g_n(x_n - 1) + 1 = 25 \cdot 10^{2n-2} + 10^n</math><math>\blacksquare</math> | ||
+ | |||
+ | |||
+ | Thus, <math>f(2) + f(4) \dots f(2016) = \underbrace{(2525 \dots 25)}_{1008 \ 25s} + \underbrace{(111111 \dots 1111)}_{1008 \ 1s}</math>. This addition has no regroups/carry overs, so we can just take the sums of the digits of each of the addends, and sum them together to get 8064.<math>\boxed{(E)}</math> | ||
+ | |||
+ | -Alexlikemath | ||
+ | ==Solution 3(Cheap Realization)== | ||
If you are one of those people who are willing take educated guesses, then just realize that <math>\textbf{(E)}\text{ 8064}</math> is the only answer choice that is a multiple of <math>2016</math>. | If you are one of those people who are willing take educated guesses, then just realize that <math>\textbf{(E)}\text{ 8064}</math> is the only answer choice that is a multiple of <math>2016</math>. |
Revision as of 22:01, 26 January 2021
Problem
Let be a positive integer. Bernardo and Silvia take turns writing and erasing numbers on a blackboard as follows: Bernardo starts by writing the smallest perfect square with digits. Every time Bernardo writes a number, Silvia erases the last digits of it. Bernardo then writes the next perfect square, Silvia erases the last digits of it, and this process continues until the last two numbers that remain on the board differ by at least 2. Let be the smallest positive integer not written on the board. For example, if , then the numbers that Bernardo writes are , and the numbers showing on the board after Silvia erases are and , and thus . What is the sum of the digits of ?
Solution
Consider . The numbers left on the blackboard will show the hundreds place at the end. In order for the hundreds place to differ by 2, the difference between two perfect squares needs to be at least . Calculus and a bit of thinking says this first happens at *. The perfect squares from here go: . Note that the ones and tens also make the perfect squares, . After the ones and tens make , the hundreds place will go up by , thus reaching our goal. Since , the last perfect square to be written will be . The missing number is one less than the number of hundreds of , or .
Now consider f(4). Instead of the difference between two squares needing to be , the difference must now be . This first happens at . After this point, similarly, more numbers are needed to make the th's place go up by . This will take place at . Removing the last four digits (the zeros) and subtracting one yields for the skipped value.
In general, each new value of will add two digits to the "" and one digit to the "". This means that the last number Bernardo writes for is , the last for will be , and so on until . Removing the last digits as Silvia does will be the same as removing trailing zeroes on the number to be squared. This means that the last number on the board for is , is , and so on. So the first missing number is The squaring will make a "" with two more digits than the last number, a "" with one more digit, and a "". The missing number is one less than that, so the "1" will be subtracted from . In other words, .
Therefore:
And so on. The sum is:
+ , with repetitions each of "" and "". There is no carrying in this addition. Therefore each adds to the sum of the digits. Since , , and , or .
Addendum: *You could also use the fact that In other words, the difference between and is equal to . We can set the inequality . Obviously, the first integer that satisfies this is 50. This way, while being longer, is IMO more motivated and doesn't use calculus.
Solution 2(Rigorous)
We assume for all claims.
We will let . This is the result when the last k digits are truncated off .
Let = the smallest a, such that
We then have
Claim 1:
Proof of Claim 1:
Assume for the sake of contradiction, we have
Let ,
Note that since , we have
It is well known that for any and
Since satisfies the condition, we have:
This is a contradiction.
Claim 2:
Proof of Claim 2:
We will show our choice of satisfies the criteria above.
Now, we will show all values smaller than don’t satisfy the criteria. We will assume for the sake of contradiction, there exists an which satisfies the criteria.
We will write as . By our hypothesis, we have . We also have by claim 1.
We have
This gets a contradiction.
Claim 3: .
Proof of Claim 3: Because of claim 2, is . Note that and are the first numbers written that will differ by at least 2. Thus,
Thus, . This addition has no regroups/carry overs, so we can just take the sums of the digits of each of the addends, and sum them together to get 8064.
-Alexlikemath
Solution 3(Cheap Realization)
If you are one of those people who are willing take educated guesses, then just realize that is the only answer choice that is a multiple of .
See Also
Related Question: https://artofproblemsolving.com/wiki/index.php/2013_AIME_II_Problems/Problem_6
2016 AMC 12A (Problems • Answer Key • Resources) | |
Preceded by Problem 24 |
Followed by Last Problem |
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.