当前位置: 华文问答 > 科学

这个组合数恒等式如何证明?

2022-02-02科学

注意到 \sum\limits_{i=m}^{[\frac{n}{2}]}C_{i}^{m}C_{n}^{2i} 是 (\sum\limits_{i=m}^{\infty}C_{i}^{m}x^{2i})\times(\sum\limits_{i=0}^{n}C_{n}^{i}x^i)=\frac{x^{2m}}{(1-x^2)^{m+1}}\times(1+x)^n 的 x^n 项的系数。

于是只需求 \frac{(1+x)^n}{(1-x^2)^{m+1}}=\frac{(1+x)^{n-m-1}}{(1-x)^{m+1}} 的 x^{n-2m} 项系数,

而 \frac{(1+x)^{n-m-1}}{(1-x)^{m+1}}=\frac{\sum\limits_{j=0}^{n-m-1}C_{n-m-1}^{j}(1-x)^j(2x)^{n-m-1-j}}{(1-x)^{m+1}}

当 j\geq m+1 时, \frac{(1-x)^j(2x)^{n-m-1-j}}{(1-x)^{m+1}} 是多项式,其次数为 n-2m-2 ,不可能有x^{n-2m} 项。

当 j\leq m-2 时, (2x)^{n-m-1-j} 为次数至少有 n-2m+1 的单项式, 因此,此时\frac{(1-x)^j(2x)^{n-m-1-j}}{(1-x)^{m+1}} 不可能有x^{n-2m} 项。

所以只需考虑 j 取 m,m-1 时的情况,也就是只需求

\frac{C_{n-m-1}^{m}(2x)^{n-2m-1}}{1-x}+\frac{C_{n-m-1}^{m-1}(2x)^{n-2m}}{(1-x)^2} 的 x^{n-2m} 项系数

它等于 C_{n-m-1}^{m}2^{n-2m-1}+C_{n-m-1}^{m-1}2^{n-2m}

=2^{n-2m-1}(\frac{(n-m-1)!}{m!(n-2m-1)!}+\frac{2(n-m-1)!}{(m-1)!(n-2m)!})

=2^{n-2m-1}\frac{(n-m-1)!}{(m-1)!(n-2m-1)!}(\frac{1}{m}+\frac{2}{n-2m})

=2^{n-2m-1}\frac{(n-m-1)!}{(m-1)!(n-2m-1)!}\times\frac{n}{m(n-2m)}

=2^{n-2m-1}\frac{(n-m)!}{m!(n-2m)!}\times\frac{n}{n-m}

即为所求。