Обобщённая биномиальная теорема

Когда школьный треугольник перестаёт помогать

Для натурального показателя биномиальная формула выглядит почти домашней: (1+x)³ = 1 + 3x + 3x² + x³. Раскрыли скобки — получили конечный полином. Коэффициенты можно прочитать по треугольнику Паскаля, а дальше наступает приятная тишина: новых членов нет.

Но показатель степени вовсе не обязан быть целым и положительным. Что делать с (1+x)^(1/2) или (1+x)^(-1)? Обычное раскрытие скобок здесь не заканчивается на третьей или пятой строке. Ньютон показал, что выражение можно представить бесконечным степенным рядом, если рассматривать x в подходящем диапазоне. Конечная арифметическая игрушка стала методом для куда менее игрушечных задач.

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

Дробная степень по частям

В современной записи обобщённое разложение имеет вид \( (1+x)^a = 1 + ax + a(a-1)x²/2! + a(a-1)(a-2)x³/3! + … \). При a = 3 цепочка множителей обрывается: один из них становится нулём, и возникает обычный конечный полином. При a = 1/2 нуля не возникает, зато получается ряд 1 + x/2 - x²/8 + x³/16 - ….

Смысл формулы проще, чем её дроби. Каждый следующий член уточняет приближение. Чтобы оценить √(1+x) при небольшом x, можно сначала взять 1 + x/2, затем добавить поправку -x²/8, затем ещё одну. Вычисление заменяет извлечение корня последовательностью доступных операций. Старое выражение не сдалось полностью; оно согласилось говорить через бесконечную очередь приближений.

Отрицательный показатель даёт другой знакомый случай: (1+x)^(-1) = 1 - x + x² - x³ + …. Так обратная величина переводится в степени x. Подобные разложения позволяли преобразовывать выражения, встречающиеся при квадратурах и решении уравнений. В De Analysi 1669 года рядовой анализ стоит рядом именно с такими задачами вычисления величин и нахождения решений, а не как отдельная глава о красивых коэффициентах.

Что с этим делать после разложения

Ряд полезен тем, что его члены можно обрабатывать по очереди. Для учебного выражения √(1+x) можно интегрировать 1 + x/2 - x²/8 + … и получить приближение площади под кривой. Можно также дифференцировать члены, чтобы исследовать скорость изменения функции. Это современное объяснение приёма, не буквальная запись ньютоновской страницы: обозначения и последующая строгая техника менялись.

Такая поэлементная работа связывала ряд с квадратурами и флюксиями, но не делала их одним и тем же. Биномиальное разложение — способ представить выражение; квадратура ищет площадь; флюксия рассматривает скорость изменения. Связка сильна именно разделением труда: одному приёму не приходится изображать весь математический оркестр в одиночку.

Многоточие с условиями

У бесконечного ряда есть территория, на которой его частичные суммы действительно приближаются к исходному выражению. Для стандартного биномиального ряда с нецелым показателем обычно рассматривают |x| < 1; на границах требуется отдельная проверка, а за пределами ряд может не дать нужного значения вовсе. Многоточие обозначает не разрешение на бесконечную подстановку, а вопрос о поведении последовательности сумм.

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