MathDB
N_0 is the union of all disjoint olympic sets

Source: India tst 2002 p12

July 13, 2012
algorithminvariantgeometrygeometric transformationalgebrapolynomialcombinatorics unsolved

Problem Statement

Let a,ba,b be integers with 0<a<b0<a<b. A set {x,y,z}\{x,y,z\} of non-negative integers is olympic if x<y<zx<y<z and if {zy,yx}={a,b}\{z-y,y-x\}=\{a,b\}. Show that the set of all non-negative integers is the union of pairwise disjoint olympic sets.