Maths Olympiad Prep

Track / Stage 7 / 295 of 300 #1695 of 1964

Problem 1695

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

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 0⩽ai⩽c0 \leqslant a_{i} \leqslant c, and ∣ai−aj∣⩾1i+j\left|a_{i}-a_{j}\right| \geqslant \frac{1}{i+j}, for all positive integers i,j(i≠j)i, j(i \neq j). Prove: c⩾1c \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.

Next problem →

Official solution

For n⩾2n \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 0⩽aσ(1)<aσ(2)<⋯<aσ(n)⩽c0 \leqslant a_{\sigma(1)}<a_{\sigma(2)}<\cdots<a_{\sigma(n)} \leqslant c, then
c⩾aσ(n)−aσ(1)⩾(aσ(n)−aσ(n−1))+(aσ(n−1)−aσ(n−2))+⋯+(aσ(2)−aσ(1))⩾1σ(n)+σ(n−1)+1σ(n−1)+σ(n−2)+⋯+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)+σ(n−1)+1σ(n−1)+σ(n−2)+⋯+1σ(2)+σ(1)][(σ(n)+σ(n−1))+(σ(n−1)+σ(n−2))+⋯+(σ(2)+σ(1))]⩾(n−1)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⩾(n−1)22[σ(1)+σ(2)+⋯+σ(n−1)+σ(n)]−σ(1)−σ(n)=(n−1)2n(n+1)−σ(1)−σ(n)⩾(n−1)2n(n+1)−3⩾n−1n+3=1−4n+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 n⩾2n \geqslant 2, hence it must be that c⩾1c \geqslant 1.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.