Maths Olympiad Prep

Library / IMO Team Selection Test /5 of 20

IMO Team Selection Test

Algebra Difficulty 8.2 Shortlist Prove it North Macedonia

Let a1,a2,…,ana_1, a_2, \dots, a_n be real numbers such that a1+a2+⋯+an=0a_1 + a_2 + \dots + a_n = 0. Prove that:
nn−1min⁡{a1,a2,…,an}≥min⁡{a1,a2}+min⁡{a2,a3}+⋯+min⁡{an,a1}. \frac{n}{n-1} \min\{a_1, a_2, \dots, a_n\} \ge \min\{a_1, a_2\} + \min\{a_2, a_3\} + \dots + \min\{a_n, a_1\}.

Solution

Firstly, we will prove one useful statement:
Lemma. If x1,x2,…,xn−1∈Rx_1, x_2, \dots, x_{n-1} \in \mathbb{R} are such that x1+x2+⋯+xn−1=0x_1 + x_2 + \dots + x_{n-1} = 0, then
x1+∣x1−x2∣+∣x2−x3∣+⋯+∣xn−2−xn−1∣+xn−1≥0 x_1 + |x_1 - x_2| + |x_2 - x_3| + \dots + |x_{n-2} - x_{n-1}| + x_{n-1} \ge 0
(1)
Proof. It is clear that if x1+xn−1≥0x_1 + x_{n-1} \ge 0 the inequality (1) is true.
If x1+xn−1<0x_1 + x_{n-1} < 0, then there exists ii, 2≤i≤n−22 \le i \le n-2 such that xi>0x_i > 0. From the properties of absolute value we have
∣x1−x2∣+∣x2−x3∣+⋯+∣xn−2−xn−1∣≥∣x1−xi∣+∣xi−xn−1∣=∣xi−x1∣+∣xi−xn−1∣≥xi−x1+xi−xn−1=2xi−x1−xn−1≥≥−x1−xn−1 \begin{aligned} & |x_1 - x_2| + |x_2 - x_3| + \dots + |x_{n-2} - x_{n-1}| \ge |x_1 - x_i| + |x_i - x_{n-1}| \\ &= |x_i - x_1| + |x_i - x_{n-1}| \ge x_i - x_1 + x_i - x_{n-1} = 2x_i - x_1 - x_{n-1} \ge \\ & \ge -x_1 - x_{n-1} \end{aligned}
From where (1) follows.
Since there are no other cases, we get that (1) is true, which concludes the proof of the lemma.

