5.1 帕斯卡三角形
换言之，杨辉三角。
由其可发现3个性质：
1） (inom{n}{k}=inom{n}{n-k})
2） (sumlimits_{k=0}^n inom{n}{k}=2^n)
3） 杨辉三角的项 (inom{n}{k}) 的值代表从最上的点到这一项的路径数。
5.2 二项式定理
二项式定理
设 (n) 是正整数，对所有的 (x) 和 (y) 有 ((x+y)^n=sumlimits_{k=0}^n inom{n}{k} x^ky^{n-k})
在 (y=1) 时有特殊情形 ： ((1+x)^n=sumlimits_{k=0}^n inom{n}{k} x^k) ，也为常用公式。
关于二项式系数的常用恒等式：
1） (kinom{n}{k}=ninom{n-1}{k-1})
将式子用定义打开即可证。
2） (inom{n}{0}+inom{n}{1}+inom{n}{2}+...+inom{n}{n}=2^n)
令 (x=1,y=1) ，代入二项式定理即可证。（也可组合推理）
3） 交错和 (inom{n}{0}-inom{n}{1}+inom{n}{2}-inom{n}{3}+...+(-1)^ninom{n}{n}=0)
也可写成 (inom{n}{0}+inom{n}{2}+...=inom{n}{1}+inom{n}{3}+...=2^{n-1})
令 (x=1,y=-1) ，代入二项式定理即可证。（也可组合推理）
4） (1inom{n}{1}+2inom{n}{2}+...+ninom{n}{0}=n2^{n-1})
利用 (kinom{n}{k}=ninom{n-1}{k-1}) ，左式可写成 (ninom{n-1}{0}+ninom{n-1}{1}+...+ninom{n-1}{n-1}=n2^{n-1})。
5） 利用连续求导及关于 (x) 的乘法得到 (sumlimits_{k=1}^n k^pinom{n}{k}) 关于正整数 (p) 的恒等式
由 ((1+x)^n=sumlimits_{k=0}^n inom{n}{k} x^k)
两边对 (x) 求导 ： (n(1+x)^{n-1}=sumlimits_{k=0}^n inom{n}{k} kx^{k-1})
(令 (x=1) 可得 ： (n2^{n-1}=sumlimits_{k=0}^n kinom{n}{k}=sumlimits_{k=1}^n kinom{n}{k}) )
两边同乘 (x) 得 ： (nx(1+x)^{n-1}=sumlimits_{k=0}^n inom{n}{k} kx^k)
两边对 (x) 求导 ： (n((1+x)^{n-1}+x(n-1)(1+x)^{n-2})=sumlimits_{k=0}^n inom{n}{k} k^2x^{k-1})
(令 (x=1) 可得 ： (n(n+1)2^{n-2}=sumlimits_{k=0}^n k^2inom{n}{k}=sumlimits_{k=1}^n k^2inom{n}{k}) )
6） 范德蒙卷积公式 (sumlimits_{k=0}^n inom{m1}{k}inom{m2}{n-k}=inom{m1+m2}{n})
特殊形式 (sumlimits_{k=0}^n inom{n}{k}^2=inom{2n}{n})
利用组合推理证明：
设 (S) 为拥有 (m1+m2) 个元素的集合，则 (inom{m1+m2}{n}) 计数的是 (S) 的 (n) 元子集的数目。
把 (S) 划分为 (A,B) 两个子集，其中 (|A|=m1,|B|=m2)。
考虑每个 (S) 的 (n) 元子集，其包含 (k) 个 (A) 元素和 (n-k) 个 (B) 元素，(k) 为 (0) 到 (n) 之间的整数。
则 (S) 的 (n) 元子集可根据 (k) 的大小划分为 (n+1) 个部分，而每部分的大小为 (inom{m1}{k}inom{m2}{n-k})
由加法原理可得，(sumlimits_{k=0}^n inom{m1}{k}inom{m2}{n-k}=inom{m1+m2}{n})
广义二项式系数
(inom{r}{k}) ，(rin R,kin Z)
公式 (inom{r}{k}=inom{r-1}{k}+inom{r-1}{k-1}) 与 (kinom{r}{k}=rinom{r-1}{k-1}) 仍成立。
可由帕斯卡公式递推得到两个求和公式：
1） (inom{r}{0}+inom{r+1}{1}+..inom{r+k}{k}=inom{r+k+1}{k})
在左式首加 (inom{r}{-1}) 即可证。
2） (inom{0}{k}+inom{1}{k}+..inom{n}{k}=inom{n+1}{k+1})
在左式首加 (inom{0}{k+1}) 即可证。
5.3 二项式系数的单峰性
二项式系数序列 (inom{n}{0},inom{n}{1},...,inom{n}{n}) 为单峰序列，最大者为 (inom{n}{lfloor n/2 floor}=inom{n}{lceil n/2 ceil})
5.4 多项式定理
符号太难打了，略……
5.5 牛顿二项式定理
几个导出式在生成函数中很重要。
5.6 再论偏序集
定理5.6.1 （(Dilworth) 定理的“对偶”定理）
设((X,leq)) 为有限偏序集，设 (r) 为链的最大大小。则 (X) 可被划分成 (r) 条反链，不可划分成小于 (r) 条反链。
(Dilworth) 定理
设((X,leq)) 为有限偏序集，设 (m) 为反链的最大大小。则 (X) 可被划分成 (m) 条链，不可划分成小于 (m) 条链。