返回题库

AIME 2017 I · 第 9 题

AIME 2017 I — Problem 9

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem 9

Let a10=10a_{10} = 10, and for each positive integer n>10n >10 let an=100an1+na_n = 100a_{n - 1} + n. Find the least positive n>10n > 10 such that ana_n is a multiple of 9999.

解析

Solution 1

Writing out the recursive statement for an,an1,,a10a_n, a_{n-1}, \dots, a_{10} and summing them gives

an++a10=(an++a11)+a10=100(an1++a10)+n++10a_n+\dots+a_{10}=(a_n+\cdots+a_{11})+a_{10}=100(a_{n-1}+\dots+a_{10})+n+\dots+10 Which simplifies to

an=99(an1++a10)+12(n+10)(n9)a_n=99(a_{n-1}+\dots+a_{10})+\frac{1}{2}(n+10)(n-9) Therefore, ana_n is divisible by 99 if and only if 12(n+10)(n9)\frac{1}{2}(n+10)(n-9) is divisible by 99, so (n+10)(n9)(n+10)(n-9) needs to be divisible by 9 and 11. Since our goal is just finding the minimum nn, we can do casework on whether the n+10n+10 or n9n-9 is a multiple of 11 (We choose 11 because it is prime). Assume that n+10n+10 is a multiple of 11. Writing out a few terms, n=12,23,34,45n=12, 23, 34, 45, we see that n=45n=45 is the smallest nn that works in this case. Next, assume that n9n-9 is a multiple of 11. Writing out a few terms, n=20,31,42,53n=20, 31, 42, 53, we see that n=53n=53 is the smallest nn that works in this case. The smallest nn is 045\boxed{045}.

