Maths Olympiad Prep

Library / /111 of 136

Combinatorics Difficulty 8.3 Shortlist Prove it Hong Kong

In a school there are 20132013 boys and 20132013 girls. For each pair of a boy and a girl, together they have to choose one (and only one) of 2525 different clubs to join. Determine the maximum possible value of the integer kk, such that no matter what the choices of the students are, there is a club with kk or more members. (A boy and a girl in a club together are counted as two members.)

Solution

The answer is 806806.

By the pigeonhole principle, there is a club with n2013225n \ge \frac{2013^2}{25} pairs. Suppose there are aa boys and bb girls in this club. Then the number of pairs is at most abab. By the AM-GM inequality, we have
a+b2abn20135. \frac{a+b}{2} \ge \sqrt{ab} \ge \sqrt{n} \ge \frac{2013}{5}.

This implies the number of members of this club is a+b806a + b \ge 806.

We now give a construction for which k806k \le 806. We partition the boys into 55 groups B1,B2,,B5B_1, B_2, \dots, B_5 such that each of B1,B2,B3B_1, B_2, B_3 has 403403 boys, while each of B4,B5B_4, B_5 has 402402 boys. Similarly, we partition the girls into 55 groups G1,G2,,G5G_1, G_2, \dots, G_5 in a similar way. Suppose each boy in group BiB_i and each girl in group GjG_j choose the club CijC_{ij}. Then each club consists of at most 403+403=806403+403=806 members. This proves k806k \le 806.

It follows that the maximum kk is 806806.

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.