从水果堆到代数证明：杨辉三角公式的奥秘

问题背景

《梦溪笔谈》有一个数学题：日常生活中常见的“水果堆”通常呈现为三角垛形状：

如果层数非常多（例如 100 层），直接一层层数数不仅效率低下，还容易出错。我们需要寻找一种数学通法来解决两个核心问题：每层有多少个？总共有多少个？

观察每层的水果数序列：1, 3, 6, 10...

虽然这不是等差数列，但其相邻两项之差（2, 3, 4...）构成了等差数列。利用累加法或待定系数法，我们可以推导出第 \( n \) 层的水果数 \( a_n \) 的通项公式：

a_n = \frac{n(n+1)}{2}

        数学巧合：

        这个公式正好对应组合数 \( C_{n+1}^2 \)。这意味着，第 \( n \) 层的水果数本质上等于从 \( n+1 \) 个元素中选 2 个的组合数。

要计算前 \( n \) 层的总水果数，实际上就是求解数列 \( \{a_n\} \) 的前 \( n \) 项和。

利用杨辉三角的性质 \( C_n^r = C_{n-1}^{r-1} + C_{n-1}^r \)（即：每个数等于上方两数之和），我们可以进行巧妙的转化：

我们要证明等式左边等于右边。这实际上是一个分式加法与整式化简的过程。

        预备知识：
        组合数定义公式 \[ C_n^r = \frac{n!}{r!(n-r)!} \]
    

第一步：将右边展开

根据定义，将右边的两个组合数写成阶乘形式：

\text{右边} = \frac{(n-1)!}{(r-1)!(n-r)!} + \frac{(n-1)!}{r!(n-r-1)!}

第二步：寻找公分母（通分）

我们将它们通分，分母统一为 \( r!(n-r)! \)：

\text{右边} = \frac{(n-1)! \cdot \mathbf{r}}{r!(n-r)!} + \frac{(n-1)! \cdot \mathbf{(n-r)}}{r!(n-r)!}

第三步：合并同类项（整式加法）

现在分母相同了，我们只需要处理分子的加法。这里运用了提取公因式（即分配律的逆运算）：

\text{分子} = (n-1)! \cdot r + (n-1)! \cdot (n-r) \] \[ = (n-1)! \cdot [r + (n-r)] = (n-1)! \cdot n = n!

第四步：得出结论

将化简后的分子放回分式：

\text{右边} = \frac{n!}{r!(n-r)!}

这正好就是 \( C_n^r \) 的定义式！证明完成。

\text{总数} S_n = \color{red} C_2^2 \color{black} + C_3^2 + C_4^2 + \dots + C_{n+1}^2 \] \[ = \color{red}C_3^3 \color{black}+ \color{green}C_3^2 \color{black} + C_4^2 + \dots + C_{n+1}^2 \] \[ = \color{red}C_4^3 \color{black} +\color{green} C_4^2 \color{black}+ \dots + C_{n+1}^2 = \dots = C_{n+2}^3

案例验证：
如果水果堆有 12 层，直接代入公式计算：

S_{12} = C_{14}^3 = \frac{14 \times 13 \times 12}{3 \times 2 \times 1} = 364

这与逐层累加得到的结果完全一致。