二项式定理证明

对于 $C_n^m$ 我们可以写成: $C_n^m=\left(\begin{array}{c}n\\ m\end{array}\right)$ 当然由于第二种写法 $\text{LATEX}$ 太复杂，所以用第一种。

C_n^m=\left(\begin{array}{c}n\\m\end{array}\right)

---

先写一下公式 $(x+y{)}^n=\sum _{i=0}^n{C}_n^i{x}^i{y}^{n-i}$

证明：

方法一（数学归纳法）：

数学归纳法介绍：

如果一个结论对于 $0$ 成立。
并且对于任意正整数 $n$，只要小于 $n$ 的数成立，就可以推出 $n$ 成立。
则结论对于所有自然数都成立。

假设 $(x+y{)}^{n-1}=\sum _{i=0}^{n-1}{C}_{n-1}^i{x}^i{y}^{n-1-i}$

我们再乘上 $(x+y)$ 变为 $(x+y)(x+y{)}^{n-1}=(x+y)\sum _{i=0}^{n-1}{C}_{n-1}^i{x}^i{y}^{n-1-i}$

$$\begin{array}{rl}(x+y{)}^n& =(x+y)\sum _{i=0}^{n-1}{C}_{n-1}^i{x}^i{y}^{n-1-i}\\ & =\sum _{i=0}^{n-1}{C}_{n-1}^i{x}^{i+1}{y}^{n-1-i}+\sum _{i=0}^{n-1}{C}_{n-1}^i{x}^i{y}^{n-i}\\ & =\sum _{i=1}^n{C}_{n-1}^{i-1}{x}^i{y}^{n-i}+\sum _{i=0}^{n-1}{C}_{n-1}^i{x}^i{y}^{n-i}\end{array}$$

我们知道 $C_n^m=C_{n-1}^{m-1}+C_{n-1}^m$

证明：

可以利用码大佬写的证明，当然想看原文得充钱😭😭😭。

$C_a^b$ 的含义可以理解为从 AcWing 网站中的 $a$ 为巨佬中选出 $b$ 为巨佬的方案总数。
可以分为两类：

1. 选抽风巨佬
   那么此时已经选出了一位抽风巨佬,剩下只要从 $a-1$ 位巨佬中选出 $b-1$ 位巨佬。
2. 不选抽风巨佬
   那么此时情况显然就是从剩下 $a-1$ 位巨佬中选出 $b$ 位巨佬。

根据加法计数原理有:
$C_a^b=C_{a-1}^{b-1}+C_{a-1}^b$

接着再来到原问题，我们可以将原问题用这个公式合并，当然对于 $i=0$ 和 $i=n$ 时没有一对的，要自己为一组，合并之后可为：

$(x+y{)}^n=\sum _{i=0}^n{C}_n^i{x}^i{y}^{n-i}$

方法一（组合数学）：

我们可以把原问题变成：

$$\begin{array}{c}(x+y)(x+y)...(x+y)(x+y)\\ n个(x+y)\end{array}$$

那么我们就可以想，我们要从这每个 $(x+y)$ 中要选多少个 $x$ 剩下的全都要选 $y$ 所以：

$(x+y{)}^n=\sum _{i=0}^n{C}_n^i{x}^i{y}^{n-i}$