Maths Olympiad Prep

Library / /14 of 15

Combinatorics Difficulty 6.8 National olympiad Prove it Bulgaria

Alexander and Denitza play the following game. Alexander cuts (if possible) a band of positive integer length to three bands of positive integer lengths such that the largest band is unique. Then Denitza cuts (if possible) the largest band in the same way and so on. The winner is the one who makes the last move. Consider the bands whose lengths are integers of the form aba^b, a1,b1Na-1, b-1 \in \mathbb{N}. For which of them Denitza has a winning strategy.

Solution

Consider a band of length nn. It is clear that no move is possible for n=1,2,3n = 1, 2, 3. For 4n7=3+2+24 \le n \le 7 = 3+2+2 Alexander has a winning move. For n=8n = 8 and 99 after the first move of Alexander the largest length is between 44 and 77 and then Denitza has a winning move. Similarly, for 10n9+8+8=2510 \le n \le 9+8+8 = 25, Alexander has a winning strategy since he can cut the band in such a way that the largest length is either 88 or 99 and so on. It follows by induction that Denitza has a winning strategy if and only if n=3kn = 3^k or n=3k1n = 3^k - 1 for some integer k>1k > 1.

The numbers 3k3^k and 321=233^2 - 1 = 2^3 obviously have the desired form. We shall prove that there are no other solutions. Assume that ab=3k1a^b = 3^k - 1. Since a20,1(mod3)a^2 \equiv 0, 1 \pmod 3, the number bb is even. Then (a+1)(ab1++a+1)=3k(a+1)(a^{b-1} + \cdots + a + 1) = 3^k and we

have a+1=3ia + 1 = 3^i, and 3ki=ab1++a+1=A(a+1)+b3^{k-i} = a^{b-1} + \cdots + a + 1 = A(a + 1) + b, for some integers ii and kk, 0<i<k0 < i < k. Hence 3 divides bb and setting c=ab/3c = a^{b/3} we have 3k=(c+1)((c+1)23c)3^k = (c+1)((c+1)^2 - 3c). Then c+1=3jc+1 = 3^j and (c+1)23c=3kj(c+1)^2 - 3c = 3^{k-j}, 0<j<k0 < j < k. In particular, 9 divides (c+1)2(c+1)^2, but does not divide 3c3c. We consecutively find kj=1k-j=1, c=2c=2, a=k=2a=k=2 and b=3b=3.

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 and solution reproduced as published; topic and difficulty added by this site.