Prove 2 + 4 + 8 + ... + 2^n = 2^(n + 1) - 2 by induction Step by Step

Step by step

The question

Question: prove by induction that 2 + 4 + 8 + … + 2ⁿ = 2ⁿ ⁺ ¹ − 2.

2 + 4 + 8 + … + 2ⁿ = 2^{n + 1} − 2

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, 2.

The right side with n = 1 is also 2.

The first domino falls.

2 = 2^{1 + 1} − 2 = 2

✓ 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.

2 + 4 + 8 + … + 2^k = 2^{k + 1} − 2

we assume this

3 What we must show

We must show it for k + 1: one more term, 2ᵏ ⁺ ¹, and every n on the right becomes k + 1.

2 + 4 + 8 + … + 2^k + 2^{k + 1} = 2^{(k + 1) + 1} − 2

Tidy the brackets.

= 2^{k + 2} − 2

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 2^{k + 1} − 2 + 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.

2 + 4 + 8 + … + 2^k + 2^{k + 1} = 2^{k + 1} − 2 + 2^{k + 1}

5 Make both sides the same

Write it out.

= 2 × 2^k − 2 + 2 × 2^k

Like terms together.

= 4 × 2^k − 2

Now the right side, the one we must get.

A power with k + 1 is one more of the same number.

2^{k + 2} − 2 = 4 × 2^k − 2

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: 2 + 4 + 8 + 16 is 30.

n = 4: 2 + 4 + 8 + 16 = 30

And the formula with 4: also 30.

Right!

2^{4 + 1} − 2 = 30

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