Правило Паскаля
— это
комбинаторное
тождество
для
биномиальных коэффициентов
. Правило утверждает, что для любого
натурального числа
n
мы имеем:
-
для
,
где
является биномиальным коэффициентом. Оно также часто записывается в виде
-
для
Комбинаторное доказательство
Правило
Паскаля
имеет интуитивное комбинаторное значение. Напомним, что
подсчитывает, сколькими способами можно выбрать
подмножество
с
b
элементами из множества с
a
элементами. Таким образом, правая часть тождества
подсчитывает, сколькими способами можно получить
k
-подмножество из множества с
n
элементами.
Теперь представим, что вы выделяете определённый элемент X из множества с
n
элементами. Таким образом, каждый раз, когда вы выбираете
k
элементов из подмножества, имеется две возможности —
X
принадлежит выбранному подмножеству или нет.
Если
X
находится в подмножестве, нужно лишь выбрать ещё
k
− 1 объектов (поскольку известно, что
X
будет в подмножестве) из оставшихся
n
− 1 объектов. Это можно сделать
способами.
Если
X
не принадлежит подмножеству, нужно выбрать все
k
элементов из подмножества, состоящего из
n
− 1 объектов, не равных
X
. Это можно сделать
способами.
Мы получаем, что число способов получить
k
-подмножество из
n
-элементного множества, которое, как мы знаем, равно
, равно также числу
См. также
Биективное доказательство
.
Алгебраическое доказательство
Нужно показать, что
-
-
Обобщение
Пусть
и
. Тогда
-
См. также
Примечания
Литература
-
Данная статья включает материал из статьи «Pascal's rule» с сайта
PlanetMath
, опубликованной под лицензией
CCA-SA
-
Данная статья включает материал из статьи «Pascal's rule proof» с сайта
PlanetMath
, опубликованной под лицензией
CCA-SA
-
Russell Merris.
. — John Wiley & Sons., 2003. —
ISBN 978-0-471-26296-1
.