Steply

Prove 2n^3 + 3n^2 + n is divisible by 6 by induction

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

Step by step

The question

Question: prove by induction that 2n³ + 3n² + n is divisible by 6, for every whole number n.

2n3 + 3n2 + n is divisible by 6

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

1 Check n = 1

For n = 1: 6, and that is 6 × 1.

Divisible by 6: the first domino falls.

2 × 13 + 3 × 12 + 1 = 6 = 6 × 1

2 Assume it works for k

Suppose it works for k: 2k³ + 3k² + k is a multiple of 6.

So it is 6 times some whole number.

Call it m.

2k3 + 3k2 + k = 6m
m is a whole number

3 What we must show

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

= 2(k + 1)3 + 3(k + 1)2 + (k + 1) is divisible by 6

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.

2(k + 1)3 + 3(k + 1)2 + (k + 1) = 2(k + 1)(k + 1)(k + 1) + 3(k + 1)(k + 1) + (k + 1)

Open the brackets.

= 2k3 + 2k2 + 2k2 + 2k + 2k2 + 2k + 2k + 2 + 3k2 + 3k + 3k + 3 + k + 1

Like terms together.

= 2k3 + 9k2 + 13k + 6

Look for the old one inside: 2k³ + 3k² + k.

The rest is left over.

= (2k3 + 3k2 + k) + 6k2 + 12k + 6

By our assumption, the old one is 6m.

= 6m + 6k2 + 12k + 6

5 Take out 6

Every term has a 6 in it.

Take out 6: 6(k² + 2k + m + 1).

= 6(k2 + 2k + m + 1)
k² + 2k + m + 1 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 6 for n = 1, and k → k + 1: for every n. ∎

6 Check

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

n = 3: 2 × 33 + 3 × 32 + 3 = 84

84 is 6 times 14.

Divisible by 6.

Right!

84 = 6 × 14

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

Last: check.

Answer
k² + 2k + m + 1 is a whole number

Your turn

Try this one yourself, then check:

n3 − n is divisible by 3
Show the answer
3(k2 + k + m)

More from Induction

The whole lesson: Induction →