Maths Olympiad Prep

Library / China National Team Selection Test /26 of 46

China National Team Selection Test

Algebra Difficulty 8.5 Shortlist Prove it China

Let x1,…,xnx_1, \dots, x_n (n≥2n \ge 2) be real numbers such that
A=∣∑i=1nxi∣≠0 A = \left| \sum_{i=1}^{n} x_i \right| \neq 0
and
B=max⁡1≤i<j≤n∣xi−xj∣≠0. B = \max_{1 \le i < j \le n} |x_i - x_j| \neq 0.
Prove that for every nn vectors α1,…,αn\alpha_1, \dots, \alpha_n on the plane, there exists a permutation (k1,k2,…,kn)(k_1, k_2, \dots, k_n) of (1,2,…,n)(1, 2, \dots, n) such that
∣∑i=1nxkiαi∣≥AB2A+Bmax⁡1≤i≤n∣αi∣. \left| \sum_{i=1}^{n} x_{k_i} \alpha_i \right| \ge \frac{AB}{2A+B} \max_{1 \le i \le n} |\alpha_i|.

Solution

Proof Let ∣αk∣=max⁡1≤i≤n∣αi∣|\alpha_k| = \max_{1 \le i \le n} |\alpha_i|. It is sufficient to prove that
max⁡(k1,…,kn)∈Sn∣∑i=1nxkiαi∣≥AB2A+B∣αk∣, \max_{(k_1, \dots, k_n) \in S_n} \left| \sum_{i=1}^{n} x_{k_i} \alpha_i \right| \ge \frac{AB}{2A+B} |\alpha_k|,
where SnS_n is the set of all permutations of (1,2,…,n)(1, 2, \dots, n).

