Maths Olympiad Prep

Library / /71 of 101

Combinatorics Difficulty 6.7 National olympiad Prove it Estonia

Let n3n \ge 3 be any natural number. A real number is written into every vertex of a regular nn-gon in such a way that numbers in any two neighbouring vertices differ by at most 11. Find the least non-negative real number CC such that, regardless of the choice of the numbers in the vertices, there exist two neighbouring vertices in which numbers differ by at most CC.

Solution

Denote the vertices of the polygon as V1,,VnV_1, \dots, V_n and let the real numbers in these vertices be v1,v2,,vnv_1, v_2, \dots, v_n, respectively. Moreover, denote Vn+1=V1V_{n+1} = V_1 and vn+1=v1v_{n+1} = v_1. Define the value of the side ViVi+1V_iV_{i+1} of the polygon to be si=vi+1vis_i = v_{i+1} - v_i.

Observe that v1,,vnv_1, \dots, v_n satisfy the conditions of the problem if and only if the corresponding differences s1,,sns_1, \dots, s_n satisfy max{s1,,sn}1\max\{|s_1|, \dots, |s_n|\} \le 1 and s1++sn=0s_1 + \dots + s_n = 0. Therefore the problem can be reformulated as finding the least non-negative real number CC such that, for arbitrary real numbers s1,,sns_1, \dots, s_n, assumptions max{s1,,sn}1\max\{|s_1|, \dots, |s_n|\} \le 1 and s1++sn=0s_1 + \dots + s_n = 0 would imply min{s1,,sn}C\min\{|s_1|, \dots, |s_n|\} \le C.

Clearly min{s1,,sn}1\min\{|s_1|, \dots, |s_n|\} \le 1 for any choice of s1,,sns_1, \dots, s_n satisfying the assumptions. If n=2kn=2k for some kNk \in \mathbb{N} then choosing s1==sk=1s_1 = \dots = s_k = 1 and sk+1==s2k=1s_{k+1} = \dots = s_{2k} = -1 would imply min{s1,,sn}=1\min\{|s_1|, \dots, |s_n|\} = 1. Hence C=1C=1.

Let now be n=2k+1n=2k+1 for some kNk \in \mathbb{N}. Taking s1=s2==sk+1=kk+1s_1 = s_2 = \dots = s_{k+1} = \frac{k}{k+1} and sk+2==s2k+1=1s_{k+2} = \dots = s_{2k+1} = -1 establishes min{s1,,sn}=kk+1\min\{|s_1|, \dots, |s_n|\} = \frac{k}{k+1}. We show that min{s1,,sn}kk+1\min\{|s_1|, \dots, |s_n|\} \le \frac{k}{k+1} whenever s1,,sns_1, \dots, s_n satisfy the assumptions. To this end, suppose the contrary, i.e. min{s1,,sn}>kk+1\min\{|s_1|, \dots, |s_n|\} > \frac{k}{k+1}. Reorder s1,,sns_1, \dots, s_n as d1,,dnd_1, \dots, d_n so that d1d2dnd_1 \ge d_2 \ge \dots \ge d_n. Note that there exists l{1,,n}l \in \{1, \dots, n\} such that dl>kk+1d_l > \frac{k}{k+1} and dl+1<kk+1d_{l+1} < -\frac{k}{k+1}.

If lk+1l \ge k+1 then
0=s1++sn=d1++dnldl+(nl)dn>lkk+1(nl)(k+1)kk+1k=kk=0, 0 = s_1 + \dots + s_n = d_1 + \dots + d_n \ge l \cdot d_l + (n-l)d_n > l \cdot \frac{k}{k+1} - (n-l) \ge (k+1) \cdot \frac{k}{k+1} - k = k - k = 0,
contradiction. In the case l<k+1l < k+1, the proof is analogous (one can consider the opposite differences dn,dn1,,d1-d_n, -d_{n-1}, \dots, -d_1). Hence C=kk+1=n2n2+1C = \frac{k}{k+1} = \frac{\lfloor \frac{n}{2} \rfloor}{\lfloor \frac{n}{2} \rfloor + 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.