Кривая брахистохроны

Самый быстрый спуск по кривой без трения

Кривая наискорейшего спуска представляет собой не прямую или ломаную линию (синяя), а циклоиду (красная).

В физике и математике брахистохронная кривая (от древнегреческого βράχιστος χρόνος (brákhistos khrónos)  «кратчайшее время»), ^[1] или кривая наискорейшего спуска — это кривая, лежащая на плоскости между точкой A и нижней точкой B , где B не находится непосредственно под A , по которому бусинка без трения скользит под действием однородного гравитационного поля до заданной конечной точки за кратчайшее время. Задача была поставлена ​​Иоганном Бернулли в 1696 году.

Кривая брахистохроны имеет ту же форму, что и кривая таутохроны ; оба циклоиды . Однако часть циклоиды, используемая для каждого из двух, различается. Точнее, брахистохрона может использовать вплоть до полного вращения циклоиды (в пределе, когда A и B находятся на одном уровне), но всегда начинается с точки возврата . Напротив, задача таутохрона может использоваться только до первой половины оборота и всегда заканчивается на горизонтали. ^[2] Проблему можно решить, используя инструменты вариационного исчисления [ ^3] и оптимального управления . ^[4]

Кривая не зависит как от массы испытуемого тела, так и от местной силы тяжести. Выбирается только параметр, чтобы кривая соответствовала начальной точке A и конечной точке B. ^[5] Если телу задана начальная скорость в точке A или учтено трение, то кривая, минимизирующая время, отличается от кривой таутохроны .

История

Проблема Галилея

Ранее, в 1638 году, Галилео Галилей пытался решить аналогичную задачу для пути скорейшего спуска от точки к стене в своих « Двух новых науках» . Он приходит к выводу, что дуга окружности быстрее любого числа ее хорд, ^[6]

Из предыдущего можно сделать вывод, что кратчайший путь из всех [lationem omnium velocissimam] из одной точки в другую — это не кратчайший путь, а именно прямая линия, а дуга окружности.

...

Следовательно, чем ближе вписанный многоугольник приближается к окружности, тем меньше времени требуется для спуска от А до С. То, что было доказано для квадранта, справедливо и для меньших дуг; аргументация та же.

Сразу после теоремы 6 « Двух новых наук » Галилей предупреждает о возможных заблуждениях и необходимости «высшей науки». В этом диалоге Галилей рассматривает свою работу. Галилей изучил циклоиду и дал ей свое имя, но связь между ней и его проблемой пришлось ждать до достижений математики.

Гипотеза Галилея состоит в том, что «Кратчайшим временем [для подвижного тела] будет время его падения по дуге ADB [четверти круга] и подобные свойства следует понимать как сохраняющиеся для всех меньших дуг, взятых вверх от наименьшей дуги». предел Б».

На рис.1 из «Диалога о двух главных мировых системах» Галилей утверждает, что тело, скользящее по дуге в четверть круга, от А до В, достигнет В за меньшее время, чем если бы оно шло по любому другому пути из Аналогично на рис. 2 из любой точки D на дуге AB он утверждает, что время по меньшей дуге DB будет меньше, чем для любого другого пути от D до B. Фактически, кратчайший путь от A до B. Брахистохрона от A до B или от D до B, представляет собой циклоидальную дугу, которая показана на рис. 3 для пути от A до B и на рис. 4 для пути от D до B, наложенную на соответствующую дугу окружности. . ^[7]

Введение проблемы

Иоганн Бернулли поставил перед читателями Acta Eruditorum проблему брахистохроны в июне 1696 года. ^{[8] [9]} Он сказал:

Я, Иоганн Бернулли, обращаюсь к самым блестящим математикам мира. Нет ничего более привлекательного для умных людей, чем честная и сложная проблема, возможное решение которой принесет славу и останется вечным памятником. Следуя примеру Паскаля, Ферма и т. д., я надеюсь заслужить благодарность всего научного сообщества, поставив перед лучшими математиками нашего времени задачу, которая проверит их методы и силу их интеллекта. Если кто-нибудь сообщит мне решение предложенной проблемы, я публично объявлю его достойным похвалы.

Бернулли написал постановку задачи так:

Даны две точки А и В в вертикальной плоскости. Какова кривая, очерчиваемая точкой, на которую действует только сила тяжести, которая начинается в А и достигает В за кратчайшее время ?

Иоганн и его брат Якоб Бернулли получили одно и то же решение, но вывод Иоганна был неверным, и он попытался выдать решение Якоба за свое собственное. ^[10] Иоганн опубликовал решение в журнале в мае следующего года и отметил, что решение представляет собой ту же кривую, что и таутохронная кривая . Выведя дифференциальное уравнение для кривой методом, приведенным ниже, он показал, что оно действительно дает циклоиду. ^{[11] [12]} Однако его доказательство испорчено использованием одной константы вместо трех констант, v _m , 2g и D , приведенных ниже.

