Несложное утверждение, но, по-моему, интересное само по себе, я его у в учебниках не видел, но мало вероятно чтобы это не отмечалось ранее.
На многообразии
с локальными координатами
задана лагранжева система
Здесь
-- матрица Грамма римановой метрики на
.
Зафиксируем уровень энергии
Зафиксируем две точки
и будем рассматривать гладкие кривые
, которые эти точки соединяют. Множество таких кривых обозначим за
Выберем какую-нибудь кривую
. Будем считать, что на систему наложены дополнительные идеальные связи, которые принуждают ее двигаться по этой кривой. Через
обозначим время движения системы c уровнем энергии
по кривой
.
Обобщая стандартное понятие, назовем брахистохроной критическую точку функционала
Доказать, что брахистохрона является геодезической римановой метрики в
. Найти эту метрику.
Можно пойти дальше и рассмотреть задачу о брахистохроне в системах с неголономными связями. Это приводит к вариационной задаче Лагранжа.