Nontrivial Solutions to a Cubic Identity and the Factorization of $n^2+n+1$

TL;DR

The paper analyzes a variant of Nicomachus's identity, $ \sum_{j=1}^{n} j^3 + x^3 - k^3 = ( \sum_{j=1}^{n} j + x - k )^2$, and completely classifies integer solutions $(k,x,n)$, showing nontrivial solutions occur exactly when $N = n^2+n+1$ has at least two prime divisors with $1 \bmod 3$ (counted with multiplicity). It reframes the problem as solving $a^2+ab+b^2 = N$ in the Eisenstein integers $\mathbb{Z}[\omega]$ with $\omega = \frac{1+\sqrt{-3}}{2}$, leveraging the norm $N(a+b\omega) = a^2+ab+b^2$ and the unit-action to count representations. The core result ties the existence of nontrivial solutions to the prime-factor structure of $N$, establishing an equivalence with a classical representation problem in $\mathbb{Z}[\omega]$ and recovering the 2005 characterization as a corollary. This work bridges a combinatorial Diophantine identity and algebraic number theory, showing how norms, unit orbits, and prime-splitting govern when nontrivial identities occur.

Abstract

We investigate a variation of Nicomachus's identity in which one term in the cubic sum is replaced by a different cube. Specifically, we study the Diophantine identity \[ \sum_{j=1}^{n} j^3 + x^3 - k^3 = \left( \sum_{j=1}^{n} j + x - k \right)^2 \] and classify all integer solutions $(k,x,n)$. A full parametric family of nontrivial solutions was introduced in a 2005 paper, along with a conjectural condition for when such solutions exist. We provide a complete proof of this characterization and show it is equivalent to a structural condition on the prime factorization of $ n^2 + n + 1 $. Our argument connects this identity to classical results in the theory of binary quadratic forms. In particular, we analyze the equation $a^2 + ab + b^2 = n^2 + n + 1$, interpreting it as a norm in the ring of Eisenstein integers $\mathbb{Z}[ω]$, where $ω= \frac{1 + \sqrt{-3}}{2}$. This yields a surprising connection between a modified combinatorial identity and the arithmetic of algebraic number fields.

Theorems & Definitions (9)

• Theorem 1: Representation by Norm
• Theorem 2
• Lemma 1
• proof
• proof : Proof of Theorem \ref{['th2']}
• Lemma 2
• proof
• Corollary 1
• proof