Замечательно то, что это тождество, которое мы только что доказали,
а мы его доказали, как видите.
Замечательно то,
что оно лежит в основе построения всех биномиальных коэффициентов.
Есть такой прекрасный объект,
который называется треугольник Паскаля.
Паскаль в свою очередь — это замечательный
математик и философ французский, который жил в XVII веке.
И вот, в частности, он придумал некий треугольник, который мы сейчас нарисуем,
который многие школьники знают, но вот не все все-таки.
Давайте вспомним, как можно сформировать все биномиальные коэффициенты.
Ну, давайте, во-первых, я вам напомню, что если вы возводите x + y.
Ну мы с вами в квадрат начинали возводить прошлый раз,
потом в третью степень, потом в четвертую.
Давайте начнем, совсем, так сказать, с яйца.
И будем возводить сначала в нулевую, потом в первую, потом в квадрат,
в куб и так далее.
То есть добавим еще нулевую и первую степень.
Понятно, что если x + y возводить в нулевую степень,
то это получится просто 1.
И никаких больше интересных слагаемых тут не будет.
Дальше, если вы возведете x + y в первую степень, то у вас получится x + y.
То есть множество биномиальных коэффициентов, которые присутствуют в этом
разложении – это 1 и 1, коэффициенты при x и y.
Дальше мы напишем x + y в квадрате.
Это будет x квадрат + 2xy + y квадрат.
То есть стало быть коэффициенты – это 1, 2, 1, правильно?
Ну я уж напомню все по полной программе,
чтобы как-то соответствовать прошлой лекции.
Здесь у нас будут коэффициенты 1, 3, еще раз 3.
Симметрия, повторяю, обусловлена первым тождеством,
которое мы доказали еще в прошлый раз.
И снова 1 при y в кубе.
Ну и давайте, наконец, x + y в четвертой для полноты картины и, повторяю,
для полного соответствия с тем, что было в прошлый раз.
Здесь у нас будет коэффициент 1, потом будет коэффициент 4.
Потом будет коэффициент 6 с квадрат y квадрат.
Дальше будет снова 4, xy в кубе, ну и 1 при y в четвертой степени.
Ну даже на этой картинке видно, что вырисовывается некий треугольник.
И это не удивительно,
потому что коэффициентов в разложении x + y в нулевой степени по биному 1.
Коэффициентов в первой степени – 2, в квадрате – 3.
В кубе – 4, ну и так далее,
то есть такое происходит расширение в форме треугольника.
И вот давайте выпишем просто эти коэффициенты.
1 – это единственный коэффициент, который возникает в разложении x + y в нулевой.
Дальше идет 1 1, вот буду рисовать прямо как треугольник.
Дальше идет 1 2 1.
Дальше 1 3 3 1 1
4 6 4 1 и так далее.
А теперь, товарищи, посмотрите, пожалуйста,
на принцип формирования этого треугольника.
Вот если вы глядите на него, то вы видите некую закономерность.
Ну здесь единица, она ж называется и в Африке единица,
тут как-то вот некий базис такой, вершинка этого треугольника.
Дальше идут 2 единицы, но, по большому счету,
они тоже в своей Африке находятся, то есть – это тоже некий базис.
Вот, а дальше начинается понятное формирование.
По бокам все время стоят единицы,
а вот эта вот двойка – это сумма вот этих 2 единиц.
Двойка – это сумма 2 единиц.
Тройка – это сумма единицы и двойки.
Эта тройка – это сумма двойки и единицы.
Четверка – это сумма 1 и 3.
Шесть – это сумма 3 и 3.
Четверка – это сумма 3 и 1.
Ну а единица, она уже обрамляющая.
То есть, такой очень понятный принцип формирования.
То есть я могу вот это многоточие стереть и попробовать порисовать дальше,
не выписывая явно никакие степени.
А именно обрамляю единицей, складываю 1 и 4, получаю 5.
Складываю 4 и 6, получаю 10.
6 и 4 тоже получаю 10, 4 и 1 – получаю 5,
ну и дальше ставлю обрамляющую единицу.
И давайте я нарисую многоточие.
Дальше я могу формировать этот треугольник до бесконечности, пользуясь ровно этим.
Но откуда такое свойство?
Почему это верно?
Ну а ровно, потому что у нас было справедливо вот это тождество.
Ведь это тождество – это и есть утверждение о том,
что очередной биномиальный коэффициент c из n по
k это есть c из n-1 по k-1 плюс c из n-1 по k.
Вот так вот, смотрите.
Вот это, фактически, c из n по k.
С определенными n и k.
Вот это строчкой выше – это c из n − 1 по k − 1.
При этом мы сместились влево, поэтому по k − 1.
А здесь мы смещаемся по диагонали вправо, поэтому это будет просто по k.
C из n-1 по k.
K − это просто номер элемента внутри строчки, а n – это номер строчки.
То есть вот это вот – это c из 0 по 0.
Если хотите, ну c из 0 по 0 равняется по определению равняется 1.
Из ничего выбрать ничто можно ровно одним способом, и это вполне согласуется,
что у нас 0 факториал равен единице.
Соответственно вот это – c из 1 по 0.
Вот это c из 1 по 1, ну и так далее.
Такой вот замечательный принцип формирования так называемого треугольника
Паскаля.
Если вы не хотите честно раскрывать скобки.
Если вы не хотите честно считать биномиальные коэффициенты по формулам с
факториалами, то вы вполне можете вот так вот портянку такую вырисовывать и в конце
концов вы найдете всю последовательность коэффициентов очередного бинома.
То есть такое нехитрое искусство.
И многие тождества комбинаторные, которыми мы сейчас еще пожонглируем,
они так или иначе пляшут вокруг различных свойств этого самого треугольника Паскаля.