15拆分成3个不同的自然数_玩数学：利用福尔哈伯公式求自然数p次幂和

问题

如何给出前n个自然数的p次幂的求和公式，也即如何求

的通项求和公式(变量为n的多项式)。前面几个求和公式如下：

公式1

---

求法

上述等式右边似乎隐隐约约存在某些规律，如n、n+1、2n+1在多个等号的右边都有出现。

一名16世纪的德国社会学家Johann Faulhaber发现了一个p为奇数时的规律：

公式2

则

公式3

推而广之，得出奇次幂和的通项公式：

公式4

这个通项公式就叫福尔哈伯多项式(Faulhaber polynomials)。多项式中的

即为伯努利数(参考xxx)。

福尔哈伯进而在奇数次幂的福尔哈伯多项式基础上推出了偶数次幂和的多项式。

Faulhaber得出了自然数2m+1次幂和的公式：

公式5

他发现自然数2m次幂和的通项公式为：

公式6

下面验证一下根据奇数次幂和求偶数次幂和的方法。

另2m+1=7，也即m=3，则根据前面的展开式，得到

代入后面的公式，得到：

将

代入，得到

与前面结果完全相同。

结语

本篇是关于前n个自然数的p次幂求和问题的最后一篇文章。

此前鄙人从多个方面介绍这个问题的不同解法，但无论哪种方法，都是殊途同归。其实，人类还有一些其它方法(如通过下图可以得到p=3时的解)，我们就不一一介绍了。

蚯蚓土下行，黄牛地上耕。皆为植根深，殊途共叶欣。