Maths Olympiad Prep

Library / /327 of 520

Combinatorics Difficulty 7.0 National olympiad Prove it

9・260 Let x1,x2,,xnx_{1}, x_{2}, \cdots, x_{n} be real numbers satisfying the following conditions.
x1+x2++xn=1\left|x_{1}+x_{2}+\cdots+x_{n}\right|=1

and xin+12,i=1,2,,n\quad\left|x_{i}\right| \leqslant \frac{n+1}{2}, i=1,2, \cdots, n.
Prove: There exists a permutation y1,y2,,yny_{1}, y_{2}, \cdots, y_{n} of x1,x2,,xnx_{1}, x_{2}, \cdots, x_{n}, such that y1+2y2++nynn+12\left|y_{1}+2 y_{2}+\cdots+n y_{n}\right| \leqslant \frac{n+1}{2}

Solution

[Proof] For any permutation π=(y1,y2,,yn)\pi=\left(y_{1}, y_{2}, \cdots, y_{n}\right) of x1,x2,,xnx_{1}, x_{2}, \cdots, x_{n}. Let
S(π)=y1+2y2++nynS(\pi)=y_{1}+2 y_{2}+\cdots+n y_{n}

and
r=n+12r=\frac{n+1}{2} \text {. }

We need to prove that there exists a permutation π\pi such that S(π)r|S(\pi)| \leqslant r.
 Let π0=(x1,x2,,xn),πˉ=(xn,xn1,,x1)\text { Let } \pi_{0}=\left(x_{1}, x_{2}, \cdots, x_{n}\right), \bar{\pi}=\left(x_{n}, x_{n-1}, \cdots, x_{1}\right) \text {. }

If S(π0)r|S(\pi_{0})| \leqslant r or S(πˉ)r|S(\bar{\pi})| \leqslant r, then the problem is solved. If S(π0)>r|S(\pi_{0})|>r and S(πˉ)>r|S(\bar{\pi})|>r. Notice that
S(π0)+S(πˉ)=(x1+2x2++nxn)+(xn+2xn1++nx1)=(n+1)(x1+x2++xn),\begin{aligned} S(\pi_{0})+S(\bar{\pi}) & =\left(x_{1}+2 x_{2}+\cdots+n x_{n}\right)+\left(x_{n}+2 x_{n-1}+\cdots+n x_{1}\right) \\ & =(n+1)\left(x_{1}+x_{2}+\cdots+x_{n}\right), \end{aligned}

so S(π0)+S(πˉ)=n+1=2r\quad|S(\pi_{0})+S(\bar{\pi})|=n+1=2 r.
Since S(π0)|S(\pi_{0})| and S(πˉ)|S(\bar{\pi})| are both greater than rr, S(π0)S(\pi_{0}) and S(πˉ)S(\bar{\pi}) have opposite signs, and one of them is greater than rr while the other is less than r-r.

Starting from π0\pi_{0}, by swapping the positions of two adjacent elements several times, we can obtain any permutation. In particular, there exists a sequence of permutations
π0,π1,π2,,πm\pi_{0}, \pi_{1}, \pi_{2}, \cdots, \pi_{m}

where πm=πˉ\pi_{m}=\bar{\pi}, and for each i{0,1,,m1}i \in\{0,1, \cdots, m-1\}, permutation πi+1\pi_{i+1} is obtained by swapping the positions of two adjacent elements in πi\pi_{i}. That is, if
πi=(y1,y2,,yn),πi+1=(z1,z2,,zn)\pi_{i}=\left(y_{1}, y_{2}, \cdots, y_{n}\right), \pi_{i+1}=\left(z_{1}, z_{2}, \cdots, z_{n}\right), then there exists k{1,2,,n1}k \in\{1,2, \cdots, n-1\}, such that
zk=yk+1,zk+1=yk;zj=yj,j{k,k+1}z_{k}=y_{k+1}, z_{k+1}=y_{k} ; z_{j}=y_{j}, j \notin\{k, k+1\}. Since xir|x_{i}| \leqslant r, i=1,2,,ni=1,2, \cdots, n, we have
S(πi+1)S(πi)=kzk+(k+1)zk+1kyk(k+1)yk+1=ykyk+1yk+yk+12r.\begin{aligned} & |S(\pi_{i+1})-S(\pi_{i})|=\left|k z_{k}+(k+1) z_{k+1}-k y_{k}-(k+1) y_{k+1}\right| \\ = & \left|y_{k}-y_{k+1}\right| \leqslant\left|y_{k}\right|+\left|y_{k+1}\right| \leqslant 2 r . \end{aligned}

This means that in the sequence S(π0),S(π1),,S(πm)S(\pi_{0}), S(\pi_{1}), \cdots, S(\pi_{m}), the distance between any two adjacent numbers does not exceed 2r2 r. Noting that S(π0)S(\pi_{0}) and S(πm)S(\pi_{m}) both fall outside the interval [r,r][-r, r], and are on opposite sides of the interval, at least one number S(πi)S(\pi_{i}) must fall within the interval. That is, there exists a permutation πi\pi_{i} such that
S(πi)r.|S(\pi_{i})| \leqslant r .

Thus, the original proposition is proved.

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.