Maths Olympiad Prep

Library / /9 of 21

, 2006

Combinatorics Difficulty 6.3 National Olympiad Prove it Vietnam

Consider a set SS of 2006 distinct numbers. A subset TT of SS is called stubborn if for every u,vu, v (not necessarily distinct) in TT, the number u+vu + v does not belong to TT. Prove that

i) if SS is the set of 2006 first positive integers, then the number of elements of every stubborn subset TT of SS does not exceed 1003,

ii) if SS consists of 2006 arbitrary positive integers then there exists a stubborn subset TT of SS having 669 elements.

Solution

i) Let AA be a stubborn subset of S={1,2,,2006}S = \{1, 2, \dots, 2006\} consisting of xx elements a1<a2<<axa_1 < a_2 < \dots < a_x. Consider the set B:={a2a1,a3a1,,axa1}B := \{a_2 - a_1, a_3 - a_1, \dots, a_x - a_1\}. It is a subset of SS and consists of x1x-1 elements. As AA is a stubborn subset of SS, AB=A \cap B = \emptyset. It implies that x+(x1)2006x + (x-1) \leq 2006, so x1003x \leq 1003.

ii) Let S={a1,a2,,a2006}S = \{a_1, a_2, \dots, a_{2006}\}. Consider the product PP of all odd divisors of i=12006ai\prod_{i=1}^{2006} a_i. It is easy to see that there exists a prime number pp of the form p=3r+2p = 3r+2 such that pp is a divisor of 3P+23P+2; pp is coprime with every aia_i (i=1,2,,2006i = 1, 2, \dots, 2006). For each aSa \in S, the sequence a,2a,,(p1)aa, 2a, \dots, (p-1)a (mod pp) is a permutation of 1,2,,p11, 2, \dots, p-1, therefore there exists a set SaS_a consisting of r+1r+1 integers xx in 1,p1\overline{1, p-1} so that xa (mod p)xa\ (\text{mod}\ p) belongs to A={r+1,,2r+1}A = \{r+1, \dots, 2r+1\}. For each x1,p1x \in \overline{1, p-1}, let Sx={aSxaA}S_x = \{a \in S \mid xa \in A\}. We have:
S1+S2++Sp1=aSAa=2006×(r+1) |S_1| + |S_2| + \dots + |S_{p-1}| = \sum_{a \in S} |A_a| = 2006 \times (r+1)
So there exists x0x_0 such that Sx02006×(r+1)3r+1>668|S_{x_0}| \geq \frac{2006 \times (r+1)}{3r+1} > 668. Let BB be a subset consisting of 669 elements of Sx0S_{x_0} then BB is a stubborn subset of SS. Indeed, if u,v,wBu, v, w \in B (uu can be equal to vv) then x0u,x0v,x0wAx_0u, x_0v, x_0w \in A. It is easy to verify that x0u+x0vx0w (mod p)x_0u + x_0v \neq x_0w\ (\text{mod}\ p) therefore u+vwu + v \neq w.

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.