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

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

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

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

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

История [ править ]

Проблема Галилея [ править ]

Ранее, в 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 равно ${\frac {Mm}{MD^{\frac {1}{2}}}}={\frac {n(x+a)}{(mx)^{\frac {1}{2}}}}$ , которое должно быть минимальным («un plus petit»). Он не объясняет, что, поскольку Mm так мало, скорость вдоль него можно принять за скорость в точке M, которая равна квадратному корню из MD, вертикального расстояния M ниже горизонтальной линии AL.

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

{\frac {(x-a)dx}{2x^{\frac {3}{2}}}}=0

так что х = а.

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

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

Синтетический раствор [ править ]

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

Целью синтетической демонстрации, как это делали древние, является убеждение г-на де ла Гира. У него мало времени на наш новый анализ, и он называет его ложным (он утверждает, что нашел три способа доказать, что кривая является кубической параболой) – Письмо Йохана Бернулли Пьеру Вариньону от 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, при необходимости расширив ее.

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

\tau \propto {\frac {Mm}{MD^{\frac {1}{2}}}}

,

t\propto {\frac {Ce}{CG^{\frac {1}{2}}}}

,

Продлите центр тяжести до точки F, где $CF={\frac {CH^{2}}{MD}}$ и с тех пор ${\frac {Mm}{Ce}}={\frac {MD}{CH}}$ , следует, что

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

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

GH={\frac {MD.HD}{DK}}={\frac {MD.CM}{MK}}

,

CH={\frac {MD.CK}{MK}}={\frac {MD.(MK+CM)}{MK}}

, и

CG=CH+GH={\frac {MD.(MK+2CM)}{MK}}

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

CH={\frac {MD.(MK-CM)}{MK}}

и

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

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

CF={\frac {CH^{2}}{MD}}>CG

, и отсюда следует, что

\tau <t

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

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

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

Косвенный метод [ править ]

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

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

v={\sqrt {2gy}}

,

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

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

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

,

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

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

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

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

v_{m}={\sqrt {2gD}}

.

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

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

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

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

.

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

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

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

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

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

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

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

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

Решение Якоба Бернулли [ править ]

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

ds^{2}=dx^{2}+dy^{2}

.

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

2ds\ d^{2}s=2dx\ d^{2}x

.

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

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

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

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

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

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

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

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

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

Проблема брахистохроны [ править ]

На рис. 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 и увеличению длины, $eL-eE=nL={\frac {o.CH}{CV}}$ , игнорируя термины в $o^{2}$ и выше, что представляет собой ошибку из-за аппроксимации, что eL и VH параллельны.

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

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

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

$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 (пропорционально ${\sqrt {CB}}$ ), игнорируя термины в $o^{2}$ и выше:

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

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

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

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

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

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

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

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

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

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

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

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

См. также [ править ]

Ссылки [ править ]

