Olympiad Maths Prep

Library / /3 of 6

Combinatorics Difficulty 6.0 AIME, harder Prove it Argentina

For every integer n4n \ge 4, consider mm subsets A1,A2,A3,,AmA_1, A_2, A_3, \dots, A_m of {1,2,3,,n}\{1, 2, 3, \dots, n\} such that:
* A1A_1 has 11 element,
* A2A_2 has 22 elements,
* AmA_m has mm elements,
and none of these subsets is contained in another. Find the maximum possible value of mm.

Solution

We will first show how to construct n2n-2 subsets of {1,2,,n}\{1, 2, \dots, n\} satisfying the required conditions. Such subsets will be called *nice*.
For n=4n=4, we can take A1={1}A_1 = \{1\} and A2={2,3}A_2 = \{2, 3\}.
For n=5n=5, we can take A1={1}A_1 = \{1\}, A2={2,3}A_2 = \{2, 3\} and A3={2,4,5}A_3 = \{2, 4, 5\}.
We show now that if there exist n2n-2 nice subsets for nn, then there exist nn nice subsets for n+2n+2. Let A1,A2,,An2A_1, A_2, \dots, A_{n-2} be nice subsets for nn. Consider:
B1={n+2}, \bullet B_1 = \{n+2\},
Bi+1=Ai{n+1}, for every 1in2, \bullet B_{i+1} = A_i \cup \{n+1\}, \text{ for every } 1 \le i \le n-2,
Bn={1,2,,n}. \bullet B_n = \{1, 2, \dots, n\}.
It is easy to check that B1,B2,,BnB_1, B_2, \dots, B_n are nice subsets for n+2n+2.
Now, it remains to be seen that it is not possible to construct n1n-1 nice subsets for nn.
Assume, by contradiction, that A1,,An1A_1, \dots, A_{n-1} are nice subsets for nn. If A1={x}A_1 = \{x\}, then An1={1,,n}{x}A_{n-1} = \{1, \dots, n\} \setminus \{x\}. Since A2A_2 has two elements that are different from xx, it follows that they are elements of An1A_{n-1} and so, A2An1A_2 \subset A_{n-1}, which is a contradiction.

Looking for a route rather than 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 and solution reproduced as published; topic and difficulty added by this site.