Правило Паскаля — комбинаторное тождество для биномиальных коэффициентов. Правило утверждает, что для любого натурального числа n мы имеем:
для
,
где
является биномиальным коэффициентом. Оно также часто записывается в виде
для 
Комбинаторное доказательство
Правило Паскаля имеет интуитивное комбинаторное значение. Напомним, что
подсчитывает, сколькими способами можно выбрать подмножество с b элементами из множества с a элементами. Таким образом, правая часть тождества
подсчитывает, сколькими способами можно получить k-подмножество из множества с n элементами.
Теперь представим, что вы выделяете определённый элемент X из множества с n элементами. Таким образом, каждый раз, когда вы выбираете k элементов из подмножества, имеется две возможности — X принадлежит выбранному подмножеству или нет.
Если X находится в подмножестве, нужно лишь выбрать ещё k − 1 объектов (поскольку известно, что X будет в подмножестве) из оставшихся n − 1 объектов. Это можно сделать
способами.
Если X не принадлежит подмножеству, нужно выбрать все k элементов из подмножества, состоящего из n − 1 объектов, не равных X. Это можно сделать
способами.
Мы получаем, что число способов получить k-подмножество из n-элементного множества, которое, как мы знаем, равно
, равно также числу 
См. также Биективное доказательство.
Алгебраическое доказательство
Нужно показать, что

![{\displaystyle {\begin{aligned}{n \choose k}+{n \choose k-1}&={\frac {n!}{k!(n-k)!}}+{\frac {n!}{(k-1)!(n-k+1)!}}\\&=n!\left[{\frac {n-k+1}{k!(n-k+1)!}}+{\frac {k}{k!(n-k+1)!}}\right]\\&={\frac {n!(n+1)}{k!(n-k+1)!}}={\binom {n+1}{k}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4cee6f328d957ef3016686da596a08b802e657f9)
Обобщение
Пусть
и
. Тогда

См. также
Примечания
Литература
- Данная статья включает материал из статьи «Pascal's rule» с сайта PlanetMath, опубликованной под лицензией
- Данная статья включает материал из статьи «Pascal's rule proof» с сайта PlanetMath, опубликованной под лицензией
- Russell Merris. Combinatorics. — John Wiley & Sons., 2003. — ISBN 978-0-471-26296-1.