返回题库

AIME 2016 II · 第 9 题

AIME 2016 II — Problem 9

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

The sequences of positive integers 1,a2,a3,...1,a_2, a_3,... and 1,b2,b3,...1,b_2, b_3,... are an increasing arithmetic sequence and an increasing geometric sequence, respectively. Let cn=an+bnc_n=a_n+b_n. There is an integer kk such that ck1=100c_{k-1}=100 and ck+1=1000c_{k+1}=1000. Find ckc_k.

解析

Solution 1

Since all the terms of the sequences are integers, and 100 isn't very big, we should just try out the possibilities for b2b_2. When we get to b2=9b_2=9 and a2=91a_2=91, we have a4=271a_4=271 and b4=729b_4=729, which works, therefore, the answer is b3+a3=81+181=262b_3+a_3=81+181=\boxed{262}.

Solution 2 (Some trial and error)

We have ak=rk1a_k=r^{k-1} and bk=(k1)db_k=(k-1)d. First, bk1impliesb_{k-1} impliesd<100,so, sob_{k+1}<300$.

It follows that ak+1=1000bk+1>700a_{k+1}=1000-b_{k+1}>700, i.e.,

700<rk<1000.700 < r^k < 1000. Moreover, since kk is atleast 33 we get r3rk<1000r^3\le r^k <1000, i.e. r<10r<10. For every value of rr in this range, define i(r)=max{x:rx<700}i(r) = \max \{x : r^x < 700\}, and define j(r)=min{x:rx>1000}j(r) = \min \{x : r^x > 1000\}. We are looking for values of rr such that j(r)i(r)>1j(r) -i(r)>1. Let's make a table:

AIME diagram

The only admissible values for rkr^k are {36,93}\{3^6, 9^3\}. However, since 100=ck1=rk2+(k2)d+1100=c_{k-1}=r^{k-2}+(k-2)d+1, we must have (k2)99rk2(k-2)\mid 99-r^{k-2}. This does not hold for rk=36r^k=3^6 because 44 does not divide 9934=1899-3^4=18. This leaves rk=93r^k=9^3 as the only option.

For r=9r=9 and k=3k=3, we check: ak1=a2=r=9a_{k-1}= a_2 = r =9 implies bk1=b2=91b_{k-1}= b_2 = 91, i.e. d=90d=90. Then ak+1=a4=r3=729a_{k+1}=a_4 = r^3 = 729 and bk+1=b4=1+3d=271b_{k+1}=b_4 = 1+3d = 271 and ck+1=c4=a4+b4=729+271=1000c_{k+1}=c_4=a_4+b_4 = 729+271=1000; so it works! Then ck=c3=92+181=262c_k = c_3 = 9^2+181 = 262.

Solution 3

Using the same reasoning (100100 isn't very big), we can guess which terms will work. The first case is k=3k=3, so we assume the second and fourth terms of cc are 100100 and 10001000. We let rr be the common ratio of the geometric sequence and write the arithmetic relationships in terms of rr.

The common difference is 100r1100-r - 1, and so we can equate: 2(99r)+100r=1000r32(99-r)+100-r=1000-r^3. Moving all the terms to one side and the constants to the other yields

r33r=702r^3-3r = 702, or r(r23)=702r(r^2-3) = 702. Simply listing out the factors of 702702 shows that the only factor 33 less than a square that works is 7878. Thus r=9r=9 and we solve from there to get 262\boxed{262}.

Solution by rocketscience

Solution 4 (More Robust Bash)

The reason for bashing in this context can also be justified by the fact 100 isn't very big.

Let the common difference for the arithmetic sequence be aa, and the common ratio for the geometric sequence be bb. The sequences are now 1,a+1,2a+1,1, a+1, 2a+1, \ldots, and 1,b,b2,1, b, b^2, \ldots. We can now write the given two equations as the following:

1+(k2)a+bk2=1001+(k-2)a+b^{k-2} = 100 1+ka+bk=10001+ka+b^k = 1000

Take the difference between the two equations to get 2a+(b21)bk2=9002a+(b^2-1)b^{k-2} = 900. Since 900 is divisible by 4, we can tell aa is even and bb is odd. Let a=2ma=2m, b=2n+1b=2n+1, where mm and nn are positive integers. Substitute variables and divide by 4 to get:

m+(n+1)(n)(2n+1)k2=225m+(n+1)(n)(2n+1)^{k-2} = 225

Because very small integers for nn yield very big results, we can bash through all cases of nn. Here, we set an upper bound for nn by setting kk as 3. After trying values, we find that n4n\leq 4, so b=9,7,5,3b=9, 7, 5, 3. Testing out b=9b=9 yields the correct answer of 262\boxed{262}. Note that even if this answer were associated with another b value like b=3b=3, the value of kk can still only be 3 for all of the cases.

Solution 5 (Casework)

Let ana_n and bnb_n be in the form of

AIME diagram

Case 1.k=3(c1=2    k>2).1.\hspace{10mm} k = 3\hspace{5mm} (c_1=2 \implies k > 2).

c2=a+1+b=100,c4=3a+1+b3=1000    b33b2=1000300    b33b=702    b=9,a=90,c3=262.c_2 = a+1 + b = 100, c_4 = 3a+1 + b^3 = 1000 \implies b^3 -3b -2 = 1000-300 \implies b^3 - 3b = 702 \implies b = 9, a=90, c_3 = \boxed {262}. Case 2.k=4.2. \hspace{10mm} k = 4.

c3=2a+1+b2=100,c5=4a+1+b4=1000    b42b21=1000200    b42b2=801    \O.c_3 = 2a+1 + b^2 = 100, c_5 = 4a+1 + b^4 = 1000 \implies b^4 -2b^2 -1 = 1000-200 \implies b^4 - 2b^2 = 801 \implies \O. Case 3.k5.b5<1000    b={2,3}.3. \hspace{10mm} k \ge 5.\hspace{3mm} b^5 < 1000 \implies b = \{2,3\}.

Case 3.1.b=2.3.1.\hspace{10mm} b = 2.

ck1=2k2+(k2)a+1=100,ck+1=2k+ka+1=1000    a=45032k3    2k+450k3k2k3+1=1000    \O.c_{k-1} = 2^{k-2} + (k-2) a + 1 = 100, c_{k+1} = 2^k + ka + 1 = 1000\implies a = 450-3\cdot 2^{k-3} \implies 2^k +450k -3k\cdot 2^{k-3} + 1 = 1000 \implies \O. Case 3.2.b=3.3.2.\hspace{10mm} b = 3.

ck1=3k2+(k2)a+1=100,ck+1=3k+ka+1=1000    a=45043k2    3k4(94k)+50k=337    \O.c_{k-1} = 3^{k-2} + (k-2) a + 1 = 100, c_{k+1} = 3^k + ka + 1 = 1000\implies a = 450-4\cdot 3^{k-2} \implies 3^{k-4}(9-4k) +50k = 3\cdot 37 \implies \O. vladimir.shelomovskii@gmail.com, vvsss