Difference between revisions of "2020 AMC 10A Problems/Problem 24"
 (→Solution 5)  | 
				m (→Video Solution 3 (Quick & Simple))  | 
				||
| (157 intermediate revisions by 25 users not shown) | |||
| Line 1: | Line 1: | ||
== Problem ==  | == Problem ==  | ||
| − | Let <math>n</math> be the least positive integer greater than <math>1000</math> for which<cmath>\gcd(63, n+120) =21\quad \text{and} \quad \gcd(n+63, 120)=60.</cmath>What is the sum of the digits of <math>n</math>?  | + | Let <math>n</math> be the least positive integer greater than <math>1000</math> for which  | 
| + | |||
| + | <cmath>\gcd(63, n+120) =21\quad \text{and} \quad \gcd(n+63, 120)=60.</cmath>  | ||
| + | |||
| + | What is the sum of the digits of <math>n</math>?  | ||
<math>\textbf{(A) } 12 \qquad\textbf{(B) } 15 \qquad\textbf{(C) } 18 \qquad\textbf{(D) } 21\qquad\textbf{(E) } 24</math>  | <math>\textbf{(A) } 12 \qquad\textbf{(B) } 15 \qquad\textbf{(C) } 18 \qquad\textbf{(D) } 21\qquad\textbf{(E) } 24</math>  | ||
| − | == Solution 1==  | + | == Solution 1 ==    | 
| + | We know that <math>\gcd(n+57,63)=21</math> and <math>\gcd(n-57, 120)= 60</math> by the Euclidean Algorithm. Hence, let <math>n+57=21\alpha</math> and <math>n-57=60 \gamma</math>, where <math>\gcd(\alpha,3)=1</math> and <math>\gcd(\gamma,2)=1</math>. Subtracting the two equations, <math>38=7\alpha-20\gamma</math>. Letting <math>\gamma = 2s+1</math>, we get <math>58=7\alpha-40s</math>. Taking modulo <math>40</math>, we have <math>\alpha \equiv{14} \pmod{40}</math>. We are given that <math>n=21\alpha -57 >1000</math>, so <math>\alpha \geq 51</math>. Notice that if <math>\alpha =54</math> then the condition <math>\gcd(\alpha,3)=1</math> is violated. The next possible value of  <math>\alpha = 94</math> satisfies the given condition, giving us <math>n=1917</math>.  | ||
| − | + | Alternatively, we could have said <math>\alpha = 40k+14 \equiv{0} \pmod{3}</math> for <math>k \equiv{1} \pmod{3}</math> only, so <math>k \equiv{0,2} \pmod{3}</math>, giving us our answer. Since the problem asks for the sum of the digits of <math>n</math>, our answer is <math>1+9+1+7=\boxed{\textbf{(C) } 18}</math>.  | |
| − | + | ~Prabh1512  | |
| − | + | ==Supplement==   | |
| + | When looking at <math>38=7\alpha-20\gamma</math>,  instead of attempting to take <math> \alpha </math> modulo <math>40 </math>, it may be more intuitively obvious to take <math>\alpha</math> modulo <math> 20</math>:  | ||
| − | -  | + | As <math> 7</math> and <math> 20 </math> are coprime, <math> 7 </math> has an inverse modulo <math>20 </math>. Recall that <math> 7 \cdot 3 \equiv 1 \pmod{20} </math>, so <math> 7^{-1} \equiv 3 \pmod{20} </math>. Thus, <math> \alpha \equiv 54 \equiv 14 \pmod{20}</math>. Furthermore, consider that <math> 21 \alpha -57 > 1000 </math>, so <math> \alpha \geq 51 </math>. <math> \alpha = 54 </math> fails, as <math> gcd( \alpha, 3) = 1 </math> from <math> \gcd(63, n + 57 ) = 21</math>. <math> 74 </math> fails as well; this causes <math> \gamma </math> to be even from <math> 114 = 21\alpha - 60\gamma </math>. <math> 94 </math> is the first number not violating any restrictions, leaving <math> 94 \cdot 21-57 = 1917 </math>, which has digital sum <math> 1 + 9 + 1 + 7 = 18 </math>, so we choose <math> \boxed{ (C) } </math>.   | 
| − | + | In the end, though, it is just the same steps in a different order.  | |
| + | ~LeonQS  | ||
| − | + | ==Solution 2==  | |
| + | The conditions of the problem reduce to the following: <math>n+120 = 21k</math> and <math>n+63 = 60\ell</math>, where <math>\gcd(k,3) = 1</math> and <math>\gcd(\ell,2) = 1</math>. From these equations, we see that <math>21k - 60\ell = 57</math>. Solving this Diophantine equation gives us that <math>k = 20a + 17</math> and <math>\ell = 7a + 5</math>. Since, <math>n>1000</math>, we can do some bounding and get that <math>k > 53</math> and <math>\ell > 17</math>. Now we start bashing by plugging in numbers that satisfy these conditions: <math>a=4</math> is the first number that works so we get <math>\ell = 33</math>, <math>k = 97</math>. Therefore, we have <math>n=21(97)-120=60(33)-63=1917</math>, and our answer is <math>1+9+1+7=\boxed{\textbf{(C) } 18}</math>.  | ||
| − | ~   | + | ==Solution 3==  | 
| + | We first find that <math>n\equiv6\pmod{21}</math> and <math>n\equiv57\pmod{60}</math>, then we get <math>n=21x+6</math> and <math>n=60y+57</math> by definitions, where <math>x</math> and <math>y</math> are integers. It follows that <math>y</math> must be odd, since the GCD will be <math>120</math> instead of <math>60</math> if <math>y</math> is even. Also, the unit digit of <math>n</math> must be <math>7</math>, since the unit digit of <math>60y</math> is always <math>0</math> and the unit digit of <math>57</math> is <math>7</math>. Therefore, we find that <math>x</math> must end in <math>1</math> to satisfy <math>n</math> having a unit digit of <math>7</math>. Also, we find that <math>x</math> must not be a multiple of <math>3</math> or else the GCD will be <math>63</math>. Therefore, we test values for <math>x</math> and find that <math>x=91</math> satisfies all these conditions. Therefore, <math>n=1917</math> and <math>1+9+1+7 = \boxed{\textbf{(C) } 18}</math>.  | ||
| + | |||
| + | ~happykeeper  | ||
==Solution 4==  | ==Solution 4==  | ||
| − | |||
| − | |||
| − | + | After applying the [[Euclidean Algorithm]] we get <math>\gcd(n - 6, 63) = 21</math> and <math>\gcd(n - 57, 120) = 60.</math> So we have <math>n - 6 = 21a</math> and <math>n - 57 = 60b</math>, where <math>a</math> is not a multiple of <math>3</math> and <math>b</math> is not a multiple of <math>2.</math> Setting these equations equal to each other, we get <math>21a = 60b + 51 \implies 20b = 7a - 17.</math> We note that <math>a</math> must be <math>\geq 48</math> (since <math>n</math> has to be greater than <math>1000</math>) and the last digit of <math>a</math> must be <math>1</math> so that <math>7a - 17</math> is a multiple of <math>10</math> and has a possibility of also being a multiple of 20.  | |
| + | |||
| + | {| class="wikitable"  | ||
| + | |-  | ||
| + | ! a values  | ||
| + | ! b values  | ||
| + | |-  | ||
| + | | 51 (can't be a multiple of 3)  | ||
| + | | 17  | ||
| + | |-  | ||
| + | | 61   | ||
| + | | 41/2 (not an integer)  | ||
| + | |-  | ||
| + | | 71  | ||
| + | | 24 (can't be even)  | ||
| + | |-  | ||
| + | | 81 (can't be a multiple of 3)  | ||
| + | | 55/2 (not an integer)  | ||
| + | |-  | ||
| + | | 91 '''this works!'''  | ||
| + | | 31 '''this works!'''  | ||
| + | |-  | ||
| + | |}  | ||
| + | |||
| + | Since <math>a = 91</math>, <math>n = 91 \cdot 21 + 6 = 1917</math> (or since <math>b = 31,</math> <math>n = 31 \cdot 60 + 57 = 1917).</math> The answer is <math>1 + 9 + 1 + 7 = \boxed{18}.</math>  | ||
| + | |||
| + | ~[[User:grogg007|grogg007]], [https://artofproblemsolving.com/wiki/index.php/User:Isabelchen isabelchen]  | ||
==Solution 5==  | ==Solution 5==  | ||
| − | + | We are given that <math>\gcd(63, n+120) =21</math> and <math>\gcd(n+63, 120)=60.</math> By applying the Euclidean algorithm in reverse, we have <cmath>\gcd(63, n+120) = \gcd(63, n+120 + 63) = \gcd(63, n+183) = 21</cmath> and <cmath>\gcd(n+63, 120) = \gcd(n+63 + 120, 120) = \gcd(n+183, 120) = 60.</cmath>  | |
| − | + | We now know that <math>n+183</math> must be divisible by <math>21</math> and <math>60,</math> so it is divisible by <math>\text{lcm}(21, 60) = 420.</math> Therefore, <math>n+183 = 420k</math> for some integer <math>k.</math> We know that <math>3 \nmid k,</math> or else the first condition won't hold (<math>\gcd</math> will be <math>63</math>) and <math>2 \nmid k,</math> or else the second condition won't hold (<math>\gcd</math> will be <math>120</math>). Since <math>k = 1</math> gives us too small of an answer, then <math>k=5,</math> from which <math>n = 1917.</math> So, the answer is <math>1+9+1+7 = \boxed{\textbf{(C) } 18}.</math>  | |
| − | We   | ||
| − | + | ==Solution 6==  | |
| + | <math>\gcd(n+63,120)=60</math> tells us <math>n+63\equiv60\pmod {120}</math>. The smallest <math>n+63</math> that satisfies the previous condition and <math>n>1000</math> is <math>1140</math>, so we start from there. If <math>n+63=1140</math>, then <math>n+120=1197</math>. Because <math>\gcd(n+120,63)=21</math>, <math>n+120\equiv21\pmod {63}</math> or <math>n+120\equiv42\pmod {63}</math>. We see that <math>1197\equiv0\pmod {63}</math>, which does not fulfill the requirement for <math>n+120</math>, so we continue by keep on adding <math>120</math> to <math>1197</math>, in order to also fulfill the requirement for <math>n+63</math>. Soon, we see that <math>n+120\pmod {63}</math> decreases by <math>6</math> every time we add <math>120</math>, so we can quickly see that <math>n=1917</math> because at that point <math>n+120\equiv21\pmod {63}</math>. We add up all digits of <math>1917</math> to get <math>\boxed{\textbf{(C) } 18}</math>.  | ||
| + | |||
| + | ~SmileKat32  | ||
==Solution 7==  | ==Solution 7==  | ||
| − | <  | + | We are able to set up the following system of congruences:   | 
| + | <cmath>\begin{align*}  | ||
| + | n &\equiv 6 \pmod {21}, \\  | ||
| + | n &\equiv 57 \pmod {60}.  | ||
| + | \end{align*}</cmath>    | ||
| + | Therefore, by definition, we are able to set-up the following system of equations:   | ||
| + | <cmath>\begin{align*}  | ||
| + | n &= 21a + 6, \\  | ||
| + | n &= 60b + 57.  | ||
| + | \end{align*}</cmath>    | ||
| + | Thus, we have <math>21a + 6 = 60b + 57,</math> from which <cmath>7a + 2 = 20b + 19.</cmath>  | ||
| + | We know <math>7a \equiv 0 \pmod {7},</math> and since <math>7a = 20b + 17,</math> therefore <math>20b + 17 \equiv 0 \pmod{7}.</math> Simplifying this congruence further, we have <cmath>b\equiv 3 \pmod{7}.</cmath>  | ||
| + | Thus, by definition, <math>b = 7x + 3.</math> Substituting this back into our original equation, we get <cmath>n = 60(7x + 3) + 57 = 420x + 237.</cmath>  | ||
| + | By definition, we are able to set up the following congruence:  | ||
| + | <cmath>n \equiv 237 \pmod{420}.</cmath>  | ||
| + | Thus, <math>n = 1917</math>, so our answer is simply <math>1+9+1+7=\boxed{\textbf{(C) } 18}</math>.  | ||
| − | + | <u><b>Remark</b></u>  | |
| − | + | Since <math>n \equiv -120 \pmod{21},</math> we conclude that <math>n \equiv 6 \pmod{21}.</math>  | |
| − | |||
| − | <  | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | Since <math>n \equiv -63 \pmod{60},</math> we conclude that <math>n \equiv 57 \pmod{60}.</math>  | |
| − | Remember  | + | Remember that  <math>b \equiv 3 \pmod{7}.</math>  | 
| − | Lastly, the reason why <math>n \neq 1077</math> is <math>n + 120</math> would be divisible by <math>63</math>, which is not possible due to the certain condition.  | + | Lastly, the reason why <math>n \neq 1077</math> is <math>n + 120</math> would be divisible by <math>63</math>, which is not possible due to the certain condition.  | 
| − | ~ nikenissan  | + | ~nikenissan ~Midnight  | 
| − | == Solution   | + | == Solution 8==  | 
| − | First, we find <math>n</math>. We know that it is greater than <math>1000</math>, so we first input <math>n = 1000</math>. From the first equation, <math>gcd(63, n + 120) = 21</math>, we know that if <math>n</math> is correct, after we add <math>120</math> to it, it should be divisible by <math>21</math>, but not <math>63</math>  | + | First, we find <math>n</math>. We know that it is greater than <math>1000</math>, so we first input <math>n = 1000</math>. From the first equation, <math>\gcd(63, n + 120) = 21</math>, we know that if <math>n</math> is correct, after we add <math>120</math> to it, it should be divisible by <math>21</math>, but not <math>63</math>:   | 
| − | <cmath>\frac{n + 120}{21}  | + | <cmath>\frac{n + 120}{21} = \frac{1120}{21} = 53\text{ R }7.</cmath>  | 
| − | + | This does not work. To get to the nearest number divisible by <math>21</math>, we have to add <math>14</math> to cancel out the remainder. (Note that we don't subtract <math>7</math> to get to <math>53</math>; <math>n</math> is already at its lowest possible value!)  | |
| − | |||
| − | |||
Adding <math>14</math> to <math>1000</math> gives us <math>n = 1014</math>. (Note: <math>n</math> is currently divisible by 63, but that's fine since we'll be changing it in the next step.)  | Adding <math>14</math> to <math>1000</math> gives us <math>n = 1014</math>. (Note: <math>n</math> is currently divisible by 63, but that's fine since we'll be changing it in the next step.)  | ||
| − | Now using  | + | Now using the second equation, <math>\gcd(n + 63, 120) = 60</math>, we know that if <math>n</math> is correct, then <math>n+63</math> is divisible by <math>60</math> but not <math>120</math>:  | 
| − | <cmath>\frac{n + 63}{60}  | + | <cmath>\frac{n + 63}{60} = \frac{1077}{60} = 17\text{ R }57.</cmath>  | 
| − | + | Again, this does not work. This requires some guessing and checking. We can add <math>21</math> over and over again until <math>n</math> is valid. This changes <math>n</math> while also maintaining that <math>\frac{n + 120}{21}</math> has no remainders.    | |
| − | |||
| − | |||
After adding <math>21</math> once, we get <math>18 r 18</math>. By pure luck, adding <math>21</math> two more times gives us <math>19</math> with no remainders.    | After adding <math>21</math> once, we get <math>18 r 18</math>. By pure luck, adding <math>21</math> two more times gives us <math>19</math> with no remainders.    | ||
We now have <math>1077 + 21 + 21 + 21 = 1140</math>. However, this number is divisible by <math>120</math>. To get the next possible number, we add the LCM of <math>21</math> and <math>60</math> (once again, to maintain divisibility), which is <math>420</math>. Unfortunately, <math>1140 + 420 = 1560</math> is still divisible by <math>120</math>. Adding <math>420</math> again gives us <math>1980</math>, which is valid. However, remember that this is equal to <math>n + 63</math>, so subtracting <math>63</math> from <math>1980</math> gives us <math>1917</math>, which is <math>n</math>.    | We now have <math>1077 + 21 + 21 + 21 = 1140</math>. However, this number is divisible by <math>120</math>. To get the next possible number, we add the LCM of <math>21</math> and <math>60</math> (once again, to maintain divisibility), which is <math>420</math>. Unfortunately, <math>1140 + 420 = 1560</math> is still divisible by <math>120</math>. Adding <math>420</math> again gives us <math>1980</math>, which is valid. However, remember that this is equal to <math>n + 63</math>, so subtracting <math>63</math> from <math>1980</math> gives us <math>1917</math>, which is <math>n</math>.    | ||
| − | The sum of its digits are <math>1 + 9 + 1 + 7 = 18</math>.  | + | The sum of its digits are <math>1 + 9 + 1 + 7 = \boxed{\textbf{(C) } 18}</math>.  | 
| + | |||
| + | ~primegn  | ||
| + | |||
| + | ==Solution 9 (Euclidean Algorithm)==  | ||
| + | By the Euclidean Algorithm, we have  | ||
| + | <cmath>\begin{alignat*}{8}  | ||
| + | \gcd(63,n+120)&=\hspace{1mm}&&\gcd(63,\phantom{ }\underbrace{n+120-63k_1}_{(n+120) \ \mathrm{mod} \ 63}\phantom{ })&&=21, \\   | ||
| + | \gcd(n+63,120)&=&&\gcd(\phantom{ }\underbrace{n+63-120k_2}_{(n+63) \ \mathrm{mod} \ 120}\phantom{ },120)&&=60.   | ||
| + | \end{alignat*}</cmath>  | ||
| + | Clearly, <math>n+120-63k_1</math> must be either <math>21</math> or <math>42,</math> and <math>n+63-120k_2</math> must be <math>60.</math>  | ||
| + | |||
| + | More generally, let <math>t\in\{1,2\},</math> so we get  | ||
| + | <cmath>\begin{align*}  | ||
| + | n+120-63k_1&=21t, &\hspace{55.5mm}(1) \\  | ||
| + | n+63-120k_2&=60. &\hspace{55.5mm}(2)  | ||
| + | \end{align*}</cmath>  | ||
| + | Subtracting <math>(2)</math> from <math>(1)</math> and then simplifying give  | ||
| + | <cmath>\begin{align*}  | ||
| + | 57-63k_1+120k_2&=21t-60 \\  | ||
| + | 117-63k_1+120k_2&=21t \\  | ||
| + | 39-21k_1+40k_2&=7t. \hspace{54mm}(\bigstar)  | ||
| + | \end{align*}</cmath>  | ||
| + | Taking <math>(\bigstar)</math> modulo <math>7</math> produces  | ||
| + | <cmath>\begin{align*}  | ||
| + | 4+5k_2&\equiv0\pmod{7} \\  | ||
| + | k_2&\equiv2\pmod{7}.  | ||
| + | \end{align*}</cmath>  | ||
| + | Recall that <math>n>1000.</math> From <math>(2),</math> it follows that <cmath>1063-120k_2<n+63-120k_2=60,</cmath> from which <math>k_2>8.</math> Therefore, the possible values for <math>k_2</math> are <math>9,16,23,\ldots.</math>  | ||
| + | |||
| + | We need to check whether positive integers <math>k_1</math> and <math>t</math> (where <math>t\in\{1,2\}</math>) exist in <math>(1):</math>  | ||
| + | <ul style="margin-left: 1.5em, list-style-type: square;">  | ||
| + |   <li>If <math>k_2=9,</math> then substituting into <math>(2)</math> gives <math>n=1077.</math> Next, substituting into <math>(1)</math> produces <math>1197-63k_1=21t,</math> or <math>57-3k_1=t.</math> <p>  | ||
| + | There are no solutions <math>(k_1,t).</math></li><p>  | ||
| + |   <li>If <math>k_2=16,</math> then substituting into <math>(2)</math> gives <math>n=1917.</math> Next, substituting into <math>(1)</math> produces <math>2037-63k_1=21t,</math> or <math>97-3k_1=t.</math> <p>  | ||
| + | The solution is <math>(k_1,t)=(32,1).</math></li><p>  | ||
| + | </ul>  | ||
| + | Finally, the least such positive integer <math>n</math> is <math>1917.</math> The sum of its digits is <math>1+9+1+7=\boxed{\textbf{(C) } 18}.</math>  | ||
| + | |||
| + | ~MRENTHUSIASM  | ||
| + | |||
| + | == Solution 10 (Euclidean Algorithm) ==  | ||
| + | |||
| + | Because we are finding value of <math>n</math> for <math>n > 1000</math>, let <math>n = 1000 + k</math>.  | ||
| + | |||
| + | Using the Euclidean Algorithm,   | ||
| + | <cmath>\begin{align*}  | ||
| + | \gcd(63, n+120) &= \gcd(63, 1000 + k + 120) \\  | ||
| + | &= \gcd(63, k + 1120 - 63 \cdot 18) \\  | ||
| + | &= \gcd(63, k-14) \\  | ||
| + | &= 21, \\  | ||
| + | \gcd(n+63, 120) &= \gcd(k + 1000 + 63, 120) \\  | ||
| + | &= \gcd(k + 1000 + 63 - 120 \cdot 9, 120) \\  | ||
| + | &= \gcd(k-17, 120) \\  | ||
| + | &= 60.  | ||
| + | \end{align*}</cmath>  | ||
| + | So, we have  | ||
| + | <cmath>\begin{align*}  | ||
| + | k &\equiv 14 \pmod{21}, \\  | ||
| + | k &\equiv 17 \pmod{60}.  | ||
| + | \end{align*}</cmath>  | ||
| + | Let <math>k = 21p + 14 = 60q + 17</math>, <math>7p= 20q + 1</math> (by the Division Algorithm), <math>7p = 21q - (q - 1)</math>, <math>q - 1</math> is a multiple of <math>7</math>.  | ||
| + | |||
| + | Let <math>q-1 = 7r</math>, <math>q = 7r+1</math>, <math>k = 60(7r+1) + 17 = 420r + 77</math>.  | ||
| + | |||
| + | <math>n = 1000 + k = 420r + 1077</math>, <math>n = 1077, 1497, 1917</math>.  | ||
| + | |||
| + | By substituting <math>1077</math>, <math>1497</math>, <math>1917</math> into <math>\gcd(63, n+120) =21</math> and <math>\gcd(n+63, 120)=60</math>, <math>1077</math> and  <math>1497</math> aren't valid answers, only <math>1917</math> is. Therefore, the answer is <math>1+9+1+7=\boxed{\textbf{(C) } 18}</math>.  | ||
| + | |||
| + | ~[https://artofproblemsolving.com/wiki/index.php/User:Isabelchen isabelchen] (Solution)  | ||
| + | |||
| + | ~[https://artofproblemsolving.com/wiki/index.php/User:Plainoldnumbertheory Plainoldnumbertheory] (Minor Edits)  | ||
| + | |||
| + | ~[https://artofproblemsolving.com/wiki/index.php/User:Plainoldnumbertheory Puck_0] (Formatting)  | ||
| + | |||
| + | == Solution 11 (Chinese Remainder Theorem) ==  | ||
| + | We have  | ||
| + | <cmath>\begin{align*}  | ||
| + | \gcd(63, n+120) &= 21 \Longrightarrow n + 120 \equiv 0 \pmod{21}, \text{ where } 9 \nmid n + 120, \\  | ||
| + | \gcd(n+63, 120) &= 60 \Longrightarrow n + 63 \equiv 0 \pmod{60}, \text{ where } 8 \nmid n + 63.  | ||
| + | \end{align*}</cmath>  | ||
| + | So, we conclude that <math>n \equiv 6 \pmod{21}</math> and <math>n \equiv 57 \pmod{60}</math>, respectively.  | ||
| + | |||
| + | Because the <math>2</math> moduli <math>21</math> and <math>60</math> are not relatively prime, namely <math>\gcd{(21, 60)} = 3</math>, <math>21 = 3 \cdot 7</math>, and <math>60 = 3 \cdot 20</math>, we convert the system of <math>2</math> linear congruences with non-coprime moduli into a system of <math>3</math> linear congruences with coprime moduli:  | ||
| + | <cmath>\begin{align*}  | ||
| + | n &\equiv 0 \pmod{3}, \\  | ||
| + | n &\equiv 6 \pmod{7}, \\  | ||
| + | n &\equiv 17 \pmod{20}.  | ||
| + | \end{align*}</cmath>  | ||
| + | By [https://artofproblemsolving.com/wiki/index.php/Chinese_Remainder_Theorem Chinese Remainder Theorem], the general solution of system of <math>3</math> linear congruences is <cmath>n = 420k + 1077.</cmath>  | ||
| + | We construct the following table:  | ||
| + | <cmath>\begin{array}{c|c|c|c}  | ||
| + | n & 1077 & 1497 & 1917\\  | ||
| + | \hline  | ||
| + | n + 120 & 1197 & 1617 & 2037\\  | ||
| + | \hline  | ||
| + | n + 63 & 1140 & 1560 & 1980\\  | ||
| + | \end{array}</cmath>  | ||
| + | Only <math>n = 1917</math> satisfies <math>9 \nmid n + 120</math> and <math>8 \nmid n + 63</math>. Therefore, the answer is <math>1+9+1+7=\boxed{\textbf{(C) } 18}</math>.  | ||
| + | |||
| + | ~[https://artofproblemsolving.com/wiki/index.php/User:Isabelchen isabelchen]  | ||
| + | |||
| + | == Solution 12 (Logically Bashing) ==  | ||
| + | We know that <math>n</math> ends with the number <math>7</math>, since <math>n+63</math> is divisible by <math>60</math>, and any number divisible by <math>10</math> (a factor of <math>60</math>) must end with a <math>0</math>. As a result, <math>n+120</math> must also end in <math>7</math>. Because <math>n+63</math> must be divisible by <math>20</math>, as well (using the same gcd), the tens value of <math>n</math> must be odd. Also, <math>n+120</math> cannot be divisible by <math>9</math>, otherwise, its gcd with <math>63</math> will be <math>63</math>, instead of <math>21</math>.  | ||
| + | |||
| + | Now, we can start bashing, using the <math>\gcd(63, n+120) =21</math>. We are given that <math>n</math> must be greater than <math>1000</math>, so we can try <math>n+120</math> that is greater than <math>1120</math>.  | ||
| + | |||
| + | We try <math>21 \cdot 67</math>, but it has an even tens digit. We then can try the next highest, using <math>77</math>, but the <math>\gcd(n+63, 120) =120</math>, instead of <math>60</math>.  | ||
| + | |||
| + | Since <math>87</math> is divisible by <math>3</math>, so when multiplied by <math>21</math>, it will be divisible by <math>9</math>, we do not have to test it.  | ||
| + | |||
| + | The next biggest is <math>97</math>, which works and gives us <math>n=1917</math>, which, when the digits are added up, equals <math>\boxed{\textbf{(C) } 18}</math>.  | ||
| + | |||
| + | ~parmani  | ||
| + | |||
| + | ==Solution 13 (Guess and Check)==  | ||
| + | By the Euclidean Algorithm, we have <math>\gcd(63, n - 6) = 21</math> and <math>\gcd(120, n - 57) = 60</math>. We know that <math>63 = 21 \cdot 3</math>, meaning <math>n - 6 = 21x</math> where <math>x</math> is not divisible by <math>3</math>. Similarly, <math>120 = 60 \cdot 2</math>, meaning <math>n - 57 = 60y</math> where <math>y</math> is odd.  | ||
| + | |||
| + | Setting the two expressions for <math>n</math> equal:  | ||
| + | <cmath>21x + 6 = 60y + 57,</cmath>  | ||
| + | so  | ||
| + | <cmath>21x = 60y + 51.</cmath>  | ||
| + | We can see that <math>x</math> must have a units digit of <math>1</math>, since <math>21x - 51</math> must be divisible by <math>10</math> in order to be divisible by <math>60</math>.  | ||
| − | + | Because <math>n > 1000</math>, we try <math>x = 61</math>, <math>x = 71</math>, and finally <math>x = 91</math>, which works. Thus <math>21 \cdot 91 = n - 6</math>, so <math>n = 1917</math>. The sum of the digits of <math>n</math> is <math>1 + 9 + 1 + 7 = \boxed{18}</math>.  | |
| − | + | ~Voidling  | |
| − | https://  | + | ==Video Solutions==  | 
| + | ===Video Solution 1 (Richard Rusczyk)===  | ||
| + | https://www.youtube.com/watch?v=tk3yOGG2K-s&  | ||
| − | + | ===Video Solution 2===  | |
| + | https://youtu.be/8mNMKH0T9W0 - Happytwin  | ||
| + | ===Video Solution 3 (Incredibly Long & Complicated)===  | ||
https://youtu.be/e5BJKMEIPEM  | https://youtu.be/e5BJKMEIPEM  | ||
| − | == Video Solution ==  | + | Education The Study of Everything  | 
| + | |||
| + | ===Video Solution 4===  | ||
https://www.youtube.com/watch?v=gdGmSyzR908&list=PLLCzevlMcsWNcTZEaxHe8VaccrhubDOlQ&index=5 ~ MathEx  | https://www.youtube.com/watch?v=gdGmSyzR908&list=PLLCzevlMcsWNcTZEaxHe8VaccrhubDOlQ&index=5 ~ MathEx  | ||
| + | |||
| + | ===Video Solution 5===  | ||
| + | https://youtu.be/R220vbM_my8?t=899 ~ amritvignesh0719062.0  | ||
==See Also==  | ==See Also==  | ||
Latest revision as of 14:53, 6 September 2025
Contents
- 1 Problem
 - 2 Solution 1
 - 3 Supplement
 - 4 Solution 2
 - 5 Solution 3
 - 6 Solution 4
 - 7 Solution 5
 - 8 Solution 6
 - 9 Solution 7
 - 10 Solution 8
 - 11 Solution 9 (Euclidean Algorithm)
 - 12 Solution 10 (Euclidean Algorithm)
 - 13 Solution 11 (Chinese Remainder Theorem)
 - 14 Solution 12 (Logically Bashing)
 - 15 Solution 13 (Guess and Check)
 - 16 Video Solutions
 - 17 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
Supplement
When looking at 
,  instead of attempting to take 
 modulo 
, it may be more intuitively obvious to take 
 modulo 
:
As 
 and 
 are coprime, 
 has an inverse modulo 
. Recall that 
, so 
. Thus, 
. Furthermore, consider that 
, so 
. 
 fails, as 
 from 
. 
 fails as well; this causes 
 to be even from 
. 
 is the first number not violating any restrictions, leaving 
, which has digital sum 
, so we choose 
. 
In the end, though, it is just the same steps in a different order. ~LeonQS
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
After applying the Euclidean Algorithm we get 
 and 
 So we have 
 and 
, where 
 is not a multiple of 
 and 
 is not a multiple of 
 Setting these equations equal to each other, we get 
 We note that 
 must be 
 (since 
 has to be greater than 
) and the last digit of 
 must be 
 so that 
 is a multiple of 
 and has a possibility of also being a multiple of 20.
| a values | b values | 
|---|---|
| 51 (can't be a multiple of 3) | 17 | 
| 61 | 41/2 (not an integer) | 
| 71 | 24 (can't be even) | 
| 81 (can't be a multiple of 3) | 55/2 (not an integer) | 
| 91 this works! | 31 this works! | 
Since 
, 
 (or since 
 
 The answer is 
Solution 5
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 6
 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 7
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 8
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 9 (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 10 (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 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 (Logically Bashing)
We know that 
 ends with the number 
, since 
 is divisible by 
, and any number divisible by 
 (a factor of 
) must end with a 
. As a result, 
 must also end in 
. Because 
 must be divisible by 
, as well (using the same gcd), the tens value of 
 must be odd. Also, 
 cannot be divisible by 
, otherwise, its gcd with 
 will be 
, instead of 
.
Now, we can start bashing, using the 
. We are given that 
 must be greater than 
, so we can try 
 that is greater than 
.
We try 
, but it has an even tens digit. We then can try the next highest, using 
, but the 
, instead of 
.
Since 
 is divisible by 
, so when multiplied by 
, it will be divisible by 
, we do not have to test it.
The next biggest is 
, which works and gives us 
, which, when the digits are added up, equals 
.
~parmani
Solution 13 (Guess and Check)
By the Euclidean Algorithm, we have 
 and 
. We know that 
, meaning 
 where 
 is not divisible by 
. Similarly, 
, meaning 
 where 
 is odd.
Setting the two expressions for 
 equal:
so
We can see that 
 must have a units digit of 
, since 
 must be divisible by 
 in order to be divisible by 
.
Because 
, we try 
, 
, and finally 
, which works. Thus 
, so 
. The sum of the digits of 
 is 
.
~Voidling
Video Solutions
Video Solution 1 (Richard Rusczyk)
https://www.youtube.com/watch?v=tk3yOGG2K-s&
Video Solution 2
https://youtu.be/8mNMKH0T9W0 - Happytwin
Video Solution 3 (Incredibly Long & Complicated)
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
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 | ||
These problems are copyrighted © by the Mathematical Association of America, as part of the American Mathematics Competitions.