范德蒙德卷积公式
∑
i
=
0
k
C
n
i
C
m
k
−
i
=
C
n
+
m
k
\sum_{i=0}^kC_n^iC_m^{k-i}=C_{n+m}^k
∑i=0kCniCmk−i=Cn+mk
我们不难看出,等号左边相当于从数量为n、m的堆中取k个元素,相等于右式
。
至于严谨的证明,可以用二项式定理证得。
经过简单的变换,我们还可以得到一些推论
∑
i
=
0
m
C
n
i
C
m
i
=
∑
i
=
0
m
C
n
i
C
m
m
−
i
=
C
n
+
m
m
\sum_{i=0}^mC_n^iC_m^{i}=\sum_{i=0}^mC_n^iC_m^{m-i}=C_{n+m}^m
∑i=0mCniCmi=∑i=0mCniCmm−i=Cn+mm
∑
i
=
0
m
(
C
m
i
)
2
=
∑
i
=
0
m
C
m
i
C
m
m
−
i
=
C
2
m
m
\sum_{i=0}^m(C_m^i)^2=\sum_{i=0}^mC_m^iC_m^{m-i}=C_{2m}^m
∑i=0m(Cmi)2=∑i=0mCmiCmm−i=C2mm