Difference between revisions of "2020 AMC 10A Problems/Problem 24"
(Add another solution (without any guess & check!)) |
|||
Line 196: | Line 196: | ||
~[https://artofproblemsolving.com/wiki/index.php/User:Isabelchen isabelchen] | ~[https://artofproblemsolving.com/wiki/index.php/User:Isabelchen isabelchen] | ||
+ | |||
+ | == Solution 12 (does not require ANY guess and check, Chinese Remainder Theorem) == | ||
+ | From <math>\gcd(63, n + 120) = 21</math>, we know that | ||
+ | <cmath> | ||
+ | \begin{align} | ||
+ | n + 120 &\equiv 0 \pmod{7} \Rightarrow n \equiv 6 \pmod{7} \tag{1} \\ | ||
+ | n + 120 &\equiv 0 \pmod{3} \Rightarrow n \equiv 0 \pmod{3} \Rightarrow n \equiv 0, 3, 6 \pmod{9} \notag | ||
+ | \end{align} | ||
+ | </cmath> | ||
+ | Since | ||
+ | <cmath> | ||
+ | \begin{align} | ||
+ | n + 120 &\not\equiv 0 \pmod{9} \Rightarrow n \not\equiv 6 \pmod{9} \notag | ||
+ | \end{align} | ||
+ | </cmath> | ||
+ | We must have | ||
+ | <cmath> | ||
+ | \begin{align} | ||
+ | n &\equiv 0 \pmod{9} \tag{2} | ||
+ | \end{align} | ||
+ | </cmath> | ||
+ | Or | ||
+ | <cmath> | ||
+ | \begin{align} | ||
+ | n &\equiv 3 \pmod{9} \tag{3} | ||
+ | \end{align} | ||
+ | </cmath> | ||
+ | (Note that <math>n + 120 \equiv 0 \pmod{9}</math> is impossible since then <math>9 | \gcd(63, n+120)</math>.) | ||
+ | |||
+ | From <math>\gcd(n+63, 120) = 60</math>, we have | ||
+ | <cmath> | ||
+ | \begin{align} | ||
+ | n + 63 &\equiv 0 \pmod{15} \Rightarrow n \equiv 12 \pmod {15} \tag{4} \\ | ||
+ | n + 63 &\equiv 0 \pmod{4} \Rightarrow n \equiv 1 \pmod {4} \Rightarrow n \equiv 1, 5 \pmod{8} \notag | ||
+ | \end{align} | ||
+ | </cmath> | ||
+ | Since | ||
+ | <cmath> | ||
+ | \begin{align} | ||
+ | n + 63 &\not\equiv 0 \pmod{8} \Rightarrow n \not\equiv 1 \pmod{8} \notag | ||
+ | \end{align} | ||
+ | </cmath> | ||
+ | We must have | ||
+ | <cmath> | ||
+ | \begin{align} | ||
+ | n &\equiv 5 \pmod {8} \tag{5} | ||
+ | \end{align} | ||
+ | </cmath> | ||
+ | Solving equations <math>(1)</math>, <math>(4)</math>, and <math>(5)</math>, we get | ||
+ | <cmath> | ||
+ | \begin{align} | ||
+ | n &\equiv 237 \pmod{840} \tag{6} | ||
+ | \end{align} | ||
+ | </cmath> | ||
+ | Solving <math>(6)</math> with <math>(2)</math>, we have | ||
+ | <cmath> | ||
+ | \begin{align} | ||
+ | n &\equiv 1917 \pmod{2520} \tag{7} | ||
+ | \end{align} | ||
+ | </cmath> | ||
+ | Solving <math>(6)</math> with <math>(3)</math>, we have | ||
+ | <cmath> | ||
+ | \begin{align} | ||
+ | n &\equiv 237 \pmod{2520} \tag{8} | ||
+ | \end{align} | ||
+ | </cmath> | ||
+ | From <math>(7)</math>, we obtain <math>1917</math>, and from <math>(8)</math>, we obtain <math>237 + 2520 = 2757</math> as the smallest solutions above <math>1000</math>. Thus, we get <math>1 + 9 + 1 + 7 = \boxed{\textbf{(C) } 18}</math>. | ||
==Video Solutions== | ==Video Solutions== |
Revision as of 20:24, 9 June 2023
Contents
- 1 Problem
- 2 Solution 1
- 3 Solution 2
- 4 Solution 3
- 5 Solution 4
- 6 Solution 5
- 7 Solution 6
- 8 Solution 7
- 9 Solution 8 (Euclidean Algorithm)
- 10 Solution 9 (Euclidean Algorithm)
- 11 Solution 10 (Diophantine Equations)
- 12 Solution 11 (Chinese Remainder Theorem)
- 13 Solution 12 (does not require ANY guess and check, Chinese Remainder Theorem)
- 14 Video Solutions
- 15 Video Solution 6
- 16 See Also
Problem
Let be the least positive integer greater than for which
What is the sum of the digits of ?
Solution 1
We know that and by the Euclidean Algorithm. Hence, let and , where and . Subtracting the two equations, . Letting , we get . Taking modulo , we have . We are given that , so . Notice that if then the condition is violated. The next possible value of satisfies the given condition, giving us .
Alternatively, we could have said for only, so , giving us our answer. Since the problem asks for the sum of the digits of , our answer is .
~Prabh1512
Solution 2
The conditions of the problem reduce to the following: and , where and . From these equations, we see that . Solving this Diophantine equation gives us that and . Since, , we can do some bounding and get that and . Now we start bashing by plugging in numbers that satisfy these conditions: is the first number that works so we get , . Therefore, we have , and our answer is .
Solution 3
We first find that and , then we get and by definitions, where and are integers. It follows that must be odd, since the GCD will be instead of if is even. Also, the unit digit of must be , since the unit digit of is always and the unit digit of is . Therefore, we find that must end in to satisfy having a unit digit of . Also, we find that must not be a multiple of or else the GCD will be . Therefore, we test values for and find that satisfies all these conditions. Therefore, and .
~happykeeper
Solution 4
We are given that and By applying the Euclidean algorithm in reverse, we have and
We now know that must be divisible by and so it is divisible by Therefore, for some integer We know that or else the first condition won't hold ( will be ) and or else the second condition won't hold ( will be ). Since gives us too small of an answer, then from which So, the answer is
Solution 5
tells us . The smallest that satisfies the previous condition and is , so we start from there. If , then . Because , or . We see that , which does not fulfill the requirement for , so we continue by keep on adding to , in order to also fulfill the requirement for . Soon, we see that decreases by every time we add , so we can quickly see that because at that point . We add up all digits of to get .
~SmileKat32
Solution 6
We are able to set up the following system of congruences: Therefore, by definition, we are able to set-up the following system of equations: Thus, we have from which We know and since therefore Simplifying this congruence further, we have Thus, by definition, Substituting this back into our original equation, we get By definition, we are able to set up the following congruence: Thus, , so our answer is simply .
Remark
Since we conclude that
Since we conclude that
Remember that
Lastly, the reason why is would be divisible by , which is not possible due to the certain condition.
~nikenissan ~Midnight
Solution 7
First, we find . We know that it is greater than , so we first input . From the first equation, , we know that if is correct, after we add to it, it should be divisible by , but not : This does not work. To get to the nearest number divisible by , we have to add to cancel out the remainder. (Note that we don't subtract to get to ; is already at its lowest possible value!) Adding to gives us . (Note: is currently divisible by 63, but that's fine since we'll be changing it in the next step.)
Now using the second equation, , we know that if is correct, then is divisible by but not : Again, this does not work. This requires some guessing and checking. We can add over and over again until is valid. This changes while also maintaining that has no remainders. After adding once, we get . By pure luck, adding two more times gives us with no remainders. We now have . However, this number is divisible by . To get the next possible number, we add the LCM of and (once again, to maintain divisibility), which is . Unfortunately, is still divisible by . Adding again gives us , which is valid. However, remember that this is equal to , so subtracting from gives us , which is .
The sum of its digits are .
~primegn
Solution 8 (Euclidean Algorithm)
By the Euclidean Algorithm, we have Clearly, must be either or and must be
More generally, let so we get Subtracting from and then simplifying give Taking modulo produces Recall that From it follows that from which Therefore, the possible values for are
We need to check whether positive integers and (where ) exist in
- If then substituting into gives Next, substituting into produces or
There are no solutions
- If then substituting into gives Next, substituting into produces or
The solution is
Finally, the least such positive integer is The sum of its digits is
~MRENTHUSIASM
Solution 9 (Euclidean Algorithm)
Because we are finding value of for , let .
Using the Euclidean Algorithm, So, we have Let , (by the Division Algorithm), , is a multiple of .
Let , , .
, .
By substituting , , into and , and aren't valid answers, only is. Therefore, the answer is .
~isabelchen (Solution)
~Plainoldnumbertheory (Minor Edits)
~Puck_0 (Formatting)
Solution 10 (Diophantine Equations)
We know , and , where is not a multiple of .
Also, , and , where is not a multiple of .
Let , , .
Now the problem becomes and .
Meaning has to be a multiple of but not , and is a multiple of but not .
Using trial and error, the least values are and .
Therefore, the answer is .
Solution 11 (Chinese Remainder Theorem)
We have So, we conclude that and , respectively.
Because the moduli and are not relatively prime, namely , , and , we convert the system of linear congruences with non-coprime moduli into a system of linear congruences with coprime moduli: By Chinese Remainder Theorem, the general solution of system of linear congruences is We construct the following table: Only satisfies and . Therefore, the answer is .
Solution 12 (does not require ANY guess and check, Chinese Remainder Theorem)
From , we know that Since We must have Or (Note that is impossible since then .)
From , we have Since We must have Solving equations , , and , we get Solving with , we have Solving with , we have From , we obtain , and from , we obtain as the smallest solutions above . Thus, we get .
Video Solutions
Video Solution 1 (Richard Rusczyk)
https://artofproblemsolving.com/videos/amc/2020amc10a/514
Video Solution 2
https://youtu.be/8mNMKH0T9W0 - Happytwin
Video Solution 3 (Quick & Simple)
Education The Study of Everything
Video Solution 4
https://www.youtube.com/watch?v=gdGmSyzR908&list=PLLCzevlMcsWNcTZEaxHe8VaccrhubDOlQ&index=5 ~ MathEx
Video Solution 5
https://youtu.be/R220vbM_my8?t=899 ~ amritvignesh0719062.0
Video Solution 6
~savannahsolver
See Also
2020 AMC 10A (Problems • Answer Key • Resources) | ||
Preceded by Problem 23 |
Followed by Problem 25 | |
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 10 Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.