巧构组合模型证明组合恒等式

组合恒等式的证明无固定的方法，一般是利用组合数的性质、数学归纳法、二项式定理等，通过一些适当的计算或化简来完成。但是，很多组合恒等式，也可通过巧妙构造一个组合问题的模型，把等式两边看成同一组问题的两种计算方法，由解的唯一性来证明组合恒等式成立。