Difference between revisions of "2004 AIME II Problems/Problem 9"

Revision as of 17:03, 25 May 2024

Problem

A sequence of positive integers with $a_1=1$ and $a_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 $n\ge1,$ the terms $a_{2n-1}, a_{2n}, a_{2n+1}$ are in geometric progression, and the terms $a_{2n}, a_{2n+1},$ and $a_{2n+2}$ are in arithmetic progression. Let $a_n$ be the greatest term in this sequence that is less than $1000$ . Find $n+a_n.$

Solution 1

Let $x = a_2$ ; then solving for the next several terms, we find that $a_3 = x^2,\ a_4 = x(2x-1),\ a_5$ $= (2x-1)^2,\ a_6$ $= (2x-1)(3x-2)$ , and in general, $a_{2n} = f(n-1)f(n)$ , $a_{2n+1} = f(n)^2$ , where $f(n) = nx - (n-1)$ .^[1]

From $a_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=5$ . Thus $f(n) = 4n+1$ , and we need to find the largest $n$ such that either $f(n)^2\, \mathrm{or}\, f(n)f(n-1) < 1000$ . This happens with $f(7)f(8) = 29 \cdot 33 = 957$ , and this is the $2(8) = 16$ th term of the sequence.

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

^ We can show this by simultaneous induction: since $\begin{align*}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{align*}$ and $\begin{align*}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{align*}$

Solution 2

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

Solution 3

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

$0<a_{8} = 2a_{9}-a_{10}$
$a_{10} < a_{11}$ (note that the sequence must be increasing on all terms, not monotonically increasing) $a_{10} < \frac{a_{10}^2}{a_{9}} \rightarrow a_{9} < a_{10}$
$a_{11} = \frac{a_{10}^2}{a_{9}} = \frac{(646-a_{9})^2}{a_{9}}$ , so necessarily $a_{9}$ is a factor of $646^2$ , which factorizes to $2^2\cdot 17^2 \cdot 19^2$

Rearranging conditions 1 and 2, we get:

$\frac{646}{3} < a_{9} < \frac{646}{2}$

trying all the terms from the third condition, it is clear that $a_9 = 289$ is the only solution. Then we can calculate the next few terms from there since we have $a_{10}$ as well, to find that $a_{16} = 957$ and $a_{17} = 1089$ , thus we have our answer of $957 + 16 = \boxed{973}$ .

~KafkaTamura

@@ Line 21: / Line 21: @@
 \end{align*}</cmath>
-==Solution 2 (Cheese)==
+==Solution 2==
 Let <math>x = a_2</math>. It is apparent that the sequence grows relatively fast, so we start trying positive integers to see what <math>x</math> can be. Finding that <math>x = 5</math> works, after bashing out the rest of the terms we find that <math>a_{16} = 957</math> and <math>a_{17} = 1089</math>, hence our answer is <math>957 + 16 = \boxed{973}</math>.

2004 AIME II (Problems • Answer Key • Resources)
Preceded by Problem 8	Followed by Problem 10
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15
All AIME Problems and Solutions

Page

Toolbox

Search