Maths Olympiad Prep

Library / /15 of 16

Algebra Difficulty 7.0 National olympiad Prove it Brazil

Let n>3n > 3 be a fixed integer and x1,x2,,xnx_1, x_2, \dots, x_n be positive real numbers. Find, in terms of nn, all possible real values of
x1xn+x1+x2+x2x1+x2+x3++xn1xn2+xn1+xn+xnxn1+xn+x1 \frac{x_1}{x_n + x_1 + x_2} + \frac{x_2}{x_1 + x_2 + x_3} + \dots + \frac{x_{n-1}}{x_{n-2} + x_{n-1} + x_n} + \frac{x_n}{x_{n-1} + x_n + x_1}

Solution

The answer is all real numbers in the interval ]1,n/2[]1, \lfloor n/2 \rfloor[. For simplicity, let
E=x1xn+x1+x2+x2x1+x2+x3+x3x2+x3+x4++xnxn1+xn+x1. E = \frac{x_1}{x_n + x_1 + x_2} + \frac{x_2}{x_1 + x_2 + x_3} + \frac{x_3}{x_2 + x_3 + x_4} + \dots + \frac{x_n}{x_{n-1} + x_n + x_1}.
Let's prove first the lower bound. Let S=x1+x2++xnS = x_1 + x_2 + \dots + x_n. First notice that
E>x1S+x2S+x3S++xnS=x1+x2++xnS=1. E > \frac{x_1}{S} + \frac{x_2}{S} + \frac{x_3}{S} + \dots + \frac{x_n}{S} = \frac{x_1 + x_2 + \dots + x_n}{S} = 1.
By making, say, xi=ϵi1x_i = \epsilon^{i-1}, we obtain xixi1+xi+xi+1=ϵ1+ϵ+ϵ2\frac{x_i}{x_{i-1}+x_i+x_{i+1}} = \frac{\epsilon}{1+\epsilon+\epsilon^2} for 1<i<n1 < i < n, x1xn+x1+x2=1ϵn1+1+ϵ\frac{x_1}{x_n+x_1+x_2} = \frac{1}{\epsilon^{n-1}+1+\epsilon} and xnxn1+xn+x1=ϵn1ϵn2+ϵn1+1\frac{x_n}{x_{n-1}+x_n+x_1} = \frac{\epsilon^{n-1}}{\epsilon^{n-2}+\epsilon^{n-1}+1}. Thus, by making ϵ\epsilon very small we obtain EE arbitrarily close to 1.

Now, for the upper bound, notice that, for nn even,
E<x1x1+x2+x2x1+x2+x3x3+x4+x4x3+x4++xnxn1+xn=n2=n2 E < \frac{x_1}{x_1 + x_2} + \frac{x_2}{x_1 + x_2} + \frac{x_3}{x_3 + x_4} + \frac{x_4}{x_3 + x_4} + \dots + \frac{x_n}{x_{n-1} + x_n} = \frac{n}{2} = \lfloor \frac{n}{2} \rfloor
For nn odd, suppose without loss of generality that the minimum of the denominators xn+x1+x2,x1+x2+x3,,xn1+xn+x1x_n + x_1 + x_2, x_1 + x_2 + x_3, \dots, x_{n-1} + x_n + x_1 is x1+x2+x3x_1 + x_2 + x_3. Thus
x1xn+x1+x2+x2x1+x2+x3+x3x2+x3+x4x1x1+x2+x3+x2x1+x2+x3+x3x1+x2+x3=1 \frac{x_1}{x_n + x_1 + x_2} + \frac{x_2}{x_1 + x_2 + x_3} + \frac{x_3}{x_2 + x_3 + x_4} \le \frac{x_1}{x_1 + x_2 + x_3} + \frac{x_2}{x_1 + x_2 + x_3} + \frac{x_3}{x_1 + x_2 + x_3} = 1
This implies
E<1+x4x4+x5+x5x4+x5+x6x6+x7+x7x6+x7++xn1xn1+xn+xnxn1+xn=1+n32=n2 \begin{aligned} E < 1 &+ \frac{x_4}{x_4+x_5} + \frac{x_5}{x_4+x_5} + \frac{x_6}{x_6+x_7} + \frac{x_7}{x_6+x_7} + \dots + \frac{x_{n-1}}{x_{n-1}+x_n} + \frac{x_n}{x_{n-1}+x_n} \\ = 1 &+ \frac{n-3}{2} = \lfloor \frac{n}{2} \rfloor \end{aligned}
Now, to attain the upper bound, choose x2k=ϵx_{2k} = \epsilon and x2k1=1x_{2k-1} = 1, k=1,2,,n/2k = 1, 2, \dots, \lfloor n/2 \rfloor. For nn even, we have the summands x2k1x2k2+x2k1+x2k=11+2ϵ\frac{x_{2k-1}}{x_{2k-2}+x_{2k-1}+x_{2k}} = \frac{1}{1+2\epsilon} and x2kx2k1+x2k+x2k+1=ϵ2+ϵ\frac{x_{2k}}{x_{2k-1}+x_{2k}+x_{2k+1}} = \frac{\epsilon}{2+\epsilon} and EE gets arbitrarily close to n/2n/2 as ϵ\epsilon gets small. For nn odd, notice that x1=xn=ϵx_1 = x_n = \epsilon, so x2k1x2k2+x2k1+x2k=11+2ϵ\frac{x_{2k-1}}{x_{2k-2}+x_{2k-1}+x_{2k}} = \frac{1}{1+2\epsilon} and x2kx2k1+x2k+x2k+1=ϵ2+ϵ\frac{x_{2k}}{x_{2k-1}+x_{2k}+x_{2k+1}} = \frac{\epsilon}{2+\epsilon} and EE gets arbitrarily close to n/2\lfloor n/2 \rfloor as ϵ\epsilon gets small.

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.