Maths Olympiad Prep

Track / Stage 7 / 50 of 300 #1450 of 1964

Problem 1450

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.1 Prove it

Prove that if nn is large enough, then for each coloring of the subsets of the set {1,2,...,n}\{1,2,...,n\} with 13911391 colors, two non-empty disjoint subsets AA and BB exist such that AA, BB and ABA\cup B are of the same color.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. Define the Problem in Graph Theory Terms:
We start by considering a complete graph G G with vertices v1,v2,,vn+1 v_1, v_2, \ldots, v_{n+1} . For each pair of vertices vi v_i and vj v_j where 1i<jn+1 1 \leq i < j \leq n+1 , we color the edge between vi v_i and vj v_j with the color assigned to the subset {i,i+1,,j1} \{i, i+1, \ldots, j-1\} .

2. Ramsey Number and Monochromatic Triangles:
By Ramsey's theorem, for any given number of colors c c , there exists a minimum number R(c) R(c) such that any complete graph with at least R(c) R(c) vertices will contain a monochromatic triangle. Here, we are given 1391 1391 colors, so we need n n to be large enough such that n>R1391 n > R_{1391} .

3. Existence of Monochromatic Triangle:
If n>R1391 n > R_{1391} , then the complete graph G G with n+1 n+1 vertices will contain a monochromatic triangle. Let this triangle be formed by the vertices vx,vy,vz v_x, v_y, v_z with x<y<z x < y < z .

4. Identify the Subsets:
The edges of this monochromatic triangle correspond to the following subsets:
- The edge vxvy v_x v_y corresponds to the subset A={x,x+1,,y1} A = \{x, x+1, \ldots, y-1\} .
- The edge vyvz v_y v_z corresponds to the subset B={y,y+1,,z1} B = \{y, y+1, \ldots, z-1\} .
- The edge vxvz v_x v_z corresponds to the subset AB={x,x+1,,z1} A \cup B = \{x, x+1, \ldots, z-1\} .

5. Conclusion:
Since the triangle vxvyvz v_x v_y v_z is monochromatic, the subsets A A , B B , and AB A \cup B are all of the same color.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.