Difference between revisions of "Mock AIME 1 2006-2007 Problems/Problem 13"
m |
|||
(4 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
− | + | ==Problem== | |
+ | Let <math>a_{n}</math>, <math>b_{n}</math>, and <math>c_{n}</math> be geometric sequences with different common ratios and let <math>a_{n}+b_{n}+c_{n}=d_{n}</math> for all integers <math>n</math>. If <math>d_{1}=1</math>, <math>d_{2}=2</math>, <math>d_{3}=3</math>, <math>d_{4}=-7</math>, <math>d_{5}=13</math>, and <math>d_{6}=-16</math>, find <math>d_{7}</math>. | ||
+ | ==Solution== | ||
− | [[Mock AIME 1 2006-2007]] | + | The problem tempts us to simply introduce six variables: the first term and the ratio for each of the three geometric sequences. The problem statement then gives us six independent (non-linear) equations in these variables, which does uniquely determine these variables - but there is no obvious way of computing them. We will show a different solution. |
+ | |||
+ | === Insight === | ||
+ | |||
+ | Consider the polynomial <math>P(x)=(x-\alpha)(x-\beta)(x-\gamma)</math> with <math>\alpha</math>, <math>\beta</math> and <math>\gamma</math> distinct. | ||
+ | |||
+ | Let <math>\alpha+\beta+\gamma=p</math>, <math>-(\alpha\beta+\alpha\gamma+\beta\gamma)=q</math>, and <math>\alpha\beta\gamma=r</math>. Then we can write <math>P(x)=x^3 - px^2 - qx - r</math>. | ||
+ | |||
+ | Now consider the recurrence <math>\forall n: d_n = pd_{n-1} + qd_{n-2} + rd_{n-3}</math>. (<math>P</math> is called the ''characteristic polynomial'' of this recurrence.) | ||
+ | |||
+ | We can easily verify that each of the three sequences <math>d_n=\alpha^n</math>, <math>d_n=\beta^n</math> and <math>d_n=\gamma^n</math> satisfies the recurrence. Moreover, we know the following facts: | ||
+ | * If a sequence <math>(x_n)</math> satisfies the recurrence, then for all <math>s</math> the sequence <math>(sx_n)</math> does, too. | ||
+ | * If sequences <math>(x_n)</math> and <math>(y_n)</math> satisfy the recurrence, then the sequence <math>(x_n+y_n)</math> does, too. | ||
+ | Thus each linear combination of the three sequences we have satisfies the recurrence. | ||
+ | In other words, each sequence of the form <math>d_n = s\alpha^n + t\beta^n + u\gamma^n</math> solves the recurrence. And vice versa, each solution of the recurrence can be written in this form, because given the values <math>d_0</math>, <math>d_1</math> and <math>d_2</math> one can always uniquely determine the coefficients <math>s,t,u</math>. | ||
+ | |||
+ | === Solving the task === | ||
+ | |||
+ | We just proved the following observation: If we have three geometric sequences with distinct ratios <math>\alpha</math>, <math>\beta</math>, and <math>\gamma</math>, their sum always satisfies the recurrence <math>\forall n: d_n = pd_{n-1} + qd_{n-2} + rd_{n-3}</math> for the <math>p,q,r</math> defined above, and some <math>d_0,d_1,d_2</math> determined by the initial values of these sequences. | ||
+ | |||
+ | In our situation, we do not need to know the ratios <math>\alpha</math>, <math>\beta</math>, and <math>\gamma</math>. All we need to compute <math>d_7</math> are the coefficients <math>p</math>, <math>q</math>, and <math>r</math>. | ||
+ | |||
+ | But this is easy. We know that: | ||
+ | <cmath> | ||
+ | \begin{align*} | ||
+ | d_4 &= pd_3 + qd_2 + rd_1 \\ | ||
+ | d_5 &= pd_4 + qd_3 + rd_2 \\ | ||
+ | d_6 &= pd_5 + qd_4 + rd_3 | ||
+ | \end{align*} | ||
+ | </cmath> | ||
+ | |||
+ | This is a set of three linear equations. In our case, it has a unique solution <math>(p,q,r)=(-2,-1,1)</math>, hence <math>d_7 = -2d_6 - d_5 + d_4 = \boxed{012}</math>. | ||
+ | |||
+ | ---- | ||
+ | |||
+ | *[[Mock AIME 1 2006-2007 Problems/Problem 12 | Previous Problem]] | ||
+ | |||
+ | *[[Mock AIME 1 2006-2007 Problems/Problem 14 | Next Problem]] | ||
+ | |||
+ | *[[Mock AIME 1 2006-2007]] |
Latest revision as of 14:50, 3 April 2012
Problem
Let , , and be geometric sequences with different common ratios and let for all integers . If , , , , , and , find .
Solution
The problem tempts us to simply introduce six variables: the first term and the ratio for each of the three geometric sequences. The problem statement then gives us six independent (non-linear) equations in these variables, which does uniquely determine these variables - but there is no obvious way of computing them. We will show a different solution.
Insight
Consider the polynomial with , and distinct.
Let , , and . Then we can write .
Now consider the recurrence . ( is called the characteristic polynomial of this recurrence.)
We can easily verify that each of the three sequences , and satisfies the recurrence. Moreover, we know the following facts:
- If a sequence satisfies the recurrence, then for all the sequence does, too.
- If sequences and satisfy the recurrence, then the sequence does, too.
Thus each linear combination of the three sequences we have satisfies the recurrence. In other words, each sequence of the form solves the recurrence. And vice versa, each solution of the recurrence can be written in this form, because given the values , and one can always uniquely determine the coefficients .
Solving the task
We just proved the following observation: If we have three geometric sequences with distinct ratios , , and , their sum always satisfies the recurrence for the defined above, and some determined by the initial values of these sequences.
In our situation, we do not need to know the ratios , , and . All we need to compute are the coefficients , , and .
But this is easy. We know that:
This is a set of three linear equations. In our case, it has a unique solution , hence .