Maths Olympiad Prep

Library / /436 of 520

Algebra Difficulty 4.5 AIME Prove it

In the sequence {a_n}\{a\_n\}, a_1=a(aR)a\_1=a (a\in R), a_n+1=2a_n24a_n1(nN)a\_{n+1}= \frac {2a\_n^2}{4a\_n-1} (n\in N^*), let the sum of the first nn terms of the sequence be S_nS\_n.
(I) If for any nNn\in N^*, a_n+1>12a\_{n+1} > \frac {1}{2}, find the range of values for the real number aa;
(II) If a=1a=1, prove that S_n<n24+1(nN)S\_n < \frac {n^2}{4}+1 (n\in N^*).

Solution

(I) Since a_n+1=2a_n24a_n1(nN)a\_{n+1}= \frac {2a\_n^2}{4a\_n-1} (n\in N^*), it follows that a_n+112=(2a_n1)22(4a_n1)a\_{n+1}- \frac {1}{2}= \frac {(2a\_n-1)^2}{2(4a\_n-1)}.
When a_n+1>12a\_{n+1} > \frac {1}{2}, a_n>14a\_n > \frac {1}{4} and a_n12a\_n \neq \frac {1}{2}. Conversely, when a_n>14a\_n > \frac {1}{4} and a_n12a\_n \neq \frac {1}{2}, a_n+1>12a\_{n+1} > \frac {1}{2}.
Hence, the range of aa is a>14a > \frac {1}{4} and a12a \neq \frac {1}{2}.

(II) Proof: From (I), when a=1a=1, a_n>12a\_n > \frac {1}{2}, so a_n>0a\_n > 0.
Then, a_n+1a_n=a_n2a_n24a_n1=a_n(12a_n)4a_n1<0a\_{n+1}-a\_n= \frac {a\_n-2 a\_ n ^ 2 }{4a\_n-1}= \frac {a\_n(1-2a\_n)}{4a\_n-1} < 0,
Hence, 12<a_n1\frac {1}{2} < a\_n \leqslant 1.
From a_n+112=(2a_n1)22(4a_n1)a\_{n+1}- \frac {1}{2}= \frac {(2a\_n-1)^2}{2(4a\_n-1)}, we get: a_n+112a_n12=2a_n14a_n1=1218a_n2\frac{a\_{n+1}- \frac {1}{2}}{a\_n- \frac {1}{2}}= \frac {2a\_n-1}{4a\_n-1}= \frac {1}{2}- \frac {1}{8a\_n-2}.
Since 12<a_n1\frac {1}{2} < a\_n \leqslant 1, we have 1218a_n213\frac {1}{2}- \frac {1}{8a\_n-2} \leqslant \frac {1}{3},
i.e., a_n+11213(a_n12)a\_{n+1}- \frac {1}{2} \leqslant \frac {1}{3}(a\_n- \frac {1}{2}).
Thus, (a_112)+(a_212)+...+(a_n12)(a_112)(1+13+...+13n1)=(a_112)(113n)113<34(a\_1- \frac {1}{2})+(a\_2- \frac {1}{2})+...+(a\_n- \frac {1}{2}) \leqslant (a\_1- \frac {1}{2})(1+ \frac {1}{3}+...+ \frac {1}{3^{n-1}})= \frac {(a\_1- \frac {1}{2})(1- \frac {1}{3^{n}})}{1- \frac {1}{3}} < \frac {3}{4}.
Hence, S_n<n2+34S\_n < \frac {n}{2}+ \frac {3}{4}.
Also, n24+1(n2+34)=(n1)240\frac {n^2}{4}+1- (\frac {n}{2}+ \frac {3}{4})= \frac {(n-1)^2}{4} \geqslant 0,
Thus, S_n<n24+1(nN)S\_n < \boxed{\frac {n^2}{4}+1 (n\in N^*)}.

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.