Maths Olympiad Prep

Library / /464 of 860

Algebra Difficulty 5.2 AIME, harder Find the answer

Determine the largest real number cc such that for any 2017 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.

A number or a short expression. Spacing and $ signs are ignored.

Solution

Let n=2016n=2016. Define a sequence of real numbers \left\{p_{k}\right\} 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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.