Maths Olympiad Prep

Library / /37 of 94

Combinatorics Difficulty 5.7 AIME, harder Prove it Hong Kong

On a planet there are 3×2005!3 \times 2005! aliens and 20052005 languages. Each pair of aliens communicates with each other in exactly one language. Show that there are 33 aliens who communicate with each other in one common language.

Solution

We use terminologies in graph theory. We shall prove by induction that in a complete graph of 3k!3 \cdot k! vertices, if we colour every edge in one of kk colours, then there exists a monochromatic triangle.

For the base case k=1k=1, since there are 33 vertices but only one colour, the result holds trivially.

Assume the claim holds for some kk. Consider a complete graph of 3(k+1)!3 \cdot (k+1)! vertices. We colour every edge in one of k+1k+1 colours. Fix any vertex AA. By the pigeonhole principle, there are
3(k+1)!1k+1=3k! \left\lfloor \frac{3 \cdot (k+1)! - 1}{k+1} \right\rfloor = 3 \cdot k!
edges with AA as an endpoint which are of the same colour, say red. If an edge connecting two of these vertices is red, then these two vertices together with AA form a red triangle. If all these edges are not red, then they are in one of kk colours. By the inductive hypothesis, there is a monochromatic triangle in this subgraph. This proves the inductive step, and hence the problem is solved.

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.