Maths Olympiad Prep

Library / /51 of 55

, 2016

Algebra Difficulty 9.1 IMO level Prove it IMO

Determine the largest real number aa such that for all n1n \geqslant 1 and for all real numbers x0,x1,,xnx_{0}, x_{1}, \ldots, x_{n} satisfying 0=x0<x1<x2<<xn0=x_{0}<x_{1}<x_{2}<\cdots<x_{n}, we have
1x1x0+1x2x1++1xnxn1a(2x1+3x2++n+1xn) \frac{1}{x_{1}-x_{0}}+\frac{1}{x_{2}-x_{1}}+\cdots+\frac{1}{x_{n}-x_{n-1}} \geqslant a\left(\frac{2}{x_{1}}+\frac{3}{x_{2}}+\cdots+\frac{n+1}{x_{n}}\right)

Solutions — 2

Solution 1

We first show that a=49a=\frac{4}{9} is admissible. For each 2kn2 \leqslant k \leqslant n, by the Cauchy-Schwarz Inequality, we have
(xk1+(xkxk1))((k1)2xk1+32xkxk1)(k1+3)2 \left(x_{k-1}+\left(x_{k}-x_{k-1}\right)\right)\left(\frac{(k-1)^{2}}{x_{k-1}}+\frac{3^{2}}{x_{k}-x_{k-1}}\right) \geqslant(k-1+3)^{2}
which can be rewritten as
9xkxk1(k+2)2xk(k1)2xk1(2) \frac{9}{x_{k}-x_{k-1}} \geqslant \frac{(k+2)^{2}}{x_{k}}-\frac{(k-1)^{2}}{x_{k-1}} \tag{2}
Summing (2) over k=2,3,,nk=2,3, \ldots, n and adding 9x1\frac{9}{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}} \geqslant 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 (1) holds for a=49a=\frac{4}{9}.

Next, we show that a=49a=\frac{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 \geqslant 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 (1) 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}
while the right-hand side equals
ak=1nk+1xk=3ak=1n1k(k+2)=32ak=1n(1k1k+2)=32(1+121n+11n+2)a. a \sum_{k=1}^{n} \frac{k+1}{x_{k}}=3 a \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 .
When nn tends to infinity, the left-hand side tends to 1 while the right-hand side tends to 94a\frac{9}{4} a. Therefore aa has to be at most 49\frac{4}{9}.

Hence the largest value of aa is 49\frac{4}{9}.

Solution 2

We shall give an alternative method to establish (1) with a=49a=\frac{4}{9}. We define yk=xkxk1>0y_{k}=x_{k}-x_{k-1}>0 for 1kn1 \leqslant k \leqslant n. By the Cauchy-Schwarz Inequality, for 1kn1 \leqslant k \leqslant n, we have
(y1+y2++yk)(j=1k1yj(j+12)2)((22)+(32)++(k+12))2=(k+23)2. \left(y_{1}+y_{2}+\cdots+y_{k}\right)\left(\sum_{j=1}^{k} \frac{1}{y_{j}}\binom{j+1}{2}^{2}\right) \geqslant\left(\binom{2}{2}+\binom{3}{2}+\cdots+\binom{k+1}{2}\right)^{2}=\binom{k+2}{3}^{2} .
This can be rewritten as
k+1y1+y2++yk36k2(k+1)(k+2)2(j=1k1yj(j+12)2)(3) \frac{k+1}{y_{1}+y_{2}+\cdots+y_{k}} \leqslant \frac{36}{k^{2}(k+1)(k+2)^{2}}\left(\sum_{j=1}^{k} \frac{1}{y_{j}}\binom{j+1}{2}^{2}\right) \tag{3}
Summing (3) over k=1,2,,nk=1,2, \ldots, n, we get
2y1+3y1+y2++n+1y1+y2++ync1y1+c2y2++cnyn(4) \frac{2}{y_{1}}+\frac{3}{y_{1}+y_{2}}+\cdots+\frac{n+1}{y_{1}+y_{2}+\cdots+y_{n}} \leqslant \frac{c_{1}}{y_{1}}+\frac{c_{2}}{y_{2}}+\cdots+\frac{c_{n}}{y_{n}} \tag{4}
where for 1mn1 \leqslant m \leqslant n,
cm=36(m+12)2k=mn1k2(k+1)(k+2)2=9m2(m+1)24k=mn(1k2(k+1)21(k+1)2(k+2)2)=9m2(m+1)24(1m2(m+1)21(n+1)2(n+2)2)<94 \begin{aligned} c_{m} & =36\binom{m+1}{2}^{2} \sum_{k=m}^{n} \frac{1}{k^{2}(k+1)(k+2)^{2}} \\ & =\frac{9 m^{2}(m+1)^{2}}{4} \sum_{k=m}^{n}\left(\frac{1}{k^{2}(k+1)^{2}}-\frac{1}{(k+1)^{2}(k+2)^{2}}\right) \\ & =\frac{9 m^{2}(m+1)^{2}}{4}\left(\frac{1}{m^{2}(m+1)^{2}}-\frac{1}{(n+1)^{2}(n+2)^{2}}\right)<\frac{9}{4} \end{aligned}
From (4), the inequality (1) holds for a=49a=\frac{4}{9}. This is also the upper bound as can be verified in the same way as Solution 1.

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.