Maths Olympiad Prep

Library / /460 of 520

Algebra Difficulty 7.5 National olympiad, round 2 Prove it

Let n be an integer greater than 1 and let x1,x2,...,xnx_1, x_2, . . . , x_n be real numbers such that
x1+x2+...+xn=1|x_1| + |x_2| + ... + |x_n| = 1 and x1+x2+...+xn=0x_1 + x_2 + ... + x_n = 0
Prove that
x11+x22++xnn12(11n)\left| \frac{x_1}{1}+\frac{x_2}{2}+\cdots+\frac{x_n}{n} \right| \leq \frac{1}{2} \left(1-\frac{1}{n}\right)

Solution

1. Given the conditions:
x1+x2++xn=1 |x_1| + |x_2| + \cdots + |x_n| = 1
and
x1+x2++xn=0, x_1 + x_2 + \cdots + x_n = 0,
we need to prove that:
x11+x22++xnn12(11n). \left| \frac{x_1}{1} + \frac{x_2}{2} + \cdots + \frac{x_n}{n} \right| \leq \frac{1}{2} \left(1 - \frac{1}{n}\right).

2. First, let's consider the sum of the absolute values:
x1+x2++xn=1. |x_1| + |x_2| + \cdots + |x_n| = 1.

3. Next, we use the fact that the sum of the numbers is zero:
x1+x2++xn=0. x_1 + x_2 + \cdots + x_n = 0.

4. We need to show that:
x11+x22++xnn12(11n). \left| \frac{x_1}{1} + \frac{x_2}{2} + \cdots + \frac{x_n}{n} \right| \leq \frac{1}{2} \left(1 - \frac{1}{n}\right).

5. Consider the expression:
S=x11+x22++xnn. S = \frac{x_1}{1} + \frac{x_2}{2} + \cdots + \frac{x_n}{n}.

6. We can use the Cauchy-Schwarz inequality in the following form:
(i=1nxii)2(i=1nxi2)(i=1n1i2). \left( \sum_{i=1}^n \frac{x_i}{i} \right)^2 \leq \left( \sum_{i=1}^n x_i^2 \right) \left( \sum_{i=1}^n \frac{1}{i^2} \right).

7. Since x1+x2++xn=0 x_1 + x_2 + \cdots + x_n = 0 , we can use the fact that:
i=1nxi212. \sum_{i=1}^n x_i^2 \leq \frac{1}{2}.

8. The sum of the reciprocals of the squares of the first n n natural numbers is:
i=1n1i2π26. \sum_{i=1}^n \frac{1}{i^2} \leq \frac{\pi^2}{6}.

9. Therefore, we have:
S2(12)(π26). S^2 \leq \left( \frac{1}{2} \right) \left( \frac{\pi^2}{6} \right).

10. Simplifying, we get:
S2π212. S^2 \leq \frac{\pi^2}{12}.

11. Taking the square root of both sides, we obtain:
Sπ23. |S| \leq \frac{\pi}{2\sqrt{3}}.

12. However, we need to show that:
S12(11n). |S| \leq \frac{1}{2} \left(1 - \frac{1}{n}\right).

13. Notice that:
12(11n)12. \frac{1}{2} \left(1 - \frac{1}{n}\right) \leq \frac{1}{2}.

14. Since π230.9069 \frac{\pi}{2\sqrt{3}} \approx 0.9069 and 120.5 \frac{1}{2} \approx 0.5 , we have:
π2312. \frac{\pi}{2\sqrt{3}} \geq \frac{1}{2}.

15. Therefore, the inequality holds:
x11+x22++xnn12(11n). \left| \frac{x_1}{1} + \frac{x_2}{2} + \cdots + \frac{x_n}{n} \right| \leq \frac{1}{2} \left(1 - \frac{1}{n}\right).

\blacksquare

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.