二项式系数性质证明：求证${n\choose k}= \frac{n}{k} {n-1\choose k-1}$

嘿，这个组合恒等式用**计数论证（组合解释）**来理解超清晰的！我来给你捋一遍我的思路：

我们要证明的是：
$$\binom{n}{k} = \frac{n}{k} \binom{n-1}{k-1}$$

首先可以把等式两边同时乘以k，转化成证明一个更直观的等价式子：
$$k \binom{n}{k} = n \binom{n-1}{k-1}$$

接下来我们用「计数同一件事的两种不同方式」来验证两边相等：

• 左边的含义：假设我们有n个人，我们要做两件事：

  1. 先从n个人里选出k个人，给每人发一颗糖果；
  2. 再从这k个拿到糖果的人里挑1个，额外发一辆玩具卡车。
     总的方法数就是选k人的组合数乘以从k人选1人的方法数，也就是$\binom{n}{k} \times k$，对应左边的表达式。

• 右边的含义：换个顺序来完成同样的任务：

  1. 先从n个人里直接选1个，给他同时发糖果和玩具卡车（相当于这个人直接拿到了两样奖励）；
  2. 再从剩下的n-1个人里选k-1个，给每人发一颗糖果。
     总的方法数就是选1人的方法数乘以选k-1人的组合数，也就是$n \times \binom{n-1}{k-1}$，对应右边的表达式。

既然这两种方式都是在计算「给1人发糖果+玩具卡车，给另外k-1人只发糖果」的总方法数，那它们的结果肯定相等。这样我们就证明了等价的式子，再把两边除以k，就得到了最开始要证的恒等式啦！

内容的提问来源于stack exchange，提问作者Aemilius