Maths Olympiad Prep

Library / /10 of 20

Combinatorics Difficulty 6.0 National olympiad Prove it China

Let nn, kk be integers greater than 11 and satisfy n<2kn < 2^k. Prove that there are 2k2k integers not divisible by nn, such that if we divide them into two groups, then there must exist a group in which the sum of some integers can be divided by nn.

Solution

At first, we consider the case that n=2rn = 2^r, r1r \ge 1. Obviously, at this time r<kr < k. We take three 2r12^{r-1}'s and 2k32k-3 11's — each of them cannot be divided by nn. If these 2k2k numbers are divided into two groups, then there must exist a group that contains two 2r12^{r-1}'s, whose sum is 2r2^r — divisible by nn.

Next, we consider the case that nn is not a power of 22. At this time, the 2k2k integers we take are
1,1,2,22,,2k2,1,2,22,,2k1. -1, -1, -2, -2^2, \dots, -2^{k-2}, 1, 2, 2^2, \dots, 2^{k-1}.
Then they each cannot be divided by nn.
Assume these numbers can be divided into two groups, such that any partial sum of numbers in one group is not divisible by nn. We may say that 11 is in the first group. Since (1)+1=0(-1) + 1 = 0 is divisible by nn, the two 1-1's must be in the second group; since (1)+(1)+2=0(-1) + (-1) + 2 = 0, the 22 is in the first group; then the 2-2 is in the second group.

Now by induction, assuming 1,2,,2l1, 2, \dots, 2^l are in the first group and 1,2,22,,2l-1, -2, -2^2, \dots, -2^l in the second one (1l<k21 \le l < k-2), since
(1)+(1)+(2)++(2l)+2l+1=0 (-1) + (-1) + (-2) + \dots + (-2^l) + 2^{l+1} = 0
is divisible by nn, we get that 2l+12^{l+1} is in the first group, and then 2l+1-2^{l+1} in the second.

Therefore, 1,2,22,,2k21, 2, 2^2, \dots, 2^{k-2} is in the first group and 1,2,22,,2k2-1, -2, -2^2, \dots, -2^{k-2} in the second. Finally, since
(1)+(1)+(2)++(2k2)+2k1=0, (-1) + (-1) + (-2) + \dots + (-2^{k-2}) + 2^{k-1} = 0,
then 2k12^{k-1} is in the first group. Therefore, 1,2,22,,2k11, 2, 2^2, \dots, 2^{k-1} are all in the first group.

On the other hand, the knowledge about the binary number system tells us that every positive integer which is not greater than 2k12^k - 1 can be represented as the partial sum of 1,2,22,,2k11, 2, 2^2, \dots, 2^{k-1}. Since n2k1n \le 2^k - 1, then it is the partial sum of 1,2,22,,2k11, 2, 2^2, \dots, 2^{k-1} that is of course divisible by nn itself. This is a contradiction to the assumption.

Therefore, we have found out 2k2k integers that meet the requirement in the question. The proof is then complete. ☐

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.