Докажи, что C из n по k = C из n по n-k путем алгебраических рассуждений
Конечно! Нам необходимо доказать равенство:
\[ C_{n}^{k} = C_{n}^{n-k} \]
Для начала вспомним, что биномиальный коэффициент \( C_{n}^{k} \) определяется как:
\[ C_{n}^{k} = \frac{n!}{k!(n-k)!} \]
Теперь подставим значение для \( C_{n}^{n-k} \):
\[ C_{n}^{n-k} = \frac{n!}{(n-k)!(k)!} \]
Сравнив два выражения, мы видим, что:
- В первом случае мы открываем позицию для \( k \) объектов, которые мы выбираем из \( n \).
- Во втором случае мы выбираем \( n-k \) объектов, что оставляет точно \( k \) объектов невыбранными.
Теперь обратите внимание на то, как факториалы работают в данных выражениях:
\[ C_{n}^{k} = \frac{n!}{k!(n-k)!} \]
и
\[ C_{n}^{n-k} = \frac{n!}{(n-k)!k!} \]
Как видно, оба выражения идентичны, поскольку в случае первого и второго выражения порядок факториалов в знаменателе не имеет значения (так как умножение является коммутативным).
Таким образом, мы пришли к выводу, что:
\[ C_{n}^{k} = C_{n}^{n-k} \]
Это равенство можно также интуитивно понять так: когда мы выбираем \( k \) элементов из \( n \), мы эквивалентно исключаем \( n-k \) элементов. Поэтому количество способов выбрать \( k \) элементов из \( n \) равно количеству способов выбрать \( n-k \) элементов из \( n \).
Такие алгебраические рассуждения и интуитивное понимание полностью подтверждают данное равенство.
