Maths Olympiad Prep

Library / /7 of 21

Algebra Difficulty 6.1 National olympiad Prove it North Macedonia

Let x1,x2,,xnx_1, x_2, \dots, x_n be positive real numbers and n3n \ge 3. Prove the inequality
x1x3x1x3+x2x4+x2x4x2x4+x3x5++xn1x1xn1x1+xnx2+xnx2xnx2+x1x3n1 \frac{x_1 x_3}{x_1 x_3 + x_2 x_4} + \frac{x_2 x_4}{x_2 x_4 + x_3 x_5} + \dots + \frac{x_{n-1} x_1}{x_{n-1} x_1 + x_n x_2} + \frac{x_n x_2}{x_n x_2 + x_1 x_3} \le n-1

Solution

In every one of the fractions xi1xi+1xi1xi+1+xixi+2\frac{x_{i-1}x_{i+1}}{x_{i-1}x_{i+1} + x_i x_{i+2}} (where i{1,2,,n}i \in \{1, 2, \dots, n\} and x0=xnx_0 = x_n and xn+1=x1x_{n+1} = x_1) we divide by xixi+2x_i x_{i+2} and if we denote yi=xi1xi+1xixi+2y_i = \frac{x_{i-1}x_{i+1}}{x_i x_{i+2}} the required inequality is transformed to the form:
y1y1+1+y2y2+1++ynyn+1n1. \frac{y_1}{y_1+1} + \frac{y_2}{y_2+1} + \dots + \frac{y_n}{y_n+1} \le n-1.
It is obvious that y1y2yn=1y_1y_2\cdots y_n = 1 and all yiy_i are positive. Now we transform the last inequality:
n(y1y1+1+y2y2+1++ynyn+1) n - \left( \frac{y_1}{y_1+1} + \frac{y_2}{y_2+1} + \dots + \frac{y_n}{y_n+1} \right)
1y1y1+1+1y2y2+1++1ynyn+11 1 - \frac{y_1}{y_1+1} + 1 - \frac{y_2}{y_2+1} + \dots + 1 - \frac{y_n}{y_n+1} \geq 1
1y1+1+1y2+1++1yn+11 \frac{1}{y_1+1} + \frac{1}{y_2+1} + \dots + \frac{1}{y_n+1} \geq 1
We will prove the last inequality by induction. For n=3n=3 it is in the form 1y1+1+1y2+1+1y3+11\frac{1}{y_1+1} + \frac{1}{y_2+1} + \frac{1}{y_3+1} \geq 1 under the condition y1y2y3=1y_1y_2y_3 = 1. Now, y3=1y1y2y_3 = \frac{1}{y_1y_2} and if we substitute this in the inequality we get: 1y1+1+1y2+1+y1y21+y1y21\frac{1}{y_1+1} + \frac{1}{y_2+1} + \frac{y_1y_2}{1+y_1y_2} \geq 1. Now if we use the inequality 1y1+1+1y2+11y1y2+1\frac{1}{y_1+1} + \frac{1}{y_2+1} \geq \frac{1}{y_1y_2+1} (which is easily proved by multiplying the two sides) we get the required result.

Now let 1y1+1+1y2+1++1yn+11\frac{1}{y_1+1} + \frac{1}{y_2+1} + \dots + \frac{1}{y_n+1} \geq 1 hold for nn. For n+1n+1 we have
1y1+1+1y2+1++1yn+1+11y1+1+1y2+1++1yn1+1+11+yn+11+yn+11y1+1+1y2+1++1yn1+1+11+ynyn+1 \frac{1}{y_1+1} + \frac{1}{y_2+1} + \dots + \frac{1}{y_{n+1}+1} \geq \frac{1}{y_1+1} + \frac{1}{y_2+1} + \dots + \frac{1}{y_{n-1}+1} + \frac{1}{1+y_n} + \frac{1}{1+y_{n+1}} \geq \\ \geq \frac{1}{y_1+1} + \frac{1}{y_2+1} + \dots + \frac{1}{y_{n-1}+1} + \frac{1}{1+y_n y_{n+1}}
where we used 1yn+1+1yn+1+11ynyn+1+1\frac{1}{y_n+1} + \frac{1}{y_{n+1}+1} \geq \frac{1}{y_n y_{n+1}+1} in a similar way as above. So now because y1y2yn+1=1y_1y_2 \cdots y_{n+1} = 1 if we denote ti=yit_i = y_i for i=1,,n1i = 1, \dots, n-1 and tn=ynyn+1t_n = y_n y_{n+1} we have t1t2tn=1t_1t_2 \cdots t_n = 1 and the last inequality is 11+t1+11+t2++11+tn\frac{1}{1+t_1} + \frac{1}{1+t_2} + \dots + \frac{1}{1+t_n} which is true according to the inductive assumption.

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 and solution reproduced as published; topic and difficulty added by this site.