Toolkit 3

Sum of cubes

13+23++n3=(n(n+1)2)21^3+2^3+\cdots+n^3=\left(\frac{n(n+1)}{2}\right)^2

Proof

Let

Tk=1+2++k=k(k+1)2T_k = 1 + 2 + \cdots + k = \frac{k(k+1)}{2}

denote the kk-th triangular number, where T0=0T_0 = 0.

Then

Tk2Tk12=(k(k+1)2)2(k(k1)2)2=k24((k+1)2(k1)2)=k24(4k)=k3.\begin{aligned} T_k^2 - T_{k-1}^2 &= \left(\frac{k(k+1)}{2}\right)^2 - \left(\frac{k(k-1)}{2}\right)^2 \\ &= \frac{k^2}{4}\left((k+1)^2 - (k-1)^2\right) \\ &= \frac{k^2}{4}(4k) \\ &= k^3. \end{aligned}

Therefore,

k3=Tk2Tk12.k^3 = T_k^2 - T_{k-1}^2.

Writing this identity for k=1,2,,nk = 1, 2, \ldots, n and adding, we obtain

13+23++n3=(T12T02)+(T22T12)++(Tn2Tn12)=Tn2.\begin{aligned} 1^3 + 2^3 + \cdots + n^3 &= (T_1^2 - T_0^2) + (T_2^2 - T_1^2) + \cdots + (T_n^2 - T_{n-1}^2) \\ &= T_n^2. \end{aligned}

Since

Tn=n(n+1)2,T_n = \frac{n(n+1)}{2},

it follows that

13+23++n3=(n(n+1)2)2.1^3 + 2^3 + \cdots + n^3 = \left(\frac{n(n+1)}{2}\right)^2. \quad\square