MathDB
Playing with 2000, 17, and n [Austria Regional 2017, P3]

Source: Austrian Mathematics Olympiad Regional Competition (Qualifying Round) 2017, Problem 3

June 12, 2018
combinatoricsAustriaAUT

Problem Statement

The nonnegative integers 20002000, 1717 and nn are written on the blackboard. Alice and Bob play the following game: Alice begins, then they play in turns. A move consists in replacing one of the three numbers by the absolute difference of the other two. No moves are allowed, where all three numbers remain unchanged. The player who is in turn and cannot make an allowed move loses the game.
[*] Prove that the game will end for every number nn. [*] Who wins the game in the case n=2017n = 2017?
Proposed by Richard Henner