Każdy ruch zmniejsza wartość przekazywanej liczby. Gra się zatem zawsze
kończy, a któryś z graczy ma strategię wygrywającą. Dodatnią liczbę
całkowitą nazwijmy zieloną, jeśli – startując od tej liczby – gracz rozpoczynający
ma strategię zwycięską; nazwijmy ją czerwoną, gdy strategię zwycięską ma jego
przeciwnik; również liczbę 0 będziemy uważać za czerwoną. Wykażemy,
że liczba
jest zielona; a więc (jak zwykle w tego typu zadaniach)
wygrywa dziewczyna.
Rozbicie zbioru liczb całkowitych nieujemnych na liczby zielone i czerwone jest
scharakteryzowane przez własności:
-
(1)
- od każdej liczby zielonej można przejść jednym ruchem do
czerwonej;
-
(2)
- od każdej liczby czerwonej wszystkie ruchy prowadzą do liczb
zielonych.
Wśród liczb mniejszych od
liczbami czerwonymi są wielokrotności
liczby
i tylko one; sprawdzenie własności (1), (2) jest natychmiastowe.
Sama liczba
jest wszelako zielona (dzielenie przez
prowadzi do
czerwonej liczby
). Liczby z przedziału
też są
zielone (dzielenie z zaokrągleniem prowadzi do
). Zajmiemy się teraz
liczbami większymi.
Przyjmijmy
czyli
Weźmy pod uwagę
zbiór
Udowodnimy, że wszystkie liczby w zbiorze
są zielone.
Przypuśćmy, że tak nie jest. Niech
będzie najmniejszą liczbą
czerwoną w zbiorze
Wiemy już, że zielone są wszystkie liczby od
do
tak więc
Niech
będzie największą liczbą spełniającą warunki
(mod
); zatem
Jest ona osiągalna z liczby
ruchem
odejmowania.
Dzielenie przez
z zaokrągleniem, zastosowane do każdej z liczb
daje w wyniku tę samą liczbę
konkretnie: liczbę
Liczba
jest czerwona, więc w myśl
własności (2) liczby
i
(osiągalne z
) są zielone.
W myśl własności (1), istnieje ruch, prowadzący od liczby
do jakiejś
liczby czerwonej. Nie jest to dzielenie z zaokrągleniem (które daje liczbę
); zaś odejmowanie od
liczb
nie
wyprowadza ze zbioru
(skoro
oraz
).
Któraś z tak uzyskanych różnic powinna być liczbą czerwoną –
wbrew określeniu
jako najmniejszej liczby czerwonej w zbiorze
Sprzeczność dowodzi, że istotnie cały zbiór
jest zielony.
Oczywiście
Ala wygrywa.