Maths Olympiad Prep

Library / /86 of 100

Combinatorics Difficulty 6.0 AIME, harder Prove it China

Let AA and BB be two subsets of {1,2,3,,100}\{1, 2, 3, \dots, 100\}, satisfying A=B|A| = |B| and AB=A \cap B = \emptyset. If nAn \in A always implies 2n+2B2n + 2 \in B, then the maximum of AB|A \cup B| is ( ).

Solution

We will first prove that AB66|A \cup B| \le 66, or equivalently A33|A| \le 33. For this purpose, we only need to prove that, if AA is a subset of {1,2,,49}\{1, 2, \dots, 49\} with 34 elements, then there must exist nAn \in A such that 2n+2A2n + 2 \in A. The proof is as follows.

Divide {1,2,,49}\{1, 2, \dots, 49\} into 33 subsets:

{1,4}\{1, 4\}, {3,8}\{3, 8\}, {5,12}\{5, 12\}, \dots, {23,48}\{23, 48\}, 12 subsets;
{2,6}\{2, 6\}, {10,22}\{10, 22\}, {14,30}\{14, 30\}, {18,38}\{18, 38\}, 4 subsets;
{25}\{25\}, {27}\{27\}, {29}\{29\}, \dots, {49}\{49\}, 13 subsets;
{26}\{26\}, {34}\{34\}, {42}\{42\}, {46}\{46\}, 4 subsets.

By the Pigeonhole Principle we know that there exists at least one subset with 2 elements among them which is also a subset of AA. That means there exists nAn \in A such that 2n+2A2n + 2 \in A.

On the other hand, let

A={1,3,5,,23,2,10,14,18,25,27,29,,49,26,34,42,46}A = \{1, 3, 5, \dots, 23, 2, 10, 14, 18, 25, 27, 29, \dots, 49, 26, 34, 42, 46\}

B={2n+2nA}B = \{2n + 2 \mid n \in A\}.

We find that AA and BB satisfy the condition and AB=66|A \cup B| = 66.

Answer: B.

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 and solution reproduced as published; topic and difficulty added by this site.