Steply

Prove n^3 - n is divisible by 3 by induction

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

Step by step

The question

Question: prove by induction that n³ − n is divisible by 3, for every whole number n.

n3 − n is divisible by 3

Like dominoes: show it for n = 1, then show that k passes it on to k + 1.

1 Check n = 1

For n = 1: 0, and that is 3 × 0.

Divisible by 3: the first domino falls.

13 − 1 = 0 = 3 × 0

2 Assume it works for k

Suppose it works for k: k³ − k is a multiple of 3.

So it is 3 times some whole number.

Call it m.

k3 − k = 3m
m is a whole number

3 What we must show

We must show the same for k + 1: every n becomes k + 1.

= (k + 1)3 − (k + 1) is divisible by 3

Careful!

A bracket to a power is the bracket times itself.

Every part times every part.

Careful: not (k + 1)³ = k³ + 1 ✗

4 Use the assumption

Each power of the bracket is the bracket times itself.

(k + 1)3 − (k + 1) = (k + 1)(k + 1)(k + 1) − (k + 1)

Open the brackets.

= k3 + k2 + k2 + k + k2 + k + k + 1 − k − 1

Like terms together.

= k3 + 3k2 + 2k

Look for the old one inside: k³ − k.

The rest is left over.

= (k3 − k) + 3k2 + 3k

By our assumption, the old one is 3m.

= 3m + 3k2 + 3k

5 Take out 3

Every term has a 3 in it.

Take out 3: 3(k² + k + m).

= 3(k2 + k + m)
k² + k + m is a whole number

So it works for k + 1 too.

True for n = 1, and passed on each time: true for every whole number n.

The proof is done.

divisible by 3 for n = 1, and k → k + 1: for every n. ∎

6 Check

Let's check n = 3: it gives 24.

n = 3: 33 − 3 = 24

24 is 3 times 8.

Divisible by 3.

Right!

24 = 3 × 8

Let's look back.

First: check n = 1.

Then: assume it works for k.

Then: what we must show.

Then: use the assumption.

Then: take out 3.

Last: check.

Answer
k² + k + m is a whole number

Your turn

Try this one yourself, then check:

n2 + n is divisible by 2
Show the answer
2(k + m + 1)

More from Induction

The whole lesson: Induction →