Maths Olympiad Prep

Track / Stage 6 / 16 of 400 #1016 of 1964

Problem 1016

National olympiad, first round
Algebra Difficulty 6.0 Prove it

Example 1 Given xiR(i=1,2,,n,n2)x_{i} \in \mathbf{R}(i=1,2, \cdots, n, n \geqslant 2), satisfying i=1nxi=1,i=1nxi=0\sum_{i=1}^{n}\left|x_{i}\right|=1, \sum_{i=1}^{n} x_{i}=0.
Prove: inxii1212n\left|\sum_{i}^{n} \frac{x_{i}}{i}\right| \leqslant \frac{1}{2}-\frac{1}{2 n}.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Proof: Let i=1nxi=A+B,i=1nxii=a+b\sum_{i=1}^{n} x_{i}=A+B, \sum_{i=1}^{n} \frac{x_{i}}{i}=a+b, where A,aA, a are the sums of positive terms, and B,bB, b are the sums of negative terms,
From the problem, we know that A+B=0,AB=1A+B=0, A-B=1,
Thus, A=B=12A=-B=\frac{1}{2},
Since AnaA,BbBn\frac{A}{n} \leqslant a \leqslant A, B \leqslant b \leqslant \frac{B}{n}, we have B+Ana+bA+BnB+\frac{A}{n} \leqslant a+b \leqslant A+\frac{B}{n},
That is, (1212n)i=1nxii1212n\left(\frac{1}{2}-\frac{1}{2 n}\right) \leqslant \sum_{i=1}^{n} \frac{x_{i}}{i} \leqslant \frac{1}{2}-\frac{1}{2 n},
Therefore, i=1nxii1212n\left|\sum_{i=1}^{n} \frac{x_{i}}{i}\right| \leqslant \frac{1}{2}-\frac{1}{2 n}.

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