Белая фигура «жук» стоит в угловой клетке доски
(Николай Белухов)
Сориентируем доску так, чтобы у неё было 1000 столбцов и n строк, а жук сидел в нижнем левом углу. Покрасим клетки в шахматном порядке, причём клетку жука сделаем белой. Занумеруем столбцы числами
Рассмотрим некоторый путь жука из клетки в клетку Из каждой клетки пути нарисуем стрелку в следующую клетку. Тогда из каждой белой клетки пути стрелка ведёт в чёрную.
Пусть i — чётное число, причём Между строками i и проведём горизонтальную прямую ℓ.
Ниже прямой ℓ количество белых клеток в пути превосходит количество чёрных не меньше чем на 1000, так как 1000 чёрных клеток в нижних строках находятся под боем слона. Поэтому не меньше 1000 стрелок идут из белых клеток ниже ℓ в чёрные клетки выше ℓ. Но так может проходить лишь стрелка из клетки в строке или i. А поскольку там всего 1000 белых клеток, в каждой из них начинается стрелка, идущая в чёрную клетку строки или
Стрелка из клетки может идти только в Тогда стрелка из может идти только в Последовательно рассматривая клетки
видим, что все 1000 стрелок в действительности определены однозначно
Аналогичное верно для и, значит, для белых клеток в строках и Поэтому если жук пришёл в белую клетку выше ℓ, то он уже никогда не вернётся в клетку ниже ℓ. Действительно, пусть жук впервые пересекает сверху вниз после того, как он побывал в белой клетке выше ℓ. Перед пересечением этой прямой жук находился в строке или Если жук был в белой клетке, то он пошёл бы вверх. А если жук был в чёрной клетке, то он пришёл в неё из клетки ниже ℓ — значит, он уже спускался ниже ℓ, побывав в белой клетке выше ℓ. Получили противоречие.
Среди стрелок из белых клеток строк и i рассмотрим пройденную последней. Так как до этого жук не побывал в белой клетке выше ℓ, то из концов остальных таких стрелок он спускался ниже ℓ. Таким образом, лишь из одной чёрной клетки в строках и стрелка ведёт в белую клетку выше ℓ.
Поскольку стрелка из не может вести в белую клетку ниже ℓ, стрелки из всех остальных чёрных клеток в строках и должны вести в белые клетки ниже ℓ. Последовательно рассматривая клетки
видим, что все 999 стрелок в действительности определены однозначно
Аналогичное рассуждение для всех чётных значений i между 1000 и показывает, что средняя часть пути жука определена однозначно и при росте n продолжается в виде пружины
Следовательно, количество возможных путей не зависит от n.
Замечание. Конструкция на рисунке 4 показывает, что рассматриваемые пути действительно существуют.