[论文解读] A Proof of Symmetry of the Power Sum Polynomials using a Novel Bernoulli Numbers Identity

Nicholas J. Newsome, Maria Nogin+1 more|arXiv (Cornell University)|Dec 20, 2017

Advanced Combinatorial Mathematics参考文献 7被引用 6

一句话总结

本文提出了一项关于伯努利数的新恒等式，并利用它给出了幂和多项式 $ S_p(n) = \sum_{k=1}^n k^p $ 对称性的初等证明。关键贡献在于证明了 $ S_p(-n-1) = (-1)^{p+1} S_p(n) $，从而确认该多项式关于 $ n = -\frac{1}{2} $ 对称，当 $ p $ 为偶数时具有点对称性，当 $ p $ 为奇数时具有轴对称性。

ABSTRACT

The problem of finding formulas for sums of powers of natural numbers has been of interest to mathematicians for many centuries. Among these is Faulhaber's well-known formula expressing the power sums as polynomials whose coefficients involve Bernoulli numbers. In this paper we give an elementary proof that the sum of $p$-th powers of the first $n$ natural numbers can be expressed as a polynomial in $n$ of degree $p+1$. We also prove a novel identity involving Bernoulli numbers and use it to show symmetry of this polynomial.

研究动机与目标

• 建立 $ p $ 次幂的前 $ n $ 个自然数之和构成 $ p+1 $ 次多项式的初等证明。
• 推导一个涉及伯努利数的新恒等式，以促进对幂和对称性的分析。
• 利用新伯努利恒等式，证明幂和多项式 $ S_p(n) $ 的对称性性质，即 $ S_p(-n-1) = (-1)^{p+1} S_p(n) $。
• 探讨该对称性对 $ S_p(n) $ 的根的影响，特别是其关于 $ n = -\frac{1}{2} $ 的分布特征。

提出的方法

• 通过包含二项式系数和低阶和 $ S_i(n) $ 的公式，对 $ p \geq 2 $ 的 $ S_p(n) $ 进行递归定义，从而确立其多项式性质。
• 证明一个关于伯努利数的新恒等式：$ (-1)^{m-k} \binom{m}{k} B_{m-k} = \sum_{i=k}^{m} \binom{m}{i} \binom{i}{k} B_{m-i} $，其中 $ m \geq 1 $ 且 $ 0 \leq k \leq m $ 为整数。
• 使用法劳赫伯公式将 $ S_p(n) $ 表示为包含伯努利数的和：$ S_p(n) = \frac{1}{p+1} \sum_{i=0}^{p} (-1)^i \binom{p+1}{i} B_i n^{p+1-i} $。
• 将法劳赫伯公式中的 $ n \to -(n+1) $，并应用新伯努利恒等式简化所得表达式。
• 证明变换后的表达式等于 $ (-1)^{p+1} S_p(n) $，从而完成对称性性质的证明。
• 利用对称性结果推导出 $ S_p(n) $ 的根关于 $ n = -\frac{1}{2} $ 对称，且当 $ p $ 为偶数时 $ n = -\frac{1}{2} $ 是一个根。

实验结果

研究问题

• RQ1 如何利用涉及伯努利数的新恒等式，证明幂和多项式 $ S_p(n) $ 的对称性？
• RQ2 $ S_p(n) $ 与 $ S_p(-n-1) $ 之间的精确函数关系是什么？其依赖于 $ p $ 的奇偶性如何？
• RQ3 $ S_p(n) $ 的根是否具有更深层次的结构或数论性质，特别是关于其对称性和重数？
• RQ4 该新伯努利数恒等式能否推广或应用于数论或其他多项式序列中的其他恒等式？

主要发现

• 幂和多项式 $ S_p(n) $ 被证明是 $ p+1 $ 次多项式，确认了其代数结构。
• 建立了一个关于伯努利数的新恒等式：$ (-1)^{m-k} \binom{m}{k} B_{m-k} = \sum_{i=k}^{m} \binom{m}{i} \binom{i}{k} B_{m-i} $，该恒等式是证明对称性的核心。
• 利用新伯努利恒等式和法劳赫伯公式，严格证明了对称性性质 $ S_p(-n-1) = (-1)^{p+1} S_p(n) $。
• 作为推论，$ S_p(n) $ 的根关于 $ n = -\frac{1}{2} $ 对称，且当 $ p $ 为偶数时 $ n = -\frac{1}{2} $ 是一个根。
• 当 $ p $ 为奇数时，$ S_p(n) $ 的图像关于直线 $ n = -\frac{1}{2} $ 对称；当 $ p $ 为偶数时，关于点 $ \left(-\frac{1}{2}, 0\right) $ 对称。
• 该证明提供了一种替代傅里叶级数推导对称性的方法，具有更初等且组合的特征。