Maths Olympiad Prep

Track / Stage 7 / 267 of 300 #1667 of 1964

Problem 1667

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.7 Prove it

55. Let a1,a2,,ana_{1}, a_{2}, \cdots, a_{n} be an infinite sequence of real numbers, such that for all positive integers ii, there exists a real number cc such that 0aic0 \leqslant a_{i} \leqslant c, and aiaj1i+j\left|a_{i}-a_{j}\right| \geqslant \frac{1}{i+j}, for all positive integers i,j(ij)i, j(i \neq j). Prove: c1c \geqslant 1. (43rd IMO Shortlist Problem)

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

For n2n \geqslant 2, let σ(1),σ(2),,σ(n)\sigma(1), \sigma(2), \cdots, \sigma(n) be a permutation of 1,2,,n1,2, \cdots, n, and satisfy 0aσ(1)<aσ(2)<<aσ(n)c0 \leqslant a_{\sigma(1)}<a_{\sigma(2)}<\cdots<a_{\sigma(n)} \leqslant c, then
caσ(n)aσ(1)(aσ(n)aσ(n1))+(aσ(n1)aσ(n2))++(aσ(2)aσ(1))1σ(n)+σ(n1)+1σ(n1)+σ(n2)++1σ(2)+σ(1)\begin{array}{l} c \geqslant a_{\sigma(n)}-a_{\sigma(1)} \geqslant\left(a_{\sigma(n)}-a_{\sigma(n-1)}\right)+ \\ \left(a_{\sigma(n-1)}-a_{\sigma(n-2)}\right)+\cdots+\left(a_{\sigma(2)}-a_{\sigma(1)}\right) \geqslant \\ \frac{1}{\sigma(n)+\sigma(n-1)}+\frac{1}{\sigma(n-1)+\sigma(n-2)}+\cdots+\frac{1}{\sigma(2)+\sigma(1)} \end{array}

By the Cauchy-Schwarz inequality
[1σ(n)+σ(n1)+1σ(n1)+σ(n2)++1σ(2)+σ(1)][(σ(n)+σ(n1))+(σ(n1)+σ(n2))++(σ(2)+σ(1))](n1)2\begin{array}{l} {\left[\frac{1}{\sigma(n)+\sigma(n-1)}+\frac{1}{\sigma(n-1)+\sigma(n-2)}+\cdots+\frac{1}{\sigma(2)+\sigma(1)}\right]} \\ {[(\sigma(n)+\sigma(n-1))+(\sigma(n-1)+\sigma(n-2))+\cdots+(\sigma(2)+\sigma(1))] \geqslant} \\ (n-1)^{2} \end{array}

we get
c(n1)22[σ(1)+σ(2)++σ(n1)+σ(n)]σ(1)σ(n)=(n1)2n(n+1)σ(1)σ(n)(n1)2n(n+1)3n1n+3=14n+3\begin{aligned} c \geqslant & \frac{(n-1)^{2}}{2[\sigma(1)+\sigma(2)+\cdots+\sigma(n-1)+\sigma(n)]-\sigma(1)-\sigma(n)}= \\ & \frac{(n-1)^{2}}{n(n+1)-\sigma(1)-\sigma(n)} \geqslant \\ & \frac{(n-1)^{2}}{n(n+1)-3} \geqslant \frac{n-1}{n+3}=1-\frac{4}{n+3} \end{aligned}

for all positive integers n2n \geqslant 2, hence it must be that c1c \geqslant 1.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.