Бернулли отвел шесть месяцев на решение, но за это время ни одного не было получено. По требованию Лейбница срок был публично продлен на полтора года. ^[13] В 16:00 29 января 1697 года, вернувшись домой с Королевского монетного двора, Исаак Ньютон нашел вызов в письме Иоганна Бернулли. ^[14] Ньютон не спал всю ночь, чтобы решить эту задачу, и анонимно отправил решение в следующем сообщении. Прочитав решение, Бернулли сразу узнал его автора, воскликнув, что «узнает льва по следу когтя». Эта история дает некоторое представление о силе Ньютона, поскольку Иоганну Бернулли потребовалось две недели, чтобы решить ее. ^{[5] [15]} Ньютон также писал: «Я не люблю, когда иностранцы меня напоминают [приставают] и дразнят по поводу математических вещей...», и Ньютон уже решил задачу Ньютона о минимальном сопротивлении , которая считается первой из вид в вариационном исчислении .

В конце концов, пять математиков ответили своими решениями: Ньютон, Якоб Бернулли, Готфрид Лейбниц , Эренфрид Вальтер фон Чирнхаус и Гийом де Л'Опиталь . Четыре решения (за исключением решения Лопиталя) были опубликованы в том же номере журнала, что и решение Иоганна Бернулли. В своей статье Якоб Бернулли дал доказательство условия наименьшего времени, аналогичное приведенному ниже, прежде чем показать, что его решение является циклоидой. ^[11] По словам ньютоновского исследователя Тома Уайтсайда , в попытке превзойти своего брата Якоб Бернулли создал более сложную версию проблемы брахистохроны. Решая ее, он разработал новые методы, которые Леонард Эйлер усовершенствовал до того, что последний назвал (в 1766 году) вариационным исчислением . Жозеф-Луи Лагранж проделал дальнейшую работу, которая привела к созданию современного исчисления бесконечно малых .

Решение Иоганна Бернулли

Введение

В письме в Лопиталь (21.12.1696) Бернулли сообщал, что, рассматривая задачу о кривой наискорейшего спуска, всего через два дня он заметил любопытное сходство или связь с другой, не менее замечательной задачей, приводящей к «косвенный метод» решения. Вскоре после этого он открыл «прямой метод». ^[16]

Прямой метод

В письме Анри Баснажу, хранящемуся в публичной библиотеке Базельского университета от 30 марта 1697 года, Иоганн Бернулли заявил, что он нашел два метода (всегда называемых «прямым» и «косвенным»), чтобы показать, что брахистохрона была «обыкновенная циклоида», также называемая «рулеткой». Следуя совету Лейбница, он включил только косвенный метод в Acta Eruditorum Lipsidae в мае 1697 года. Он писал, что это произошло отчасти потому, что он считал, что этого достаточно, чтобы убедить любого, кто сомневался в выводе, отчасти потому, что он также решил две известные проблемы оптики. что «покойный г-н Гюйгенс» поднял в своем трактате о свете. В том же письме он критиковал Ньютона за сокрытие своего метода.

В дополнение к своему косвенному методу он также опубликовал пять других ответов на проблему, которые он получил.

Прямой метод Иоганна Бернулли исторически важен как доказательство того, что брахистохрона является циклоидой. Метод заключается в определении кривизны кривой в каждой точке. Все остальные доказательства, включая доказательство Ньютона (которое тогда не было открыто), основаны на нахождении градиента в каждой точке.

В 1718 году Бернулли объяснил, как он решил проблему брахистохроны своим прямым методом. ^{[17] [18]}

Он объяснил, что не опубликовал ее в 1697 году по причинам, которые больше не применялись в 1718 году. Эта статья в значительной степени игнорировалась до 1904 года, когда глубину метода впервые оценил Константин Каратеодори , который заявил, что она показывает, что циклоида - это единственная возможная кривая скорейшего спуска. По его словам, другие решения просто подразумевали, что время спуска стационарно для циклоиды, но не обязательно минимально возможное.

Аналитическое решение

Тело считается скользящим по любой малой дуге Ce между радиусами KC и Ke с фиксированным центром K. Первый этап доказательства заключается в нахождении конкретной дуги окружности Mm, которую тело проходит за минимальное время.

Прямая KNC пересекает AL в точке N, а линия Kne пересекает ее в точке n, и они образуют небольшой угол CKe в точке K. Пусть NK = a, и определите переменную точку C на расширенном KN. Из всех возможных дуг окружности Се требуется найти дугу Мм, для проскальзывания которой между двумя радиусами КМ и Км требуется минимальное время. Чтобы найти г-на Бернулли, рассуждает следующим образом.

