Mathematical Games --- CMU Spring 2005 --- Frieze, Sleator (original) (raw)

Let the variable k range over the positive integers 1, 2, 3, ... Prove that every positive integer is in exactly one of the sets: {Floor(k * Sqrt(2)), Floor(k * (2 + Sqrt(2))}.