MathDB
|a_i/a_j - a_k/a_l| <= C

Source: 2016 IMO Shortlist A2

July 19, 2017
IMO Shortlistalgebra

Problem Statement

Find the smallest constant C>0C > 0 for which the following statement holds: among any five positive real numbers a1,a2,a3,a4,a5a_1,a_2,a_3,a_4,a_5 (not necessarily distinct), one can always choose distinct subscripts i,j,k,li,j,k,l such that aiajakalC. \left| \frac{a_i}{a_j} - \frac {a_k}{a_l} \right| \le C.