Пусть МН = х. Он определяет m так, что MD = mx, а n так, что Mm = nx + na, и отмечает, что x — единственная переменная, m конечна, а n бесконечно мало. Малое время перемещения по дуге Mm равно , которое должно быть минимальным («un plus petit»). Он не объясняет, что, поскольку Mm так мало, скорость вдоль него можно принять за скорость в точке M, которая равна квадратному корню из MD, вертикального расстояния M ниже горизонтальной линии AL. ${\displaystyle {\frac {Mm}{MD^{\frac {1}{2}}}}={\frac {n(x+a)}{(mx)^{\frac {1}{2}}}}}$

Отсюда следует, что при дифференцировании это должно дать

${\displaystyle {\frac {(x-a)dx}{2x^{\frac {3}{2}}}}=0}$так что х = а.

Это условие определяет кривую, по которой тело скользит за минимально возможное время. Для каждой точки М на кривой радиус кривизны МК разрезается на две равные части своей осью AL. Это свойство, о котором, по словам Бернулли, было известно уже давно, уникально для циклоиды.

Наконец, он рассматривает более общий случай, когда скорость является произвольной функцией X(x), поэтому время, которое необходимо минимизировать, равно . Тогда становится условием минимума , которое он записывает как : и которое дает MN (=x) как функцию NK (= a). Отсюда уравнение кривой можно было бы получить из интегрального исчисления, хотя он этого не демонстрирует. ${\displaystyle {\frac {(x+a)}{X}}}$ ${\displaystyle X={\frac {(x+a)dX}{dx}}}$ ${\displaystyle X=(x+a)\Delta x}$

Синтетический раствор

Затем он приступает к тому, что он назвал своим синтетическим решением, которое было классическим геометрическим доказательством того, что существует только одна кривая, по которой тело может соскользнуть за минимальное время, и эта кривая — циклоида.

Целью синтетической демонстрации, как это делали древние, является убеждение г-на де ла Гира. У него мало времени на наш новый анализ, он называет его ложным (он утверждает, что нашел три способа доказать, что кривая является кубической параболой) – Письмо Йохана Бернулли Пьеру Вариньону от 27 июля 1697 года. [19 ^]

Предположим, что AMmB — часть циклоиды, соединяющая точки A и B, по которой тело соскальзывает за минимальное время. Пусть ICcJ является частью другой кривой, соединяющей A с B, которая может быть ближе к AL, чем к AMmB. Если дуга Mm образует угол MKm в ее центре кривизны K, пусть дуга на IJ, образующая тот же угол, будет Cc. Дуга окружности, проходящая через C с центром K, — это Ce. Точка D на AL находится вертикально над M. Соедините K с D, а точка H будет там, где CG пересекает KD, при необходимости расширив ее.

Пусть и t — время, за которое тело упадет по Mm и Ce соответственно. ${\displaystyle \tau }$

${\displaystyle \tau \propto {\frac {Mm}{MD^{\frac {1}{2}}}}}$, , ${\displaystyle t\propto {\frac {Ce}{CG^{\frac {1}{2}}}}}$

Продолжим CG до точки F, где и поскольку , отсюда следует, что ${\displaystyle CF={\frac {CH^{2}}{MD}}}$ ${\displaystyle {\frac {Mm}{Ce}}={\frac {MD}{CH}}}$

${\displaystyle {\frac {\tau }{t}}={\frac {Mm}{Ce}}.\left({\frac {CG}{MD}}\right)^{\frac {1}{2}}=\left({\frac {CG}{CF}}\right)^{\frac {1}{2}}}$

Поскольку MN = NK, для циклоиды:

${\displaystyle GH={\frac {MD.HD}{DK}}={\frac {MD.CM}{MK}}}$, , и ${\displaystyle CH={\frac {MD.CK}{MK}}={\frac {MD.(MK+CM)}{MK}}}$ ${\displaystyle CG=CH+GH={\frac {MD.(MK+2CM)}{MK}}}$

Если Ce ближе к K, чем Mm, то

${\displaystyle CH={\frac {MD.(MK-CM)}{MK}}}$и ${\displaystyle CG=CH-GH={\frac {MD.(MK-2CM)}{MK}}}$

В любом случае,

${\displaystyle CF={\frac {CH^{2}}{MD}}>CG}$, и отсюда следует, что ${\displaystyle \tau <t}$

Если дуга Cc, образованная бесконечно малым углом MKm на IJ, не является круговой, она должна быть больше Ce, поскольку Cec в пределе становится прямоугольным треугольником, когда угол MKm приближается к нулю.

Обратите внимание: Бернулли доказывает, что CF > CG, используя аналогичный, но другой аргумент.

