Maths Olympiad Prep

Library / /376 of 520

Combinatorics Difficulty 7.2 National olympiad, round 2 Prove it

There are nn clubs composed of 44 students out of all 99 students. For two arbitrary clubs, there are no more than 22 students who are a member of both clubs. Prove that n18n\le 18.
Translator’s Note. We can prove n12n\le 12, and we can prove that the bound is tight.

(Credits to rkm0959 for translation and document)

Solution

To prove that n18 n \leq 18 , we will use a combinatorial argument based on the given constraints.

1. Counting Pairs in Clubs:
Each club consists of 4 students. The number of ways to choose 2 students out of 4 is given by the binomial coefficient:
(42)=6 \binom{4}{2} = 6
Therefore, each club contributes 6 pairs of students.

2. Total Pairs in All Clubs:
If there are n n clubs, the total number of (not necessarily distinct) pairs of students in all clubs is:
6n 6n

3. Counting Distinct Pairs:
There are 9 students in total. The number of distinct pairs of students is:
(92)=36 \binom{9}{2} = 36

4. Average Number of Clubs per Pair:
If each pair of students can be in at most 2 clubs together, the maximum number of pairs that can be formed without violating the given condition is:
2×36=72 2 \times 36 = 72
This is because each of the 36 pairs can appear in at most 2 clubs.

5. **Inequality for n n **:
For n n clubs, the total number of pairs (6n) must be less than or equal to 72:
6n72 6n \leq 72
Solving for n n :
n726=12 n \leq \frac{72}{6} = 12

6. Conclusion:
Therefore, the maximum number of clubs n n that can be formed under the given constraints is 12. This shows that the bound n18 n \leq 18 is indeed correct, but we have shown a tighter bound of n12 n \leq 12 .

\blacksquare

The final answer is n12 \boxed{ n \leq 12 }

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