Maths Olympiad Prep

Library / Team Selection Test for IMO /48 of 55

Team Selection Test for IMO, 2024

Algebra Difficulty 8.9 Shortlist Prove it Turkey

Let n≥3n \ge 3 be an integer and a1,a2,…,ana_1, a_2, \dots, a_n be real numbers. For each 1≤k≤n1 \le k \le n the real numbers b1,b2,…,bn+1b_1, b_2, \dots, b_{n+1} are defined by

bk=ak+max⁡{ak+1,ak+2}2 b_k = \frac{a_k + \max\{a_{k+1}, a_{k+2}\}}{2}
and bn+1=b1b_{n+1} = b_1 (an+1=a1a_{n+1} = a_1 and an+2=a2a_{n+2} = a_2). Find the smallest λ\lambda such that the inequality
λ[∑i=1n(ai−ai+1)2024]≥∑i=1n(bi−bi+1)2024 \lambda \left[ \sum_{i=1}^{n} (a_i - a_{i+1})^{2024} \right] \geq \sum_{i=1}^{n} (b_i - b_{i+1})^{2024}
is held for each n≥3n \ge 3 and all real numbers a1,a2,…,ana_1, a_2, \dots, a_n.

Solution

Answer: λ=22024\lambda = 2^{2024}.
Let xi=ai−ai+1x_i = a_i - a_{i+1}. Since for all real numbers
max⁡{x,y}=x+y2+∣x−y2∣ \max\{x, y\} = \frac{x+y}{2} + \left|\frac{x-y}{2}\right|
we have
bi−bi+1=xi+xi+12+xi+22+∣xi+12−xi+22∣(1) b_i - b_{i+1} = x_i + \frac{x_{i+1}}{2} + \frac{x_{i+2}}{2} + \left| \frac{x_{i+1}}{2} - \frac{x_{i+2}}{2} \right| \quad (1)

Let yi=xi2+∣xi2∣y_i = \frac{x_i}{2} + \left|\frac{x_i}{2}\right| and zi=xi2−∣xi2∣z_i = \frac{x_i}{2} - \left|\frac{x_i}{2}\right|. Then, yi=xiy_i = x_i, zi=0z_i = 0 for xi≥0x_i \ge 0 and yi=0y_i = 0, zi=xiz_i = x_i for xi<0x_i < 0. Inserting it to (1) we get
(bi−bi+1)2024=(xi+yi+1+zi+2)2024≤22023(xi2024+(yi+1+zi+2)2024)(2) (b_i - b_{i+1})^{2024} = (x_i + y_{i+1} + z_{i+2})^{2024} \le 2^{2023} (x_i^{2024} + (y_{i+1} + z_{i+2})^{2024}) \quad (2)
by the Power Mean Inequality. Because yiy_i is always a non-negative real number and ziz_i is always a non-positive real number, we have
∣yi+1+zi+2∣≤∣yi+1∣+∣zi+2∣ |y_{i+1} + z_{i+2}| \le |y_{i+1}| + |z_{i+2}|
which in turn implies that
(yi+1+zi+2)2024≤yi+12024+zi+22024 (y_{i+1} + z_{i+2})^{2024} \le y_{i+1}^{2024} + z_{i+2}^{2024}

Since yi2024+zi2024=xi2024y_i^{2024} + z_i^{2024} = x_i^{2024} for all indices ii, by summing the inequalities (2) for all indices ii we get the desired inequality.
To prove that λ=22024\lambda = 2^{2024} is the best possible value, consider n=2mn = 2m and choose the sequence as {ai}={1,2,…,n−1,n,n−1,…,1}\{a_i\} = \{1, 2, \dots, n-1, n, n-1, \dots, 1\}. Then, λ\lambda has to satisfy the condition
λ⋅n≥22024(n−4)+1+1+0+0 \lambda \cdot n \geq 2^{2024} (n-4) + 1 + 1 + 0 + 0
for every nn. Taking nn to infinity, we see that λ\lambda should be at least 220242^{2024}.

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.