Note that we can also construct the solution using CRT by assuming either 1111 divides n+10n+10 and 99 divides n9n-9, or 99 divides n+10n+10 and 1111 divides n9n-9, and taking the smaller solution. (We know this because it's impossible for both n+10n+10 and n9n-9 to be divisible by 3).

Another way to get the quadratic

Writing out the first couple of terms modulo 9999, we find an=an1+na_n = a_{n-1}+n so we have a10=10,a11=21,a12=33,...a_{10}=10,a_{11}=21,a_{12}=33,... We can compute their finite differences,

10,21,33,46,...10,21,33,46,... 11,12,13,...11,12,13,... 1,1,...1,1,... Since there are 3 rows we know it is a quadratic and we can continue, by finding the quadratic passing through (10,10),(11,21),(12,33)(10,10),(11,21),(12,33) to get (n2+n90)2.\frac{(n^2+n-90)}{2}. -mathkiddus

Solution 2 (Modular Systems and all solutions)

Hmmm... let's write our some of the terms, and convert into terms with a10a_{10}, as it is the only value we know.

a11=100a10+11a_{11} = 100a_{10} + 11 a12=100a11+12a_{12} = 100a_{11} + 12 100(100a10+11)+12\Rightarrow 100(100a_{10}+11)+12 a13=100a12+13a_{13} = 100a_{12} + 13 100(100a11+12)+13\Rightarrow 100(100a_{11}+12)+13 100(100(100a10+11)+12)+13\Rightarrow 100(100(100a_{10}+11)+12)+13 Aha! We see it now! Notice that,

an=100n10a10+(n(n+1)210(11)2)a_n = 100^{n-10}a_{10} + \left( \frac{n(n+1)}{2} - \frac{10(11)}{2} \right) an=100n10a10+(n(n+1)255)\Rightarrow a_n=100^{n-10}a_{10} + \left( \frac{n(n+1)}{2} -55 \right) an=102(n10)a10+(n(n+1)255)\Rightarrow a_n = 10^{2(n-10)}a_{10}+\left(\frac{n(n+1)}{2}-55\right) an=(102(n10))a10+(n(n+1)255)\Rightarrow a_n=(10^{2(n-10)})a_{10}+\left(\frac{n(n+1)}{2}-55\right) an=(102n19)+(n(n+1)255)\Rightarrow a_n=(10^{2n-19})+\left(\frac{n(n+1)}{2}-55\right) Yay! We need anmod990mod99=0a_n \mod 99 \equiv 0 \mod 99 = 0. Recall n>10n>10, so,

(102n19a10+(n(n+1)255))mod99=0\left(10^{2n-19}a_{10}+\left(\frac{n(n+1)}{2}-55\right)\right) \mod 99 = 0 Ugh, more work :-(. Well, it suffices to check mod 9 and mod 11. Thus, we have two cases:

Case 1: mod 9

(102n19+(n(n+1)255))mod9\left(10^{2n-19}+\left(\frac{n(n+1)}{2}-55\right)\right) \mod 9 102n19mod9+(n(n+1)255)mod910^{2n-19} \mod 9 + \left(\frac{n(n+1)}{2} -55\right) \mod 9 in which we have an odd 10 power, so an odd 10 power results in

102n19mod91mod9=1.10^{2n-19} \mod 9 \equiv 1 \mod 9 = 1. Now,

n(n+1)255mod9\frac{n(n+1)}{2} - 55 \mod 9 n(n+1)2mod955mod9\frac{n(n+1)}{2} \mod 9 - 55 \mod 9 n(n+1)2mod91\frac{n(n+1)}{2} \mod 9 - 1 So we have 11+n(n+1)2mod9=01-1 + \frac{n(n+1)}{2} \mod 9 = 0, in which n(n+1)2mod9=0mod9\frac{n(n+1)}{2} \mod 9 =0 \mod 9, so n(n+1)mod9=0n(n+1) \mod 9 = 0.

Checking residues 0 - 8 class mod 9, we have either n0mod9n \equiv 0 \mod 9 or n8mod9n \equiv 8 \mod 9.

Case 2: mod 11

102n19mod11 is apparent when 102n+1mod11 so we have 10mod11=10.10^{2n-19} \mod 11 \text{ is apparent when } 10^{2n+1} \mod 11 \text{ so we have } \equiv 10 \mod 11 = 10. Then, n(n+1)255mod11\frac{n(n+1)}{2} -55 \mod 11, in which n(n+1)2mod1155mod11\frac{n(n+1)}{2} \mod 11 - 55 \mod 11, in which n(n+1)2mod11\frac{n(n+1)}{2} \mod 11.

We have 10+n(n+1)2mod110mod1110+\frac{n(n+1)}{2} \mod 11 \equiv 0 \mod 11, so n(n+1)2mod1110mod111mod11\frac{n(n+1)}{2} \mod 11 \equiv -10 \mod 11 \equiv 1 \mod 11

So, n(n+1)2mod111mod11\frac{n(n+1)}{2} \mod 11 \equiv 1 \mod 11, in which n(n+1)mod112mod11n(n+1) \mod 11 \equiv 2 \mod 11. So, checking class residuals 0-10, we see that either n1mod11n \equiv 1 \mod 11 or n9mod11n \equiv 9 \mod 11.

Nice! We found our solution sets! Now, using Chinese Remainder Theorem, our solutions are

AA: n{0mod9,1mod11}n \equiv \{0 \mod 9, 1 \mod 11\}

BB: n{0mod9,9mod11}n \equiv \{0 \mod 9, 9 \mod 11\}

CC: n{8mod9,1mod11}n \equiv \{8 \mod 9, 1 \mod 11\}

DD: n{8mod9,9mod11}n \equiv \{8 \mod 9, 9 \mod 11\}

In which our respective values n{A,B,C,D}n\in\{A,B,C,D\} are {45,9,89,53}\{45, 9, 89, 53\}. Because n>10n > 10, ¬9\neg 9, and the smallest nn is 045\boxed{045} :-).

~Pinotation

Solution 3

anan1+n(mod99)a_n \equiv a_{n-1} + n \pmod {99} By looking at the first few terms, we can see that

an10+11+12++n(mod99)a_n \equiv 10+11+12+ \dots + n \pmod {99} This implies

ann(n+1)21092(mod99)a_n \equiv \frac{n(n+1)}{2} - \frac{10*9}{2} \pmod {99} Since an0(mod99)a_n \equiv 0 \pmod {99}, we can rewrite the equivalence, and simplify

0n(n+1)21092(mod99)0 \equiv \frac{n(n+1)}{2} - \frac{10*9}{2} \pmod {99} 0n(n+1)90(mod99)0 \equiv n(n+1) - 90 \pmod {99} 04n2+4n+36(mod99)0 \equiv 4n^2+4n+36 \pmod {99} 0(2n+1)2+35(mod99)0 \equiv (2n+1)^2+35 \pmod {99} 64(2n+1)2(mod99)64 \equiv (2n+1)^2 \pmod {99} The only squares that are congruent to 64(mod99)64 \pmod {99} are (±8)2(\pm 8)^2 and (±19)2(\pm 19)^2, so

2n+18,8,19,or 19(mod99)2n+1 \equiv -8, 8, 19, \text{or } {-19} \pmod {99} 2n+18(mod99)2n+1 \equiv -8 \pmod {99} yields n=45n=45 as the smallest integer solution.

2n+18(mod99)2n+1 \equiv 8 \pmod {99} yields n=53n=53 as the smallest integer solution.

2n+119(mod99)2n+1 \equiv -19 \pmod {99} yields n=89n=89 as the smallest integer solution.

2n+119(mod99)2n+1 \equiv 19 \pmod {99} yields n=9n=9 as the smallest integer solution. However, nn must be greater than 1010.

The smallest positive integer solution greater than 1010 is n=045n=\boxed{045}.

Solution 4 (quadratic)

Take the mods of the first few terms: a1010(mod99)a_{10} \equiv 10 \pmod{99}, a1121(mod99)a_{11} \equiv 21 \pmod{99}, a1233(mod99)a_{12} \equiv 33 \pmod{99}, a1346(mod99)a_{13} \equiv 46 \pmod{99}, etc.

Notice the pattern: We're adding 1010 to the mods, then 1111, then 1212, and so on. So we have ann+an1(mod99).a_{n} \equiv n + a_{n - 1} \pmod{99}. Using the sum of integers formula, we can create an equation for any general ana_n and its mod 99:

10+11++n=n(n+1)245    ann(n+1)245(mod99).10 + 11 + \dots + n = \frac{n \cdot (n + 1)}{2} - 45 \implies a_n \equiv \frac{n \cdot (n + 1)}{2} - 45 \pmod{99}. Let n(n+1)245\frac{n \cdot (n + 1)}{2} - 45 equal some multiple of 99 (we'll call this number 99x99x). We get the quadratic n2+n(90+198x)=0.n^2 + n - (90 + 198x) = 0. Using the quadratic formula we solve for nn:

n=1±124(1)((90+198x))2=1±1+360+792x2=1±361+792x2.n = \frac{-1 \pm \sqrt{1^2 - 4(1)(-(90+198x))}}{2} = \frac{-1 \pm \sqrt{1 + 360 + 792x}}{2} = \frac{-1 \pm \sqrt{361 + 792x}}{2}. So now the problem becomes finding the least xx such that 361+792x361 + 792x is a perfect square, say p2.p^2. Rearranging gives (p19)(p+19)=792x.(p - 19)(p + 19) = 792x. We can prime factorize 792792 to get 233211.2^3 \cdot 3^2 \cdot 11. So we need to multiply this with some number xx so that two factors multiplying to 792x792x differ by 38.38. We find that the least xx that works is x=10x = 10 (we can have 11072=7920110 \cdot 72 = 7920). Then n=1±912=46,45.n = \frac{-1 \pm 91}{2} = \xcancel{-46}, \boxed{45}.

~grogg007

Solution 5

an=an1+n(mod99)a_n=a_{n-1} + n \pmod{99}. Using the steps of the previous solution we get up to n2+n90(mod99)n^2+n \equiv 90 \pmod{99}. This gives away the fact that (n)(n+1)0(mod9)    n{0,8}(mod9)(n)(n+1) \equiv 0 \pmod{9} \implies n \equiv \{0, 8\} \pmod{9} so either nn or n+1n+1 must be a multiple of 9.

Case 1 (9n9 \mid n): Say n=9xn=9x and after simplification x(9x+1)=10(mod90)xZx(9x+1) = 10 \pmod{90} \forall x \in \mathbb{Z}.

Case 2: (9n+19 \mid n+1): Say n=9a1n=9a-1 and after simplification (9a1)(a)=10(mod90)aZ(9a-1)(a) = 10 \pmod{90} \forall a \in \mathbb{Z}.

As a result aa must be a divisor of 1010 and after doing some testing in both cases the smallest value that works is x=5    045x=5 \implies \boxed{045}.

~First

Solution 5.5 (not good, risky)

We just notice that 1001(mod99)100 \equiv 1 \pmod{99}, so we are just trying to find 10+11+12++n10 + 11 + 12 + \cdots + n modulo 9999, or n(n+1)245\dfrac{n(n+1)}{2} - 45 modulo 9999. Also, the sum to 4444 is divisible by 9999, and is the first one that is. Thus, if we sum to 4545 the 4545 is cut off and thus is just a sum to 4444.

Without checking whether there are other sums congruent to 45(mod99)45 \pmod{99}, we can just write the answer to be 045\boxed{045}.

Solution 6

Let bn=2an+10b_n = 2a_{n+10}. We can find a formula for bnb_n:

bn=(20+n)(n+1)b_n = (20+n)(n+1).

Notice that both can't have a factor of 3. Thus we can limit our search range of n to n7,8(mod9)n \equiv 7,8 \pmod{9}. Testing values for n in our search range (like 7,8,16,17,25,26...), we get that 35 is the least n. But, don't write that down! Remember, bn=2an+10b_n = 2a_{n+10}, so, the 35th term in b corresponds to the 45th term in a. Thus our answer is 045\boxed{045}.

-AlexLikeMath

Solution 7 (slower and safer bash)

The first thing you should realize is that each term after the tenth is another two-digit number chained to the last number. 10,1011,101112,10, 1011, 101112, \dots. Now the fact that the sequence starts at 1010 can be completely discarded for this solution. Just consider a(10)a(10) then same as a(1)a(1), and we can add nine to the answer at the end.

The second step is to split 9999 as 99 and 1111 and solve for divisibility rules individually. Let's start with 1111 because it gives us the most information to continue.

In any number generated, if the numbers don't go beyond 2020, then the highest number we can get is 1011121314151617181910111213141516171819, with every odd digit being 11. This is a little risky because we are assuming that it doesn't exceed 2020. If someone wanted to be absolutely sure they could continue, but this is unnecessary later and a big hassle. Anyways, now we write an equation to check for divisibility by 1111. The expression being ((n1)+0)n)2n\frac{((n-1) + 0)\cdot n)}{2}-n.

