Answer

问题及解答

关于组合数的恒等式

Posted by haifeng on 2024-06-17 14:05:51 last update 2024-06-17 14:36:41 | Edit | Answers (1)

(1)   $\sum_{k=1}^{n}kC_n^k=n 2^{n-1}$.

类似地, 可证明

(2)   $\sum_{k=2}^{n}C_n^k C_k^2=C_n^2  2^{n-2}$.

(3)   $\sum_{k=3}^{n}C_n^k C_k^3=C_n^3  2^{n-3}$.


由此可推出下面的恒等式

\[
\sum_{k=1}^{n}\binom{n}{k}k^3=2^{n-3}n^2(n+3).
\]

参见 (1 封私信) 这个组合数求和问题怎么解决? - 知乎 (zhihu.com)

 

1

Posted by haifeng on 2024-06-17 14:31:38

(1)  Pf.

\[
C_n^k=\frac{n(n-1)\cdots(n-k+1)}{k(k-1)\cdots 2\cdot 1}=\frac{n}{k}C_{n-1}^{k-1}.
\]

于是

\[
\sum_{k=1}^{n}kC_n^k=\sum_{k=1}^{n}k\cdot\frac{n}{k}C_{n-1}^{k-1}=\sum_{k=1}^{n}nC_{n-1}^{k-1}\stackrel{i=k-1}{=}n\sum_{i=0}^{n-1}C_{n-1}^{i}=n 2^{n-1}.
\]


(2)

\[
C_n^k=\frac{n(n-1)(n-2)\cdots(n-k+1)}{k(k-1)(k-2)\cdots 2\cdot 1}=\frac{n(n-1)}{k(k-1)}C_{n-2}^{k-2}.
\]

于是

\[
\sum_{k=2}^{n}C_n^k C_k^2=\sum_{k=2}^{n}\frac{k(k-1)}{2}\cdot\frac{n(n-1)}{k(k-1)}C_{n-2}^{k-2}=\frac{n(n-1)}{2}\sum_{k=2}^{n}C_{n-2}^{k-2}\stackrel{i=k-2}{=}C_n^2 \sum_{i=0}^{n-2}C_{n-2}^{i}=C_n^2 2^{n-2}.
\]