Введение

Алгебраическое разложение степеней бинома

В элементарной алгебре бином Ньютона (или биномиальное разложение) описывает алгебраическое разложение степеней бинома. Согласно теореме, многочлен (x + y)^n можно разложить в сумму, включающую слагаемые вида ax^b y^c, где показатели b и c – неотрицательные целые числа, удовлетворяющие условию b + c = n, а коэффициент a каждого слагаемого – конкретное положительное целое число, зависящее от n и b. Например, при n = 4,

Коэффициент a в слагаемом ax^b y^c известен как биномиальный коэффициент или (оба значения равны). Эти коэффициенты для различных n и b можно расположить в виде треугольника Паскаля. Эти числа также встречаются в комбинаторике, где обозначает количество различных комбинаций (то есть подмножеств) из b элементов, которые можно выбрать из множества, содержащего n элементов. Поэтому обычно читается как "C из n по b".

История

Особые случаи теоремы о биноме были известны по крайней мере с IV века до н.э., когда греческий математик Евклид упомянул особый случай теоремы о биноме. Греческий математик Диофант возводил в куб различные биномы, в том числе. Комментатор Халайудха из X века н.э. объясняет этот метод, а ясное изложение этого правила можно найти в тексте «Лилавати» Бхаскары, датируемом XII веком. Аль-Караджи описал треугольную закономерность биномиальных коэффициентов и предоставил математическое доказательство как теоремы о биноме, так и треугольника Паскаля, используя раннюю форму математической индукции. Также этим занимался Чу Ши-Цзе. Блез Паскаль всесторонне изучил одноименный треугольник в своем «Traité du triangle arithmétique». Однако эта закономерность чисел уже была известна европейским математикам позднего Возрождения, включая Стифеля, Никколо Фонтана Тарталью и Симона Стевина. Независимо от них, ее открыл Джеймс Грегори в 1670 году.

Многочленная теорема

Биномиальную теорему можно обобщить для степеней сумм с более чем двумя слагаемыми. Общая формулировка выглядит следующим образом:

где суммирование ведется по всем последовательностям неотрицательных целых индексов k1, k2, ..., km, таким что сумма всех ki равна n. (Для каждого члена разложения сумма показателей степени должна равняться n). Коэффициенты называются мультиномиальными коэффициентами и вычисляются по формуле

Комбинаторно, мультиномиальный коэффициент подсчитывает количество различных способов разбиения множества из n элементов на непересекающиеся подмножества размерами k1, k2, ..., km.

В абстрактной алгебре

Биномиальная теорема справедлива в более общем виде для двух элементов x и y в кольце или даже полукольце, при условии, что 1 = xy = yx. Например, она верна для двух матриц n × n, при условии, что эти матрицы коммутируют; это полезно при вычислении степеней матрицы. Биномиальную теорему можно сформулировать, утверждая, что последовательность многочленов является биномиального типа.

В популярной культуре

Биномиальная теорема упоминается в песне генерал-майора в комической опере «Пираты Пензанса». Шерлок Холмс описывает профессора Мориарти как автора трактата о биномиальной теореме. Португальский поэт Фернандо Пессоа, используя гетероним Альваро де Кампос, писал: «Бином Ньютона столь же прекрасен, как Венера Милосская. Правда в том, что мало кто это замечает». В фильме 2014 года «Игра в имитацию» Алан Тьюринг ссылается на работы Исаака Ньютона по биномиальной теореме во время его первой встречи с командующим Деннистоном в Блетчли-парке.