Maths Olympiad Prep

Library / /99 of 377

Combinatorics Difficulty 4.8 AIME Prove it United States

Problem:
Prove that any 2-configuration containing ee elements is mm-separable for some m12+2e+14m \leq \frac{1}{2} + \sqrt{2e + \frac{1}{4}}.

Solution

Solution:
Suppose mm is the minimum integer for which the given configuration CC on set AA is mm-separable, and fix a corresponding labeling of the elements of AA. Let AiA_{i} be the set of all elements with the label ii. Then, for any i,ji, j with 1i<jm1 \leq i < j \leq m, there must exist aiAi,ajAja_{i} \in A_{i}, a_{j} \in A_{j} with {ai,aj}C\{a_{i}, a_{j}\} \in C, since otherwise the elements of AjA_{j} could have been reassigned the label ii, decreasing the number of distinct labels necessary and thus contradicting the minimality of mm.

We thus get at least (m2)\binom{m}{2} different elements of CC. Therefore, e(m2)=m(m1)2=(m12)2142e \geq \binom{m}{2} = \frac{m(m-1)}{2} = \frac{\left(m-\frac{1}{2}\right)^2 - \frac{1}{4}}{2}, and solving for mm gives the desired result.

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.