Q37 Matemática  (IMO Longlists 1986)

Prove que o conjunto $\{1,2,...,1986\}$ pode ser particionado em $27$ conjuntos disjuntos de modo que nenhum desses conjuntos contenha uma tripla aritmética (ou seja, três números distintos em uma progressão aritmética).