Maths Olympiad Prep

Library / /113 of 520

Algebra Difficulty 6.1 National olympiad Prove it

16. Given the sequence a1,a2,,ana_{1}, a_{2}, \cdots, a_{n} satisfies a1=2,a2=2,an+1=anan12,n2a_{1}=\sqrt{2}, a_{2}=2, a_{n+1}=a_{n} a_{n-1}^{2}, n \geqslant 2, prove: (1+a1)(1+a2)(1+an)<(2+2)a1a2an\left(1+a_{1}\right)\left(1+a_{2}\right) \cdots\left(1+a_{n}\right)<(2+\sqrt{2}) a_{1} a_{2} \cdots a_{n}. (2003 Baltic Way Mathematical Competition)

Solution

16. By induction, we can prove that an=22n2a_{n}=2^{2 n-2}, so we only need to prove (1+a2)(1+a3)(1+\left(1+a_{2}\right)\left(1+a_{3}\right) \cdots(1+ an)<2a2a3an\left.a_{n}\right)<2 a_{2} a_{3} \cdots a_{n}.

The left side of the inequality =22n1=2^{2 n-1}, the right side =22n51=2^{2 n-5}-1.

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.