^ Чисхолм, Хью , изд. (1911). «Брахистохрона» . Британская энциклопедия (11-е изд.). Издательство Кембриджского университета.
^ Стюарт, Джеймс. «Раздел 10.1 — Кривые, определяемые параметрическими уравнениями». Исчисление: ранние трансценденталисты . 7-е изд. Бельмонт, Калифорния: Томсон Брукс/Коул, 2012. 640. Печать.
^ Вайсштейн, Эрик В. «Проблема брахистохроны» . Математический мир .
^ Росс, И.М. Парадигма брахистохроны, в «Букваре по принципу Понтрягина в оптимальном управлении» , Collegiate Publishers, 2009. ISBN 978-0-9843571-0-9 .
^ Перейти обратно: ^а ^б Хэнд, Луи Н. и Джанет Д. Финч. «Глава 2: Вариационное исчисление и его применение в механике». Аналитическая механика . Кембридж: Кембриджский университет, 1998. 45, 70. Печать.
^ Галилео Галилей (1638), «День третий, теорема 22, положение 36» , Беседы о двух новых науках , с. 239 Этот вывод появился шестью годами ранее в «Диалоге Галилея о двух главных мировых системах» (День 4).
^ Галилей, Галилей (1967). «Диалог о двух главных мировых системах - Птолемеевой и Коперниканской в переводе Стиллмана Дрейка, предисловие Альберта Эйнштейна» (изд. В твердом переплете). Издательство Калифорнийского университета в Беркли и Лос-Анджелесе. п. 451. ИСБН 0520004493 .
^ Иоганн Бернулли (июнь 1696 г.) «Problema novum ad cujus Solutionem Mathematici invitantur». (Новая задача, к решению которой приглашены математики.), Acta Eruditorum , 18 : 269. Со с. 269: «Датис в плоском вертикальном дуобусе точек А и В (см. рис. 5) назначают Mobili M, viam AMB, per quam gravitate sua downcens & moveri incipiens a puncto A, brevissimo tempore perveniat ad alterum punctum B». (Данные в вертикальной плоскости две точки А и В (см. рис. 5), назначить движущемуся [телу] М путь АМВ, посредством которого — опускаясь под действием собственного веса и начиная перемещаться [под действием силы тяжести] от пункт А — он прибудет в другой пункт Б за кратчайшее время.)
^
Решения проблемы Иоганна Бернулли 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» (О доказательстве того, что время, в течение которого скольжение груза по линии, соединяющей две данные точки, [является] кратчайшим с точки зрения времени, когда он проходит под действием силы тяжести из одной из этих [точек] в другую по циклоидальной дуге), Philosophical Transactions of the Royal Society of London , 19 : 424-425.
- ГГЛ (Готфрид Вильгельм Лейбниц) (май 1697 г.) «Сообщение о решении проблемы быстрого спуска кривой проблемы, публично предложенное г-ном Джо. Бернулли, геометром, сначала г-ном Джо. Бернулли, затем г-ном Джо. Бернулли, Господин Маркионе Госпиталио вместе с его решением другой проблемы, предложенной впоследствии тем же человеком». (Его сообщение вместе с [техами] двух других в отчете ему сначала от Иоганна Бернулли, [а затем] от маркиза Лопиталя, о сообщенных решениях проблемы кривой наискорейшего спуска, [которая была] публично предложенный Иоганном Бернулли, геометром — один с решением другой его проблемы, предложенный впоследствии тем же [человеком].), 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 г.) « Решение лордом маркизом де Л'Опиталем проблемы линии наискорейшего спуска», Acta Eruditorum , 19 : 217-220.
- перепечатано: Исаак Ньютон (май 1697 г.) «Excerpta ex Transactionibus Philos. Anglic. M. Январь 1697 г.». (Отрывок из «Английских философских трудов» за январь 1697 г.), Acta Eruditorum , 19 : 223–224.
^ Ливио, Марио (2003) [2002]. Золотое сечение: история Фи, самого удивительного числа в мире (первое издание в мягкой обложке). Нью-Йорк: Broadway Books . п. 116. ИСБН 0-7679-0816-3 .
^ Перейти обратно: ^а ^б Струик, доктор медицинских наук (1969), Справочник по математике, 1200–1800 , издательство Гарвардского университета, ISBN 0-691-02397-2
^ Герман Эрлихсон (1999), «Брахистохронное решение Иоганна Бернулли с использованием принципа наименьшего времени Ферма», Eur. Дж. Физ. , 20 (5): 299–304, Бибкод : 1999EJPh...20..299E , doi : 10.1088/0143-0807/20/5/301 , S2CID 250741844
^ Саган, Карл (2011). Космос . Издательская группа Random House. п. 94. ИСБН 9780307800985 . Проверено 2 июня 2016 г.
^ Кац, Виктор Дж. (1998). История математики: Введение (2-е изд.). Эддисон Уэсли Лонгман. п. 547 . ISBN 978-0-321-01618-8 .
^ Д.Т. Уайтсайд , Ньютон-математик , в Бехлере, Современные ньютоновские исследования , стр. 122.
^ Костабель, Пьер; Пайффер, Жанна (1988). Переписка Иоганна I Бернулли», Том II: «Переписка с Пьером Вариньоном, Часть первая: 1692–1702» (изд. В твердом переплете). Springer Basel Ag., стр. 329. ISBN 978-3-0348-5068-1 .
^ Бернулли, Иоганн. Мемуары Французской академии наук Том. 3, 1718, с. 135–138
^ Ранний период вариационного исчисления , П. Фрегулья и М. Джаквинта, стр. 53–57, ISBN 978-3-319-38945-5 .
^ Костабель, Пьер; Пайффер, Жанна (1988). «Переписка Иоганна I Бернулли», Том II: «Переписка с Пьером Вариньоном, часть первая: 1692–1702» (изд. В твердом переплете). Шпрингер Базель Акциенгезельшафт. стр. 117–118. ISBN 978-3-0348-5068-1 .
^ Бэбб, Джефф; Карри, Джеймс (июль 2008 г.), «Проблема брахистохроны: математика для широкой аудитории через проблему большого контекста» (PDF) , Энтузиаст математики из Монтаны , 5 (2&3): 169–184, doi : 10.54870/1551-3440.1099 , S2CID 8923709 , заархивировано из оригинала (PDF) 27 июля 2011 г.
^ Уайтсайд, Дерек Томас (2008). Математические статьи Исаака Ньютона Vol. 8 (изд. в мягкой обложке). Издательство Кембриджского университета. стр. 9–10, примечания (21) и (22). ISBN 978-0-521-20103-2 .
^ Дюбуа, Жак (1991). «Падение мрамора по циклоидальному желобу; Таутохрон и брахистохрон; Свойства и история» (PDF) . Вестник Союза физиков . 85 (737): 1251–1289.

Внешние ссылки [ править ]

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

[1] Чисхолм, Хью , изд. (1911). «Брахистохрона» . Британская энциклопедия (11-е изд.). Издательство Кембриджского университета.

[Stewart-2] Стюарт, Джеймс. «Раздел 10.1 — Кривые, определяемые параметрическими уравнениями». Исчисление: ранние трансценденталисты . 7-е изд. Бельмонт, Калифорния: Томсон Брукс/Коул, 2012. 640. Печать.

[3] Вайсштейн, Эрик В. «Проблема брахистохроны» . Математический мир .