Without loss of generality, assume
∣xn−x1∣=max⁡1≤i<j≤n∣xj−xi∣=B, |x_n - x_1| = \max_{1 \le i < j \le n} |x_j - x_i| = B,
∣αn−α1∣=max⁡1≤i<j≤n∣αj−αi∣. |\alpha_n - \alpha_1| = \max_{1 \le i < j \le n} |\alpha_j - \alpha_i|.
For the two vectors
β1=x1α1+x2α2+⋯+xn−1αn−1+xnαn, \beta_1 = x_1\alpha_1 + x_2\alpha_2 + \cdots + x_{n-1}\alpha_{n-1} + x_n\alpha_n,
β2=xnα1+x2α2+⋯+xn−1αn−1+x1αn, \beta_2 = x_n\alpha_1 + x_2\alpha_2 + \cdots + x_{n-1}\alpha_{n-1} + x_1\alpha_n,
we have
max⁡(k1,…,kn)∈Sn∣∑i=1nxkiαi∣≥max⁡{∣β1∣,∣β2∣}≥12(∣β1∣+∣β2∣)≥12∣β1−β2∣=12∣x1αn+xnα1−x1α1−xnαn∣=12∣x1−xn∣⋅∣α1−αn∣=12B∣αn−α1∣.(1) \begin{aligned} \max_{(k_1, \dots, k_n) \in S_n} \left| \sum_{i=1}^{n} x_{k_i} \alpha_i \right| & \ge \max\{|\beta_1|, |\beta_2|\} \\ & \ge \frac{1}{2} (|\beta_1| + |\beta_2|) \\ & \ge \frac{1}{2} |\beta_1 - \beta_2| \\ & = \frac{1}{2} |x_1 \alpha_n + x_n \alpha_1 - x_1 \alpha_1 - x_n \alpha_n| \\ & = \frac{1}{2} |x_1 - x_n| \cdot |\alpha_1 - \alpha_n| \\ & = \frac{1}{2} B |\alpha_n - \alpha_1|. \tag{1} \end{aligned}
Now suppose ∣αn−α1∣=x∣αk∣|\alpha_n - \alpha_1| = x |\alpha_k|. Using the Triangle Inequality, we obtain 0≤x≤20 \le x \le 2. So (1) becomes
max⁡(k1,…,kn)∈Sn∣∑i=1nxkiαi∣≥12Bx∣αk∣.(2) \max_{(k_1, \dots, k_n) \in S_n} \left| \sum_{i=1}^{n} x_{k_i} \alpha_i \right| \ge \frac{1}{2} B x |\alpha_k|. \tag{2}
On the other hand, consider the vectors
γ1=x1α1+x2α2+⋯+xn−1αn−1+xnαn \gamma_1 = x_1 \alpha_1 + x_2 \alpha_2 + \dots + x_{n-1} \alpha_{n-1} + x_n \alpha_n
γ2=x2α1+x3α2+⋯+xnαn−1+x1αn \gamma_2 = x_2 \alpha_1 + x_3 \alpha_2 + \dots + x_n \alpha_{n-1} + x_1 \alpha_n
γn=xnα1+x1α2+⋯+xn−2αn−1+xn−1αn. \gamma_n = x_n \alpha_1 + x_1 \alpha_2 + \dots + x_{n-2} \alpha_{n-1} + x_{n-1} \alpha_n.
Then we have
max⁡(k1,…,kn)∈Sn∣∑i=1nxkiαi∣≥max⁡1≤i≤n∣γi∣≥1n(∣γ1∣+⋯+∣γn∣)≥1n∣γ1+⋯+γn∣=An∣α1+⋯+αn∣=An∣nαk−∑j≠k(αk−αj)∣≥An(n∣αk∣−∑j≠k∣αk−αj∣)≥An(n∣αk∣−(n−1)∣αn−α1∣)=An(n∣αk∣−(n−1)x∣αk∣)=A(1−n−1nx)∣αk∣.3◯ \begin{aligned} \max_{(k_1, \dots, k_n) \in S_n} \left| \sum_{i=1}^n x_{k_i} \alpha_i \right| &\ge \max_{1 \le i \le n} |\gamma_i| \\ &\ge \frac{1}{n} (|\gamma_1| + \dots + |\gamma_n|) \\ &\ge \frac{1}{n} |\gamma_1 + \dots + \gamma_n| \\ &= \frac{A}{n} |\alpha_1 + \dots + \alpha_n| \\ &= \frac{A}{n} \left| n\alpha_k - \sum_{j \ne k} (\alpha_k - \alpha_j) \right| \\ &\ge \frac{A}{n} \left( n \left| \alpha_k \right| - \sum_{j \ne k} \left| \alpha_k - \alpha_j \right| \right) \\ &\ge \frac{A}{n} \left( n \left| \alpha_k \right| - (n-1) \left| \alpha_n - \alpha_1 \right| \right) \\ &= \frac{A}{n} \left( n \left| \alpha_k \right| - (n-1)x \left| \alpha_k \right| \right) \\ &= A \left( 1 - \frac{n-1}{n} x \right) |\alpha_k|. \quad \textcircled{3} \end{aligned}
From (2) and (3), it follows that
max⁡(k1,…,kn)∈Sn∣∑i=1nxkiαi∣≥max⁡{Bx2,A(1−n−1nx)}∣αk∣≥Bx2⋅A⋅n−1n+A(1−n−1nx)⋅B2A⋅n−1n+B2∣αk∣=AB2A+B−2An∣αk∣≥AB2A+B∣αk∣. \begin{aligned} \max_{(k_1, \dots, k_n) \in S_n} \left| \sum_{i=1}^n x_{k_i} \alpha_i \right| &\ge \max\left\{\frac{Bx}{2}, A\left(1 - \frac{n-1}{n}x\right)\right\} |\alpha_k| \\ &\ge \frac{\frac{Bx}{2} \cdot A \cdot \frac{n-1}{n} + A\left(1 - \frac{n-1}{n}x\right) \cdot \frac{B}{2}}{A \cdot \frac{n-1}{n} + \frac{B}{2}} |\alpha_k| \\ &= \frac{AB}{2A + B - \frac{2A}{n}} |\alpha_k| \\ &\ge \frac{AB}{2A + B} |\alpha_k|. \end{aligned}

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.