Отсюда он делает вывод, что тело проходит циклоиду AMB за меньшее время, чем любую другую кривую ACB.

Косвенный метод

Согласно принципу Ферма , фактический путь между двумя точками, пройденный лучом света, — это путь, который занимает наименьшее время. В 1697 году Иоганн Бернулли использовал этот принцип для вывода кривой брахистохроны, рассматривая траекторию луча света в среде, где скорость света увеличивается в результате постоянного вертикального ускорения (ускорения силы тяжести g ). ^[20]

В силу закона сохранения энергии мгновенная скорость тела v после падения на высоту y в однородном гравитационном поле определяется выражением:

${\displaystyle v={\sqrt {2gy}}}$,

Скорость движения тела по произвольной кривой не зависит от горизонтального перемещения.

Бернулли заметил, что закон преломления дает константу движения луча света в среде переменной плотности:

${\displaystyle {\frac {\sin {\theta }}{v}}={\frac {1}{v}}{\frac {dx}{ds}}={\frac {1}{v_{m}}}}$,

где v _m — константа и представляет собой угол траектории относительно вертикали. ${\displaystyle \theta }$

Приведенные выше уравнения приводят к двум выводам:

1. В начале угол должен быть равен нулю, когда скорость частицы равна нулю. Следовательно, кривая брахистохроны касается вертикали в начале координат.
2. Скорость достигает максимального значения, когда траектория становится горизонтальной и угол θ = 90°.

Предположим для простоты, что частица (или луч) с координатами (x,y) вылетает из точки (0,0) и достигает максимальной скорости после падения на вертикальное расстояние D :

${\displaystyle v_{m}={\sqrt {2gD}}}$.

Перестановка членов в законе преломления и возведения в квадрат дает:

${\displaystyle v_{m}^{2}dx^{2}=v^{2}ds^{2}=v^{2}(dx^{2}+dy^{2})}$

которое можно решить для dx через dy :

${\displaystyle dx={\frac {v\,dy}{\sqrt {v_{m}^{2}-v^{2}}}}}$.

Замена выражений для v и v _m , приведенных выше, дает:

${\displaystyle dx={\sqrt {\frac {y}{D-y}}}\,dy\,,}$

которое представляет собой дифференциальное уравнение перевернутой циклоиды , порожденной кругом диаметром D=2r , параметрическое уравнение которого имеет вид:

${\displaystyle {\begin{aligned}x&=r(\varphi -\sin \varphi )\\y&=r(1-\cos \varphi ).\end{aligned}}}$

где φ — действительный параметр , соответствующий углу, на который повернулась катящаяся окружность. Для данного φ центр круга находится в точке ( x , y ) = ( rφ , r ) .

В задаче о брахистохроне движение тела задается временной эволюцией параметра:

${\displaystyle \varphi (t)=\omega t\,,\omega ={\sqrt {\frac {g}{r}}}}$

где t – время с момента выхода тела из точки (0,0).

Решение Якоба Бернулли

Брат Иоганна Якоб показал, как можно использовать 2-й дифференциал для получения этого условия за наименьшее время. Модернизированная версия доказательства состоит в следующем. Если мы пренебрежимо мало отклонимся от пути наименьшего времени, то для дифференциального треугольника, образованного смещением по пути, а также горизонтальными и вертикальными перемещениями,

${\displaystyle ds^{2}=dx^{2}+dy^{2}}$.

При дифференцировании с фиксированным dy получаем:

${\displaystyle 2ds\ d^{2}s=2dx\ d^{2}x}$.

И, наконец, перестановка терминов дает:

${\displaystyle {\frac {dx}{ds}}d^{2}x=d^{2}s=v\ d^{2}t}$

где последняя часть — это смещение при данном изменении во времени для 2-го дифференциала. Теперь рассмотрим изменения вдоль двух соседних путей на рисунке ниже, для которых горизонтальное расстояние между путями вдоль центральной линии равно d ² x (одинаково как для верхнего, так и для нижнего дифференциальных треугольников). На старом и новом пути различаются следующие части:

${\displaystyle d^{2}t_{1}={\frac {1}{v_{1}}}{\frac {dx_{1}}{ds_{1}}}d^{2}x}$

${\displaystyle d^{2}t_{2}={\frac {1}{v_{2}}}{\frac {dx_{2}}{ds_{2}}}d^{2}x}$

Для пути наименьших времен эти времена равны, поэтому для их разницы мы получаем:

${\displaystyle d^{2}t_{2}-d^{2}t_{1}=0={\bigg (}{\frac {1}{v_{2}}}{\frac {dx_{2}}{ds_{2}}}-{\frac {1}{v_{1}}}{\frac {dx_{1}}{ds_{1}}}{\bigg )}d^{2}x}$

