Есть три коробки: в первой коробке 97 камней, во второй — 104, а в третьей коробке камней нет. За один ход берут по одному камню из любых двух коробок и кладут в оставшуюся. Сделали некоторое количество таких ходов.
а) Могло ли в первой коробке оказаться 97 камней, во второй — 89, а в третьей — 15?
б) Мог ли в третьей коробке оказаться 201 камень?
в) В первой коробке оказался 1 камень. Какое наибольшее число камней могло оказаться в третьей коробке?
Развёрнутое задание второй части — реши на бумаге и сверься с разбором
Обозначим количества камней в коробках через , , . При ходе общее число камней не меняется, оно всегда равно .
Инвариант. За ход в одной коробке становится на камня больше, а в двух других — на меньше. Посмотрим на разность количеств в двух коробках. Если обе коробки отдали по камню, разность не изменилась. Если одна получила камня, а другая отдала , разность изменилась на . Значит, остаток каждой разности при делении на не меняется.
Вначале:
- — остаток ;
- — остаток ;
- — остаток .
а) Для набора сумма равна , даёт остаток , — остаток , так что инвариант не мешает. Построим его.
Сделаем ходов, кладя камни в третью коробку (берём из первой и второй), затем ходов, кладя камни в первую (берём из второй и третьей):
Во всех ходах коробки, из которых берём, непусты. Ответ: да.
б) Если в третьей коробке камень, то в первых двух по , и — остаток . Но эта разность всегда даёт остаток . Ответ: нет.
в) Оценка. Пусть . Тогда , а разность должна давать остаток при делении на . Значит, делится на . Так как , а и на не делятся, получаем .
Пример. Сделаем ходов в третью коробку: .
Теперь заметим, что тройка ходов «в третью, в первую, в третью» не меняет первую коробку (), забирает камня из второй и добавляет в третью (). Сделаем её дважды:
На каждом шаге берём камни только из непустых коробок. Получили камень в первой коробке и в третьей.
Ответ: а) да; б) нет; в) .