Steply

Prove 1^3 + 2^3 + ... + n^3 = n^2(n + 1)^2/4 by induction

Step by step, with the reason for every step · Proof by induction · Discrete Math

Step by step

The question

Question: prove by induction that 1³ + 2³ + … + n³ = n²(n + 1)² over 4.

13 + 23 + … + n3 = n2(n + 1)24

Induction works like dominoes.

Push the first one: it is true for n = 1.

Then show each one knocks over the next: if it is true for k, it is true for k + 1.

Then they all fall.

1 Check n = 1

For n = 1 the left side is just the first number, 1.

The right side with n = 1 is also 1.

The first domino falls.

1 = 12(1 + 1)24 = 1
✓ n = 1 works

2 Assume it works for k

Now suppose it works for some whole number k: the sum up to k equals the formula with k.

13 + 23 + … + k3 = k2(k + 1)24
we assume this

3 What we must show

We must show it for k + 1: one more term, (k + 1)³, and every n on the right becomes k + 1.

13 + 23 + … + k3 + (k + 1)3 = (k + 1)2((k + 1) + 1)24

Tidy the brackets.

= (k + 1)2(k + 2)24
we must get this

Careful!

k + 1 goes into every n of the formula.

Adding 1 at the end is not the same.

Careful: not k2(k + 1)24 + 1 ✗

4 Use the assumption

The left side starts with the sum up to k.

By our assumption, that is the formula with k.

We swap it in.

13 + 23 + … + k3 + (k + 1)3 = k2(k + 1)24 + (k + 1)3

5 Make both sides the same

Same bottom: (k + 1)³ is 4 times it, over 4.

= k2(k + 1)2 + 4(k + 1)34

Open the brackets.

= k4 + k3 + k3 + k2 + 4k3 + 4k2 + 4k2 + 4k + 4k2 + 4k + 4k + 44

Like terms together.

= k4 + 6k3 + 13k2 + 12k + 44

Now the right side, the one we must get.

The square means the bracket times itself.

(k + 1)2(k + 2)24 = (k + 1)(k + 1)(k + 2)(k + 2)4

Open the brackets.

= k4 + 2k3 + 2k3 + 4k2 + k3 + 2k2 + 2k2 + 4k + k3 + 2k2 + 2k2 + 4k + k2 + 2k + 2k + 44

Like terms together.

= k4 + 6k3 + 13k2 + 12k + 44

The same as the left side!

So if it works for k, it works for k + 1.

= the left side ✓

It is true for n = 1, and each n passes it on to the next.

So it is true for every whole number n.

The proof is done.

true for n = 1, and k → k + 1: true for every n ≥ 1. ∎

6 Check

Let's check n = 4 by adding: 1 + 8 + 27 + 64 is 100.

n = 4: 1 + 8 + 27 + 64 = 100

And the formula with 4: also 100.

Right!

42(4 + 1)24 = 100

Let's look back.

First: check n = 1.

Then: assume it works for k.

Then: what we must show.

Then: use the assumption.

Then: make both sides the same.

Last: check.

Answer
= the left side ✓

Your turn

Try this one yourself, then check:

12 + 22 + … + n2 = n(n + 1)(2n + 1)6
Show the answer
2k3 + 9k2 + 13k + 66

More from Proof by induction

The whole lesson: Proof by induction →