Maths Olympiad Prep

Library / /56 of 63

, 2024

Algebra Difficulty 8.9 Shortlist Prove it Turkey

Let n3n \ge 3 be an integer and a1,a2,,ana_1, a_2, \dots, a_n be real numbers. For each 1kn1 \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(aiai+1)2024]i=1n(bibi+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 n3n \ge 3 and all real numbers a1,a2,,ana_1, a_2, \dots, a_n.

Solution

Answer: λ=22024\lambda = 2^{2024}.
Let xi=aiai+1x_i = a_i - a_{i+1}. Since for all real numbers
max{x,y}=x+y2+xy2 \max\{x, y\} = \frac{x+y}{2} + \left|\frac{x-y}{2}\right|
we have
bibi+1=xi+xi+12+xi+22+xi+12xi+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+xi2y_i = \frac{x_i}{2} + \left|\frac{x_i}{2}\right| and zi=xi2xi2z_i = \frac{x_i}{2} - \left|\frac{x_i}{2}\right|. Then, yi=xiy_i = x_i, zi=0z_i = 0 for xi0x_i \ge 0 and yi=0y_i = 0, zi=xiz_i = x_i for xi<0x_i < 0. Inserting it to (1) we get
(bibi+1)2024=(xi+yi+1+zi+2)202422023(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+2yi+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)2024yi+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,,n1,n,n1,,1}\{a_i\} = \{1, 2, \dots, n-1, n, n-1, \dots, 1\}. Then, λ\lambda has to satisfy the condition
λn22024(n4)+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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.