Комментарий 1: \binom{n}{k} это другой формат записи C_{n}^{k}
По методу шаров и перегородок (stars and bars) мы считаем следующую сумму:
Вспомним тождество:
Тогда добавим к нашей сумме \binom{3}{4} = 0:
Подобные тождества с биномиальными коэффициентами можно найти здесь:
Полезные комбинаторные тождества - Математика / Комбинаторика - Спроси! | Beyond Curriculum (bc-pf.org)
Комментарий 2:
Многие комбинаторные тождества имеют и комбинаторные доказательства, и алгебраические доказательства. Алгебраические часто используют индукцию. Комбинаторные же более идейные, но это и помогает запоминать тождества лучше.
Так например, я всегда вспоминаю тождество
через его доказательство. Доказательство верности тождества:
Предположим нам нужно выбрать k+1 элемент из множества мощности n+1. Рассмотрим какой-нибудь элемент множества, скажем E.
Существует ровно \binom{n}{k} способов выбрать k+1 элемент, среди которых обязательно есть элемент E. Также существует ровно \binom{n}{k+1} способов выбрать k+1 элемент, среди которых нет элемента E. Таким образом всего способов выбрать k+1 элемент из n+1
С другой стороны, это просто \binom{n+1}{k+1}. Поэтому
В этом посте аска тоже показан пример комбинаторного доказательства.
Здесь тоже есть комбинаторное доказательство.