ЭСБЕ/Бином Ньютона

Материал из Викитеки — свободной библиотеки
Перейти к навигации Перейти к поиску

Бином Ньютона
Энциклопедический словарь Брокгауза и Ефрона
Brockhaus Lexikon.jpg Словник: Бергер — Бисы. Источник: т. IIIa (1891): Бергер — Бисы, с. 873 ( скан · индекс ) • Другие источники: МЭСБЕ : ЭЛ


Бином Ньютона — алгебраическая формула, открытая Ньютоном, выражающая какую угодно степень двучлена, а именно:

или, в компактной форме, пользуясь символом :

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

Доказательство формулы Б. для целого показателя получается легко, как частный случай из более общей формулы, выражающей произведение произвольного числа двучленов. Легко убедиться непосредственным умножением, что для случая n = 2 или n = 3 имеет место формула:

где есть сумма данных количеств сумма произведений их по два, — произведение всех этих количеств. А затем можно доказать, что если она верна для n, то верна и для n+1 множителей. Ибо, прибавив один множитель получим прямым умножением

и в то же время очевидно, что

и т. д.,

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

и т. д. Пусть теперь все a равны между собой и равны, например, a, тогда:

и получим

Таким образом верность формулы Ньютона для n целого, положительного доказана. Но уже и сам Ньютон показал, что она верна и для дробного, и для отрицательного. Приведем доказательство Эйлера для n какого угодно. Рассмотрим выражение:

Для n целого оно равно Пусть для всякого n оно есть вообще Точно так же пусть подобное же выражение с заменой n на m есть Перемножая, находим, с одной стороны, с другой стороны — выражение, закон составления коэффициентов которого нам известен из случая n, m целых, именно:

а это есть очевидно Итак, мы получили точно так же для произвольного числа множителей полагая имеем

т. е. Но при λ целом
и так
и т. д.

Таким образом формула Б. Ньютона распространяется на показатели, представляющие соизмеримую дробь. А отсюда легко перейти и к несоизмеримому показателю. Точно так же формула дает сразу обобщение и на случай отрицательного показателя. Ибо при имеем т. е. или

и т. д.