MathDB
Excellent step lengths

Source: Finnish Mathematics Competition 2009, Final Round - P5

November 16, 2011
modular arithmeticnumber theory unsolvednumber theory

Problem Statement

We say that the set of step lengths DZ+={1,2,}D\subset \mathbb{Z}_+=\{1,2,\ldots\} is excellent if it has the following property: If we split the set of integers into two subsets AA and ZA\mathbb{Z}\setminus{A}, at least other set contains element ad,a,a+da-d,a,a+d (i.e. {ad,a,a+d}A\{a-d,a,a+d\} \subset A or {ad,a,a+d}ZA\{a-d,a,a+d\}\in \mathbb{Z}\setminus A from some integer aZ,dDa\in \mathbb{Z},d\in D.) For example the set of one element {1}\{1\} is not excellent as the set of integer can be split into even and odd numbers, and neither of these contains three consecutive integer. Show that the set {1,2,3,4}\{1,2,3,4\} is excellent but it has no proper subset which is excellent.