ironfern @ docs ~/math/grade-9/combinatorics/combinations $

Сполуки (комбінації)

Розглянемо такі дві задачі. Скількома способами в класі, у якому 30 учнів, можна вибрати старосту та його заступника? Скількома способами в цьому класі можна призначити двох чергових?

Відповідь до першої задачі вам відома: це кількість 2-елементних упорядкованих підмножин 30-елементної множини, тобто A302A_{30}^2. Щоб розв’язати другу задачу, треба визначити кількість 2-елементних підмножин 30-елементної множини (саме підмножин, а не впорядкованих підмножин). Кожну з таких підмножин називають сполукою (комбінацією) з 30 елементів по 2 елементи.

Означення

📐Означення — Сполука (комбінація)

Будь-яку kk-елементну підмножину заданої nn-елементної множини називають сполукою (комбінацією) з nn елементів по kk елементів.

Кількість усіх можливих сполук із nn елементів по kk елементів позначають символом CnkC_n^k, використовуючи першу літеру французького слова combinaison — комбінація.

Формула

Розглянемо деяку nn-елементну множину. Кількість її kk-елементних підмножин дорівнює CnkC_n^k. Із кожної такої підмножини можна утворити k!k! упорядкованих kk-елементних підмножин. Отже, кількість усіх kk-елементних упорядкованих підмножин заданої nn-елементної множини дорівнює Cnkk!C_n^k \cdot k!, тобто Ank=CnkPkA_n^k = C_n^k \cdot P_k. Звідси

Cnk=AnkPk.C_n^k = \frac{A_n^k}{P_k}.
Теорема — Формула кількості сполук

Для будь-яких натуральних nn і kk таких, що knk \leqslant n, справедлива формула

Cnk=n!(nk)!k!C_n^k = \frac{n!}{(n-k)!\, k!}

Зазначимо, що ця формула залишається справедливою і для випадків, коли k=0k = 0 або n=0n = 0:

Cn0=n!n!0!=1,C00=0!0!0!=1.C_n^0 = \frac{n!}{n! \cdot 0!} = 1, \qquad C_0^0 = \frac{0!}{0! \cdot 0!} = 1.

Властивості сполук

Теорема — Симетрія сполук
Cnk=CnnkC_n^k = C_n^{n-k}

Вибираючи kk-елементну підмножину AA з nn-елементної множини MM, ми тим самим однозначно задаємо (nk)(n-k)-елементну підмножину MAM \setminus A. Отже, кількість способів вибору kk-елементної підмножини дорівнює кількості способів вибору (nk)(n-k)-елементної підмножини.

Приклад 1 — Геометричне доведення симетрії

Умова. Доведіть, що Cnk=CnnkC_n^k = C_n^{n-k}.

Розв’язання. Формулу при n>k>0n > k > 0 можна довести за допомогою геометричної інтерпретації. Розглянемо прямокутник розміром m×km \times k, mNm \in \mathbb{N}, kNk \in \mathbb{N}, розбитий на mkmk квадратів. Нехай це схема вулиць деякого міста. Кількість різних найкоротших маршрутів, що ведуть із пункту AA до пункту BB, дорівнює Cm+kkC_{m+k}^k.

Якщо позначити m+k=nm + k = n, то отримаємо формулу Cnk=CnnkC_n^k = C_n^{n-k}.

Приклад 2 — Сума всіх сполук

Умова. Доведіть, що Cn0+Cn1+Cn2++Cnn=2nC_n^0 + C_n^1 + C_n^2 + \ldots + C_n^n = 2^n.

Розв’язання. Ліва частина даної рівності — це кількість підмножин nn-елементної множини. У п. 23 ми показали, що ця кількість дорівнює 2n2^n.

Тотожність Паскаля

Теорема — Тотожність Паскаля
Cn+1k=Cnk1+CnkC_{n+1}^k = C_n^{k-1} + C_n^k

Доведення. Розглянемо (n+1)(n + 1)-елементну множину. Зафіксуємо в ній деякий елемент aa. Усі kk-елементні підмножини розіб’ємо на два типи: які містять елемент aa і які його не містять.

Підмножини першого типу формуються в результаті вибору k1k - 1 елемента з nn елементів (адже один елемент їм обов’язково належить — це елемент aa). Тому кількість підмножин першого типу дорівнює Cnk1C_n^{k-1}.

Підмножини другого типу формуються в результаті вибору з nn елементів (адже елемент aa їм не належить) kk елементів. Їхня кількість дорівнює CnkC_n^k.

Отримали, що кількість kk-елементних підмножин заданої (n+1)(n+1)-елементної множини дорівнює Cnk1+CnkC_n^{k-1} + C_n^k. Тому Cn+1k=Cnk1+CnkC_{n+1}^k = C_n^{k-1} + C_n^k.

Вправа — Задачі на сполуки
  1. У класі 29 учнів. Скількома способами можна сформувати команду з 5 осіб для участі в математичній олімпіаді?

  2. На площині позначено 10 точок так, що жодні три з них не лежать на одній прямій. Скільки існує трикутників із вершинами у цих точках?

  3. У шаховій секції займаються 5 дівчат і 12 хлопчиків. Скількома способами можна сформувати команду з 2 дівчат і 5 хлопчиків для участі в змаганнях?