Maths Olympiad Prep

Library / /131 of 136

Algebra Difficulty 8.8 Shortlist Prove it Hong Kong

Let n4n \ge 4 be a positive integer. Consider any set AA formed by nn distinct real numbers such that the following condition holds: for every aAa \in A, there exist distinct elements x,y,zAx, y, z \in A such that xa,ya,za1|x - a|, |y - a|, |z - a| \ge 1. For each nn, find the greatest real number MM such that
aAaM \sum_{a \in A} |a| \ge M
always holds.

Solution

The greatest MM is 44 if n=4n = 4, and is 33 if n5n \ge 5.

Let SS be the sum aAa\sum_{a \in A} |a|.

For n=4n = 4, by considering A={1,0,1,2}A = \{-1, 0, 1, 2\}, we need M4M \le 4. Let a<b<c<da < b < c < d be the elements in AA. From the condition, we must have ba,cb,dc1b - a, c - b, d - c \ge 1. This implies
S=(a+d)+(b+c)da+cb3+1=4. S = (|a| + |d|) + (|b| + |c|) \ge |d - a| + |c - b| \ge 3 + 1 = 4.
This shows the largest MM is 44 when n=4n = 4.

For n5n \ge 5, by considering A={1,0,ε,2ε,,(n4)ε,1+(n4)ε,1+(n3)ε}A = \{-1, 0, \varepsilon, 2\varepsilon, \dots, (n-4)\varepsilon, 1 + (n-4)\varepsilon, 1 + (n-3)\varepsilon\} where ε>0\varepsilon > 0, we need M3+f(n)εM \le 3 + f(n)\varepsilon for some function ff. When ε\varepsilon tends to 00, this yields M3M \le 3.

Firstly, for n=5n = 5, let a<b<c<d<ea < b < c < d < e be the elements in AA. Since ca>cbc-a > c-b and ec>dce-c > d-c, we must have ca1c-a \ge 1 and ec1e-c \ge 1 by considering the element cc. Also, at least one of cb1c-b \ge 1 and dc1d-c \ge 1 must hold. WLOG assume cb1c-b \ge 1. Then we have
S(a+e)+(b+c)ea+cb2+1=3. S \ge (|a| + |e|) + (|b| + |c|) \ge |e-a| + |c-b| \ge 2 + 1 = 3.
This shows the largest MM is 33 when n=5n = 5.

Secondly, for n6n \ge 6, let aa be the element with the smallest absolute value. WLOG assume a0a \ge 0.

* If 0a120 \le a \le \frac{1}{2}, then whenever xa1|x-a| \ge 1, we must have x1a|x| \ge 1-a. Since there are three such xx's, we have S3(1a)+(n3)a3(1a)+3a=3S \ge 3(1-a) + (n-3)a \ge 3(1-a) + 3a = 3.
* If a>12a > \frac{1}{2}, then all elements have absolute value larger than 12\frac{1}{2}, and hence S>n23S > \frac{n}{2} \ge 3.

This shows the largest MM is 33 when n6n \ge 6.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.