自然数幂求和——第二类Strling数

这个问题似乎有很多种求法，但感觉上第二类Strling数的做法是最方便的。

---

问题

求下面这个式子：
$$\sum _{i=0}^n{i}^k$$
$n$的范围可以很大。

---

第二类Strling数

第二类Strling数记作$S(n,m)$、$S_n^m$。
定义：将$n$个相同的球放在$m$个不同的箱子里的方案数（其中的每一个箱子至少有一个球）。
很容易推出一个式子：$S_n^m=S_{n-1}^{m-1}+m{S}_{n-1}^m$。不解释。
有个通项公式，但是我不会推……不过在处理这个问题的时候用不着。

---

一个性质

$$a^k=\sum _{i=0}^k{S}_k^{i}i!C_a^i$$
如果直接理性地证明可能不容易，所以在这里通过它的定义来推理一下：
对于等式左边，相当于$k$个不同的球放在$a$个不同的箱子里。
对于等式右边，先枚举非空箱子的个数，$S_k^i$表示$k$个不同的球放在$i$个相同的箱子里。乘上$i!$相当于放在不同的箱子里，再乘上非空箱子的选法$C_a^i$。
当然这条式子也可以化成：
$$\sum _{i=0}^k{S}_k^i\prod _{j=a-i+1}^{a}j$$

---

推理

先把结论放在前面：
$$\sum _{i=0}^n{i}^k=\sum _{i=0}^k\frac{S_k^i{\prod }_{j=n-i+1}^{n+1}j}{i+1}$$
证明如下：
$$\begin{gathered} \sum _{i=0}^n{i}^k \\ =\sum _{a=0}^n\sum _{i=0}^k{S}_k^{i}i!C_a^i \\ =\sum _{i=0}^k{S}_k^{i}i!\sum _{a=0}^n{C}_a^i \end{gathered}$$
因为$a<i$时$C_a^i=0$，所以
$$=\sum _{i=0}^k{S}_k^{i}i!\sum _{a=i}^n{C}_a^i$$
由$C_m^n=C_{m-1}^{n-1}+C_{m-1}^n$得
$$\begin{gathered} \sum _{a=i}^n{C}_a^i=C_i^i+C_{i+1}^i+\cdots +C_n^i \\ =C_i^{i+1}+C_i^i+C_{i+1}^i+\cdots +C_n^i \\ =C_{i+1}^{i+1}+C_{i+1}^i+\cdots +C_n^i \\ \cdots \\ =C_{n+1}^{i+1} \end{gathered}$$
所以原式又可以化成下面这样：
$$\begin{gathered} =\sum _{i=0}^k{S}_k^{i}i!C_{n+1}^{i+1} \\ =\sum _{i=0}^k\frac{S_k^i{\prod }_{j=n-i+1}^{n+1}j}{i+1} \end{gathered}$$
这样式子就推完了。