返回题库

AIME 2004 II · 第 9 题

AIME 2004 II — Problem 9

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

A sequence of positive integers with a1=1a_1=1 and a9+a10=646a_9+a_{10}=646 is formed so that the first three terms are in geometric progression, the second, third, and fourth terms are in arithmetic progression, and, in general, for all n1,n\ge1, the terms a2n1,a2n,a2n+1a_{2n-1}, a_{2n}, a_{2n+1} are in geometric progression, and the terms a2n,a2n+1,a_{2n}, a_{2n+1}, and a2n+2a_{2n+2} are in arithmetic progression. Let ana_n be the greatest term in this sequence that is less than 10001000. Find n+an.n+a_n.

解析

Solution 1

Let x=a2x = a_2; then solving for the next several terms, we find that a3=x2, a4=x(2x1), a5a_3 = x^2,\ a_4 = x(2x-1),\ a_5 =(2x1)2, a6= (2x-1)^2,\ a_6 =(2x1)(3x2)= (2x-1)(3x-2), and in general, a2n=f(n1)f(n)a_{2n} = f(n-1)f(n), a2n+1=f(n)2a_{2n+1} = f(n)^2, where f(n)=nx(n1)f(n) = nx - (n-1).[1]

From

a9+a10=f(4)2+f(4)f(5)=(4x3)(9x7)=646=21719a_9 + a_{10} = f(4)^2 + f(4)f(5) = (4x-3)(9x-7) = 646 = 2\cdot 17 \cdot 19 , we find that by either the quadratic formula or trial-and-error/modular arithmetic that x=5x=5. Thus f(n)=4n+1f(n) = 4n+1, and we need to find the largest nn such that either f(n)2orf(n)f(n1)<1000f(n)^2\, \mathrm{or}\, f(n)f(n-1) < 1000. This happens with f(7)f(8)=2933=957f(7)f(8) = 29 \cdot 33 = 957, and this is the 2(8)=162(8) = 16th term of the sequence.

The answer is 957+16=973957 + 16 = \boxed{973}.

^ We can show this by simultaneous induction: since

a2n=2a2n1a2n2=2a2(n1)+1a2(n1)=2f(n1)2f(n2)f(n1)=f(n1)[2f(n1)f(n2)]=f(n1)[(2n2n+2)x(2n4n+3)]=f(n1)f(n)\begin{aligned}a_{2n} &= 2a_{2n-1} - a_{2n-2} = 2a_{2(n-1)+1} - a_{2(n-1)} \\ &= 2f(n-1)^2 - f(n-2)f(n-1) \\ &= f(n-1)[2f(n-1) - f(n-2)] \\ &= f(n-1)[(2n-2-n+2)x-(2n-4-n+3)] \\ &= f(n-1)f(n) \end{aligned} and

a2n+1=a2n2a2n1=f(n1)2f(n)2f(n1)2=f(n)2\begin{aligned}a_{2n+1} &= \frac{a_{2n}^2}{a_{2n-1}} = \frac{f(n-1)^2f(n)^2}{f(n-1)^2} = f(n)^2 \\ \end{aligned}

Solution 2

Let x=a2x = a_2. It is apparent that the sequence grows relatively fast, so we start trying positive integers to see what xx can be. Finding that x=5x = 5 works, after bashing out the rest of the terms we find that a16=957a_{16} = 957 and a17=1089a_{17} = 1089, hence our answer is 957+16=973957 + 16 = \boxed{973}.

Solution 3

We can find the value of a9a_{9} by its bounds using three conditions:

  1. $0
  2. a10<a11a_{10} < a_{11} (note that the sequence must be increasing on all terms, not monotonically increasing) a10<a102a9a9<a10a_{10} < \frac{a_{10}^2}{a_{9}} \rightarrow a_{9} < a_{10}
  3. a11=a102a9=(646a9)2a9a_{11} = \frac{a_{10}^2}{a_{9}} = \frac{(646-a_{9})^2}{a_{9}}, so necessarily a9a_{9} is a factor of 6462646^2, which factorizes to 221721922^2\cdot 17^2 \cdot 19^2