The concept here is to add 00 to the n1thn-1^{th} term altogether, then subtract the number of ones in it, which is nn. Simplify to n(n3)2\frac{n(n-3)}{2} congruent to 0(mod11)0 \pmod{11}. Now notice the divide by two can be discarded because one of nn or (n3)(n-3) will be even. So if nn or n3n-3 is to be divisible by 1111, we can make a simple list.

n=0,3,11,14,22,25,33,36,44,47,n = 0, 3, 11, 14, 22, 25, 33, 36, 44, 47, \dots Now we test each nn for divisibility by 99. This is done by making a list that ultimately calculates the sum of every digit in the large number. n(1)n(1) to n(10)n(10) has the first digit 11. n(11)n(11) to n(20)n(20) has the first digit 22, and so on. The necessary thing to realize is that the sum of all digits 090-9 is divisible by 99, so we only have to solve for the sum of the first digits, and then the short list of second digits.

For example, let's test n=25n=25.

So we know that 2525 include both 1101-10 and 112011-20, so that's 10+2010 + 20 right away. 212521-25 contains 55 numbers that have the first digit 33, so +15+15. Then we add 040-4 together, which is 1010. 10+20+15+10=5510+20+15+10=55, which is not divisible by 99, so it is not the answer.

Do this for just a minute you get that 3636 sums to 9999, a multiple of nine! So n(36)n(36) is the answer, right? Don't forget we have to add 99 because we translated n(10)n(10) to n(1)n(1) at the very beginning! Finally, after a short bash, we get 045\boxed{045}.

