Skip to content

Mathematics · Ch 10 — Sequence and Series

Special Sums: Sum of the First $n$ Natural Numbers, Their Squares, and Their Cubes

9

Special Sums: Sum of the First $n$ Natural Numbers, Their Squares, and Their Cubes

Three particular sums recur so often — both later in this syllabus and in the two exercises above — that they are worth deriving once and for all: the sum of the first nn natural numbers, of their squares, and of their cubes.

Sum of the first nn natural numbers, ∑k=1nk\sum_{k=1}^n k. The natural numbers 1,2,3,…,n1,2,3,\ldots,n are themselves an A.P. with first term a=1a=1, common difference d=1d=1, and last term l=nl=n. Applying the A.P. sum formula of Section 2 directly,

∑k=1nk=n2(1+n)⟹∑k=1nk=n(n+1)2.\sum_{k=1}^{n} k = \frac{n}{2}(1+n) \quad\Longrightarrow\quad \boxed{\sum_{k=1}^n k = \frac{n(n+1)}{2}}.

(This is exactly the "reverse and add" computation Gauss is said to have used: 1+2+⋯+n1+2+\cdots+n added to its own reverse n+(n−1)+⋯+1n+(n-1)+\cdots+1 gives nn copies of (n+1)(n+1), so the sum is half of n(n+1)n(n+1).)

Sum of squares, ∑k=1nk2\sum_{k=1}^n k^2 — derivation by telescoping. Start from the algebraic identity

(k+1)3−k3=3k2+3k+1,(k+1)^3 - k^3 = 3k^2+3k+1,

which holds for every integer kk (expand (k+1)3=k3+3k2+3k+1(k+1)^3=k^3+3k^2+3k+1 and subtract k3k^3). Summing both sides for k=1,2,…,nk=1,2,\ldots,n, the left side telescopes — every intermediate value cancels, leaving only the very first and very last:

∑k=1n[(k+1)3−k3]=(n+1)3−13=(n+1)3−1.\sum_{k=1}^n\big[(k+1)^3-k^3\big] = (n+1)^3 - 1^3 = (n+1)^3-1.

The right side sums to 3∑k2+3∑k+n3\sum k^2 + 3\sum k + n (using ∑k=1n1=n\sum_{k=1}^n 1=n). So

(n+1)3−1=3∑k=1nk2+3⋅n(n+1)2+n.(n+1)^3 - 1 = 3\sum_{k=1}^n k^2 + 3\cdot\frac{n(n+1)}{2} + n.

Solving for ∑k2\sum k^2 and simplifying the right-hand side (expand (n+1)3=n3+3n2+3n+1(n+1)^3=n^3+3n^2+3n+1, collect like powers of nn, and factor) gives the standard closed form:

∑k=1nk2=n(n+1)(2n+1)6.\boxed{\sum_{k=1}^n k^2 = \frac{n(n+1)(2n+1)}{6}}.

Sum of cubes, ∑k=1nk3\sum_{k=1}^n k^3 — derivation by telescoping (same method, one power higher). Starting instead from (k+1)4−k4=4k3+6k2+4k+1(k+1)^4-k^4 = 4k^3+6k^2+4k+1 and summing k=1k=1 to nn, the left side again telescopes to (n+1)4−1(n+1)^4-1, giving an equation in ∑k3\sum k^3 once ∑k2\sum k^2 and ∑k\sum k (both already known above) are substituted in. Carrying out the same style of algebraic simplification as for the squares yields the remarkably clean closed form

∑k=1nk3=[n(n+1)2]2=(∑k=1nk)2.\boxed{\sum_{k=1}^n k^3 = \left[\frac{n(n+1)}{2}\right]^2 = \left(\sum_{k=1}^n k\right)^2}. …