Rearranging conditions 1 and 2, we get:

6463<a9<6462\frac{646}{3} < a_{9} < \frac{646}{2} trying all the terms from the third condition, it is clear that a9=289a_9 = 289 is the only solution. Then we can calculate the next few terms from there since we have a10a_{10} as well, to find that a16=957a_{16} = 957 and a17=1089a_{17} = 1089, thus we have our answer of 957+16=973957 + 16 = \boxed{973}.

~KafkaTamura

Solution 4 (quadratic)

Let a2=xa_2 = x. We will write the first 10 terms in terms of xx (this will require some rigorous polynomial division):

First 10 Terms

Term

Value

a1a_1 11 a2a_2 xx a3a_3 x2x^2 a4a_4 2x2x2x^2 - x a5a_5 4x24x+14x^2 - 4x + 1 a6a_6 6x27x+26x^2 - 7x + 2 a7a_7 9x212x+49x^2 - 12x + 4 a8a_8 12x217x+612x^2 - 17x + 6 a9a_9 16x224x+916x^2 - 24x + 9 a10a_{10} 20x231x+1220x^2 - 31x + 12

The problem tells us that a9+a10=646,a_9 + a_{10} = 646, so we can write a quadratic and solve for xx:

(16x224x+9)+(20x231x+12)=646(16x^2 - 24x + 9) + (20x^2 - 31x + 12) = 646 36x255x+21=64636x^2 - 55x + 21 = 646 36x255x625=0.36x^2 - 55x - 625 = 0. x=(55)±(55)24(36)(625)2(36)x = \frac {-(-55) \pm \sqrt{(-55)^2 - 4(36)(-625)}}{2(36)} x=55±3025+9000072x = \frac {55 \pm \sqrt{3025 + 90000}}{72} x=55±9302572x = \frac {55 \pm \sqrt{93025}}{72} x=55±30572=12536,5.x = \frac {55 \pm 305}{72} = \xcancel{-\frac{125}{36}}, 5.

Since every number in the series has to be a positive integer, xx must be 55. Using x=5x=5 we can find a9a_9 and a10a_{10}:

a9=16(5)224(5)+9=16(25)120+9=400120+9=289.a_9 = 16(5)^2 - 24(5) + 9 = 16(25) - 120 + 9 = 400 - 120 + 9 = 289. a10=20(5)231(5)+12=20(25)155+12=500155+12=357.a_{10} = 20(5)^2 - 31(5) + 12 = 20(25) - 155 + 12 = 500 - 155 + 12 = 357. Notice that our arithmetic differences are increasing by 16: 20365268...20 \rightarrow 36 \rightarrow 52 \rightarrow 68... So following this pattern, the next differences will be 84,100,11684, 100, 116.

The geometric ratios follow a pattern of adding 44 to the numerator and denominator: 951391713\frac{9}{5} \rightarrow \frac{13}{9} \rightarrow \frac{17}{13}. The next ratios will be 2117,2521,2925.\frac{21}{17}, \frac{25}{21}, \frac{29}{25}.

We have everything we need to calculate the next few terms:

a11=3572117=441,a_{11} = 357 \cdot \frac{21}{17} = 441, a12=441+84=525,a_{12} = 441 + 84 = 525, a13=5252521=625,a_{13} = 525 \cdot \frac{25}{21} = 625, a14=625+100=725,a_{14} = 625 + 100 = 725, a15=7252925=841,a_{15} = 725 \cdot \frac{29}{25} = 841, a16=841+116=957.a_{16} = 841 + 116 = 957. We stop here because it's clear the next term will exceed 1000. Since a16=957,a_{16} = 957, the answer is 957+16=973.957 + 16 = \boxed{973}.

~grogg007