Maths Olympiad Prep

Library / /5 of 14

Algebra Difficulty 6.2 National olympiad Prove it Greece

We consider the sequence of real numbers (an)(a_n), n=1,2,3,...n=1,2,3,...
a1=2 and an=(n+1n1)(a1+a2++an1),n2. a_1 = 2 \text{ and } a_n = \left(\frac{n+1}{n-1}\right) (a_1 + a_2 + \dots + a_{n-1}), \quad n \ge 2.

Determine the term a2013a_{2013}.

Solutions — 2

Solution 1

We observe that:
a1=2, a2=32a1=32, a3=42(a1+a2)=4242=422, a_1 = 2,\ a_2 = \frac{3}{2} \cdot a_1 = 3 \cdot 2,\ a_3 = \frac{4}{2} \cdot (a_1 + a_2) = \frac{4}{2} \cdot 4 \cdot 2 = 4 \cdot 2^2,
a4=53(a1+a2+a3)=5324=523, a_4 = \frac{5}{3} \cdot (a_1 + a_2 + a_3) = \frac{5}{3} \cdot 24 = 5 \cdot 2^3,
a5=64(a1+a2+a3+a4)=6464=624. a_5 = \frac{6}{4} \cdot (a_1 + a_2 + a_3 + a_4) = \frac{6}{4} \cdot 64 = 6 \cdot 2^4.
We are going to use induction. Let an=(n+1)2n1a_n = (n+1) \cdot 2^{n-1}, for n=1,2,3,...,kn=1,2,3,...,k. We will prove that the same formula is valid for n=k+1n=k+1, i.e.: ak+1=(k+2)2ka_{k+1} = (k+2) \cdot 2^k.
ak+1=k+2k(a1+a2+a3++ak)=k+2k(2+321+422++(k+1)2k1). a_{k+1} = \frac{k+2}{k} (a_1 + a_2 + a_3 + \dots + a_k) = \frac{k+2}{k} \left( 2 + 3 \cdot 2^1 + 4 \cdot 2^2 + \dots + (k+1) \cdot 2^{k-1} \right).
Hence:
ak+1=k+2k(220+321+422++(k+1)2k1).(1) a_{k+1} = \frac{k+2}{k} \left( 2 \cdot 2^0 + 3 \cdot 2^1 + 4 \cdot 2^2 + \dots + (k+1) \cdot 2^{k-1} \right). \quad (1)
Multiplying both parts of relation (1) by 2 we get:
2ak+1=k+2k(21+322+423++(k+1)2k),(2) 2a_{k+1} = \frac{k+2}{k} \left( 2^1 + 3 \cdot 2^2 + 4 \cdot 2^3 + \dots + (k+1) \cdot 2^k \right), \quad (2)
And then from (1) and (2) we find:
ak+1=k+2k(22122232k1+(k+1)2k)ak+1=k+2k(112k12+(k+1)2k)=k+2k(2k+(k+1)2k)=(k+2)2k. a_{k+1} = \frac{k+2}{k} \left( -2 - 2^1 - 2^2 - 2^3 - \dots - 2^{k-1} + (k+1) \cdot 2^k \right) \\ a_{k+1} = \frac{k+2}{k} \left( -1 - \frac{1-2^k}{1-2} + (k+1) \cdot 2^k \right) = \frac{k+2}{k} \left( -2^k + (k+1) \cdot 2^k \right) = (k+2) \cdot 2^k.
Therefore we have a2013=201422012a_{2013} = 2014 \cdot 2^{2012}

Solution 2

From equations
an=(n+1n1)(a1+a2++an1),n2,(3) a_n = \left(\frac{n+1}{n-1}\right) (a_1 + a_2 + \dots + a_{n-1}), \quad n \ge 2, \quad (3)
an+1=(n+2n)(a1+a2++an),n1,(4) a_{n+1} = \left(\frac{n+2}{n}\right) (a_1 + a_2 + \dots + a_n), \quad n \ge 1, \quad (4)
we find
a1+a2++an1=(n1n+1)an,n2(5) a_1 + a_2 + \dots + a_{n-1} = \left(\frac{n-1}{n+1}\right) a_n, \quad n \ge 2 \quad (5)
a1+a2++an=(nn+2)an+1,n1(6) a_1 + a_2 + \dots + a_n = \left(\frac{n}{n+2}\right) a_{n+1}, \quad n \ge 1 \quad (6)
And from (5) and (6) we get:
an=(nn+2)an+1(n1n+1)anan+1=(2(n+2)n+1)an,n1(7) a_n = \left(\frac{n}{n+2}\right) a_{n+1} - \left(\frac{n-1}{n+1}\right) a_n \Rightarrow a_{n+1} = \left(\frac{2(n+2)}{n+1}\right) a_n, \quad n \ge 1 \quad (7)
Hence
an=(2(n+1)n)an1=(2(n+1)n)(2nn1)an2==(2(n+1)n)(2nn1)(243232)a1=(n+1)2n2a1=(n+1)2n1, since a1=2. a_n = \left(\frac{2(n+1)}{n}\right) a_{n-1} = \left(\frac{2(n+1)}{n}\right) \left(\frac{2n}{n-1}\right) a_{n-2} = \dots \\ = \left(\frac{2(n+1)}{n}\right) \left(\frac{2n}{n-1}\right) \dots \left(\frac{2 \cdot 4}{3} \cdot \frac{2 \cdot 3}{2}\right) a_1 \\ = (n+1) \cdot 2^{n-2} \cdot a_1 = (n+1) \cdot 2^{n-1}, \text{ since } a_1 = 2.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.