Maths Olympiad Prep

Library / /15 of 40

Algebra Difficulty 5.8 AIME, harder Prove it China

It is given the sequence {an}\{a_n\}: a1=1a_1 = 1,
an+1=2an+n(1+2n),n=1,2,3, a_{n+1} = 2a_n + n \cdot (1 + 2^n), \quad n = 1, 2, 3, \dots

Find the general term ana_n.

Solution

Divide the recursion formula by 2n+12^{n+1} throughout, we obtain
an+12n+1=an2n+n2n+1+n2, \frac{a_{n+1}}{2^{n+1}} = \frac{a_n}{2^n} + \frac{n}{2^{n+1}} + \frac{n}{2},
that is,
an+12n+1an2n=n2n+1+n2. \frac{a_{n+1}}{2^{n+1}} - \frac{a_n}{2^n} = \frac{n}{2^{n+1}} + \frac{n}{2}.
Then
i=1n(ai+12i+1ai2i)=i=1ni2i+1+i=1ni2, \sum_{i=1}^n \left( \frac{a_{i+1}}{2^{i+1}} - \frac{a_i}{2^i} \right) = \sum_{i=1}^n \frac{i}{2^{i+1}} + \sum_{i=1}^n \frac{i}{2},
an+12n+1a121=n(n+1)4+i=1ni2i+1, \frac{a_{n+1}}{2^{n+1}} - \frac{a_1}{2^1} = \frac{n(n+1)}{4} + \sum_{i=1}^n \frac{i}{2^{i+1}},
an+1=2n+1[n(n+1)4+12n+12i=1ni2i]. a_{n+1} = 2^{n+1} \left[ \frac{n(n+1)}{4} + \frac{1}{2^n} + \frac{1}{2} \sum_{i=1}^n \frac{i}{2^i} \right].
Set Sn=i=1ni2iS_n = \sum_{i=1}^n \frac{i}{2^i}, then 2Sn=i=1ni2i12S_n = \sum_{i=1}^n \frac{i}{2^{i-1}}, and
Sn=2SnSn=i=1ni2i1i=1ni2i=i=1ni2i1i=2n+1i12i1=1211n+112n+11+i=2n(i2i1i12i1)=1n2n+i=2n12i1 \begin{align*} S_n &= 2S_n - S_n = \sum_{i=1}^n \frac{i}{2^{i-1}} - \sum_{i=1}^n \frac{i}{2^i} \\ &= \sum_{i=1}^n \frac{i}{2^{i-1}} - \sum_{i=2}^{n+1} \frac{i-1}{2^{i-1}} \\ &= \frac{1}{2^{1-1}} - \frac{n+1-1}{2^{n+1-1}} + \sum_{i=2}^n \left( \frac{i}{2^{i-1}} - \frac{i-1}{2^{i-1}} \right) \\ &= 1 - \frac{n}{2^n} + \sum_{i=2}^n \frac{1}{2^{i-1}} \end{align*}
=1n2n+12[1(12)n1]=1n2n+112n1=2n+22n. \begin{aligned} &= 1 - \frac{n}{2^n} + \frac{1}{2} \left[ 1 - \left( \frac{1}{2} \right)^{n-1} \right] \\ &= 1 - \frac{n}{2^n} + 1 - \frac{1}{2^{n-1}} \\ &= 2 - \frac{n+2}{2^n}. \end{aligned}
Thus,
an+1=[n(n+1)4+12n+12(2n+22n)]=2n+1[32+n(n+1)4n+22n+1](n1). \begin{aligned} a_{n+1} &= \left[ \frac{n(n+1)}{4} + \frac{1}{2^n} + \frac{1}{2} \left( 2 - \frac{n+2}{2^n} \right) \right] \\ &= 2^{n+1} \left[ \frac{3}{2} + \frac{n(n+1)}{4} - \frac{n+2}{2^{n+1}} \right] \quad (n \ge 1). \end{aligned}
Consequently,
an=2n2(n2n+6)n1(n2). a_n = 2^{n-2}(n^2 - n + 6) - n - 1 \quad (n \ge 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.