[4] Росс, И.М. Парадигма брахистохроны, в «Букваре по принципу Понтрягина в оптимальном управлении» , Collegiate Publishers, 2009. ISBN 978-0-9843571-0-9 .

[Hand-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) назначают Mobili M, viam AMB, 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» (О доказательстве того, что время, в течение которого скольжение груза по линии, соединяющей две данные точки, [является] кратчайшим с точки зрения времени, когда он проходит под действием силы тяжести из одной из этих [точек] в другую по циклоидальной дуге), Philosophical Transactions of the Royal Society of London , 19 : 424-425.

ГГЛ (Готфрид Вильгельм Лейбниц) (май 1697 г.) «Сообщение о решении проблемы быстрого спуска кривой проблемы, публично предложенное г-ном Джо. Бернулли, геометром, сначала г-ном Джо. Бернулли, затем г-ном Джо. Бернулли, Господин Маркионе Госпиталио вместе с его решением другой проблемы, предложенной впоследствии тем же человеком». (Его сообщение вместе с [техами] двух других в отчете ему сначала от Иоганна Бернулли, [а затем] от маркиза Лопиталя, о сообщенных решениях проблемы кривой наискорейшего спуска, [которая была] публично предложенный Иоганном Бернулли, геометром — один с решением другой его проблемы, предложенный впоследствии тем же [человеком].), 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 г.) « Решение лордом маркизом де Л'Опиталем проблемы линии наискорейшего спуска», Acta Eruditorum , 19 : 217-220.

перепечатано: Исаак Ньютон (май 1697 г.) «Excerpta ex Transactionibus Philos. Anglic. M. Январь 1697 г.». (Отрывок из «Английских философских трудов» за январь 1697 г.), Acta Eruditorum , 19 : 223–224.

[10] Исаак Ньютон (январь 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» (О доказательстве того, что время, в течение которого скольжение груза по линии, соединяющей две данные точки, [является] кратчайшим с точки зрения времени, когда он проходит под действием силы тяжести из одной из этих [точек] в другую по циклоидальной дуге), Philosophical Transactions of the Royal Society of London , 19 : 424-425.

[11] ГГЛ (Готфрид Вильгельм Лейбниц) (май 1697 г.) «Сообщение о решении проблемы быстрого спуска кривой проблемы, публично предложенное г-ном Джо. Бернулли, геометром, сначала г-ном Джо. Бернулли, затем г-ном Джо. Бернулли, Господин Маркионе Госпиталио вместе с его решением другой проблемы, предложенной впоследствии тем же человеком». (Его сообщение вместе с [техами] двух других в отчете ему сначала от Иоганна Бернулли, [а затем] от маркиза Лопиталя, о сообщенных решениях проблемы кривой наискорейшего спуска, [которая была] публично предложенный Иоганном Бернулли, геометром — один с решением другой его проблемы, предложенный впоследствии тем же [человеком].), Acta Eruditorum , 19 : 201–205.

[12] Иоганн Бернулли (май 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.

[13] Якоб Бернулли (май 1697 г.) «Solutioprobleatum fraternorum,…» (Решение проблем [моего] брата,…), Acta Eruditorum , 19 : 211–214.

[14] Маркиз де Л'Опиталь (май 1697 г.) « Решение лордом маркизом де Л'Опиталем проблемы линии наискорейшего спуска», Acta Eruditorum , 19 : 217-220.

[15] перепечатано: Исаак Ньютон (май 1697 г.) «Excerpta ex Transactionibus Philos. Anglic. M. Январь 1697 г.». (Отрывок из «Английских философских трудов» за январь 1697 г.), Acta Eruditorum , 19 : 223–224.

[10] Ливио, Марио (2003) [2002]. Золотое сечение: история Фи, самого удивительного числа в мире (первое издание в мягкой обложке). Нью-Йорк: Broadway Books . п. 116. ИСБН 0-7679-0816-3 .

[Struik-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 . ISBN 978-0-321-01618-8 .

[15] Д.Т. Уайтсайд , Ньютон-математик , в Бехлере, Современные ньютоновские исследования , стр. 122.

[16] Костабель, Пьер; Пайффер, Жанна (1988). Переписка Иоганна I Бернулли», Том II: «Переписка с Пьером Вариньоном, Часть первая: 1692–1702» (изд. В твердом переплете). Springer Basel Ag., стр. 329. ISBN 978-3-0348-5068-1 .

[17] Бернулли, Иоганн. Мемуары Французской академии наук Том. 3, 1718, с. 135–138

[18] Ранний период вариационного исчисления , П. Фрегулья и М. Джаквинта, стр. 53–57, ISBN 978-3-319-38945-5 .

[19] Костабель, Пьер; Пайффер, Жанна (1988). «Переписка Иоганна I Бернулли», Том II: «Переписка с Пьером Вариньоном, часть первая: 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 .

[Dubois-22] Дюбуа, Жак (1991). «Падение мрамора по циклоидальному желобу; Таутохрон и брахистохрон; Свойства и история» (PDF) . Вестник Союза физиков . 85 (737): 1251–1289.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]