Maths Olympiad Prep

Library / /12 of 104

Algebra Difficulty 5.0 AIME, harder Prove it Bulgaria

Problem:

Let a1>0a_{1}>0 and an+1=an+nana_{n+1}=a_{n}+\frac{n}{a_{n}} for n1n \geq 1. Prove that:

a) anna_{n} \geq n for n2n \geq 2;

b) the sequence {ann}n1\left\{\frac{a_{n}}{n}\right\}_{n \geq 1} converges and find its limit.

Solution

Solution:

a) We have a2=a1+1a12a_{2}=a_{1}+\frac{1}{a_{1}} \geq 2. If anna_{n} \geq n, then
an+1n1=an+nann1=(an1)(ann)an0 a_{n+1}-n-1=a_{n}+\frac{n}{a_{n}}-n-1=\frac{\left(a_{n}-1\right)\left(a_{n}-n\right)}{a_{n}} \geq 0
and the assertion follows by induction.

b) Let n2n \geq 2. It follows from a) that an+1an+1a_{n+1} \leq a_{n}+1. Then ana2+n2a_{n} \leq a_{2}+n-2, whence 1ann1+a22n1 \leq \frac{a_{n}}{n} \leq 1+\frac{a_{2}-2}{n}. Therefore the sequence (ann)n1\left(\frac{a_{n}}{n}\right)_{n \geq 1} is convergent and its limit equals 11.

Remark. One can prove the stronger statement that limn(ann)=0\lim _{n \rightarrow \infty}\left(a_{n}-n\right)=0.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.