# Sum of consecutive cubes

I'm investigating when the sum of $n$ consecutive cubes equals a cube, i.e., for which $n$ does

$$\sum_{i=0}^{n-1} (k+i)^3 = k^3 + (k+1)^3 + \cdots + (k+n-1)^3 = Y^3$$

have nontrivial solutions $(k,Y)$ for $k, Y \in \mathbb{N}$. I have found (using programs) that if this equation has non-trivial solutions, n is not squarefree (for $n > 3$). Now I'm trying to prove that $n > 3$ cannot be squarefree. Here is a link to my proof and what I've done so far but I've reached a wall. I have three equations that I believe contradict each other (I am almost certain they contradict each other). I just can't see how they contradict each other and I might need a new set of eyes to look at it. The three equations are given in the link but, if you like, I've put them below. I'm trying to show the following:

For natural numbers $x, y, k, d \in \mathbb{N}$ and $d > 1,$

1. $d^2y = 2k + dx - 1$
2. $xy(d^4y^2+d^2x^2-1) = cube$
3. $x {\space} | {\space} k(k-1)$

cannot all be true. Please let me know if you have any questions or suggestions for me! Thanks in advance!

• Maybe it would be easier to consider $\left(\frac{b(b+1)}{2}\right)^{2} - \left(\frac{a(a+1)}{2}\right)^{2}.$ Commented Mar 7, 2015 at 8:50
• I've tried this. Unfortunately, you get back to the same equation I have... Commented Mar 7, 2015 at 16:03
• In case anyone was wondering, Derek has already recorded this sequence in the OEIS. oeis.org/A240970 Commented Mar 7, 2015 at 22:37
• Derek, does your system of three equations have any known solutions if some of the variables are allowed to be rational numbers rather than integers? Commented Mar 7, 2015 at 22:44
• There is some discussion at mathpages.com/home/kmath147.htm Commented Sep 14, 2022 at 1:16

Found some bigger numbers: {n,k} as you call them: {4913 , 11368} {6591 , 305} {6859 , 18171} {8000 , 22534} {10648 , 33558} {12167 , 40381} {13923 , 3010} {14161 , 1624} {25201 , 46690} {33124 , 18551} {63001 , 11170} {48841 , 967190} {277729 , 711785} Most 'n' are squares, but a strange ones are 6591, 13923 and 25201

pipo

• Forgot to mention, but it seems that 25201 is squarefree. pipo
– pipo
Commented Mar 8, 2015 at 18:34
• $25201=11\times29\times79$. Commented Mar 8, 2015 at 22:22
• I've confirmed pipo's example (Y = 1764070), so this answers Derek's question. Perhaps Derek (or someone else) can say what solution to Derek's system of three equations pipo's example corresponds to. Commented Mar 8, 2015 at 23:03
• @TimothyChow : I believe this corresponds to a solution $x=2291$, $y=980$, $d=11$, and $k=46690$. Commented Mar 9, 2015 at 0:07
• @pipo how did you find these? It seems {48841, 967190} and {277729, 711785} are incorrect. Commented Mar 10, 2015 at 1:10

The question was explored on sci.net 20 years ago ; see here. To summarize what was said then (the answer by Dave Rusin) : We have identified several types of solutions:

1. The trivial solutions -- $$m=(1-k)/2$$ (so $$N=0$$) for odd $$k$$, and $$m=-k/2$$ or $$-k/2+1$$ for even $$k$$
2. The torsion solutions -- $$m=(u^3-2u^2-4u-4)(u-1)/6$$ when $$k=u^3$$
3. Other elements in the subgroup generated by 1. and 2. (Conjecturally only $$k=4$$, $$m=11$$)
4. Other elements of rank-1 curves (None such? see Sect. VI)
5. Other generators of rank >1 curves (and linear combinations thereof) as for $$k=3, 20, 25, 49, 99, 153, 288$$
• Thanks but I've looked at this link many times before. Rusin doesn't prove that n cannot be squarefree. Commented Mar 7, 2015 at 16:02