-jackshi2006 (LaTeXLaTeX by PureSwag)

Solution 8 (Timekilling plain Bash!!!!!!!!!!!!!!!!!)

We will workmod99\mod 99. The recursive formula now becomes an=an1+na_n=a_{n-1}+n. Now, we will bash. For convenience, everything is taken mod99\mod 99. The sequence is

a10=10a11=10+11=21a12=12+21=33a13=13+33=46a14=46+14=60a15=60+15=75a16=75+16=91a17=91+17=9a18=9+18=27a19=27+19=46a20=46+20=66a21=66+21=87a22=87+22=10a23=10+23=33a24=33+24=57a25=57+25=82a26=82+26=9a27=9+27=36a28=36+28=64a29=64+29=93a30=93+30=24a31=24+31=55a32=55+32=87a33=87+33=21a34=21+34=55a35=55+35=90a36=90+36=27a37=27+37=64a38=64+38=3a39=3+39=42a40=42+40=82a41=82+41=24a42=24+42=66a43=66+43=10a44=10+44=54a45=54+45=0.\begin{aligned}a_{10}&=10 \\ a_{11}&=10+11=21 \\ a_{12}&=12+21=33 \\ a_{13}&=13+33=46 \\ a_{14}&=46+14=60 \\ a_{15}&=60+15=75 \\ a_{16}&=75+16=91 \\ a_{17}&=91+17=9 \\ a_{18}&=9+18=27 \\ a_{19}&=27+19=46 \\ a_{20}&=46+20=66 \\ a_{21}&=66+21=87 \\ a_{22}&=87+22=10 \\ a_{23}&=10+23=33 \\ a_{24}&=33+24=57 \\ a_{25}&=57+25=82 \\ a_{26}&=82+26=9 \\ a_{27}&=9+27=36 \\ a_{28}&=36+28=64 \\ a_{29}&=64+29=93 \\ a_{30}&=93+30=24 \\ a_{31}&=24+31=55 \\ a_{32}&=55+32=87 \\ a_{33}&=87+33=21 \\ a_{34}&=21+34=55 \\ a_{35}&=55+35=90 \\ a_{36}&=90+36=27 \\ a_{37}&=27+37=64 \\ a_{38}&=64+38=3 \\ a_{39}&=3+39=42 \\ a_{40}&=42+40=82 \\ a_{41}&=82+41=24 \\ a_{42}&=24+42=66 \\ a_{43}&=66+43=10 \\ a_{44}&=10+44=54 \\ a_{45}&=54+45=0.\end{aligned} Hence the least number nn is n=45n=45.

