【数学】组合数与杨辉三角

前置知识

• 杨辉三角（本文中设杨辉三角第 $i$ 行第 $j$ 列的数为 $f_{i,j}$，以 $0$ 为下标起始点）
• 组合数 $\left(\genfrac{}{}{0ex}{}{n}{m}\right)$（等价于 $C_n^m$）

---

证：组合数等价于杨辉三角

---

$f1$ 数表法

如下图，列一张数表（此处仅列5行），第 $i$ 行（从 $0$ 开始）左起第 $j$ 个数的数是 $C_j^i$。

$$\begin{array}{ccccccccc}& & & & 1& & & & \\ & & & 1& & 1& & & \\ & & 1& & 2& & 1& & \\ & 1& & 3& & 3& & 1& \\ 1& & 4& & 6& & 4& & 1\end{array}$$

不难发现上图其实就是杨辉三角，证毕。

---

$f2$ 方程法

分析 $\left(\genfrac{}{}{0ex}{}{i}{j}\right)$ 的性质，不难得到下式：

$$\left(\genfrac{}{}{0ex}{}{i}{j}\right)=\{\begin{array}{ll}0& \text{if }i<0\text{ or }j<0\text{ or }i>j\\ 1& \text{if }i=0\text{ or }j=0\\ \left(\genfrac{}{}{0ex}{}{i-1}{j}\right)+\left(\genfrac{}{}{0ex}{}{i-1}{j-1}\right)& \text{if }i>0\text{ and }j>0\end{array}$$

将其与杨辉三角的递推式进行比对

$$f_{i,j}=\{\begin{array}{ll}\text{无意义}& \text{if }i<0\text{ or }j<0\text{ or }i>j\\ 1& \text{if }i=0\text{ or }j=0\\ f_{i-1,j-1}+f_{i-1,j}& \text{if }i>0\text{ and }j>0\end{array}$$

两式基本一致，证毕。