Olympiad Maths Prep

Track / Stage 7 / 84 of 300 #1484 of 2000

Problem 1484

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.2 Prove it

74. Given positive integers n2,a1a2ann \geqslant 2, a_{1} \leqslant a_{2} \leqslant \cdots \leqslant a_{n} or a1a2ana_{1} \geqslant a_{2} \geqslant \cdots \geqslant a_{n}, and a1ana_{1} \neq a_{n}, positive numbers x,yx, y satisfy xya1a2a1an\frac{x}{y} \geqslant \frac{a_{1}-a_{2}}{a_{1}-a_{n}}, prove the inequality: a1a2x+a3y+a2a3x+a4y++an1anx+a1y+ana1x+a2ynx+y\frac{a_{1}}{a_{2} x+a_{3} y}+\frac{a_{2}}{a_{3} x+a_{4} y}+\cdots+\frac{a_{n-1}}{a_{n} x+a_{1} y}+\frac{a_{n}}{a_{1} x+a_{2} y} \geqslant \frac{n}{x+y}. (1991 Vietnam National Training Team Problem)

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

74. Let a1a2ana_{1} \geqslant a_{2} \geqslant \cdots \geqslant a_{n}, the original inequality is equivalent to
(x+y)(a1a2x+a3y+a2a3x+a4y++an1anx+a1y+ana1x+a2yn(x+y)\left(\frac{a_{1}}{a_{2} x+a_{3} y}+\frac{a_{2}}{a_{3} x+a_{4} y}+\cdots+\frac{a_{n-1}}{a_{n} x+a_{1} y}+\frac{a_{n}}{a_{1} x+a_{2} y} \geqslant n\right.

Let an+1=a1,an+2=a2a_{n+1}=a_{1}, a_{n+2}=a_{2}, by the AM-GM inequality we have
i=1naix+ai+1yai+1x+ai+2yni=1naix+ai+1yai+1x+ai+2yn=n\sum_{i=1}^{n} \frac{a_{i} x+a_{i+1} y}{a_{i+1} x+a_{i+2} y} \geqslant n \sqrt[n]{\prod_{i=1}^{n} \frac{a_{i} x+a_{i+1} y}{a_{i+1} x+a_{i+2} y}}=n

It suffices to prove
(x+y)i=1naiai+1x+ai+2yi=1naix+ai+1yai+1x+ai+2y(x+y) \sum_{i=1}^{n} \frac{a_{i}}{a_{i+1} x+a_{i+2} y} \geqslant \sum_{i=1}^{n} \frac{a_{i} x+a_{i+1} y}{a_{i+1} x+a_{i+2} y}

And
(x+y)i=1naiai+1x+ai+2yi=1naix+ai+1yai+1x+ai+2y=i=1n(aiai+1)yai+1x+ai+2y=yi=1naiai+1ai+1x+ai+2y\begin{array}{l} (x+y) \sum_{i=1}^{n} \frac{a_{i}}{a_{i+1} x+a_{i+2} y}-\sum_{i=1}^{n} \frac{a_{i} x+a_{i+1} y}{a_{i+1} x+a_{i+2} y}= \\ \sum_{i=1}^{n} \frac{\left(a_{i}-a_{i+1}\right) y}{a_{i+1} x+a_{i+2} y}= \\ y \sum_{i=1}^{n} \frac{a_{i}-a_{i+1}}{a_{i+1} x+a_{i+2} y} \end{array}

So it suffices to prove
i=1naiai+1ai+1x+ai+2y0\sum_{i=1}^{n} \frac{a_{i}-a_{i+1}}{a_{i+1} x+a_{i+2} y} \geqslant 0

Also
i=1naiai+1ai+1x+ai+2y=i=1n1aiai+1ai+1x+ai+2ya1ana1x+a2y=i=1n1aiai+1ai+1x+ai+2yi=1n1aiai+1a1x+a2y=i=1n1(aiai+1)(1ai+1x+ai+2y1a1x+a2y)\begin{aligned} \sum_{i=1}^{n} \frac{a_{i}-a_{i+1}}{a_{i+1} x+a_{i+2} y}= & \sum_{i=1}^{n-1} \frac{a_{i}-a_{i+1}}{a_{i+1} x+a_{i+2} y}-\frac{a_{1}-a_{n}}{a_{1} x+a_{2} y}= \\ & \sum_{i=1}^{n-1} \frac{a_{i}-a_{i+1}}{a_{i+1} x+a_{i+2} y}-\sum_{i=1}^{n-1} \frac{a_{i}-a_{i+1}}{a_{1} x+a_{2} y}= \\ & \sum_{i=1}^{n-1}\left(a_{i}-a_{i+1}\right)\left(\frac{1}{a_{i+1} x+a_{i+2} y}-\frac{1}{a_{1} x+a_{2} y}\right) \end{aligned}

Since aiai+1,i=1,2,,n1a_{i} \geqslant a_{i+1}, i=1,2, \cdots, n-1, for i=1,2,,n2i=1,2, \cdots, n-2, we have aiai+10a_{i}-a_{i+1} \geqslant 0, a1ai+1,a2ai+2a_{1} \geqslant a_{i+1}, a_{2} \geqslant a_{i+2}, thus,
1ai+1x+ai+2y1a1x+a2y\frac{1}{a_{i+1} x+a_{i+2} y} \geqslant \frac{1}{a_{1} x+a_{2} y}

At this point (aiai+1)(1ai+1x+ai+2y1a1x+a2y)0,i=1,2,,n2\left(a_{i}-a_{i+1}\right)\left(\frac{1}{a_{i+1} x+a_{i+2} y}-\frac{1}{a_{1} x+a_{2} y}\right) \geqslant 0, i=1,2, \cdots, n-2.
For i=n1,an1an0i=n-1, a_{n-1}-a_{n} \geqslant 0, given condition xya1a2a1an(a1an)x(a1\frac{x}{y} \geqslant \frac{a_{1}-a_{2}}{a_{1}-a_{n}} \Leftrightarrow\left(a_{1}-a_{n}\right) x \geqslant\left(a_{1}-\right. a2)ya1x+a2yanx+a1y1anx+a1y1a1x+a2y\left.a_{2}\right) y \Leftrightarrow a_{1} x+a_{2} y \geqslant a_{n} x+a_{1} y \Leftrightarrow \frac{1}{a_{n} x+a_{1} y} \geqslant \frac{1}{a_{1} x+a_{2} y}, so ( an1a_{n-1}-
an)(1anx+a1y1a1x+a2y)0\left.a_{n}\right)\left(\frac{1}{a_{n} x+a_{1} y}-\frac{1}{a_{1} x+a_{2} y}\right) \geqslant 0

In summary, i=1n1(aiai+1)(1ai+1x+ai+2y1a1x+a2y)0\sum_{i=1}^{n-1}\left(a_{i}-a_{i+1}\right)\left(\frac{1}{a_{i+1} x+a_{i+2} y}-\frac{1}{a_{1} x+a_{2} y}\right) \geqslant 0. Therefore, the original inequality holds.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.