Maths Olympiad Prep

Library / /42 of 136

Combinatorics Difficulty 7.7 National Olympiad, round 2 Prove it Hong Kong

Let nn be an integer greater than 11. In a school there are n2n+2n^2 - n + 2 clubs and each club has exactly nn members. Each pair of clubs has exactly one member in common. Show that there is one student belonging to all of the clubs.

Solution

Consider an arbitrary club C1C_1. Since it shares a common member with each of the other n2n+1n^2 - n + 1 clubs, by the pigeonhole principle, there is a member in C1C_1 who is also a member of at least
n2n+1n=n \left\lfloor \frac{n^2 - n + 1}{n} \right\rfloor = n
clubs. Suppose XX is a member of the clubs C1,C2,,Cn+1C_1, C_2, \dots, C_{n+1}. For any other club CkC_k, since it shares a common member with each of C1,C2,,Cn+1C_1, C_2, \dots, C_{n+1}, by the pigeonhole principle, there is a member in CkC_k who is also a member of at least
n+1n=2 \left\lfloor \frac{n+1}{n} \right\rfloor = 2
clubs among C1,C2,,Cn+1C_1, C_2, \dots, C_{n+1}. As the only common member in C1,C2,,Cn+1C_1, C_2, \dots, C_{n+1} is XX, this member must also be XX. This shows XX is a member of CkC_k for all kk.

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.