Maths Olympiad Prep

Library / /87 of 97

Number theory Difficulty 8.6 Shortlist Find the answer

For a positive integer nn, and a non empty subset AA of {1,2,...,2n}\{1,2,...,2n\}, call AA good if the set {u±vu,vA}\{u\pm v|u,v\in A\} does not contain the set {1,2,...,n}\{1,2,...,n\}. Find the smallest real number cc, such that for any positive integer nn, and any good subset AA of {1,2,...,2n}\{1,2,...,2n\}, Acn|A|\leq cn.

A number or a short expression. Spacing and $ signs are ignored.

Solution

For a positive integer n n , and a non-empty subset A A of {1,2,,2n}\{1, 2, \ldots, 2n\}, we call A A good if the set {u±vu,vA}\{u \pm v \mid u, v \in A\} does not contain the set {1,2,,n}\{1, 2, \ldots, n\}. We aim to find the smallest real number c c such that for any positive integer n n , and any good subset A A of {1,2,,2n}\{1, 2, \ldots, 2n\}, Acn|A| \leq cn.

We will prove that the smallest constant is c=65 c = \frac{6}{5} .

First, let us show that c65 c \geq \frac{6}{5} . Consider n=10q+1 n = 10q + 1 for qN0 q \in \mathbb{N}_0 and set k=4n+15 k = \frac{4n + 1}{5} . Observe that k k is an odd positive integer with 1kn 1 \leq k \leq n . Now, consider the set A=A1A2A3 A = A_1 \cup A_2 \cup A_3 where
A1={1,2,,k12},A2={2k+1,2k+2,,2k+k12},A3={k+k+12,k+k+32,,2k}. A_1 = \left\{1, 2, \ldots, \frac{k - 1}{2}\right\}, \quad A_2 = \left\{2k + 1, 2k + 2, \ldots, 2k + \frac{k - 1}{2}\right\}, \quad A_3 = \left\{ k + \frac{k + 1}{2}, k + \frac{k + 3}{2}, \ldots, 2k\right\}.
It is clear that A A is a subset of {1,2,,2n}\{1, 2, \ldots, 2n\} with
A=k12+(kk12)+k12=65n15. |A| = \frac{k - 1}{2} + \left(k - \frac{k - 1}{2}\right) + \frac{k - 1}{2} = \frac{6}{5}n - \frac{1}{5}.
Hence, if we take the limit as q q \to \infty , it follows that A>ϵn|A| > \epsilon n for any ϵ<65\epsilon < \frac{6}{5}. Therefore, to show that c65 c \geq \frac{6}{5} , it suffices to prove that A A is good. In particular, we will show that the set B={u±vu,vA} B = \{u \pm v \mid u, v \in A\} does not contain the integer k k .

First, it is clear that if u,vA u, v \in A satisfy u+v=k u + v = k , then u,vA1 u, v \in A_1 (since all elements of A2 A_2 and A3 A_3 are greater than k k ). However, this is impossible, since the greatest possible sum of two elements of A1 A_1 is k12+k32<k\frac{k - 1}{2} + \frac{k - 3}{2} < k. Meanwhile, if u,vA u, v \in A satisfy uv=k u - v = k , we must have uv(modk) u \equiv v \pmod{k} . By breaking up A A into subsets modulo k k , we find that
A={1,2k+1}{2,2k+2}{k12,2k+k12}{k+k+12}{k+k+32}{2k}. A = \{1, 2k + 1\} \cup \{2, 2k + 2\} \cup \cdots \cup \left\{\frac{k - 1}{2}, 2k + \frac{k - 1}{2}\right\} \cup \left\{k + \frac{k + 1}{2}\right\} \cup \left\{k + \frac{k + 3}{2}\right\} \cup \cdots \cup \{2k\}.
It is then easy to see that no u,vA u, v \in A satisfy uv=k u - v = k . Hence, c65 c \geq \frac{6}{5} , as desired. \blacksquare

