А я, кажется, доказал с 4-мя окружностями. Утверждение такое:
Пусть центры
вращающихся колёс с радиусами
находятся на концах жёсткого стержня с длиной
.
Тогда возможно одновременное прикосновение к ним сверху и снизу двух других окружностей, без проскальзывания.
Для доказательства перейдём в систему отсчёта K, связанной со стержнем
.
Для начала приведём в соприкосновение оба колеса сверху с произвольной достаточно большой окружностью радиуса
. Ясно, что это возможно.
После этого соприкосновения в системе К все крайние точки всех трёх колёс будут иметь скорости одинаковой величины.
Но отсюда следует, что теперь снизу к первым двум дискам может прикасаться четвёртое колесо с произвольным достаточно большим радиусом
.
Причём колёса с радиусами
и
могут касаться как внешним, так и внутренним образом.
Однозначность доказывается точно так же, как это сделал
Oleg Zubelevich.
Кстати, отсюда следует, что задача
grizzly имеет решение. Но открыт вопрос о его устойчивости.