photon писал(а):
Я не помню как тогда решал, но сейчас мой результат меньше чем

(где-то так

) получается...
Ну это вряд-ли.
Имхо, меньше, чем

не получится.
Кстати, зачем 2 км - хватило бы и 1 км, а то я было раскатал губу, что у меня значительно лучше.
Доказательство минимальности (с этим туго) - это явно вариационная задача.
ЗЫ. Добавил после прочтения Руста. Похоже, но только до другой касательной не надо - от первой точки касания проходим 7/6 полуокружности, откуда по касательной срываемся с окружности и проходим ещё один радиус.