Steply

Prove if n^2 - 6n + 5 is even, then n is odd

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

Step by step

The question

Question: prove that if n² − 6n + 5 is even, then n is odd.

1 Turn it around

An if-then statement means the same as its contrapositive: if not Q, then not P.

We saw it with truth tables.

if P, then Q ≡ if not Q, then not P

Turned around, it says: if n is even, then n² − 6n + 5 is odd.

Starting from n is much easier: we know how to write it with letters.

turned around: if n is even, then n² − 6n + 5 is odd

Careful!

That swaps the two parts.

It is the converse, a different statement.

Turned around means: swap the parts and put not on both.

Careful: not if n is odd, then n² − 6n + 5 is even ✗

2 Write it with letters

n is even, so n = 2a, where a is a whole number.

n = 2a

That is what even means.

even = 2 × a whole number

3 Put them in

Now put them in: n² − 6n + 5 becomes (2a)² − 6(2a) + 5.

n2 − 6n + 5 = (2a)2 − 6(2a) + 5

4 Work it out

(2a)² means the bracket times itself.

= (2a)(2a) − 6(2a) + 5

Every part times every part: 4a² − 12a + 5.

= 4a2 − 12a + 5

5 Show the form

We take out 2 from all but the 1: 2(2a² − 6a + 2) + 1.

= 2(2a2 − 6a + 2) + 1

2a² − 6a + 2 is a whole number, because whole numbers added and multiplied stay whole.

2a² − 6a + 2 is a whole number

2 times a whole number, plus 1: that is the form of an odd number.

So n² − 6n + 5 is odd.

So n² − 6n + 5 is odd.

The turned statement is true, so the first one is true too: if n² − 6n + 5 is even, then n is odd.

The square at the end means: the proof is done.

So: if n² − 6n + 5 is even, then n is odd. ∎

6 Check

Try n = 1.

Then n² − 6n + 5 is 0: even.

n = 1: n² − 6n + 5 = 0, even

And 1 is odd, as the statement says.

Right!

and 1 is odd

Let's look back.

First: turn it around.

Then: write it with letters.

Then: put them in.

Then: work it out.

Then: show the form.

Last: check.

Answer
2a² − 6a + 2 is a whole number

Your turn

Try this one yourself, then check:

Show the answer
if n is odd, then n² − 9n + 5 is odd

More from Proof by contrapositive

The whole lesson: Proof by contrapositive →