Now, we will show that A65n|A| \leq \frac{6}{5}n for any good set A{1,2,,2n} A \subseteq \{1, 2, \ldots, 2n\} . Suppose, by way of contradiction, that there exists a good set A{1,2,,2n} A \subseteq \{1, 2, \ldots, 2n\} with A>65n|A| > \frac{6}{5}n. Then there must exist some integer k{1,2,,n} k \in \{1, 2, \ldots, n\} such that k∉B k \not\in B , where B={u±vu,vA} B = \{u \pm v \mid u, v \in A\} .

By the Division Algorithm, let us write 2n=mk+p 2n = mk + p where mN m \in \mathbb{N} and 0p<k 0 \leq p < k . In particular, notice that
2n=mk+p<(m+1)k(m+1)n    2<m+1    2m. 2n = mk + p < (m + 1)k \leq (m + 1)n \implies 2 < m + 1 \implies 2 \leq m.
Now, consider the sets Si={bBbi(modk)} S_i = \{b \in B \mid b \equiv i \pmod{k}\} (i=1,2,,k i = 1, 2, \ldots, k ). We will examine these sets in pairs: (S1,Sk1),(S2,Sk2),(S_1, S_{k - 1}), (S_2, S_{k - 2}), \ldots. First, observe that the only sets that are not part of a pair are Sk S_k and Sk/2 S_{k / 2} (if k k is even).

We begin by proving that at most m+12m+1\frac{m + 1}{2m + 1} of the elements in SkSk/2 S_k \cup S_{k / 2} are in B B (if k k is odd, simply ignore the set Sk/2 S_{k / 2} in the following analysis; the same conclusion still holds). Observe that Sk S_k has precisely m m elements, and Sk/2 S_{k / 2} has either m m or m+1 m + 1 elements. Within each of these sets, no two consecutive elements can both be in B B , since then the difference of these two consecutive elements would equal k k , a contradiction. Hence, at most m2\left\lceil \frac{m}{2} \right\rceil of the elements in Sk S_k are in B B , and at most m+12\left\lceil \frac{m + 1}{2} \right\rceil of the elements in Sk/2 S_{k / 2} are in B B . It is then easy to see that at most m+12m+1\frac{m + 1}{2m + 1} of the elements in SkSk/2 S_k \cup S_{k / 2} are in B B .

Now, we prove a similar bound for the pairs of sets described earlier: Consider any pair (Si,Ski)(S_i, S_{k - i}). Notice that at most 12 \frac{1}{2} of the elements of one of these sets can be in B B . This is because if more than 12 \frac{1}{2} of the elements of each of these sets are in B B , then because no two consecutive elements in either of these sets can be in B B , it would follow that iSi i \in S_i and kiSki k - i \in S_{k - i} must be in B B . However, this is impossible, since then the sum of these two elements would equal k k , a contradiction. Therefore, at most 12 \frac{1}{2} of the elements in one of these two sets must be in B B . Keeping in mind that Si=m,m+1 |S_i| = m, m + 1 , it’s not hard to see that at most m+12m+1\frac{m + 1}{2m + 1} of the elements in SiSki S_i \cup S_{k - i} are in B B .

Therefore, since BS1S2Sk B \subseteq S_1 \cup S_2 \cup \cdots \cup S_k , it follows that
Bm+12m+1S1S2Sk=m+12m+1(2n). |B| \leq \frac{m + 1}{2m + 1} |S_1 \cup S_2 \cup \cdots \cup S_k| = \frac{m + 1}{2m + 1}(2n).
Because m+12m+1=12+14m+2\frac{m + 1}{2m + 1} = \frac{1}{2} + \frac{1}{4m + 2} is a decreasing function of n n over N\mathbb{N}, it follows that m+12m+1\frac{m + 1}{2m + 1} takes on its maximal value for m=2 m = 2 . Hence,
B2+14+1(2n)=65n. |B| \leq \frac{2 + 1}{4 + 1}(2n) = \frac{6}{5}n.
This is a clear contradiction, since we assumed that B>65n |B| > \frac{6}{5}n . Thus, the proof is complete. \square

The answer is 65\boxed{\frac{6}{5}}.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.