Maths Olympiad Prep

Library / /63 of 65

Combinatorics Difficulty 6.8 National Olympiad Prove it Bulgaria

Problem:

Let tt, aa and bb be positive integers. We call a (t;a,b)(t ; a, b)-game the following game with two players: the first player subtracts aa or bb from tt, then the second player subtracts aa or bb from the number obtained by the first player, then again the first player subtracts aa or bb from the number obtained by the second player and so on. The player who obtains first a negative number loses the game. Prove that there exist infinitely many tt such that the first player has a winning strategy for any (t;a,b)(t ; a, b)-game with a+b=2005a+b=2005.

Solution

Solution:

We first prove the following lemma.

LEMMA. If in the (t;a,b)(t ; a, b)-game some of the two players has a winning strategy, then in the (t+a+b,a,b)(t+a+b, a, b)-game the same player has a winning strategy.

Proof of the lemma. Denote the players by AA and BB and let BB have a winning strategy for the (t;a,b)(t ; a, b)-game. In the (t+a+b;a,b)(t+a+b ; a, b)-game after the first move of AA we obtain either the (t+a;a,b)(t+a ; a, b)-game or the (t+b;a,b)(t+b ; a, b)-game with BB to go first. In both cases BB can get the (t;a,b)(t ; a, b)-game with AA as first player in which case BB has a winning strategy.

Let us now assume that AA has a winning strategy for the (t;a,b)(t ; a, b)-game. Then after the first move of AA we obtain either the (ta;a,b)(t-a ; a, b)-game or the (tb;a,b)(t-b ; a, b)-game with BB to go first. Therefore the second player has a winning strategy for some of these games.

We consider (without loss of generality) the case of the (ta;a,b)(t-a ; a, b)-game. It follows from the above that the second player has a winning strategy for the (ta+a+b=t+b;a,b)(t-a+a+b=t+b ; a, b)-game. Since AA can obtain the (t+b;a,b)(t+b ; a, b)-game with BB to go first from the (t+a+b;a,b)(t+a+b ; a, b)-game, it follows that AA has a winning strategy for the (t+a+b;a,b)(t+a+b ; a, b)-game. This completes the proof of the lemma.

We now prove that for t=2004t=2004 and a+b=2005a+b=2005 the first player AA has a winning strategy. We may assume that aba \leq b. Since a>0a>0, we have b2004b \leq 2004. Then AA subtracts bb from t=2004t=2004. The resulting number 2004b2004-b is less than aa since a+b=2005a+b=2005. This means that any move of BB leads to a negative number. Now the lemma implies that AA has a winning strategy for the (t,a,b)(t, a, b)-game for every t2004(mod2005)t \equiv 2004 \pmod{2005} and a+b=2005a+b=2005.

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.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.