10. Некоторые свойства биномиальных коэффициентов

Определения и обозначения

Биномиальный коэффициент — число C_n^k = n!/(k!(n − k)!), определяющее коэффициент при соответствующем члене разложения бинома. Он показывает, сколько способов выбрать k объектов из n без учёта порядка. Поэтому такие коэффициенты встречаются не только в алгебре, но и в комбинаторике и вероятности.

Обозначение C_n^k содержит два индекса: n — верхний индекс, номер строки, а k — нижний индекс, номер выбранного коэффициента. Рассматриваются значения 0 ≤ k ≤ n. Индексы помогают понять, из какой строки и какой позиции взято число.

Треугольник Паскаля — таблица биномиальных коэффициентов, строки которой начинаются и заканчиваются единицами. Каждая внутренняя запись получается сложением двух записей над ней. Такая таблица позволяет находить коэффициенты последовательно, не подставляя каждый раз факториалы.

Рекуррентное свойство биномиальных коэффициентов — равенство C_n^k = C_n−1^k−1 + C_n−1^k. Слово «рекуррентное» означает, что новое значение выражается через уже известные значения. Именно это правило объясняет построение внутренних элементов треугольника Паскаля.

Как это устроено

Крайние коэффициенты любой строки равны единице: C_n⁰ = n!/(0!n!) = 1 и C_nⁿ = n!/(n!0!) = 1. С точки зрения выбора это понятно: выбрать ноль элементов из n можно единственным способом — ничего не выбрать, а выбрать все n элементов тоже можно одним способом. Поэтому каждая строка треугольника начинается и заканчивается единицей.

Симметрия возникает из формулы через факториалы: C_n^k = n!/(k!(n − k)!), а C_n^n−k = n!/((n − k)!k!). Знаменатели содержат те же множители, только в другом порядке, поэтому дроби равны. При выборе k элементов и при выборе оставшихся n − k элементов получается одно и то же число способов.

Рекуррентное свойство выводится непосредственным преобразованием факториалов. Сумма C_n−1^k−1 + C_n−1^k имеет общий знаменатель k!(n − k)!, а числитель после вынесения общих множителей становится (n − 1)!(n − k) + (n − 1)!k = n!. Значит, сумма равна n!/(k!(n − k)!) = C_n^k.

Треугольник Паскаля строят с верхней строки 1, затем в каждой следующей строке ставят по краям единицы, а внутренние числа получают сложением соседних элементов предыдущей строки. Так появляются строки 1; 1, 1; 1, 2, 1; 1, 3, 3, 1 и далее. Формула бинома Ньютона показывает, что строка с номером n содержит коэффициенты C_n⁰, C_n¹, ..., C_nⁿ, поэтому таблица прямо связана с разложением (a + b)ⁿ.

Если в биноме Ньютона положить a = b = 1, то все степени становятся единицами и сумма коэффициентов n-й строки равна 2ⁿ. Если взять a = 1 и b = −1, знаки начинают чередоваться, а значение левой части равно 0 при n > 0. Поэтому C_n⁰ − C_n¹ + C_n² − ... + (−1)ⁿC_nⁿ = 0.

Основные свойства биномиальных коэффициентов

Таблицу удобно использовать как краткую памятку: сначала определите нужную строку и индекс, затем выберите подходящее свойство. Для отдельного коэффициента обычно применяют факториалы или симметрию, а для соседних чисел и целых строк — правило Паскаля.

Разбор задач

Задача 1. Вычислить C₈³ и проверить результат с помощью симметрии биномиальных коэффициентов. Нужно получить число напрямую, а затем вычислить симметричный коэффициент C₈⁵.

1. По формуле C₈³ = 8!/(3!5!).
2. Сократим факториалы: 8!/(3!5!) = (8 · 7 · 6)/(3 · 2 · 1) = 56.
3. Симметрия даёт C₈³ = C₈⁸⁻³ = C₈⁵. Проверка: C₈⁵ = 8!/(5!3!) = 56.

Ответ: C₈³ = C₈⁵ = 56.

Задача 2. Найти неизвестный коэффициент в равенстве C₁₀⁴ = C₁₀⁶ и вычислить его значение. Здесь нижние индексы дополняют друг друга до 10, поэтому сначала используем симметрию.

1. Так как 10 − 4 = 6, имеем C₁₀⁴ = C₁₀⁶.
2. Вычислим удобный коэффициент: C₁₀⁴ = 10!/(4!6!) = (10 · 9 · 8 · 7)/(4 · 3 · 2 · 1) = 210.
3. Следовательно, неизвестный коэффициент равен 210.

Ответ: C₁₀⁴ = C₁₀⁶ = 210.

Задача 3. Вычислить C₁₂⁰ + C₁₂¹ + ... + C₁₂¹² и чередующуюся сумму C₁₂⁰ − C₁₂¹ + ... + C₁₂¹². Перебирать все коэффициенты не нужно: обе суммы сразу следуют из бинома Ньютона.

1. Для обычной суммы подставим a = 1 и b = 1: сумма равна (1 + 1)¹² = 2¹² = 4096.
2. Для чередующейся суммы подставим a = 1 и b = −1: получаем (1 − 1)¹² = 0¹² = 0.
3. Так как 12 > 0, применение формулы для чередующейся суммы корректно.

Ответ: первая сумма равна 4096, вторая — 0.

Типичные ошибки

Ошибка: заменять C_n^k на C_kⁿ. Верхний и нижний индексы нельзя просто переставлять: верна только замена k на n − k. Проверка: сравните индексы с формулой n!/(k!(n − k)!).

Ошибка: применять формулу при k < 0 или k > n. Такие значения не относятся к коэффициентам строки с номером n, поэтому выражение через обычные сочетания не используется. Перед вычислением проверьте условие 0 ≤ k ≤ n.

Ошибка: потерять одно слагаемое в формуле Паскаля и записать C_n^k только через один коэффициент. Причина обычно в невнимательном просмотре треугольника: у внутреннего элемента всегда два числа сверху. Проверьте, что записаны и C_n−1^k−1, и C_n−1^k.

Ошибка: считать сумму строки равной 2n. Степень появляется из бинома: подстановка единиц даёт (1 + 1)ⁿ = 2ⁿ. Для самопроверки вспомните, что при n = 3 сумма 1 + 3 + 3 + 1 = 8, а не 6.

Связь с другими темами

До изучения свойств коэффициентов нужны факториалы, сочетания и формула бинома Ньютона. Факториалы позволяют вычислять C_n^k, а биномиальная формула объясняет роль коэффициента в разложении степени суммы. Без этих понятий свойства будет трудно применять осмысленно.

Биномиальные коэффициенты помогают быстро находить члены разложения бинома и считать число способов выбора объектов. В вероятности они входят в формулу вероятности ровно k успехов в n испытаниях схемы Бернулли. Поэтому симметрия и суммы коэффициентов упрощают вычисления.

Треугольник Паскаля и рекуррентные формулы продолжают использоваться в комбинаторике, теории вероятностей и при работе со степенными разложениями. Они показывают, как сложные коэффициенты строятся из более простых. Навык выбора подходящего свойства пригодится в последующих задачах.

Что запомнить

• C_n⁰ = C_nⁿ = 1.
• C_n^k = C_n^n−k.
• C_n^k = C_n−1^k−1 + C_n−1^k.
• Коэффициенты одной строки образуют строку треугольника Паскаля.
• Сумма коэффициентов n-й строки равна 2ⁿ.
• Чередующаяся сумма коэффициентов строки при n > 0 равна нулю.