Step by step
The question
Question: prove by induction that 5ⁿ + 7 is divisible by 4, for every whole number n.
Like dominoes: show it for n = 1, then show that k passes it on to k + 1.
1 Check n = 1
For n = 1: 12, and that is 4 × 3.
Divisible by 4: the first domino falls.
2 Assume it works for k
Suppose it works for k: 5ᵏ + 7 is a multiple of 4.
So it is 4 times some whole number.
Call it m.
Move the rest to the other side: 5ᵏ equals 4m − 7.
We will need this.
3 What we must show
We must show the same for k + 1: every n becomes k + 1.
Careful!
One more power means one more times the number.
It is 5 times as big, not 1 more.
4 Use the assumption
One more power: 5 times the power with k.
Now swap in 4m − 7 for 5ᵏ.
Open the bracket.
Like terms together.
5 Take out 4
Every term has a 4 in it.
Take out 4: 4(5m − 7).
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.
6 Check
Let's check n = 3: it gives 132.
132 is 4 times 33.
Divisible by 4.
Right!
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 4.
Last: check.