Maths Olympiad Prep

Library / /439 of 520

Algebra Difficulty 4.5 AIME Prove it

Given a sequence of positive terms {an}\{a_n\} that satisfies a1=2a_1 = 2, an+12+2an+1=an+2a_{n+1}^2 + 2a_{n+1} = a_n + 2, nNn \in \mathbb{N}^*.

(I) Prove that (an+2an+1)(a_{n+2} - a_{n+1}) and (an+1an)(a_{n+1} - a_n) have the same sign, and an+1<ana_{n+1} < a_n;

(II) Prove that an+11<14an1|a_{n+1} - 1| < \frac{1}{4} |a_n - 1|, nNn \in \mathbb{N}^*;

(III) Prove that a11+a21+a31++an1<43|a_1 - 1| + |a_2 - 1| + |a_3 - 1| + \cdots + |a_n - 1| < \frac{4}{3}, nNn \in \mathbb{N}^*.

Solution

Proof:
(I) From an+12+2an+1=an+2a_{n+1}^2 + 2a_{n+1} = a_n + 2 (1), we get an+22+2an+2=an+1+2a_{n+2}^2 + 2a_{n+2} = a_{n+1} + 2 (2).

Subtracting equation (1) from equation (2), we obtain (an+22an+12)+2(an+2an+1)=an+1an(a_{n+2}^2 - a_{n+1}^2) + 2(a_{n+2} - a_{n+1}) = a_{n+1} - a_n, which simplifies to (an+2an+1)(an+2+an+1+2)=an+1an(a_{n+2} - a_{n+1})(a_{n+2} + a_{n+1} + 2) = a_{n+1} - a_n.

Since an>0a_n > 0, (an+2an+1)(a_{n+2} - a_{n+1}) and (an+1an)(a_{n+1} - a_n) have the same sign.

As (a2+1)2=a1+3=5(a_2 + 1)^2 = a_1 + 3 = 5, we have a2=51a_2 = \sqrt{5} - 1, and (a2a1)=530(a_2 - a_1) = \sqrt{5} - 3 0, we have an1>0a_n - 1 > 0, which means an>1a_n > 1.

As a result, (an+1+3)>4(a_{n+1} + 3) > 4, and 1an+1+3<14\frac{1}{a_{n+1} + 3} < \frac{1}{4}. Thus, an+11<14an1|a_{n+1} - 1| < \frac{1}{4} |a_n - 1|.

(III) From (II), we know that when n2n \geqslant 2, an1=a11×a21a11×a31a21××an1an11<14n1a11=14n1|a_n - 1| = |a_1 - 1| \times \frac{|a_2 - 1|}{|a_1 - 1|} \times \frac{|a_3 - 1|}{|a_2 - 1|} \times \cdots \times \frac{|a_n - 1|}{|a_{n-1} - 1|} < \frac{1}{4^{n-1}} |a_1 - 1| = \frac{1}{4^{n-1}}.

Since a11=1a_1 - 1 = 1, we have an114n1|a_n - 1| \leqslant \frac{1}{4^{n-1}}, nNn \in \mathbb{N}^*.

Therefore, a11+a21+a31++an11+14+142++14n1114n114=43(114n)<43|a_1 - 1| + |a_2 - 1| + |a_3 - 1| + \cdots + |a_n - 1| \leqslant 1 + \frac{1}{4} + \frac{1}{4^2} + \cdots + \frac{1}{4^{n-1}} \leqslant \frac{1 - \frac{1}{4^n}}{1 - \frac{1}{4}} = \frac{4}{3} \left( 1 - \frac{1}{4^n} \right) < \boxed{\frac{4}{3}}.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.