Maths Olympiad Prep

Library / /401 of 520

Algebra Difficulty 7.2 National olympiad, round 2 Prove it

Example 20 Let n(n2)n(n \geqslant 2) be an integer, a1,a2,,anR+a_{1}, a_{2}, \cdots, a_{n} \in \mathbf{R}^{+}, prove that:
(a13+1)(a23+1)(an3+1)(a12a2+1)(a22a3+1)(an2a1+1).\left(a_{1}^{3}+1\right)\left(a_{2}^{3}+1\right) \cdots\left(a_{n}^{3}+1\right) \geqslant\left(a_{1}^{2} a_{2}+1\right)\left(a_{2}^{2} a_{3}+1\right) \cdots\left(a_{n}^{2} a_{1}+1\right) .

Solution

Prove that for positive real numbers xi,yi(i=1,2,3)x_{i}, y_{i}(i=1,2,3), we have
(xi3+yi3)(xi+yi)3\prod\left(x_{i}^{3}+y_{i}^{3}\right) \geqslant\left(\prod x_{i}+\prod y_{i}\right)^{3}

In fact, by the AM-GM inequality, we get
x13x23x33(xi3+yi3)313(i=13xi3xi3+yi3)y13y23y33(xi3+yi3)313(i=13yi3xi3+yi3)\begin{array}{l} \sqrt[3]{\frac{x_{1}^{3} x_{2}^{3} x_{3}^{3}}{\prod\left(x_{i}^{3}+y_{i}^{3}\right)}} \leqslant \frac{1}{3}\left(\sum_{i=1}^{3} \frac{x_{i}^{3}}{x_{i}^{3}+y_{i}^{3}}\right) \\ \sqrt[3]{\frac{y_{1}^{3} y_{2}^{3} y_{3}^{3}}{\prod\left(x_{i}^{3}+y_{i}^{3}\right)}} \leqslant \frac{1}{3}\left(\sum_{i=1}^{3} \frac{y_{i}^{3}}{x_{i}^{3}+y_{i}^{3}}\right) \end{array}

Therefore,
x13x23x33(xi3+yi3)3+y13y23y33(xi3+yi3)31\sqrt[3]{\frac{x_{1}^{3} x_{2}^{3} x_{3}^{3}}{\prod\left(x_{i}^{3}+y_{i}^{3}\right)}}+\sqrt[3]{\frac{y_{1}^{3} y_{2}^{3} y_{3}^{3}}{\prod\left(x_{i}^{3}+y_{i}^{3}\right)}} \leqslant 1

That is,
(xi3+yi3)(xi+yi)3. Let x1=x2=ak,x3=ak+1,an+1=a1,y1=y2=y3=1,k=1,2,,\begin{array}{c} \prod\left(x_{i}^{3}+y_{i}^{3}\right) \geqslant\left(\prod x_{i}+\prod y_{i}\right)^{3} . \\ \text { Let } x_{1}=x_{2}=a_{k}, x_{3}=a_{k+1}, a_{n+1}=a_{1}, y_{1}=y_{2}=y_{3}=1, k=1,2, \cdots, \end{array}
nn, then
(ak3+1)2(ak+13+1)(ak2ak+1+1)3,k=1,2,,n\left(a_{k}^{3}+1\right)^{2}\left(a_{k+1}^{3}+1\right) \geqslant\left(a_{k}^{2} a_{k+1}+1\right)^{3}, k=1,2, \cdots, n

Multiplying them together, we get
(ai3+1)3(ai2ai+1+1)3\prod\left(a_{i}^{3}+1\right)^{3} \geqslant \prod\left(a_{i}^{2} a_{i+1}+1\right)^{3}

Thus,
(a13+1)(a23+1)(an3+1)(a12a2+1)(a22a3+1)(an2a1+1)\left(a_{1}^{3}+1\right)\left(a_{2}^{3}+1\right) \cdots\left(a_{n}^{3}+1\right) \geqslant\left(a_{1}^{2} a_{2}+1\right)\left(a_{2}^{2} a_{3}+1\right) \cdots\left(a_{n}^{2} a_{1}+1\right)

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.