Problem

Source: IMO ShortList 1990, Problem 4 (CZS 2)

Tags: number theory, partition, Ramsey Theory, Coloring, Extremal combinatorics, IMO Shortlist, Hi



Assume that the set of all positive integers is decomposed into $ r$ (disjoint) subsets $ A_1 \cup A_2 \cup \ldots \cup A_r = \mathbb{N}.$ Prove that one of them, say $ A_i,$ has the following property: There exists a positive $ m$ such that for any $ k$ one can find numbers $ a_1, a_2, \ldots, a_k$ in $ A_i$ with $ 0 < a_{j + 1} - a_j \leq m,$ $ (1 \leq j \leq k - 1)$.