~typos fixed by lpieleanu

Solution 9

Taking the recurrence mod 9999, we have

an=an1+na_n=a_{n-1}+n for a10=10a_{10}=10. Then, we have

an=10+11+12++n    an=n(n+1)2450(mod99)    n(n+1)900(mod99)    n(n+1)+90(mod99)    n0(mod9).a_n=10+11+12+\cdots+n \implies a_n=\frac{n(n+1)}2-45 \equiv 0 \pmod{99} \implies n(n+1)-90 \equiv 0 \pmod{99} \implies n(n+1)+9 \equiv 0 \pmod{99} \implies n \equiv 0 \pmod{9}. Then, we simply can test these values of nn to find that n=045n=\boxed{045} produces a value that is also divisible by 1111.

-A1001

Note

By the way, if you're wondering, a45a_{45} is the 7272-digit number

101,112,131,415,161,718,192,021,222,324,252,627,282,930,313,233,343,536,373,839,404,142,434,445.101\text{,}112\text{,}131\text{,}415\text{,}161\text{,}718\text{,}192\text{,}021\text{,}222\text{,}324\text{,}252\text{,}627\text{,}282\text{,}930\text{,}313\text{,}233\text{,}343\text{,}536\text{,}373\text{,}839\text{,}404\text{,}142\text{,}434\text{,}445. The prime factorization of a45a_{45} is

