范德蒙恒等式

这篇博客比较水，因为这个东西实在是没什么好讲的。

等式如下：
$$C_{n+m}^k=\sum _{i=0}^k{C}_n^i\times C_m^{k-i}$$

证明也很简单：

考虑右边的柿子的意义——从 $n$ 里面拿 $i$，再从 $m$ 里面拿 $k-i$ 个物品，那么得到的总物品数恒定为 $k$，但是从 $n$ 和 $m$ 那里拿的数目不固定，所以这个问题等价于：从 $n+m$ 个物品中选 $k$ 个物品的方案数。