Maths Olympiad Prep

Library / Brazilian Math Olympiad /59 of 66

Brazilian Math Olympiad

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+⋯+xn−1xn−2+xn−1+xn+xnxn−1+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+⋯+xnxn−1+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=ϵi−1x_i = \epsilon^{i-1}, we obtain xixi−1+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ϵn−1+1+ϵ\frac{x_1}{x_n+x_1+x_2} = \frac{1}{\epsilon^{n-1}+1+\epsilon} and xnxn−1+xn+x1=ϵn−1ϵn−2+ϵn−1+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+⋯+xnxn−1+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,…,xn−1+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+x4≤x1x1+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+⋯+xn−1xn−1+xn+xnxn−1+xn=1+n−32=⌊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 x2k−1=1x_{2k-1} = 1, k=1,2,…,⌊n/2⌋k = 1, 2, \dots, \lfloor n/2 \rfloor. For nn even, we have the summands x2k−1x2k−2+x2k−1+x2k=11+2ϵ\frac{x_{2k-1}}{x_{2k-2}+x_{2k-1}+x_{2k}} = \frac{1}{1+2\epsilon} and x2kx2k−1+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 x2k−1x2k−2+x2k−1+x2k=11+2ϵ\frac{x_{2k-1}}{x_{2k-2}+x_{2k-1}+x_{2k}} = \frac{1}{1+2\epsilon} and x2kx2k−1+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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.