A marker is placed at the origin of an integer lattice. Calvin and Hobbes play the following game. Calvin starts the game and each of them takes turns alternatively. At each turn, one can choose two (not necessarily distinct) integers , , neither of which was chosen earlier by any player and move the marker by units in the horizontal direction and units in the vertical direction. Hobbes wins if the marker is back at the origin any time after the first move. Prove that Calvin can prevent Hobbes from winning.
, 2013
Solution
Let denote the set of chosen integers after turns. We claim (by induction) that after Calvin's move he can ensure that if then , and that the marker is at for some non-zero integer in .
Let Calvin move the marker to in his first turn. Suppose that, after turns, the marker is at and that Hobbes then moves it to . If then Calvin can move it back to . If then Calvin can move the marker to or where is the largest element of , so the claim follows. Hence Calvin can prevent Hobbes from winning.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.