Maths Olympiad Prep

Library / /30 of 57

Combinatorics Difficulty 6.9 National olympiad Prove it Russia

A pile of more than n2n^2 stones is put on the table. Pete and Basil make moves taking stones in turn; Pete moves first. By one move it is allowed to take kk stones from a pile if either k=1k = 1, or kk is a prime number less than nn, or kk is divisible by nn. The one taking the last stone wins. Prove that Pete has a winning strategy. (S. Berlov)

На столе лежит куча из более, чем n2n^2 камней. Петя и Вася по очереди берут камни из кучи, первым берёт Петя. За один ход можно брать любое простое число камней, меньше nn, либо любое кратное nn число камней, либо один камень. Докажите, что Петя может действовать так, чтобы взять последний камень независимо от действий Васи.
(С. Берлов)

Solution

Предположим противное: Вася может всегда действовать так, чтобы помешать Пете; поскольку в любой ситуации, кроме конечной, можно сделать ход, это означает, что у Васи есть стратегия, поволяющая ему гарантированно взять последний камень. Пусть dd — изначальное количество камней, а rr — остаток от деления dd на nn. Ясно, что r0r \neq 0, иначе Петя может сразу взять все камни.
Петя после первого своего хода может, взяв кратное nn количество камней, оставить любое количество вида ak=r+nka_k = r + nk, где 0kn10 \le k \le n - 1 (все эти количества меньше n2n^2). Пусть ckc_k — ответный ход в Васиной стратегии при aka_k камнях в куче. Тогда ckc_k не делится на nn, иначе после его хода остаётся r+n(kckn)r + n \left(k - \frac{c_k}{n}\right) камней, и Петя может выиграть, действуя по Васиной стратегии для этого числа. Значит, ck<nc_k < n при всех 0kn10 \le k \le n - 1, а тогда два из этих чисел совпадают, скажем, ck=cc_k = c_\ell при 0k<n10 \le k < \ell \le n - 1. Напомним, что у Васи есть стратегия выигрыша в ситуации, когда в куче akcka_k - c_k камней и ход Пети.
Пусть теперь Петя первым ходом оставит aa_\ell камней; Вася в ответ возвьмёт cc_\ell камней. Теперь Петя может взять n(k)n(\ell - k) камней, оставляя acn(k)=akcka_\ell - c_\ell - n(\ell - k) = a_k - c_k, и дальше действовать по вышеупомянутой Васиной стратегии. Таким образом, он выиграет — противоречие.

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.