Решение
Опишем маршрут движения путешественника последовательностью
где
- город, посещенный на
- ом шаге,
- номер дороги – выезда из города
. Количество всевозможных пар
равно
, следовательно, на маршруте движения
начнутся повторения.
Предположим, что в город
путешественник не вернется. Тогда найдутся натуральные числа
и
такие, что выполняются условия:
и
, при всех
(первый повтор членов последовательности
произошел на шаге с номером
). Но тогда в город
путешественник попадает вначале из города
по дороге с номером
, а затем из города
по дороге с номером
. При этом дальнейший маршрут движения в город
одинаковый. Тогда ввиду однозначности маршрута, номера дороги, по которым попадаем в город
, совпадают. Так как в каждый город ведут дороги с различными номерами, то города
и
совпадают. Но тогда
. Получили противоречие. Следовательно, наше предположение не верно. А значит, утверждение доказано.