И условие наименьшего времени таково:

${\displaystyle {\frac {1}{v_{2}}}{\frac {dx_{2}}{ds_{2}}}={\frac {1}{v_{1}}}{\frac {dx_{1}}{ds_{1}}}}$

что согласуется с предположением Иоганна, основанным на законе преломления .

Решение Ньютона

Введение

В июне 1696 года Иоганн Бернулли использовал страницы Acta Eruditorum Lipsidae , чтобы поставить перед международным математическим сообществом задачу: найти форму кривой, соединяющей две неподвижные точки, чтобы масса скользила по ней вниз под действием только гравитация, за минимальное время. Первоначально решение должно было быть представлено в течение шести месяцев. По предложению Лейбница Бернулли продлил задачу до Пасхи 1697 года с помощью печатного текста под названием «Программа», опубликованного в Гронингене , в Нидерландах.

Программа датирована 1 января 1697 года по григорианскому календарю . Это было 22 декабря 1696 года по юлианскому календарю, используемому в Великобритании. По словам племянницы Ньютона, Кэтрин Кондуитт, Ньютон узнал о задаче в 16:00 29 января и решил ее к 4 часам утра следующего дня. Его решение, переданное Королевскому обществу, датировано 30 января. Это решение, позже анонимно опубликованное в «Философских трудах» , верно, но не указывает на метод, с помощью которого Ньютон пришел к своему выводу. Бернулли в письме Анри Баснажу в марте 1697 года указывал, что, хотя ее автор «из-за чрезмерной скромности» не назвал своего имени, тем не менее, даже по скудным деталям, представленным в ней, можно было узнать работу Ньютона, «как лев когтем» (по латыни ex ungue Leonem ).

Д. Т. Уайтсайд отмечает, что во французском письме перед буквой ex ungue Leonem стоит французское слово comme . Часто цитируемая версия tanquam ex ungue Leonem связана с книгой Дэвида Брюстера 1855 года о жизни и творчестве Ньютона. Намерением Бернулли, как утверждает Уайтсайд, было просто показать, что он может сказать, что анонимное решение принадлежит Ньютону, точно так же, как можно было сказать, что животное является львом, учитывая его когти; это не означало, что Бернулли считал Ньютона львом среди математиков, как это с тех пор интерпретировали. ^[21]

Джон Уоллис , которому в то время было 80 лет, узнал об этой проблеме в сентябре 1696 года от младшего брата Иоганна Бернулли Иеронима и потратил три месяца на попытки решения, прежде чем передать его в декабре Дэвиду Грегори , который также не смог ее решить. . После того как Ньютон представил свое решение, Грегори расспросил его о деталях и сделал заметки из их разговора. Их можно найти в библиотеке Эдинбургского университета, рукопись А , датированная 7 марта 1697 года. Либо Грегори не понял аргументов Ньютона, либо объяснение Ньютона было очень кратким. Однако можно с большой степенью уверенности построить доказательство Ньютона на основе заметок Грегори по аналогии с его методом определения тела минимального сопротивления (Начала, Книга 2, Предложение 34, Схолия 2). Подробное описание решения этой последней проблемы включено в черновик письма 1694 года, также Дэвиду Грегори. ^[22] Помимо проблемы минимальной кривой времени, существовала и вторая проблема, которую Ньютон решил в то же время. Оба решения появились анонимно в «Философских трудах Королевского общества» за январь 1697 года. ${\displaystyle 78^{1}}$

Проблема брахистохроны

На рис. 1 представлена ​​диаграмма Грегори (только на ней отсутствует дополнительная линия IF и добавлена ​​Z — начальная точка). Кривая ZVA — циклоида, CHV — ее образующая окружность. Поскольку оказывается, что тело движется вверх от е к Е, то следует предположить, что небольшое тело высвобождается из Z и скользит по кривой к А без трения под действием силы тяжести.

Рассмотрим малую дугу eE, по которой поднимается тело. Предположим, что вместо дуги eE она проходит по прямой eL до точки L, смещенной по горизонтали от E на небольшое расстояние o. Обратите внимание, что eL не является касательной в точке e, и что o отрицательно, когда L находится между B и E. Проведите линию, проходящую через E параллельно CH, разрезая eL в точке n. По свойству циклоиды En является нормалью к касательной в точке E, и аналогичным образом касательная в точке E параллельна VH.

Поскольку смещение EL мало, оно мало отличается по направлению от касательной в точке E, так что угол EnL близок к прямому. В пределе, когда дуга eE приближается к нулю, eL становится параллельной VH, при условии, что o мало по сравнению с eE, что делает треугольники EnL и CHV подобными.

