Maths Olympiad Prep

Library / /25 of 68

, 2017

Algebra Difficulty 5.0 AIME Prove it United States

Problem:
Determine the largest real number cc such that for any 20172017 real numbers x1,x2,,x2017x_{1}, x_{2}, \ldots, x_{2017}, the inequality
i=12016xi(xi+xi+1)cx20172 \sum_{i=1}^{2016} x_{i}\left(x_{i}+x_{i+1}\right) \geq c \cdot x_{2017}^{2}
holds.

Solution

Solution:
Let n=2016n=2016. Define a sequence of real numbers {pk}\{p_{k}\} by p1=0p_{1}=0, and for all k1k \geq 1,
pk+1=14(1pk) p_{k+1}=\frac{1}{4\left(1-p_{k}\right)}
Note that, for every i1i \geq 1,
(1pi)xi2+xixi+1+pi+1xi+12=(xi2pi+1+pi+1xi+1)20 \left(1-p_{i}\right) \cdot x_{i}^{2}+x_{i} x_{i+1}+p_{i+1} x_{i+1}^{2}=\left(\frac{x_{i}}{2 \sqrt{p_{i+1}}}+\sqrt{p_{i+1}} x_{i+1}\right)^{2} \geq 0
Summing from i=1i=1 to nn gives
i=1nxi(xi+xi+1)pn+1xn+12 \sum_{i=1}^{n} x_{i}\left(x_{i}+x_{i+1}\right) \geq-p_{n+1} x_{n+1}^{2}
One can show by induction that pk=k12kp_{k}=\frac{k-1}{2 k}. Therefore, our answer is p2017=10082017-p_{2017}=-\frac{1008}{2017}.

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.