Уравнения и касательные: алгебраический метод Ньютона

Задача: попасть в корень, не разыскивая его вслепую

Уравнение вида f(x)=0 просит найти такое значение x, при котором выражение обращается в ноль. Для простых многочленов иногда удаётся разложить левую часть на множители и получить точный ответ. Но многие уравнения не желают раскрываться столь любезно: корень существует, его можно примерно локализовать, а красивой формулы для него нет. Тогда математика переходит от вопроса «каково точное число?» к вопросу «как быстро получить число с нужной точностью?».

С именем Ньютона связывают способ последовательных исправлений приближения. В нём берут начальное значение x₀, смотрят, насколько f(x₀) отличается от нуля, и используют касательную к графику в этой точке. Пересечение касательной с осью x даёт следующее приближение x₁. Затем операция повторяется. Если всё складывается удачно, точки быстро подтягиваются к корню вместо долгого блуждания по числовой прямой.

Связь такого метода с работами Ньютона не сводится к одному школьному алгоритму. В 1666 году его занятия флюксиями уже применялись к задачам теории уравнений; современники передавали сведения о его общих методах вычисления величин и решения уравнений. Ряды, касательные и меняющиеся величины образовывали у Ньютона связанный набор средств. Но связанный — не значит неразличимый: касательная решает локальную геометрическую задачу, ряд представляет величину через последовательность членов, а уравнение требует отыскать подходящее значение.

Почему касательная предлагает поправку

Пусть известна функция f(x) и выбран старт x₀. Вблизи этой точки гладкий график можно заменить его касательной: f(x) примерно равна f(x₀)+f'(x₀)(x−x₀). Если потребовать, чтобы правая часть стала нулём, получится правило x₁=x₀−f(x₀)/f'(x₀). Это современная компактная запись идеи; исторические рассуждения Ньютона не обязаны выглядеть как строчка из сегодняшнего задачника.

Пример показывает механику без мистики. Требуется найти √2, то есть положительный корень x²−2=0. При старте x₀=1,5 значение функции равно 0,25, а производная равна 3. Первая поправка даёт примерно 1,4167. Следующая уже даёт около 1,4142157 — число очень близкое к √2. Касательная оказалась хорошим местным заместителем параболы и подсказала, в какую сторону и на какую величину сдвинуть ответ.

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

Однако формула не обладает нравственным компасом. Если f'(x₀) равно нулю или очень мало, деление становится невозможным либо поправка улетает далеко. Неудачный старт может повести последовательность к другому корню, заставить её колебаться или вовсе не дать сходимости. Даже там, где метод сходится, его скорость определяется формой функции и близостью стартовой точки к подходящему корню.

Что исторично, а что приклеила поздняя этикетка

Современное выражение «метод Ньютона» обычно означает широкий численный алгоритм xₙ₊₁=xₙ−f(xₙ)/f'(xₙ). Его применяют для многочленов, трансцендентных функций, систем уравнений и задач оптимизации в обобщённых вариантах. Эта универсальная этикетка полезна, но способна создать ложное впечатление, будто один исторический текст уже содержал весь современный курс численных методов с критериями остановки и таблицами сбоев.

У Ньютона метод жил среди задач об алгебраических уравнениях, степенных рядах и касательных. Его интересовала не абстрактная процедура, запускаемая на любой функции кнопкой, а техника вычисления величин в конкретной математической практике. Алгебра и геометрия тогда не разъехались по разным кафедрам: кривая могла быть способом увидеть уравнение, а разложение в ряд — способом подступиться к её поведению.

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

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