Изменения
Нет описания правки
Рассмотрим <tex> |A_{i_1} \bigcap A_{i_2} \bigcap ... \bigcap A_{i_k}| </tex>, где <tex> 1\le i_1 < i_2 < ... < i_k \le n </tex>. Так как некоторые <tex>k</tex> позиций <tex>i_1, i_2, ... , i_k </tex> заняты соответствующими числами, то количество способов расставить остальные <tex>n-k</tex> чисел равно <tex>(n-k)!</tex>. То есть <tex> |A_{i_1} \bigcap A_{i_2} \bigcap ... \bigcap A_{i_k}| = (n - k)! </tex> Количество всех способов выбрать <tex>k</tex> позиций <tex>i_1, i_2, ... , i_k </tex> равно <math>\binom{n}{k} </math>. Таким образом получаем, что:
<tex>\sum \limits_{1\le i_1 < i_2 < ... < i_k \le n}^{} |A_{i_1} \bigcap A_{i_2} \bigcap ... \bigcap A_{i_k}| = </tex> <math>\binom{n}{k}</math><tex>\cdot(n-k)!</tex>
Подставляя соответствующие значения мощностей множеств в формулу включения-исключения, получаем:
