Maths Olympiad Prep

Library / /360 of 397

Algebra Difficulty 7.0 National Olympiad, round 2 Prove it Taiwan

Find the largest real number aa such that for all n1n \ge 1 and all real numbers x0,x1,,xnx_0, x_1, \dots, x_n satisfying
0=x0<x1<x2<<xn, 0 = x_0 < x_1 < x_2 < \dots < x_n,
we have
1x1x0+1x2x1++1xnxn1a(2x1+3x2++n+1xn). \frac{1}{x_1 - x_0} + \frac{1}{x_2 - x_1} + \dots + \frac{1}{x_n - x_{n-1}} \ge a \left( \frac{2}{x_1} + \frac{3}{x_2} + \dots + \frac{n+1}{x_n} \right).

Solution

The largest aa is 4/94/9.

We first show that a=4/9a = 4/9 is admissible. For each 2kn2 \le k \le n by the Cauchy-Schwarz Inequality, we have
(xk1+(xkxk1))((k1)2xk1+32xkxk1)2(k1+3)2, (x_{k-1} + (x_k - x_{k-1})) \left( \frac{(k-1)^2}{x_{k-1}} + \frac{3^2}{x_k - x_{k-1}} \right)^2 \ge (k-1+3)^2,
which can be rewritten as
9xkxk1(k+2)2xk(k1)2xk1.(1) \frac{9}{x_k - x_{k-1}} \ge \frac{(k+2)^2}{x_k} - \frac{(k-1)^2}{x_{k-1}}. \quad (1)
Summing Eq. (1) over k=2,3,,nk = 2, 3, \dots, n and adding 9/x19/x_1 to both sides, we have
9k=1n1xkxk14k=1nk+1xk+n2xn>4k=1nk+1xk. 9 \sum_{k=1}^{n} \frac{1}{x_k - x_{k-1}} \ge 4 \sum_{k=1}^{n} \frac{k+1}{x_k} + \frac{n^2}{x_n} > 4 \sum_{k=1}^{n} \frac{k+1}{x_k}.
This shows the original inequality holds for a=4/9a = 4/9.

Next, we show that a=4/9a = 4/9 is the optimal choice. Consider the sequence defined by x0=0x_0 = 0 and xk=xk1+k(k+1)x_k = x_{k-1} + k(k+1) for k1k \ge 1, that is,
xk=13k(k+1)(k+2). x_k = \frac{1}{3}k(k+1)(k+2).
Then the left-hand side of the original inequality equals
k=1n1k(k+1)=k=1n(1k1k+1)=11n+1, \sum_{k=1}^{n} \frac{1}{k(k+1)} = \sum_{k=1}^{n} \left( \frac{1}{k} - \frac{1}{k+1} \right) = 1 - \frac{1}{n+1},

ak=1nk+1xk=3ak=1n1k(k+2)=32ak=1n(1k1k+2)=32(1+121n+11n+2)a.\begin{align*} a \sum_{k=1}^{n} \frac{k+1}{x_k} &= 3a \sum_{k=1}^{n} \frac{1}{k(k+2)} \\ &= \frac{3}{2}a \sum_{k=1}^{n} \left( \frac{1}{k} - \frac{1}{k+2} \right) \\ &= \frac{3}{2} \left( 1 + \frac{1}{2} - \frac{1}{n+1} - \frac{1}{n+2} \right) a. \end{align*}

When nn tends to infinity, the left-side tends to 11 while the right-hand side tends to 94a\frac{9}{4}a. Therefore aa has to be at most 4/94/9.

Hence the largest value of aa is 4/94/9.

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 translated into English from the original; metadata (topic, difficulty) added by this project.