三次恒等式的非平凡解与 $n^2+n+1$ 的分解

我们研究 Nicomachus 恒等式的一种变体，其中立方和中的某一项被替换为另一个立方数。具体而言，我们研究 Diophantine 恒等式 $$\sum_{j=1}^{n} j^3 + x^3 - k^3 = \left( \sum_{j=1}^{n} j + x - k \right)^2$$ 并对所有整数解 $(k,x,n)$ 进行分类。2005 年的一篇论文引入了一个完整的非平凡解参数族，并给出了此类解存在条件的一个猜想。我们对该刻画给出了完整证明，并证明其等价于 $n^2 + n + 1$ 素因子分解的一个结构性条件。我们的论证将该恒等式与二元二次型理论中的经典结果联系起来。特别地，我们分析了方程 $a^2 + ab + b^2 = n^2 + n + 1$，将其解释为 Eisenstein 整数环 $\mathbb{Z}[\omega]$ 中的范数，其中 $\omega = \frac{1 + \sqrt{-3}}{2}$。这揭示了修改后的组合恒等式与代数数域算术之间令人惊讶的联系。