Alice starts with some coins in a box. On the minute (for ), she can choose to put an additional coin into the box or do nothing, and then she writes the number on the board where is the number of coins in the box. Show that for any positive integer , there will eventually be two numbers on the board that sum to a multiple of .
Solution
Let be the number of coins on the minute. Consider the ordered pair , noting that each minute either or increases by 1. The number written on the minute is
It thus suffices to prove the slightly more general problem:
Alice starts at an arbitrary integer lattice point . Every minute, she walks one unit right or up (corresponding to increasing or by 1), then writes down the number . Show that for any positive integer , there will eventually be two numbers on the board that sum to a multiple of .
The function has the special property of rotational anti-symmetry, i.e., taken mod :
Claim: Among the numbers written over minutes, there is either (a) two numbers that sum to a multiple of , or (b) a number which is a multiple or half-multiple of .
Proof of Claim: Suppose Bob starts at integer lattice point . Each minute, if Alice moves right, Bob moves down; if Alice moves up, Bob moves right.
In this manner, Alice's and Bob's coordinates are always related by . In particular, whenever Alice writes down the number , Bob writes down the number .
It suffices to show that Alice's and Bob's paths coincide on some lattice point . If this occurs, then either
1. (a) Alice and Bob reach at different times, thus Alice has written down and (mod ) at two different times; or
2. (b) Alice and Bob reach at the same time; thus (mod ), so Alice has written down a multiple or half-multiple of .
WLOG among Alice's first moves, she moves right at least times (the alternative is that she moves up at least times, in which case a similar argument holds by swapping the axes).
Then, within Alice's first moves, she passes through some lattice point , where and . We then select Bob's starting point as where and .
Consequently, the path traversed by Bob within his first moves starts vertically above , and at distance from . Since Bob moves down at least times and moves right at most times within his first moves, his path traverses within the upper-right quadrant with respect to , and leaves the quadrant from the bottom edge at a distance from (see Figure 1).
Thus, a further moves by Alice starting from will take her from below to above it, guaranteeing a lattice point intersection with .
Since two multiples of or two half-multiples of sum to a multiple of , thus by the claim, Alice is guaranteed to write two numbers that sum to a multiple of within moves.

Figure 1: Sample game for . Alice's path is lightly shaded and starts at which is at the bottom. Bob's path is heavily shaded and starts at at the top. Alice's path after which is at the bottom left corner of the box, is guaranteed to intersect Bob's path; the intersection is the square with 2. When Bob is at the intersection, Alice has also made 5 moves is at the square with 4. The numbers written by Alice in these 2 squares sum to a multiple of .