AI 中文总结
该研究揭示尼科马库斯恒等式的特殊之处在于仅当$p=3$时其平方对应连续三角数，且它是形如$S_s(N)=S_1(N)^r$的正整数指数关系中的唯一非平凡形式。
AI 中文摘要
尼科马库斯恒等式$\u03a3_{k=1}^{n} k^3 = \u0028\u03a3_{k=1}^{n} k\u0029^2$广为人知，但背后的结构却较少被强调。我们从尼科马库斯的原始模式入手，该模式中连续立方数被表示为连续奇数整数的连续块，展示了三角数如何自然地进入由此产生的立方和恒等式。随后我们反转了通常的三角数论证，从表示$n^p$为$n$个连续奇数整数之和的一般平方差出发。该构造对所有$p\u22652$都成立，但仅当$p=3$时，这两个平方对应连续三角数，这解释了尼科马库斯的奇数块为何能无间隙、无重复地组合在一起。最后，利用福尔哈伯多项式的首项，我们证明除平凡情况外，尼科马库斯恒等式是形如$S_s(N)=S_1(N)^r$的正整数指数关系中的唯一形式。
英文摘要
Nicomachus' identity $\sum_{k=1}^{n} k^3 = \left(\sum_{k=1}^{n} k\right)^2$ is familiar, but the structure behind it is less often emphasized. We begin with Nicomachus' original pattern, in which successive cubes are expressed as successive blocks of consecutive odd integers, and show how triangular numbers naturally enter the resulting sum-of-cubes identity. We then reverse the usual triangular-number argument and start from a general difference of squares representing $n^p$ as a sum of $n$ consecutive odd integers. This construction is possible for every $p\geq 2$, but only for $p=3$ do the two squares correspond to consecutive triangular numbers, which explains why Nicomachus' odd-number blocks fit together without gaps or repetitions. Finally, using the leading terms of the Faulhaber polynomials, we show that, apart from the trivial case, Nicomachus' identity is the unique relation of the form $S_s(N)=S_1(N)^r$ for positive integer exponents.