If we now use the equality ∣a−b∣=a+b−2min⁡{a,b}|a-b| = a+b - 2\min\{a,b\}, the inequality (1) is equivalent to the inequality
x1+x1+x2−2min⁡{x1,x2}+x2+x3−2min⁡{x2,x3}+⋯+xn−2+xn−1−2min⁡{xn−2,xn−1}+xn−1≥0x1+x2+⋯+xn−1≥min⁡{x1,x2}+min⁡{x2,x3}+⋯+min⁡{xn−2,xn−1}0≥min⁡{x1,x2}+min⁡{x2,x3}+⋯+min⁡{xn−2,xn−1}. \begin{align*} x_1 + x_1 + x_2 - 2\min\{x_1, x_2\} + x_2 + x_3 - 2\min\{x_2, x_3\} + \dots + x_{n-2} + x_{n-1} - 2\min\{x_{n-2}, x_{n-1}\} + x_{n-1} \ge 0 \\ x_1 + x_2 + \dots + x_{n-1} \ge \min\{x_1, x_2\} + \min\{x_2, x_3\} + \dots + \min\{x_{n-2}, x_{n-1}\} \\ 0 \ge \min\{x_1, x_2\} + \min\{x_2, x_3\} + \dots + \min\{x_{n-2}, x_{n-1}\}. \tag{2} \end{align*}
Now, let x1,x2,…,xn−1∈Rx_1, x_2, \dots, x_{n-1} \in \mathbb{R} be arbitrary real numbers (their sum need not be equal to 0). If we homogenize this sequence,
x1−1n−1∑i=1n−1xi,x2−1n−1∑i=1n−1xi,…,xn−1−1n−1∑i=1n−1xi, x_1 - \frac{1}{n-1} \sum_{i=1}^{n-1} x_i, x_2 - \frac{1}{n-1} \sum_{i=1}^{n-1} x_i, \dots, x_{n-1} - \frac{1}{n-1} \sum_{i=1}^{n-1} x_i,
then we have
x1−1n−1∑i=1n−1xi+x2−1n−1∑i=1n−1xi+⋯+xn−1−1n−1∑i=1n−1xi=∑i=1n−1xi−n−1n−1∑i=1n−1xi=0. x_1 - \frac{1}{n-1} \sum_{i=1}^{n-1} x_i + x_2 - \frac{1}{n-1} \sum_{i=1}^{n-1} x_i + \dots + x_{n-1} - \frac{1}{n-1} \sum_{i=1}^{n-1} x_i = \sum_{i=1}^{n-1} x_i - \frac{n-1}{n-1} \sum_{i=1}^{n-1} x_i = 0.
Therefore, for this sequence the conditions of the lemma as well as inequality (2) are fulfilled.
If we use the equality
min⁡{xj−1n−1∑i=1n−1xi,xj+1−1n−1∑i=1n−1xi}=min⁡{xj,xj+1}−1n−1∑i=1n−1xi, \min \left\{ x_j - \frac{1}{n-1} \sum_{i=1}^{n-1} x_i, x_{j+1} - \frac{1}{n-1} \sum_{i=1}^{n-1} x_i \right\} = \min \{x_j, x_{j+1}\} - \frac{1}{n-1} \sum_{i=1}^{n-1} x_i,
and we substitute it in (2), we get the inequality
n−2n−1∑i=1n−1xi≥min⁡{x1,x2}+min⁡{x2,x3}+⋯+min⁡{xn−2,xn−1}(3) \frac{n-2}{n-1} \sum_{i=1}^{n-1} x_i \geq \min\{x_1, x_2\} + \min\{x_2, x_3\} + \dots + \min\{x_{n-2}, x_{n-1}\} \quad (3)
Now we return to the proof of the problem statement. Without loss of generality we can assume
that an=min⁡{a1,a2,…,an−1,an}a_n = \min\{a_1, a_2, \dots, a_{n-1}, a_n\}. If, otherwise, ai=min⁡{a1,a2,…,an−i−1,an}a_i = \min\{a_1, a_2, \dots, a_{n-i-1}, a_n\} for some ii, 1≤i≤n−11 \le i \le n-1
then we consider the sequence b1=ai+1,…,bn−i=an,bn−i+1=ai−1,…,bn=aib_1 = a_{i+1}, \dots, b_{n-i} = a_n, b_{n-i+1} = a_{i-1}, \dots, b_n = a_i.
Therefore, if we choose xi=aix_i = a_i, for i=1,2,…,n−1i = 1, 2, \dots, n-1, by substituting in (3), we get
n−2n−1∑i=1n−1ai≥min⁡{a1,a2}+min⁡{a2,a3}+⋯+min⁡{an−2,an−1}. But from the condition a1+a2+⋯+an−1=−an, we get \begin{gather*} \frac{n-2}{n-1} \sum_{i=1}^{n-1} a_i \ge \min\{a_1, a_2\} + \min\{a_2, a_3\} + \dots + \min\{a_{n-2}, a_{n-1}\}. \text{ But from the condition } \\ a_1 + a_2 + \dots + a_{n-1} = -a_n, \text{ we get} \end{gather*}
n−2n−1an≥min⁡{a1,a2}+min⁡{a2,a3}+⋯+min⁡{an−2,an−1}. \frac{n-2}{n-1} a_n \ge \min\{a_1, a_2\} + \min\{a_2, a_3\} + \dots + \min\{a_{n-2}, a_{n-1}\}.
From the equalities an=min⁡{an−1,an}a_n = \min\{a_{n-1}, a_n\} and an=min⁡{an,a1}a_n = \min\{a_n, a_1\}, we get
2an−n−2n−1an≥min⁡{a1,a2}+min⁡{a2,a3}+⋯+min⁡{an−2,an−1}+min⁡{an−1,an}+min⁡{an,a1} 2a_n - \frac{n-2}{n-1} a_n \geq \min\{a_1, a_2\} + \min\{a_2, a_3\} + \dots + \min\{a_{n-2}, a_{n-1}\} + \min\{a_{n-1}, a_n\} + \min\{a_n, a_1\}
i.e.
nn−1min⁡{a1,a2,…,an}≥min⁡{a1,a2}+min⁡{a2,a3}+⋯+min⁡{an,a1}, \frac{n}{n-1} \min\{a_1, a_2, \dots, a_n\} \geq \min\{a_1, a_2\} + \min\{a_2, a_3\} + \dots + \min\{a_n, a_1\},
Q.E.D.

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.