Также en приближается к длине хорды eE и увеличению длины , игнорируя члены in и выше, которые представляют собой ошибку из-за аппроксимации, что eL и VH параллельны. ${\displaystyle eL-eE=nL={\frac {o.CH}{CV}}}$ ${\displaystyle o^{2}}$

Скорость вдоль eE или eL можно принять равной скорости в E, пропорциональной , что соответствует CH, поскольку ${\displaystyle {\sqrt {CB}}}$ ${\displaystyle CH={\sqrt {CB.CV}}}$

Кажется, это все, что содержится в записке Грегори.

Пусть t — дополнительное время для достижения L,

${\displaystyle t\propto {\frac {nL}{\sqrt {CB}}}={\frac {o.CH}{CV.{\sqrt {CB}}}}={\frac {o}{\sqrt {CV}}}}$

Поэтому увеличение времени прохождения небольшой дуги, смещенной в одной конечной точке, зависит только от смещения в конечной точке и не зависит от положения дуги. Однако по методу Ньютона это всего лишь условие, необходимое для прохождения кривой за минимально возможное время. Поэтому он заключает, что минимальная кривая должна быть циклоидой.

Он рассуждает следующим образом.

Предположим теперь, что рис. 1 представляет собой еще не определенную минимальную кривую с вертикальной осью CV и удаленным кругом CHV, а на рис. 2 показана часть кривой между бесконечно малой дугой eE и еще одной бесконечно малой дугой Ff на конечном расстоянии вдоль изгиб. Дополнительное время t для прохождения eL (а не eE) равно nL, делённому на скорость в точке E (пропорционально ), игнорируя члены в и выше: ${\displaystyle {\sqrt {CB}}}$ ${\displaystyle o^{2}}$

${\displaystyle t\propto {\frac {o.DE}{eE.{\sqrt {CB}}}}}$,

В точке L частица продолжает двигаться по пути LM, параллельному исходному EF, до некоторой произвольной точки M. Поскольку она имеет ту же скорость в L, что и в точке E, время прохождения LM такое же, как и в исходной точке. кривая EF. В точке M он возвращается на исходный путь в точке f. По тем же соображениям сокращение времени T для достижения f из M, а не из F, равно

${\displaystyle T\propto {\frac {o.FG}{Ff.{\sqrt {CI}}}}}$

Разница (t – T) представляет собой дополнительное время, необходимое на пути eLMf по сравнению с исходным eEFf:

${\displaystyle (t-T)\propto \left({\frac {DE}{eE{\sqrt {CB}}}}-{\frac {FG}{Ff{\sqrt {CI}}}}\right).o}$плюс условия в и выше (1) ${\displaystyle o^{2}}$

Поскольку eEFf — минимальная кривая, (t – T) должно быть больше нуля, независимо от того, является ли o положительным или отрицательным. Отсюда следует, что коэффициент при o в (1) должен быть равен нулю:

${\displaystyle {\frac {DE}{eE{\sqrt {CB}}}}={\frac {FG}{Ff{\sqrt {CI}}}}}$ (2) в пределе, когда eE и fF стремятся к нулю. Обратите внимание, поскольку eEFf — минимальная кривая, следует предположить, что коэффициент больше нуля. ${\displaystyle o^{2}}$

Очевидно, что должно быть два равных и противоположных смещения, иначе тело не вернется в конечную точку А кривой.

Если e фиксировано и если f считается переменной точкой выше кривой, то для всех таких точек f является постоянной (равной ). Если оставить f фиксированным и сделать e переменной, становится ясно, что оно также является постоянным. ${\displaystyle {\frac {FG}{Ff{\sqrt {CI}}}}}$ ${\displaystyle {\frac {DE}{eE{\sqrt {CB}}}}}$ ${\displaystyle {\frac {DE}{eE{\sqrt {CB}}}}}$

Но поскольку точки e и f произвольны, уравнение (2) может быть истинным только в том случае, если всюду и это условие характеризует искомую кривую. Это тот же метод, который он использует, чтобы найти форму Тела Наименьшего Сопротивления. ${\displaystyle {\frac {DE}{eE{\sqrt {CB}}}}={\text{constant}}}$

Для циклоиды , так что , которая, как было показано выше, постоянна, а Брахистохрона является циклоидой. ${\displaystyle {\frac {DE}{eE}}={\frac {BH}{VH}}={\frac {CH}{CV}}}$ ${\displaystyle {\frac {DE}{eE{\sqrt {CB}}}}={\frac {CH}{CV.{\sqrt {CB}}}}}$

Ньютон не дает никаких указаний на то, как он обнаружил, что циклоида удовлетворяет этому последнему соотношению. Возможно, это было методом проб и ошибок, или он мог сразу понять, что это означает, что кривая была циклоидой.

Смотрите также

• Математический портал
• Физический портал

