Правило Паскаля

Правило Паскаля — это комбинаторное тождество для биномиальных коэффициентов. Правило утверждает, что для любого натурального числа 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. Combinatorics. — John Wiley & Sons., 2003. — ISBN 978-0-471-26296-1.
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.