Maths Olympiad Prep

Library / /39 of 54

Combinatorics Difficulty 6.4 National olympiad Prove it China

Let n3n \ge 3 be any given integer. Determine the smallest positive integer kk, for which there exists a set AA of kk real numbers and nn real numbers x1,x2,,xnx_1, x_2, \dots, x_n, which are distinct from each other such that
x1+x2, x2+x3, , xn1+xn, xn+x1 x_1 + x_2,\ x_2 + x_3,\ \dots,\ x_{n-1} + x_n,\ x_n + x_1
are all in the set AA.

Solution

Let m1=x1+x2m_1 = x_1 + x_2, m2=x2+x3m_2 = x_2 + x_3, \dots, mn1=xn1+xnm_{n-1} = x_{n-1} + x_n, mn=xn+x1m_n = x_n + x_1.
First, note that m1m2m_1 \neq m_2, otherwise x1=x3x_1 = x_3, which contradicts the fact that xix_i are distinct. Similarly, mimi+1m_i \neq m_{i+1}, for i=1,2,,ni=1, 2, \dots, n, where mn+1=m1m_{n+1} = m_1, as usual. It follows that k2k \ge 2.

For k=2k=2, let A={a,b}A = \{a, b\}, where aba \neq b. It follows that
(1){x1+x2=a,x2+x3=b,xn1+xn=a,xn+x1=b,(if n is even) (1) \begin{cases} x_1 + x_2 = a, \\ x_2 + x_3 = b, \\ \vdots \\ x_{n-1} + x_n = a, \\ x_n + x_1 = b, \end{cases} \quad \text{(if $n$ is even)}
or
(2){x1+x2=a,x2+x3=b,xn1+xn=b,xn+x1=a.(if n is odd) (2) \begin{cases} x_1 + x_2 = a, \\ x_2 + x_3 = b, \\ \vdots \\ x_{n-1} + x_n = b, \\ x_n + x_1 = a. \end{cases} \quad \text{(if $n$ is odd)}
For (2), we have xn=x2x_n = x_2, which is possible. For (1), it follows that
n2a=(x1+x2)+(x3+x4)++(xn1+xn)=(x2+x3)+(x4+x5)++(xn+x1)=n2b, \begin{aligned} \frac{n}{2}a &= (x_1 + x_2) + (x_3 + x_4) + \dots + (x_{n-1} + x_n) \\ &= (x_2 + x_3) + (x_4 + x_5) + \dots + (x_n + x_1) \\ &= \frac{n}{2}b, \end{aligned}
and hence a=ba = b, which is impossible again. It follows that k3k \ge 3.

For k=3k=3, one can construct a valid example as follows:
Define x2k1=kx_{2k-1} = k (k1k \ge 1) and x2k=n+1kx_{2k} = n+1-k (k1k \ge 1). When nn is even,
xi+xi+1={n+1,if i is odd,n+2,if i is even and i<n,n2+2,if i=n, where xn+1=xn. x_i + x_{i+1} = \begin{cases} n+1, & \text{if } i \text{ is odd,} \\ n+2, & \text{if } i \text{ is even and } i < n, \\ \frac{n}{2} + 2, & \text{if } i = n, \text{ where } x_{n+1} = x_n. \end{cases}
When nn is odd,
xi+xi+1={n+1,if i is odd and i<n,n+2,if i is even,n12+2,if i=n, where xn+1=xn. x_i + x_{i+1} = \begin{cases} n+1, & \text{if } i \text{ is odd and } i < n, \\ n+2, & \text{if } i \text{ is even,} \\ \frac{n-1}{2} + 2, & \text{if } i = n, \text{ where } x_{n+1} = x_n. \end{cases}
Therefore, the smallest positive integer kk is 33.

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.