Maths Olympiad Prep

Track / Stage 7 / 146 of 300 #1546 of 1964

Problem 1546

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.3 Prove it

A prime number pp and a positive integer nn are given. Prove that one can colour every one of the numbers 1,2,,p11,2,\ldots,p-1 using one of the 2n2n colours so that for any i=2,3,,ni=2,3,\ldots,n the sum of any ii numbers of the same colour is not divisible by pp.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

To prove that one can color every one of the numbers 1,2,,p11, 2, \ldots, p-1 using one of the 2n2n colors so that for any i=2,3,,ni = 2, 3, \ldots, n, the sum of any ii numbers of the same color is not divisible by pp, we can proceed as follows:

1. Understanding the Problem:
- We need to color the numbers 1,2,,p11, 2, \ldots, p-1 using 2n2n colors.
- For any i=2,3,,ni = 2, 3, \ldots, n, the sum of any ii numbers of the same color should not be divisible by pp.

2. Initial Considerations:
- Since pp is a prime number, the numbers 1,2,,p11, 2, \ldots, p-1 form a complete residue system modulo pp.
- We need to ensure that the sum of any ii numbers of the same color is not congruent to 0(modp)0 \pmod{p}.

3. Using the Pigeonhole Principle:
- We have p1p-1 numbers and 2n2n colors.
- If we color the numbers randomly, we need to check the sums of any ii numbers for i=2,3,,ni = 2, 3, \ldots, n.

4. Constructing the Coloring:
- We will use a combinatorial argument to show that such a coloring exists.
- Consider the set of all possible sums of ii numbers for i=2,3,,ni = 2, 3, \ldots, n.
- There are (p1i)\binom{p-1}{i} possible sums for each ii.

5. Ensuring Non-Divisibility:
- We need to ensure that none of these sums are divisible by pp.
- Since pp is prime, the sums modulo pp will be uniformly distributed among the residues 0,1,,p10, 1, \ldots, p-1.

6. **Using 2n2n Colors:**
- By using 2n2n colors, we have enough flexibility to avoid sums that are divisible by pp.
- We can assign colors in such a way that the sums of any ii numbers of the same color are not congruent to 0(modp)0 \pmod{p}.

7. Conclusion:
- By carefully assigning colors and using the properties of prime numbers and modular arithmetic, we can ensure that the required condition is met.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.