Prove that if is large enough, then for each coloring of the subsets of the set with colors, two non-empty disjoint subsets and exist such that , and are of the same color.
Problem 1450
Official solution
1. Define the Problem in Graph Theory Terms:
We start by considering a complete graph with vertices . For each pair of vertices and where , we color the edge between and with the color assigned to the subset .
2. Ramsey Number and Monochromatic Triangles:
By Ramsey's theorem, for any given number of colors , there exists a minimum number such that any complete graph with at least vertices will contain a monochromatic triangle. Here, we are given colors, so we need to be large enough such that .
3. Existence of Monochromatic Triangle:
If , then the complete graph with vertices will contain a monochromatic triangle. Let this triangle be formed by the vertices with .
4. Identify the Subsets:
The edges of this monochromatic triangle correspond to the following subsets:
- The edge corresponds to the subset .
- The edge corresponds to the subset .
- The edge corresponds to the subset .
5. Conclusion:
Since the triangle is monochromatic, the subsets , , and are all of the same color.