32  5  11  151  1381  1559  1,511,647  448,966,261,198,213,862,368,469  925,800,120,162,193,934,310,647,599,0133^{2}~\cdot~5~\cdot~11~\cdot~151~\cdot~1381~\cdot~1559~\cdot~1\text{,}511\text{,}647~\cdot~448\text{,}966\text{,}261\text{,}198\text{,}213\text{,}862\text{,}368\text{,}469~\cdot~925\text{,}800\text{,}120\text{,}162\text{,}193\text{,}934\text{,}310\text{,}647\text{,}599\text{,}013 and a4599\frac{a_{45}}{99} is the 7070-digit number

1,021,334,660,759,209,274,666,881,033,578,309,366,494,245,588,215,591,276,503,428,324,671,055.1\text{,}021\text{,}334\text{,}660\text{,}759\text{,}209\text{,}274\text{,}666\text{,}881\text{,}033\text{,}578\text{,}309\text{,}366\text{,}494\text{,}245\text{,}588\text{,}215\text{,}591\text{,}276\text{,}503\text{,}428\text{,}324\text{,}671\text{,}055.

Question

Is there an efficient way to notice that the only squares that are congruent to 64(mod99)64 \pmod {99} are (±8)2(\pm 8)^2 and (±19)2(\pm 19)^2? (In Solution 3)

Answer: Yes.

We will solve the question by looking for solutions for m[49,48,,1,0,1,,48,49]m\in[-49,-48,\cdots,-1,0,1,\cdots,48,49]. Let the square be mm, thus satisfying m2640(mod99)m^2-64\equiv 0\pmod{99} and m264=(m+8)(m8)=99km^2-64=(m+8)(m-8)=99k for some integer kk. Checking the first factor, (m+8)(m+8), for factors of 1111 yields:

m+8=0m8=16m+8=0\Rightarrow m-8=-16 m+8=11m8=5m+8=11\Rightarrow m-8=-5 m+8=22m8=6m+8=22\Rightarrow m-8=6 m+8=33m8=17m+8=33\Rightarrow m-8=17 m+8=44m8=28m+8=44\Rightarrow m-8=28

In the first case, the product does divide 9999, so m=891m=-8\equiv91 is a solution. For the others, since the first factor already divides 1111, the second factor must divide 99 (or 33 in the case of m+8=33m+8=33, which already has a factor of 33) in order for the product to divide 9999. Here, that is not the case, so m=8m=-8 is the only possible solution.

Now we check the second factor, (m8)(m-8):

m8=0m+8=16m-8=0\Rightarrow m+8=16 m8=11m+8=27m-8=11\Rightarrow m+8=27 m8=22m+8=38m-8=22\Rightarrow m+8=38 m8=33m+8=49m-8=33\Rightarrow m+8=49 m8=44m+8=60m-8=44\Rightarrow m+8=60

We immediately see that m=8m=8 is a solution. Using a similar argument as above for the others, we notice that m=19m=19 is the only solution in this group. Using the property that ab(a)(b)mod99ab\equiv(-a)(-b)\mod99, it is clear that m=19m=-19 is also a solution. As a result, m=±8m=\pm8 and m=±19m=\pm19 are the only solutions. (This process takes a much shorter time than it seems.)

~eevee9406