• Парадокс колеса Аристотеля
• Личность Бельтрами
• Вариационное исчисление
• Цепная линия
• Задача о минимальном сопротивлении Ньютона
• Трохоид
• Равноускоренное движение

Рекомендации

1. Чисхолм, Хью , изд. (1911). «Брахистохрона»  . Британская энциклопедия (11-е изд.). Издательство Кембриджского университета.
2. Стюарт, Джеймс. «Раздел 10.1 — Кривые, определяемые параметрическими уравнениями». Исчисление: ранние трансценденталисты . 7-е изд. Бельмонт, Калифорния: Томсон Брукс/Коул, 2012. 640. Печать.
3. Вайсштейн, Эрик В. «Проблема брахистохроны». Математический мир .
4. Росс, И.М. Парадигма брахистохроны, в «Букваре по принципу Понтрягина в оптимальном управлении» , Collegiate Publishers, 2009. ISBN 978-0-9843571-0-9 . 
5. Хэнд, Луи Н. и Джанет Д. Финч. «Глава 2: Вариационное исчисление и его применение в механике». Аналитическая механика . Кембридж: Кембриджский университет, 1998. 45, 70. Печать.
6. Галилео Галилей (1638), «Третий день, Теорема 22, предложение 36», Беседы о двух новых науках , с. 239Этот вывод появился шестью годами ранее в « Диалоге Галилея о двух главных мировых системах» (день 4).
7. Галилей, Галилей (1967). «Диалог о двух главных мировых системах - Птолемеевой и Коперниканской в ​​переводе Стиллмана Дрейка, предисловие Альберта Эйнштейна» (изд. В твердом переплете). Издательство Калифорнийского университета в Беркли и Лос-Анджелесе. п. 451. ИСБН 0520004493.
8. Иоганн Бернулли (июнь 1696 г.) «Problema novum ad cujus Solutionem Mathematici invitantur». (Новая проблема, к решению которой приглашены математики.), Acta Eruditorum , 18  : 269. Со стр. 269: «Датис в плоском вертикальном дуобусе точек А и В (см. рис. 5) назначаются мобильными М, через АМВ, per quam gravitate sua downcens & moveri incipiens a puncto A, brevissimo tempore perveniat ad alterum punctum B». (Данные в вертикальной плоскости две точки А и В (см. рис. 5), назначить движущемуся [телу] М путь АМВ, посредством которого — опускаясь под действием собственного веса и начиная перемещаться [под действием силы тяжести] от пункт А — он прибудет в другой пункт Б за кратчайшее время.)
9. Решения проблемы Иоганна Бернулли 1696 года:
   • Исаак Ньютон (январь 1697 г.) «Deratione temporis quo Grave labitur per rectam data duo puncta conjungentem, ad tempus brevissimum quo, vi gravitatis,transit ab horum uno ad alterum per arcum cycloidis» (О доказательстве того, что время, в течение которого скольжение груза по линии, соединяющей две данные точки, [является] кратчайшим по времени, когда он проходит под действием гравитационной силы из одной из этих [точек] в другую по циклоидальной дуге), « Философские труды Лондонского королевского общества» , 19  : 424-425.
   • GGL (Готфрид Вильгельм Лейбниц) (май 1697 г.) «Communicatio suae pariter, duarumque Alinarum ad edendum sibi primum с доктором Джо. Бернуллио, deinde с доктором Джо. Бернуллио, deinde с доктором Маркионе Hospitalio communicatarum Solutionum Issueatis Curva celerrimi descensus с доктором Джо. Бернуллио Geometris publice propositi, это решение вашей проблемы, альтернативное предложение». (Его сообщение вместе с [техами] двух других в отчете ему сначала от Иоганна Бернулли, [а затем] от маркиза Лопиталя, о сообщенных решениях проблемы кривой наискорейшего спуска, [которая была] публично предложенный Иоганном Бернулли, геометром — один с решением другой его проблемы, предложенный впоследствии тем же [человеком].), Acta Eruditorum , 19  : 201–205.
   • Иоганн Бернулли (май 1697 г.) «Радиусы кривизны в диафанисе нон униформибус, Решение проблемы в Актисе 1696, стр. 269, предложение, де invenienda Linea Brachystochrona, то есть, в qua Grave a dato puncto ad datum punctum brevissimo tempore decurrit, & de Curva Synchrona — это радиорум и конструкция». (Кривизна [световых] лучей в неоднородных средах и решение проблемы, [которая была] предложена мной в Acta Eruditorum 1696 г., стр. 269, из которой следует найти линию брахистохроны [т. е. кривая], то есть при которой гиря спускается из данной точки в данную точку за кратчайшее время, и при построении таутохрона или волны [световых] лучей.), Acta Eruditorum , 19  : 206–211.
   • Якоб Бернулли (май 1697 г.) «Solutioprobleatum fraternorum,…» (Решение проблем [моего] брата,…), Acta Eruditorum , 19  : 211–214.
   • Маркиз де л'Опиталь (май 1697 г.) «Domini Marchionis Hospitalii solutio promatis de linea celerrimi descensus» (решение лордом маркизом де л'Опиталем проблемы линии наискорейшего спуска), Acta Eruditorum , 19  : 217-220.
   • перепечатано: Исаак Ньютон (май 1697 г.) «Excerpta ex Transactionibus Philos. Anglic. M. Январь 1697 г.». (Отрывок из «Английских философских трудов» за январь 1697 года), Acta Eruditorum , 19  : 223–224.
