Первые и последние отношения величин
В Principia Ньютон объяснял мгновенные величины через отношения, к которым геометрические величины приближаются при исчезающе малых изменениях. Это мощный предшественник языка пределов, но не готовая epsilon–delta теория.
Содержание статьи
Геометрия вместо привычной записи
Математические начала натуральной философии вышли в 1687 году. Читатель, ожидающий увидеть знакомые буквы, дроби и аккуратную формулу производной, быстро обнаружит другую обстановку: точки движутся, линии растут, площади составляются из всё более мелких частей, а доказательства идут языком геометрии. Для Ньютона это был не маскарад под Евклида и не отсутствие алгебраических навыков. Геометрическая форма позволяла строить механику как цепь наглядных отношений между величинами.
Особое место в этой цепи занимают «первые и последние отношения величин». Под величинами здесь можно понимать, например, пройденный путь и время, за которое он был пройден, либо малое отклонение тела от прямой и участок траектории. Пока промежуток времени конечен, отношение пути ко времени даёт среднюю скорость. Но при всё более коротких промежутках средняя скорость меняется. Нужна была законная процедура, позволяющая говорить о скорости в данный миг, не объявляя миг маленьким кусочком времени с приклеенной табличкой «почти ноль».
Ньютоновская формулировка направляет рассуждение к отношению, которого величины способны достигать при неограниченном уменьшении. Речь не о том, что конечная величина внезапно становится нулём и продолжает послушно участвовать в делении. Речь о последовательности всё меньших изменений и об устойчивом отношении на пределе этого процесса. В современной аудитории такой ход узнаётся без труда, хотя исторический текст говорит совсем иным голосом.
Как работает «последнее отношение»
Полезна простая учебная модель. Пусть точка за время Δt проходит расстояние Δs. Для каждого ненулевого Δt можно вычислить среднюю скорость Δs/Δt. Если траектория гладкая и эти отношения при уменьшении Δt всё ближе к одному числу, это число называют мгновенной скоростью. Сам Ньютон не записывал здесь современный символ предела, но геометрический смысл его аргумента именно в том, чтобы исследовать, к какому отношению стремится семейство конечных отношений.
Слово «последнее» легко заманивает в ловушку. Оно не обозначает последний реальный отрезок перед исчезновением: такого отрезка в непрерывном делении нет, как нет последней дроби перед нулём. «Последним» называется отношение, к которому можно приблизиться сколь угодно близко, уменьшая рассматриваемые приращения. Термин звучит так, будто величины выстроились в очередь и сейчас прозвенит финальный звонок; математическая работа, однако, происходит в контролируемом приближении.
«Первое отношение» относится к противоположной картине: величины начинают возникать или увеличиваться от нуля. В геометрии Ньютона обе ситуации симметричны. Можно рассматривать возникающую хорду, которая при сближении точек превращается в касательную, либо уменьшающийся промежуток траектории, отношение которого выводит к мгновенной скорости. Важен не театральный жест с бесконечно малой величиной, а правило сравнения меняющихся величин.
Такой приём поддерживал геометрические выводы о центростремительном ускорении. Тело, которое за равные короткие времена получало бы всё малые отклонения от движения по касательной, обнаруживает изменение направления движения. В предельном рассмотрении это изменение связывается с силой, направленной к центру. Геометрия здесь не заменяет физический закон, но делает измеримым его кинематический след.
Что современный предел добавил позднее
Современная теория предела обычно формулируется через ε и δ: для любой заранее выбранной точности ε надо указать такую близость аргумента δ, которая гарантирует требуемую близость значения. Эта запись дисциплинирует фразу «подойти сколь угодно близко»: она ясно говорит, что именно приближается, к чему и при каких условиях. Её аксиоматический аппарат формировался существенно позже ньютоновской механики.
Поэтому назвать «первые и последние отношения» современной epsilon–delta строгостью было бы исторической подменой паспорта. У Ньютона нет стандартной поздней системы определений, кванторов и логической техники, которую ныне требуют в курсе анализа. Его доказательства используют геометрические построения, свойства непрерывных величин и интуицию предельного перехода, понятную подготовленному читателю XVII века. Это не дефект текста, а иной математический режим.
Обратная крайность тоже промахивается. Будто бы ньютоновский метод состоял лишь из туманного разговора об исчезающих величинах, а строгий смысл ему придали задним числом. В Principia предельные отношения служат рабочим инструментом: через них обосновываются касательные, скорости, ускорения и орбитальные рассуждения. Они не были украшением на фасаде геометрии; скорее, были скрытым механизмом за тяжёлыми дверями классического доказательства.
Граница метода видна там, где требуется общая теория функций, разрывов или сходимости произвольных последовательностей. Ньютоновская геометрическая техника превосходно работала для задач механики, поставленных в книге, но не обязана содержать все будущие разделы анализа в карманном виде. Связь с современным пределом полезнее понимать как преемственность идей: один язык научил описывать становление отношения, другой научился проверять это описание с формальной точностью.