Бином Ньютона и его свойства¶

Бином Ньютона — формула разложения целой неотрицательной степени суммы двух переменных на сумму их произведений с биномиальными коэффициентами. В общем виде для любого натурального числа \(n\) и произвольных чисел (или переменных) \(a\) и \(b\) формула записывается как:

\[ (a+b)^n = \sum_{k=0}^{n} \binom{n}{k} a^{n-k} b^k \]

где \(\binom{n}{k} = \frac{n!}{k!(n-k)!}\) — биномиальный коэффициент, равный числу сочетаний из \(n\) по \(k\). Формула является обобщением элементарных тождеств сокращённого умножения — квадрата и куба суммы — на произвольную степень.

¶История открытия

Частные случаи бинома были известны ещё в древности. Квадрат суммы \((a+b)^2\) встречается в трудах Евклида и индийских математиков. В X–XIII веках арабские и персидские учёные (ал-Караджи, Омар Хайям) умели вычислять коэффициенты для произвольных степеней, фактически владея треугольником Паскаля.

В Европе формулу для степени \(n\) впервые систематически описал Блез Паскаль в трактате «Трактат об арифметическом треугольнике» (1654), хотя сам треугольник был известен ранее (например, Михаэлю Штифелю в XVI веке). Исаак Ньютон в 1665–1666 годах обобщил формулу на случай дробных и отрицательных показателей степени, представив разложение в виде бесконечного ряда. Именно это обобщение, а не сам частный случай целых степеней, закрепило за формулой название «бином Ньютона».

¶Биномиальные коэффициенты

Коэффициенты \(\binom{n}{k}\) обладают рядом характерных свойств:

• Симметрия: \(\binom{n}{k} = \binom{n}{n-k}\).
• Рекуррентное соотношение (правило Паскаля): \(\binom{n}{k} = \binom{n-1}{k-1} + \binom{n-1}{k}\).
• Сумма всех коэффициентов строки равна \(2^n\) (следует из подстановки \(a=b=1\)).
• Альтернированная сумма равна нулю (подстановка \(a=1, b=-1\)).
• Коэффициенты образуют треугольник Паскаля — бесконечную таблицу, где каждое число равно сумме двух стоящих над ним.

Значения коэффициентов для первых степеней:

¶Обобщение Ньютона

Ньютон показал, что формула остаётся справедливой для произвольного действительного показателя \(\alpha\), но в этом случае сумма становится бесконечным рядом:

\[ (1+x)^\alpha = \sum_{k=0}^{\infty} \binom{\alpha}{k} x^k \]

где обобщённый биномиальный коэффициент определяется через гамма-функцию или рекуррентно:

\[ \binom{\alpha}{k} = \frac{\alpha(\alpha-1)(\alpha-2)\cdots(\alpha-k+1)}{k!} \]

При \(\alpha = \frac{1}{2}\) этот ряд даёт разложение \(\sqrt{1+x}\), при \(\alpha = -1\) — геометрическую прогрессию \(1 - x + x^2 - x^3 + \dots\). Ряд сходится при \(|x| < 1\) (для нецелых \(\alpha\)), что делает формулу мощным инструментом приближённых вычислений.

¶Доказательство

Для целых неотрицательных \(n\) формула доказывается методом математической индукции. База при \(n=0\) тривиальна: \((a+b)^0 = 1\). Индукционный переход использует рекуррентное свойство коэффициентов:

\[ (a+b)^{n+1} = (a+b)(a+b)^n = (a+b)\sum_{k=0}^{n} \binom{n}{k} a^{n-k}b^k \]

Раскрывая скобки и группируя слагаемые с одинаковой степенью \(b\), получаем коэффициент при \(a^{n+1-m}b^m\) равным \(\binom{n}{m} + \binom{n}{m-1} = \binom{n+1}{m}\), что и завершает доказательство.

Комбинаторное доказательство рассматривает раскрытие произведения \((a+b)^n\) как выбор из каждой из \(n\) скобок либо \(a\), либо \(b\). Слагаемое \(a^{n-k}b^k\) возникает ровно \(\binom{n}{k}\) способами — числом способов выбрать \(k\) скобок, из которых берётся \(b\).

¶Применение

Бином Ньютона лежит в основе многих разделов математики:

• Комбинаторика: коэффициенты \(\binom{n}{k}\) интерпретируются как число сочетаний, что связывает формулу с подсчётом комбинаторных объектов.
• Теория вероятностей: биномиальное распределение вероятностей описывает число успехов в серии независимых испытаний и напрямую выражается через члены разложения \((p+q)^n\).
• Математический анализ: обобщённый бином используется при разложении функций в ряды, в частности для вычисления производных и интегралов от степенных выражений.
• Приближённые вычисления: при малых \(x\) формула \((1+x)^\alpha \approx 1 + \alpha x\) даёт простые оценки, применяемые в физике и инженерных расчётах.
• Теория чисел: свойства биномиальных коэффициентов (например, их делимость на простые числа — теорема Люка) используются в доказательствах и при построении кодов.

¶Связь с другими формулами

Бином Ньютона является частным случаем более общих конструкций:

• Полиномиальная формула — обобщение на случай суммы \(m\) слагаемых: \((x_1 + x_2 + \dots + x_m)^n = \sum \frac{n!}{k_1! k_2! \dots k_m!} x_1^{k_1} \dots x_m^{k_m}\).
• Производящие функции — биномиальные коэффициенты служат коэффициентами разложения \((1+x)^n\), что активно используется в комбинаторном анализе.
• Формула Лейбница для \(n\)-й производной произведения двух функций имеет вид, полностью аналогичный биному, с заменой степеней на порядки производных.

¶Критика и ограничения

Для целых показателей формула не вызывает споров и доказывается элементарно. Основные сложности связаны с обобщением на дробные и отрицательные степени: ряд сходится не всегда, и для корректного использования необходимы условия сходимости. Кроме того, при комплексных показателях требуется аккуратное определение степени через экспоненту и логарифм. В школьном курсе бином Ньютона обычно изучается только для натуральных \(n\), что порой порождает ошибочное представление о её универсальности без оговорок о сходимости.

¶Интересные факты

• Треугольник Паскаля известен в Китае как «треугольник Ян Хуэя» (XIII век), где он был изображён за 400 лет до Паскаля.
• Формула \((a+b)^2 = a^2 + 2ab + b^2\) встречается уже в «Началах» Евклида (III век до н. э.) в геометрической форме.
• Ньютон не публиковал своё обобщение при жизни в виде отдельного труда; оно стало известно из его писем и записей.
• Биномиальные коэффициенты образуют строки треугольника Паскаля, который находит применение в фрактальной геометрии: при выделении нечётных коэффициентов получается треугольник Серпинского.