Бесконечные ряды: вычислять кривые через алгебру

Ряд как рабочий переводчик

Бесконечный ряд заменяет одно выражение суммой бесконечного числа слагаемых. Самый известный образец выглядит так: 1/(1-x) = 1 + x + x² + x³ + …. Слева находится дробь, справа — процесс сложения степеней x. При подходящих значениях x обе записи дают одну и ту же величину. Алгебра получает возможность обращаться с дробью как с длинным полиномом.

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

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

От разложения к площади и корню

Рассмотрим учебный пример 1/(1+x) = 1 - x + x² - x³ + …. Если нужно найти площадь под этой кривой от нуля до некоторого малого a, можно интегрировать члены по очереди: получится a - a²/2 + a³/3 - a⁴/4 + …. Это не реконструкция конкретного опыта Ньютона, а современная демонстрация механизма, который делал ряд полезным: сложное выражение разбирают на степени, а со степенями работают по известному правилу.

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

В трактате De Analysi per aequationes numero terminorum infinitas, датируемом 1669 годом, рядовой анализ поставлен рядом с вычислением величин и решением уравнений. Исаак Барроу направил рукопись Джону Коллинзу в том же году, однако позднее Ньютон попросил её вернуть. Рукописьная судьба важна: работа циркулировала среди немногих читателей, а не появилась мгновенно как общедоступный учебник.

Ряды и флюксии — соседи, не близнецы

Легко склеить два ньютоновских инструмента в один, потому что оба входят в историю анализа. Но они делают разную работу. Ряд отвечает на вопрос, как представить выражение через степени и вычислить его по частям. Флюксия отвечает на вопрос, с какой скоростью меняется величина. Ряд может упростить задачу о флюксии, а флюксии могут подсказать обратную операцию для площади, но один инструмент не превращается автоматически в другой.

Например, выражение (1+x)^a при нецелом a можно разложить в ряд и затем обрабатывать член за членом. Здесь ряд открывает дверь. Если затем величина зависит от времени, флюксионное рассуждение говорит о её скорости. Смешивать эти роли — всё равно что назвать таблицу умножения компасом: оба полезны в геометрии, но маршрут прокладывают по-разному.

Где заканчивается удобная формула

Запись с многоточием не означает безусловного права подставлять любое число. Для примера 1/(1-x) = 1+x+x²+… при x = 1/2 суммы действительно приближаются к 2. При x = 2 правая часть растёт без меры, тогда как левая дробь равна -1. Ряд не соврал; его применили за пределом допустимой области.

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