Maths Olympiad Prep

Library / /128 of 299

Algebra Difficulty 6.4 National Olympiad Prove it Iran

We call a sequence a0,,a1389a_0, \ldots, a_{1389} of real numbers concave if for every 0<i<13890 < i < 1389 we have aiai1+ai+12a_i \ge \frac{a_{i-1} + a_{i+1}}{2}. Find the maximum number cc such that for every concave sequence of nonnegative numbers, we have
i=01389iai2ci=01389ai2 \sum_{i=0}^{1389} i a_i^2 \ge c \sum_{i=0}^{1389} a_i^2

Solution

First consider the concave sequence ai=(1389i)da_i = (1389 - i)d, 0i13890 \le i \le 1389, d>0d > 0. Note that the maximum possible value of cc for this sequence is c0=i=01389iai2i=01389ai2=138925×13894×13892c_0 = \frac{\sum_{i=0}^{1389} i a_i^2}{\sum_{i=0}^{1389} a_i^2} = \frac{1389^2 - 5 \times 1389}{4 \times 1389 - 2}.

Now we claim that for every concave sequence aia_i, we have i=01389iai2c0i=01389ai2\sum_{i=0}^{1389} i a_i^2 \ge c_0 \sum_{i=0}^{1389} a_i^2, and since we have the above equality, c0c_0 must be the answer.
Consider a concave sequence a0,a1,,a1389a_0, a_1, \dots, a_{1389}, we define
bi=(1389i)ac01389c0 b_i = (1389 - i) \frac{a_{\lfloor c_0 \rfloor}}{1389 - \lfloor c_0 \rfloor}
Indeed we are trying to make the sequence linear. Now we must prove that:
i=c1389(ic)ai2i=0c(ci)ai2 \sum_{i=\lfloor c \rfloor}^{1389} (i-c)a_i^2 \ge \sum_{i=0}^{\lfloor c \rfloor} (c-i)a_i^2
Considering the definition of bib_i and its linearity, and the fact that ac0=bc0a_{\lfloor c_0 \rfloor} = b_{\lfloor c_0 \rfloor}, a1389b1389a_{1389} \ge b_{1389}, easily it can be proved that if ic0i \ge \lfloor c_0 \rfloor then aibia_i \ge b_i, and if ic0i \le \lfloor c_0 \rfloor then aibia_i \le b_i. So we have:
i=c01389(ic0)ai2i=c01389(ic0)bi2i=0c0(c0i)bi2i=0c0(c0i)ai2 \sum_{i=\lfloor c_0 \rfloor}^{1389} (i - c_0)a_i^2 \ge \sum_{i=\lfloor c_0 \rfloor}^{1389} (i - c_0)b_i^2 \ge \sum_{i=0}^{\lfloor c_0 \rfloor} (c_0 - i)b_i^2 \ge \sum_{i=0}^{\lfloor c_0 \rfloor} (c_0 - i)a_i^2
So the desired cc equals to c0=138925×13894×13892c_0 = \frac{1389^2 - 5 \times 1389}{4 \times 1389 - 2}.

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.