Maths Olympiad Prep

Library / IMO Hk TST /37 of 119

IMO Hk TST

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 n2−n+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 n2−n+1n^2 - n + 1 clubs, by the pigeonhole principle, there is a member in C1C_1 who is also a member of at least
⌊n2−n+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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.