Maths Olympiad Prep

Library / /36 of 224

Algebra Difficulty 5.3 AIME, harder Prove it Belarus

Given real positive numbers x1,,xnx_1, \dots, x_n (n3n \ge 3) such that x1xn=1x_1 \cdot \dots \cdot x_n = 1, prove that
x18(x14+x24)x2+x28(x24+x34)x3++xn8(xn4+x14)x1n2. \frac{x_1^8}{(x_1^4 + x_2^4)x_2} + \frac{x_2^8}{(x_2^4 + x_3^4)x_3} + \dots + \frac{x_n^8}{(x_n^4 + x_1^4)x_1} \ge \frac{n}{2}.
(I. Voronovich)

Solution

We use the following

Lemma. For any positive aa and bb the following inequality is valid
(a3+b3)22ab(a4+b4).() (a^3 + b^3)^2 \geq 2ab(a^4 + b^4). \qquad (*)
Indeed,
()a62a5b+2a3b32ab5+b60(ab)2(a4a2b2+b4)0 (*) \Leftrightarrow a^6 - 2a^5b + 2a^3b^3 - 2ab^5 + b^6 \geq 0 \Leftrightarrow (a-b)^2(a^4 - a^2b^2 + b^4) \geq 0
which is true.

Now, using the lemma, we have
i=1nxi8(xi4+xi+14)xi+1=i=1nxi9(xi4+xi+14)xixi+1i=1n2xi9(xi3+xi+13)2= \sum_{i=1}^{n} \frac{x_i^8}{(x_i^4 + x_{i+1}^4)x_{i+1}} = \sum_{i=1}^{n} \frac{x_i^9}{(x_i^4 + x_{i+1}^4)x_i x_{i+1}} \geq \sum_{i=1}^{n} \frac{2x_i^9}{(x_i^3 + x_{i+1}^3)^2} =
=2i=1n(xi3)3(xi3+xi+13)2[the Ho¨lder inequality]2(i=1nxi3)3(2i=1nxi3)2=12i=1nxi312n(x1xnn)3=n2, = 2 \sum_{i=1}^{n} \frac{(x_i^3)^3}{(x_i^3 + x_{i+1}^3)^2} \ge [\text{the H\"older inequality}] \ge 2 \frac{\left(\sum_{i=1}^{n} x_i^3\right)^3}{\left(2 \sum_{i=1}^{n} x_i^3\right)^2} = \frac{1}{2} \sum_{i=1}^{n} x_i^3 \ge \frac{1}{2} n \left(\sqrt[n]{x_1 \cdots x_n}\right)^3 = \frac{n}{2},
as was to be proved.

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.