12.4-1
证明前先需要知道有 (44)=(33) 以及附录 C 的练习 C.1-7 需要证明的等式 (nk)=(n−1k)+(n−1k−1)
先证明附录 C 的练习 C.1-7
(n−1k)+(n−1k−1)=(n−1)!k!(n−1−k)!+(n−1)!(k−1)!(n−1−k+1)!=(n−1−k+1)(n−1)!k!(n−1−k+1)!+k(n−1)!k!(n−1−k+1)!=(n−1−k+1+k)(n−1)!k!(n−1−k+1)!=n!k!(n−k)!=(nk)
然后有: