【组合数学：二】鸽巢原理 | 二项式系数 | 多项式定理

鸽巢原理

• 定理：把 $n+1$ 个物体放进 $n$ 个盒子，至少有一个盒子包含两个或更多的物体
• 应用：给定 $m$ 个整数 $a_1,a_2,\cdots ,a_m$ ，至少存在一个区间 $[L,R]$，满足 $m|(a_L+a_{L+1}+\cdots +a_R)$
  证明：考虑 $m$ 个前缀和 $pre[n]={\sum }_{i=1}^n{a}_i$
  若 $m|pre[i]$，则结论直接成立
  否则，一定存在一对 $i<j$ ，使得 $pre[i]\equiv pre[j](\mathrm{m}\mathrm{o}\mathrm{d}m)$ ,于是区间和 $[i+1,j]$ 的和一定被 $m$ 整除
• 鸽巢定理加强版：设 $q_1,q_2,\cdots ,a_n$ 是正整数。如果将
  $$q_1+q_2+\cdots +q_n-n+1$$
  个物体放入 $n$ 个盒子内，那么或者第一个盒子至少有 $q_1$ 个物体，或者第二个盒子至少有 $q_2$ 个物体，……，或者第 $n$ 个盒子至少有 $q_n$ 个物体
• 推论：如果把 $n(r-1)+1$ 个物体放到 $n$ 个盒子中，那么至少有一个盒子含有 $r$ 个或更多个物体

二项式系数

• 二项式定理：$(x+y{)}^n={\sum }_{i=0}^n{C}_n^i{x}^i{y}^{n-i}$
  定理：
  $$\sum _{i是偶数}{C}_n^i=\sum _{i是奇数}{C}_n^i=2^{n-1}$$
• 公式：
  $$\begin{gathered} \sum _{i=1}^{n}i\cdot C_n^i=n{2}^{n-1} \\ \sum _{i=1}^n{i}^2\cdot C_n^i=n(n+1)2^{n-2} \end{gathered}$$
  证明：
  $$(1+x{)}^n=\sum C_n^i{x}^i$$
  两边关于 $x$ 求导，得到：
  $$n(1+x{)}^{n-1}=\sum C_n^i\cdot i\cdot x^{i-1}$$
  带入 $x=1$，得到：
  $$n{2}^{n-1}=\sum i\cdot C_n^i$$
  若两边再乘以 $x$，再关于 $x$ 求导，带入 $x=1$，即可获得下一个式子
• 公式：
  $$\sum _{i=0}^n(C_n^i{)}^2=C_{2n}^n$$
  证明：左边可以转化为：
  $$\sum C_n^i{C}_n^{n-i}$$
  相当于两个 $n$ 个元素的集合，第一个集合选 $i$ 个，第二个集合选 $n-i$ 个
  相当于一个 $2n$ 个元素的集合，选 $n$ 个
  推广到 范德蒙的卷积形式：
  $$\sum C_n^i{C}_m^{k-i}=C_{n+m}^k$$
• 公式：
  $$C_r^0+C_{r+1}^1+\cdots +C_{r+k}^k=C_{r+k+1}^k$$
  证明：可令 $C_r^0=C_{r+1}^0$，一直使用帕斯卡公式替换即可。

多项式定理

• 多项式系数
  $$\left(\begin{array}{c}n\\ n_1{n}_2\cdots n_3\end{array}\right)=\frac{n!}{\prod (n_i!)}$$
• 多项式定理：
  $$(x_1+x_2+\cdots +x_t{)}^n=\sum \left(\begin{array}{c}n\\ n_1{n}_2\cdots n_3\end{array}\right)x_1^{n_1}{x}_2^{n_2}\cdots x_t^{n_t}$$

牛顿二项式定理

• 定理：设 $\alpha$ 是实数。对于所有满足 $0\le |x|<|y|$ ，我们有
  $$(x+y{)}^{\alpha }=\sum _{k=0}^{\infty }{C}_{\alpha }^k{x}^k{y}^{\alpha -k}$$
  设 $z=x/y$，那么 $(x+y{)}^{\alpha }=y(1+z{)}^{\alpha }$
  于是我们问题等价转化为：$|z|<1$，求 $(1+z{)}^{\alpha }$
  我们有：
  $$(1+z{)}^{\alpha }=\sum _{k=0}^{\infty }{C}_{\alpha }^k{z}^k$$
  我们选择 $\alpha =-n$，带入得到：
  $$C_{\alpha }^k=C_{-n}^k=\frac{-n(-n-1)\cdots (-n-k+1)}{k!}=(-1{)}^k{C}_{n+k-1}^k$$
  带入直接可以得到：
  $$\begin{gathered} \frac{1}{(1+z{)}^n}=\sum _{k=0}^{\infty }(-1{)}^k{C}_{n+k-1}^k{z}^k \\ \frac{1}{(1-z{)}^n}=\sum _{k=0}^{\infty }{C}_{n+k-1}^k{z}^k \end{gathered}$$
  组合推导过程：
  $$\frac{1}{(1-z{)}^n}=(1+z+z^2+\cdots )\cdots (1+z+z^2+\cdots )$$
  通过第一个因子选 $z^{k_1}$ 个，……，第 $n$ 个因子选 $z^{k_n}$ 个，我们有 $\prod z^{k_i}=z$
  就是多重集合 $n$ 元素的 $r$ 组合，就是 $C_{n+r-1}^r$

练习题

• 化简求和：
  $$\sum _{k=0}^n{C}_n^k{r}^k$$
  解：用二项式定理化简，得到：
  $$\sum _{k=0}^n{C}_n^k{r}^k=\sum _{k=0}^n{C}_n^k{r}^k\cdot 1^{n-k}=(1+r{)}^n$$
• 化简求和：
  $$\sum _{k=0}^n(-1{)}^k{C}_n^k{3}^{n-k}$$
  解：用二项式定理化简，就是 $(3-1{)}^n=2^n$
• 化简求和：
  $$\sum _{k=0}^n(-1{)}^k{C}_n^{k}10^k$$
  解：用二项式定理化简，就是：
  $$\sum _{k=0}^n(-1{)}^k{C}_n^{k}10^k=(-1{)}^n\sum _{k=0}^n(-1{)}^{n-k}{C}_n^{k}10^k=(-1{)}^n(10-1{)}^n=(-1{)}^n{9}^n$$
• 化简求和：
  $$\sum _{k=0}^n(-1{)}^k(C_n^k{)}^2$$
  解：当 $n$ 为奇数时，容易得到
  $$(-1{)}^k(C_n^k{)}^2+(-1{)}^{n-k}(C_n^{n-k})=0$$
  所以原式答案就是 $0$
  当 $n$ 为偶数时，考虑 $(1-x^2{)}^n=(1+x{)}^n(1-x{)}^n$ 的 $[x^n]$
  左边式子为：$(-1{)}^{n/2}{C}_n^{n/2}$
  右边式子为：${\sum }_{i=0}^n{C}_n^i\cdot C_n^{n-i}\cdot (-1{)}^i=$ 原式
• 化简求和：
  $$\sum _{i=1}^n(-1{)}^{i-1}\cdot i\cdot C_n^i$$
  解：对二项式 $(x-1{)}^n$ 展开求导，得到：
  $$\sum _{i=0}^{n}i\cdot (-1{)}^{n-i}\cdot C_n^i{x}^{i-1}=n(x-1{)}^{n-1}$$
  带入 $x=1$，得到：左边 $=0$
  注意到，原式为左边项或者左边项的负数，都是 $0$
• 化简求和：
  $$\sum _{i=0}^n\frac{1}{i+1}{C}_n^i$$
  解：对二项式 $(1+x{)}^n$ 及其展开求积分，得到：
  $$\int \sum _{i=0}^n{C}_n^i{x}^{i}dx=\int (1+x{)}^{n}dx$$
  解得：
  $$\sum _{i=0}^n\frac{1}{i+1}{C}_n^i=\frac{(1+x{)}^{n+1}}{1+n}+C$$
  带入解得 $C=-\frac{1}{1+n}$
  带入 $x=1$
  所以原式化简为：$\frac{2^{n+1}-1}{1+n}$
• 化简求和：
  $$\sum _{i=0}^n(-1{)}^i\frac{1}{i+1}{C}_n^i$$
  解：对二项式 $(x-1{)}^n$ 及其展开求积分，类似上面，带入 $x=1$，然后发现上述式子 $=0$
• 化简求和：
  $$\sum _{i=1}^n{C}_n^k{C}_n^{k-1}$$
  解：带入范德蒙的卷积公式，得到：
  $$I=\sum _{i=1}^n{C}_n^k{C}_n^{n-k+1}=C_{2n}^{n+1}$$
  书本给的式子为：（可能是用组合推导得到的）
  $$\frac{1}{2}{C}_{2n+2}^{n+1}-C_{2n}^n$$
  容易得到，这两个式子是等价的（带入化简即可）
• 化简求和：
  $$\sum _{k=1}k\cdot (C_n^k{)}^2$$
  解：考虑组合推导，式子化一下变成：
  $$\sum _{k=1}k\cdot C_n^k\cdot C_n^{n-k}$$
  相当于有 $n$ 个男生，$n$ 个女生，选一个 $n$ 个人的团队，且团队里有一位男队长的方案
  所以式子就是：
  $$I=n{C}_{2n-1}^{n-1}$$
• 化简求和：
  $$\sum _{\underset{r+s+t=n}{r,s,t\ge 0}}{C}_{m_1}^r{C}_{m_2}^s{C}_{m_3}^t$$
  解：考虑组合推导，就是在全集 $m_1+m_2+m_3$ 中选出 $n$ 个元素的方案数，即：
  $$C_{m_1+m_2+m_3}^n$$
• 化简求和：
  $$\sum _{\underset{n_i\ge 0}{\sum n_i=n}}\left(\begin{array}{c}n\\ n_1{n}_2\cdots n_t\end{array}\right)$$
  解一：多项式系数，组合意义上就是共 $n$ 个不同小球，放在 $t$ 个不同盒子里，第 $i$ 个盒子里有 $n_i$ 个球的方案数
  所有情况求和，相当于每一个小球都可以放在不同的盒子里
  方案数自然就是 $t^n$
  解二：多项式定理，令 $x_i=1$，即可得到
• 化简求和：
  $$\sum _{\underset{n_i\ge 0}{n_1+n_2+n_3=n}}\left(\begin{array}{c}n\\ n_1{n}_2{n}_3\end{array}\right)(-1{)}^{n_1-n_2+n_3}$$
  解：根据多项式定理，我们得到：
  $$(x_1+x_2+x_3{)}^n=\sum \left(\begin{array}{c}n\\ n_1{n}_2{n}_3\end{array}\right)x_1^{n_1}{x}_2^{n_2}{x}_3^{n_3}$$
  我们令 $x_1=x_2=x_3=-1$，带入得到：
  $$\begin{array}{rl}& \sum \left(\begin{array}{c}n\\ n_1{n}_2{n}_3\end{array}\right)(-1{)}^{n_1+n_2+n_3}\\ & =\sum \left(\begin{array}{c}n\\ n_1{n}_2{n}_3\end{array}\right)(-1{)}^{n_1-n_2+n_3}\\ & =(-3{)}^n\end{array}$$
  因为我们注意到 $(-1{)}^x=(-1{)}^{-x}$
• 化简求和：
  $$\sum _{\underset{n_i\ge 0}{n_1+n_2+n_3+n_4=n}}\left(\begin{array}{c}n\\ n_1{n}_2{n}_3{n}_4\end{array}\right)(-1{)}^{n_2+n_4}$$
  解：我们构造多项式
  $$(x_1-x_2+x_3-x_4{)}^n$$
  并拆成相应的多项式
  带入 $x_i=1$，容易得到 $I=0$