10. Ливио, Марио (2003) [2002]. Золотое сечение: история Фи, самого удивительного числа в мире (первое издание в мягкой обложке). Нью-Йорк: Broadway Books . п. 116. ИСБН 0-7679-0816-3.
11. Струик, доктор медицинских наук (1969), Справочник по математике, 1200–1800 , издательство Гарвардского университета, ISBN 0-691-02397-2
12. Герман Эрлихсон (1999), «Брахистохронное решение Иоганна Бернулли с использованием принципа наименьшего времени Ферма», Eur. Дж. Физ. , 20 (5): 299–304, Бибкод : 1999EJPh...20..299E, doi : 10.1088/0143-0807/20/5/301, S2CID  250741844
13. Саган, Карл (2011). Космос. Издательская группа Random House. п. 94. ИСБН 9780307800985. Проверено 2 июня 2016 г.
14. Кац, Виктор Дж. (1998). История математики: Введение (2-е изд.). Эддисон Уэсли Лонгман. п. 547. ИСБН 978-0-321-01618-8.
15. Д.Т. Уайтсайд , Ньютон-математик , в Бехлере, Современные ньютоновские исследования , стр. 122.
16. Костабель, Пьер; Пайффер, Жанна (1988). Der Briefwechsel von Иоганн I Бернулли", том II: "Der Briefwechsel mit Pierre Varignon, Erster Teil: 1692-1702" (изд. в твердом переплете). Springer Basel Ag. стр. 329. ISBN 978-3-0348-5068-1.
17. Бернулли, Иоганн. Mémoires de l'Académie des Sciences (Французская академия наук) Vol. 3, 1718, стр. 135–138.
18. Ранний период вариационного исчисления , П. Фрегулья и М. Джаквинта, стр. 53–57, ISBN 978-3-319-38945-5 . 
19. Костабель, Пьер; Пайффер, Жанна (1988). "Der Briefwechsel фон Иоганна I Бернулли", Vol. II: «Der Briefwechsel mit Pierre Varignon, Erster Teil: 1692–1702» (изд. В твердом переплете). Шпрингер Базель Акциенгезельшафт. стр. 117–118. ISBN 978-3-0348-5068-1.
20. Бэбб, Джефф; Карри, Джеймс (июль 2008 г.), «Проблема брахистохроны: математика для широкой аудитории через проблему большого контекста» (PDF) , Энтузиаст математики из Монтаны , 5 (2&3): 169–184, doi : 10.54870/1551-3440.1099, S2CID  8923709, заархивировано из оригинала (PDF) 27 июля 2011 г.
21. Уайтсайд, Дерек Томас (2008). Математические статьи Исаака Ньютона Vol. 8 (изд. в мягкой обложке). Издательство Кембриджского университета. стр. 9–10, примечания (21) и (22). ISBN 978-0-521-20103-2.
22. Дюбуа, Жак (1991). «Chute d'une bille le long d'une gouttière cyclïdale; Tautochrone et brachistochrone; Propriétés et historique» (PDF) . Бюллетень Союза врачей . 85 (737): 1251–1289.

Внешние ссылки

• «Брахистохрон», Математическая энциклопедия , EMS Press , 2001 [1994]
• Вайсштейн, Эрик В. «Проблема брахистохроны». Математический мир .
• Брахистохрона (в MathCurve, с отличными анимированными примерами)
• Брахистохрона , Математика на Уистлерской аллее.
• Таблица IV из статьи Бернулли в Acta Eruditorum 1697 г.
• Брахистохроны Майкла Тротта и Проблема брахистохроны Окая Арика, Демонстрационный проект Wolfram .
• Проблема брахистохроны в MacTutor
• Возвращение к геодезической - Введение в геодезическую , включая два способа вывода уравнения геодезической с брахистохроной как частным случаем геодезической.
• Оптимальное управляющее решение проблемы брахистохроны в Python.
• Прямая линия, цепная линия, брахистохрона, круг и унифицированный подход Ферма к некоторым геодезическим.