Почему прямая линия — это ОШИБКА | Задача о брахистохроне

Если сбросить шарик на наклонную плоскость между двумя точками, то прямая линия окажется кратчайшим путем — и шарик проиграет. При одном из честных предположений (отпуск из состояния покоя, отсутствие трения, отсутствие сопротивления воздуха, равномерная гравитация, точечная масса, скользящая по поверхности), самая быстрая кривая спуска между двумя точками — это циклоида: кривая, описываемая точкой на катящемся колесе. Это проблема брахистохроны, поставленная перед европейскими математиками Иоганном Бернулли в июне 1696 года, и попытка ее решения породила вариационное исчисление. Мы получаем ответ дважды — один раз с помощью тождества Бельтрами, другой раз с помощью собственного приема Бернулли, рассматривая падающую бусинку как луч света, подчиняющийся закону Снелла, — а затем честно говорим о тех моментах, которые обычно опускаются в большинстве изложений: почему решение уравнения Эйлера-Лагранжа дает только кандидата, что Галилео на самом деле доказал в 1638 году, а не только предположил, почему та же циклоида является таутохроной, которая нужна Гюйгенсу для часов, и почему ни одна реальная горка или американские горки не строятся в виде циклоиды (комфорт — это другая оптимизация, чем скорость — в реальных переходах используются клотоиды). Каждое число, показанное на экране, было проверено вычислительными методами перед анимацией: прямая линия проигрывает циклоиде примерно на 18,5% для классических конечных точек; катящийся твердый шар сохраняет ту же оптимальную форму, но движется в sqrt(7/5) ≈ 1,18 раза медленнее; При наличии кинетического трения истинный оптимум отклоняется от циклоиды, однако при μ = 0,2 выигрыш составляет всего 0,009% — до тех пор, пока μ ≈ 0,47, после чего шарик просто останавливается. Если полностью изменить силовое поле — туннель сквозь планету с равномерной плотностью — то самый быстрый путь станет гипоциклоидой, причем каждый прямой туннель будет проходить за те же 42 минуты. Каждое утверждение в форме «самая быстрая кривая» в этом видео основано на явных предположениях, указанных на экране. Там, где теорема не работает — катящиеся тела конечного радиуса, трение, неравномерная гравитация — видео об этом говорит, приводя цифры. РАЗДЕЛЫ 0:00 Гонка: четыре пандуса, один сюрприз 1:11 Кратчайший — не самый быстрый 2:34 Что Галилео на самом деле доказал (и только предположил) 3:58 Скорость зависит только от глубины: время как функционал 5:46 Тождество Бельтрами и катящееся колесо 7:52 Трюк Бернулли: бусинка как луч света 9:40 Стационарность — это не то же самое, что наименьший 11:31 Таутохрона: второе чудо, найденное первым 13:23 Качение, трение и почему настоящие слайды — это клотоиды 15:47 Гравитационные туннели, гипоциклоида и то, что построила эта задача 🛠️ Инструменты, использованные в этом видео: Manim Community Edition (математическая анимация) ElevenLabs (озвучка) NumPy / SciPy / SymPy (каждая величина на экране проверяется символически и численно перед (анимация) 📚 Ключевые понятия: Проблема брахистохроны | циклоида | вариационное исчисление | тождество Бельтрами | уравнение Эйлера-Лагранжа | принцип Ферма и закон Снелла | необходимые и достаточные условия | достаточное условие Вейерштрасса | таутохрона (Гюйгенс, 1673) | ограничение качения и фактор 5/7 | кинетическое трение и остановка | переходы клотоиды (спирали Эйлера) | Гравитационный поезд и гипоциклоида 📖 Источники: Иоганн Бернулли, Acta Eruditorum, июнь 1696 г. (вызов) и май 1697 г. (его решение) Исаак Ньютон (анонимно), Philosophical Transactions, 1697 г. Кристиан Гюйгенс, Horologium Oscillatorium, 1673 г. (таутохрона; идея датируется 1659 г.) Галилео Галилей, Discorsi (Две новые науки), 1638 г., Третий день, предложение 36 и его схолиум Г. Гольдштейн, Классическая механика, гл. 2 (вариационные принципы; пример решения брахистохроны) И. М. Гельфанд и С. В. Фомин, Вариационное исчисление (Prentice-Hall, 1963 г.), гл. 1 и главы о достаточности Э. Роджерс, «Брахистохронные и таутохронные кривые для катящихся тел», Am. J. Phys. 14, 249 (1946) П. У. Купер, «Через Землю за сорок минут», Am. J. Phys. 34, 68 (1966) А. Клотц, «Гравитационный туннель в неоднородной Земле», Am. J. Phys. 83, 231 (2015) Д. Т. Уайтсайд (ред.), Математические труды Исаака Ньютона, том VIII (об эпизоде ​​1697 года)