Difference between revisions of "2014 AIME I Problems/Problem 8"
(→Solution (not bashing)) |
Pi is 3.14 (talk | contribs) (→Solution 4 (semi-bashing)) |
||
(24 intermediate revisions by 15 users not shown) | |||
Line 1: | Line 1: | ||
== Problem 8 == | == Problem 8 == | ||
− | The positive integers <math>N</math> and <math>N^2</math> both end in the same sequence of four digits <math>abcd</math> when written in base 10, where digit a is not zero. Find the three-digit number <math>abc</math>. | + | The positive integers <math>N</math> and <math>N^2</math> both end in the same sequence of four digits <math>abcd</math> when written in base <math>10</math>, where digit <math>a</math> is not zero. Find the three-digit number <math>abc</math>. |
+ | ==Solution 1 (similar to Solution 3)== | ||
− | + | We have that <math>N^2 - N = N(N - 1)\equiv 0\mod{10000}</math> | |
− | |||
− | |||
− | However we | + | Thus, <math>N(N-1)</math> must be divisible by both <math>5^4</math> and <math>2^4</math>. Note, however, that if either <math>N</math> or <math>N-1</math> has both a <math>5</math> and a <math>2</math> in its factorization, the other must end in either <math>1</math> or <math>9</math>, which is impossible for a number that is divisible by either <math>2</math> or <math>5</math>. Thus, one of them is divisible by <math>2^4 = 16</math>, and the other is divisible by <math>5^4 = 625</math>. Noting that <math>625 \equiv 1\mod{16}</math>, we see that <math>625</math> would work for <math>N</math>, except the thousands digit is <math>0</math>. The other possibility is that <math>N</math> is a multiple of <math>16</math> and <math>N-1</math> is a multiple of <math>625</math>. In order for this to happen, <cmath>N-1 \equiv -1 \pmod {16}.</cmath> Since <math>625 \equiv 1 \pmod{16}</math>, we know that <math>15 \cdot 625 = 9375 \equiv 15 \equiv -1 \mod{16}</math>. Thus, <math>N-1 = 9375</math>, so <math>N = 9376</math>, and our answer is <math>\boxed{937}</math>. |
− | < | + | |
− | + | == Solution 2 (bashing)== | |
+ | let <math>N= 10000t+1000a+100b+10c+d</math> for positive integer values <math>t,a,b,c,d</math>. | ||
+ | When we square <math>N</math> we get that | ||
+ | <cmath>\begin{align*} | ||
+ | N^2 &=(10000t+1000a+100b+10c+d)^2\\ | ||
+ | &=10^8t^2+10^6a^2+10^4b^2+10^2c^2+d^2+2(10^7ta+10^6tb+10^5tc+10^4td+10^5ab+10^4ac+10^3bc+10^ad+10^2bd+10cd) | ||
+ | \end{align*}</cmath> | ||
+ | |||
+ | However, we don't have to deal with this whole expression but only with its last 4 digits so it is suffices to consider only: | ||
+ | <cmath>2000ad+2000bc+100c^2+200bd+20cd+d^2.</cmath> | ||
+ | Now we need to compare each decimal digit with <math>1000a+100b+10c+d</math> and see whether the digits are congruent in base 10. | ||
we first consider the ones digits: | we first consider the ones digits: | ||
− | <math>d^2\equiv | + | <math>d^2\equiv d \pmod{10}.</math> |
− | + | This can happen for only 3 values : 1, 5 and 6. | |
+ | |||
+ | We can try to solve each case: | ||
− | |||
*Case 1 <math>(d=1)</math> | *Case 1 <math>(d=1)</math> | ||
− | + | Considering the tenths place, | |
we have that: | we have that: | ||
− | <math>20cd=20c\equiv 10c | + | <math>20cd=20c\equiv 10c \pmod {100}</math> |
− | so <math>c= 0</math> | + | so <math>c= 0</math>. |
− | + | Considering the hundreds place we have that | |
− | <math>200bd+100c^2= 200b \equiv 100b | + | <math>200bd+100c^2= 200b \equiv 100b \pmod{1000}</math> |
so again <math>b=0</math> | so again <math>b=0</math> | ||
now considering the thousands place we have that | now considering the thousands place we have that | ||
− | <math>2000ad+2000bc = 2000a \equiv 1000a | + | <math>2000ad+2000bc = 2000a \equiv 1000a \pmod {10000}</math> |
− | so we get <math>a=0</math> but <math>a</math> cannot be equal to 0 so we consider <math>d=5</math> | + | so we get <math>a=0</math> but <math>a</math> cannot be equal to <math>0</math> so we consider <math>d=5.</math> |
*Case 2 <math>(d=5)</math> | *Case 2 <math>(d=5)</math> | ||
Line 38: | Line 48: | ||
we have that: | we have that: | ||
− | <math>20cd+20=100c+20\equiv 20 \equiv 10c | + | <math>20cd+20=100c+20\equiv 20 \equiv 10c \mod {100}</math> |
− | ( the extra 20 is carried from <math>d^2</math> which is equal to 25) | + | ( the extra <math>20</math> is carried from <math>d^2</math> which is equal to <math>25</math>) |
so <math>c=2</math> | so <math>c=2</math> | ||
considering the hundreds place we have that | considering the hundreds place we have that | ||
− | <math>200bd+100c^2+100c= 1000b+600 \equiv600\equiv 100b | + | <math>200bd+100c^2+100c= 1000b+600 \equiv600\equiv 100b \pmod{1000}</math> |
− | ( the extra 100c is carried from the tenths place) | + | ( the extra <math>100c</math> is carried from the tenths place) |
− | so<math> b=6</math> | + | so <math>b=6</math> |
now considering the thousands place we have that | now considering the thousands place we have that | ||
− | <math>2000ad+2000bc +1000b= 10000a+24000+ 6000\equiv0\equiv 1000a | + | <math>2000ad+2000bc +1000b= 10000a+24000+ 6000\equiv0\equiv 1000a \pmod {10000}</math> |
− | ( the extra 1000b is carried from the hundreds place) | + | ( the extra <math>1000b</math> is carried from the hundreds place) |
so a is equal 0 again | so a is equal 0 again | ||
Line 58: | Line 68: | ||
we have that: | we have that: | ||
− | <math>20cd+30=120c+30\equiv 30+20c \equiv 10c | + | <math>20cd+30=120c+30\equiv 30+20c \equiv 10c \pmod {100}</math> |
− | ( the extra 20 is carried from <math>d^2</math> which is equal to 25) | + | ( the extra <math>20</math> is carried from <math>d^2</math> which is equal to <math>25</math>) |
if <math>c=7</math> then we have | if <math>c=7</math> then we have | ||
− | <math>30+20 | + | <math>30+20 \cdot 7 \equiv 70\equiv7 \cdot 10 \pmod{100}</math> |
so <math>c=7</math> | so <math>c=7</math> | ||
Line 68: | Line 78: | ||
considering the hundreds place we have that | considering the hundreds place we have that | ||
− | <math>200bd+100c^2+100c+100= 1200b+4900+ | + | <math>200bd+100c^2+100c+100= 1200b+4900+800 \equiv200b+700\equiv 100b \pmod{1000}</math> |
− | ( the extra 100c+100 is carried from the tenths place) | + | ( the extra <math>100c+100</math> is carried from the tenths place) |
if <math>b=3</math> then we have | if <math>b=3</math> then we have | ||
− | <math>700+200 | + | <math>700+200 \cdot 3 \equiv 300\equiv3 \cdot 100 \pmod {1000}</math> |
so <math>b=3</math> | so <math>b=3</math> | ||
Line 79: | Line 89: | ||
now considering the thousands place we have that | now considering the thousands place we have that | ||
− | <math>2000ad+2000bc +1000b+5000+1000= 12000a+42000+ 3000+6000\equiv0\equiv 2000a+1000\equiv 1000a | + | <math>2000ad+2000bc +1000b+5000+1000= 12000a+42000+ 3000+6000\equiv0\equiv 2000a+1000\equiv 1000a \pmod {10000}</math> |
− | ( the extra 1000b+6000 is carried from the hundreds place) | + | ( the extra <math>1000b+6000</math> is carried from the hundreds place) |
if <math>a=9</math> then we have | if <math>a=9</math> then we have | ||
− | <math>2000 | + | <math>2000 \cdot 9+1000 \equiv 9000\equiv9 \cdot 1000 \pmod {1000}</math> |
so <math>a=9</math> | so <math>a=9</math> | ||
− | so we have that the last 4 digits of N are <math>9376</math> | + | so we have that the last 4 digits of <math>N</math> are <math>9376</math> |
− | and <math>abc</math> is equal to <math>937</math> | + | and <math>abc</math> is equal to <math>\boxed{937}</math> |
− | == Solution ( | + | == Solution 3 (general) == |
By the Chinese Remainder Theorem, the equation <math>N(N-1)\equiv 0\pmod{10000}</math> is equivalent to the two equations: | By the Chinese Remainder Theorem, the equation <math>N(N-1)\equiv 0\pmod{10000}</math> is equivalent to the two equations: | ||
<cmath>\begin{align*} | <cmath>\begin{align*} | ||
Line 99: | Line 109: | ||
Since <math>N</math> and <math>N-1</math> are coprime, the only solutions are when <math>(N\mod{16},N\mod{625})\in\{(0,0),(0,1),(1,0),(1,1)\}</math>. | Since <math>N</math> and <math>N-1</math> are coprime, the only solutions are when <math>(N\mod{16},N\mod{625})\in\{(0,0),(0,1),(1,0),(1,1)\}</math>. | ||
− | Let < | + | Let <cmath>\varphi:\mathbb Z/10000\mathbb Z\to\mathbb Z/16\mathbb Z\times\mathbb Z/625\mathbb Z,</cmath> <cmath>x\mapsto (x\mod{16},x\mod{625}).</cmath> The statement of the Chinese Remainder theorem is that <math>\varphi</math> is an isomorphism between the two rings. In this language, the solutions are <math>\varphi^{-1}(0,0)</math>, <math>\varphi^{-1}(0,1)</math>, <math>\varphi^{-1}(1,0)</math>, and <math>\varphi^{-1}(1,1)</math>. Now we easily see that <cmath>\varphi^{-1}(0,0)=0</cmath> and <cmath>\varphi^{-1}(1,1)=1.</cmath> Noting that <math>625\equiv 1\pmod{16}</math>, it follows that <cmath>\varphi^{-1}(1,0)=625.</cmath> To compute <math>\varphi^{-1}(0,1)</math>, note that <cmath>(0,1)=15(1,0)+(1,1)</cmath> in <cmath>\mathbb Z/16\mathbb Z\times\mathbb Z/625\mathbb Z,</cmath> so since <math>\varphi^{-1}</math> is linear in its arguments (by virtue of being an isomorphism), <cmath>\varphi^{-1}(0,1)=15\varphi^{-1}(1,0)+\varphi^{-1}(1,1)=15\times 625+1=9376.</cmath> |
The four candidate digit strings <math>abcd</math> are then <math>0000,0001,0625,9376</math>. Of those, only <math>9376</math> has nonzero first digit, and therefore the answer is <math>\boxed{937}</math>. | The four candidate digit strings <math>abcd</math> are then <math>0000,0001,0625,9376</math>. Of those, only <math>9376</math> has nonzero first digit, and therefore the answer is <math>\boxed{937}</math>. | ||
+ | |||
+ | == Solution 4 (semi-bashing) == | ||
+ | |||
+ | *Note - <math>\overline{abcd}</math> means the number formed when the digits represented by <math>a</math>, <math>b</math>, <math>c</math>, and <math>d</math> are substituted in. <math>\overline{abcd}\ne a\times b\times c\times d</math>. | ||
+ | |||
+ | WLOG, we can assume that <math>N</math> is a 4-digit integer <math>\overline{abcd}</math>. Note that the only <math>d</math> that will satisfy <math>N</math> will also satisfy <math>d^2\equiv d\pmod{10}</math>, as the units digit of <math>\overline{abcd}^2</math> is affected only by <math>d</math>, regardless of <math>a</math>, <math>b</math>, or <math>c</math>. | ||
+ | |||
+ | By checking the numbers 0-9, we see that the only possible values of <math>d</math> are <math>d=0, 1, 5, 6</math>. | ||
+ | |||
+ | Now, we seek to find <math>c</math>. Note that the only <math>\overline{cd}</math> that will satisfy <math>N</math> will also satisfy <math>\overline{cd}^2 \equiv \overline{cd}\pmod{100}</math>, by the same reasoning as above - the last two digits of <math>\overline{abcd}^2</math> are only affected by <math>c</math> and <math>d</math>. As we already have narrowed choices for <math>d</math>, we start reasoning out. | ||
+ | |||
+ | First, we note that if <math>d=0</math>, then <math>c=0</math>, as a number ending in 0, and therefore divisible by 10, is squared, the result is divisible by 100, meaning it ends in two 0's. However, if <math>N</math> ends in <math>00</math>, then recursively, <math>a</math> and <math>b</math> must be <math>0</math>, as a number divisible by 100 squared ends in four zeros. As <math>a</math> cannot be 0, we throw out this possibility, as the only solution in this case is <math>0</math>. | ||
+ | |||
+ | Now, let's assume that <math>d=1</math>. <math>\overline{cd}</math> is equal to <math>10c + d = 10c + 1</math>. Squaring this gives <math>100c^2 + 20c + 1</math>, and when modulo 100 is taken, it must equal <math>10c + 1</math>. As <math>c</math> is an integer, <math>100c^2</math> must be divisible by 100, so <math>100c^2+20c+1 \equiv 20c + 1\pmod{100}</math>, which must be equivalent to <math>10c + 1</math>. Note that this is really <math>\overline{(2c)1}</math> and <math>\overline{c1}</math>, and comparing the 10's digits. So really, we're just looking for when the units digit of <math>2c</math> and <math>c</math> are equal, and a quick check reveals that this is only true when <math>c=0</math>.However, if we extend this process to find <math>b</math> and <math>a</math>, we'd find that they are also 0. The only solution in this case is <math>1</math>, and since <math>a=0</math> here, this is not our solution. Therefore, there are no valid solutions in this case. | ||
+ | |||
+ | Let's assume that <math>d=5</math>. Note that <math>(10c + 5)^2 = 100c^2 + 100c + 25</math>, and when modulo <math>100</math> is taken, <math>25</math> is the remainder. So all cases here have squares that end in 25, so <math>\overline{cd}=25</math> is our only case here. A quick check reveals that <math>25^2=625</math>, which works for now. | ||
+ | |||
+ | Now, let <math>d=6</math>. Note that <math>(10c + 6)^2 = 100c^2 + 120c + 36</math>. Taking modulo 100, this reduces to <math>20c+36</math>, which must be equivalent to <math>10c+6</math>. Again, this is similar to <math>\overline{(2c+3)6}</math> and <math>\overline{c6}</math>, so we see when the units digits of <math>2c+3</math> and <math>c</math> are equal. To make checking faster, note that <math>2c</math> is necessarily even, so <math>2c+3</math> is necessarily odd, so <math>c</math> must be odd. Checking all the odds reveals that only <math>c=3</math> works, so this case gives <math>76</math>. Checking quickly <math>76^2 = 5776</math>, which works for now. | ||
+ | |||
+ | Now, we find <math>b</math>, given two possibilities for <math>\overline{cd}</math>. | ||
+ | |||
+ | Start with <math>\overline{cd} = 25</math>. <math>\overline{bcd} = 100b + \overline{cd} = 100b + 25.</math> Note that if we square this, we get <math>10000b^2 + 5000b + 625</math>, which should be equivalent to <math>100b + 25</math> modulo 1000. Note that, since <math>b</math> is an integer, <math>10000b^2 + 5000 + 625</math> simplifies modulo 1000 to <math>625</math>. Therefore, the only <math>\overline{bcd}</math> that works here is <math>625</math>. <math>625^2 = 390625</math>. | ||
+ | |||
+ | Now, assume that <math>\overline{cd}=76</math>. We have <math>100b + 76</math>, and when squared, becomes <math>10000b^2 + 15200b + 5776</math>, which, modulo 1000, should be equivalent to <math>100b+76</math>. Reducing <math>10000b^2 + 15200b + 5776</math> modulo <math>1000</math> gives <math>200b + 776</math>. Using the same technique as before, we must equate the hundreds digit of <math>\overline{(2b+7)76}</math> to <math>\overline{b76}</math>, or equate the units digit of <math>2b+7</math> and <math>b</math>. Since <math>2b+7</math> is necessarily odd, any possible <math>b</math>'s must be odd. A quick check reveals that <math>b=3</math> is the only solution, so we get a solution of <math>376</math>. <math>376^2 = 141376</math>. | ||
+ | |||
+ | Finally, we solve for <math>a</math>. Start with <math>\overline{bcd}=625</math>. We have <math>1000a + 625</math>, which, squared, gives <cmath>1000000a^2 + 1250000a + 390625,</cmath> and reducing modulo 10000 gives simply 625. So <math>\overline{abcd}=625</math>. However, that makes <math>a=0</math>. Therefore, no solutions exist in this case. | ||
+ | |||
+ | We turn to our last case, <math>\overline{bcd}=376</math>. We have <cmath>1000a + 376^2 = 1000000a^2 + 752000a + 141376,</cmath> and reducing modulo <math>10000</math> gives <math>2000a + 1376</math>, which must be equivalent to <math>1000a + 376</math>. So we must have <math>\overline{(2a+1)376}</math> being equivalent to <math>\overline{a376}</math> modulo 1000. So, the units digit of <math>2a+1</math> must be equal to <math>a</math>. Since <math>2a+1</math> is odd, <math>a</math> must be odd. Lo and behold, the only possibility for <math>a</math> is <math>a=3</math>. Therefore, <math>\overline{abcd}=9376</math>, so our answer is <math>\boxed{937}</math>. | ||
+ | |||
+ | == Video Solution by OmegaLearn == | ||
+ | https://youtu.be/gP5pejfcUl8?t=483 | ||
+ | |||
+ | ~ pi_is_3.14 | ||
+ | |||
+ | == See also == | ||
+ | {{AIME box|year=2014|n=I|num-b=7|num-a=9}} | ||
+ | |||
+ | [[Category:Intermediate Number Theory Problems]] | ||
+ | {{MAA Notice}} |
Revision as of 07:40, 4 November 2022
Contents
Problem 8
The positive integers and both end in the same sequence of four digits when written in base , where digit is not zero. Find the three-digit number .
Solution 1 (similar to Solution 3)
We have that
Thus, must be divisible by both and . Note, however, that if either or has both a and a in its factorization, the other must end in either or , which is impossible for a number that is divisible by either or . Thus, one of them is divisible by , and the other is divisible by . Noting that , we see that would work for , except the thousands digit is . The other possibility is that is a multiple of and is a multiple of . In order for this to happen, Since , we know that . Thus, , so , and our answer is .
Solution 2 (bashing)
let for positive integer values . When we square we get that
However, we don't have to deal with this whole expression but only with its last 4 digits so it is suffices to consider only: Now we need to compare each decimal digit with and see whether the digits are congruent in base 10. we first consider the ones digits:
This can happen for only 3 values : 1, 5 and 6.
We can try to solve each case:
- Case 1
Considering the tenths place, we have that:
so .
Considering the hundreds place we have that
so again
now considering the thousands place we have that
so we get but cannot be equal to so we consider
- Case 2
considering the tenths place we have that:
( the extra is carried from which is equal to ) so
considering the hundreds place we have that
( the extra is carried from the tenths place) so
now considering the thousands place we have that
( the extra is carried from the hundreds place) so a is equal 0 again
- Case 3
considering the tenths place we have that:
( the extra is carried from which is equal to ) if then we have
so
considering the hundreds place we have that
( the extra is carried from the tenths place)
if then we have
so
now considering the thousands place we have that
( the extra is carried from the hundreds place)
if then we have
so
so we have that the last 4 digits of are and is equal to
Solution 3 (general)
By the Chinese Remainder Theorem, the equation is equivalent to the two equations: Since and are coprime, the only solutions are when .
Let The statement of the Chinese Remainder theorem is that is an isomorphism between the two rings. In this language, the solutions are , , , and . Now we easily see that and Noting that , it follows that To compute , note that in so since is linear in its arguments (by virtue of being an isomorphism),
The four candidate digit strings are then . Of those, only has nonzero first digit, and therefore the answer is .
Solution 4 (semi-bashing)
- Note - means the number formed when the digits represented by , , , and are substituted in. .
WLOG, we can assume that is a 4-digit integer . Note that the only that will satisfy will also satisfy , as the units digit of is affected only by , regardless of , , or .
By checking the numbers 0-9, we see that the only possible values of are .
Now, we seek to find . Note that the only that will satisfy will also satisfy , by the same reasoning as above - the last two digits of are only affected by and . As we already have narrowed choices for , we start reasoning out.
First, we note that if , then , as a number ending in 0, and therefore divisible by 10, is squared, the result is divisible by 100, meaning it ends in two 0's. However, if ends in , then recursively, and must be , as a number divisible by 100 squared ends in four zeros. As cannot be 0, we throw out this possibility, as the only solution in this case is .
Now, let's assume that . is equal to . Squaring this gives , and when modulo 100 is taken, it must equal . As is an integer, must be divisible by 100, so , which must be equivalent to . Note that this is really and , and comparing the 10's digits. So really, we're just looking for when the units digit of and are equal, and a quick check reveals that this is only true when .However, if we extend this process to find and , we'd find that they are also 0. The only solution in this case is , and since here, this is not our solution. Therefore, there are no valid solutions in this case.
Let's assume that . Note that , and when modulo is taken, is the remainder. So all cases here have squares that end in 25, so is our only case here. A quick check reveals that , which works for now.
Now, let . Note that . Taking modulo 100, this reduces to , which must be equivalent to . Again, this is similar to and , so we see when the units digits of and are equal. To make checking faster, note that is necessarily even, so is necessarily odd, so must be odd. Checking all the odds reveals that only works, so this case gives . Checking quickly , which works for now.
Now, we find , given two possibilities for .
Start with . Note that if we square this, we get , which should be equivalent to modulo 1000. Note that, since is an integer, simplifies modulo 1000 to . Therefore, the only that works here is . .
Now, assume that . We have , and when squared, becomes , which, modulo 1000, should be equivalent to . Reducing modulo gives . Using the same technique as before, we must equate the hundreds digit of to , or equate the units digit of and . Since is necessarily odd, any possible 's must be odd. A quick check reveals that is the only solution, so we get a solution of . .
Finally, we solve for . Start with . We have , which, squared, gives and reducing modulo 10000 gives simply 625. So . However, that makes . Therefore, no solutions exist in this case.
We turn to our last case, . We have and reducing modulo gives , which must be equivalent to . So we must have being equivalent to modulo 1000. So, the units digit of must be equal to . Since is odd, must be odd. Lo and behold, the only possibility for is . Therefore, , so our answer is .
Video Solution by OmegaLearn
https://youtu.be/gP5pejfcUl8?t=483
~ pi_is_3.14
See also
2014 AIME I (Problems • Answer Key • Resources) | ||
Preceded by Problem 7 |
Followed by Problem 9 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.