Steply

Proof by contrapositive

Discrete Math · 20 problems, easy to harder

▶ Watch the first one solved

How we do it

  1. Turn it around
  2. Write it with letters
  3. Put them in
  4. Work it out
  5. Show the form
  6. Check

The steps for Prove if n^2 is even, then n is even. Every solution names its steps, so you always know what comes next.

Worked examples

Prove if n^2 is even, then n is even Easy

The question

Question: prove that if n² is even, then n is even.

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 odd, then n² is odd.

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

turned around: if n is odd, then n² 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 even, then n² is even ✗

2 Write it with letters

n is odd, so n = 2a + 1, where a is a whole number.

n = 2a + 1

That is what odd means.

odd = 2 × a whole number + 1

3 Put them in

Now put them in: n² becomes (2a + 1)².

n2 = (2a + 1)2

4 Work it out

(2a + 1)² means the bracket times itself.

= (2a + 1)(2a + 1)

Every part times every part: 4a² + 2a + 2a + 1.

= 4a2 + 2a + 2a + 1

Like terms together: 4a² + 4a + 1.

= 4a2 + 4a + 1

5 Show the form

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

= 2(2a2 + 2a) + 1

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

2a² + 2a is a whole number

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

So n² is odd.

So n² is odd.

The turned statement is true, so the first one is true too: if n² is even, then n is even.

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

So: if n² is even, then n is even. ∎

6 Check

Try n = 2.

Then n² is 4: even.

n = 2: n² = 4, even

And 2 is even, as the statement says.

Right!

and 2 is even

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² + 2a is a whole number

▶ Watch it solved

Prove if 3n + 2 is odd, then n is odd Medium

The question

Question: prove that if 3n + 2 is odd, 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 3n + 2 is even.

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

turned around: if n is even, then 3n + 2 is even

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 3n + 2 is odd ✗

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: 3n + 2 becomes 3(2a) + 2.

3n + 2 = 3(2a) + 2

4 Work it out

Open the brackets: 6a + 2.

= 6a + 2

5 Show the form

Every term has a 2 in it.

We take out 2: 2(3a + 1).

= 2(3a + 1)

3a + 1 is a whole number, because whole numbers added and multiplied stay whole.

3a + 1 is a whole number

2 times a whole number: so 3n + 2 is even.

So 3n + 2 is even.

The turned statement is true, so the first one is true too: if 3n + 2 is odd, then n is odd.

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

So: if 3n + 2 is odd, then n is odd. ∎

6 Check

Try n = 1.

Then 3n + 2 is 5: odd.

n = 1: 3n + 2 = 5, odd

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
3a + 1 is a whole number

▶ Watch it solved

Prove if x + y is odd, then x is odd or y is odd Harder

The question

Question: prove that if x + y is odd, then x is odd or y 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 x and y are both even, then x + y is even.

Starting from x and y is much easier: we know how to write them with letters.

turned around: if x and y are both even, then x + y is even

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 x is odd or y is odd, then x + y is odd ✗

2 Write it with letters

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

x = 2a

That is what even means.

even = 2 × a whole number

y is even, so y = 2b, where b is a whole number.

A new letter, b: y can be a different number from x.

y = 2b

3 Put them in

Now put them in: x + y becomes (2a) + (2b).

x + y = (2a) + (2b)

4 Work it out

Open the brackets: 2a + 2b.

= 2a + 2b

5 Show the form

Every term has a 2 in it.

We take out 2: 2(a + b).

= 2(a + b)

a + b is a whole number, because whole numbers added and multiplied stay whole.

a + b is a whole number

2 times a whole number: so x + y is even.

So x + y is even.

The turned statement is true, so the first one is true too: if x + y is odd, then x is odd or y is odd.

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

So: if x + y is odd, then x is odd or y is odd. ∎

6 Check

Try x = 3 and y = 5: it gives 8.

x = 3, y = 5: x + y = 8, even

8 is not odd, so the statement says nothing here.

Fine.

Right!

and 3 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
a + b is a whole number

▶ Watch it solved

Practice

Try each one, then open the answer. Stuck? Open the problem to watch every step.

Easy

  1. prove if n^2 is even, then n is even
    Answer
    2a² + 2a is a whole number
  2. prove if n^2 is odd, then n is odd
    Answer
    2a² is a whole number
  3. prove if 3n + 1 is even, then n is odd
    Answer
    3a is a whole number
  4. prove if 5n is even, then n is even
    Answer
    5a + 2 is a whole number
  5. prove if n + 7 is odd, then n is even
    Answer
    a + 4 is a whole number

Medium

  1. prove if 3n + 2 is odd, then n is odd
    Answer
    3a + 1 is a whole number
  2. prove if n^2 + 4 is odd, then n is odd
    Answer
    2a² + 2 is a whole number
  3. prove if n^3 is even, then n is even
    Answer
    4a³ + 6a² + 3a is a whole number
  4. prove if xy is even, then x is even or y is even
    Answer
    2ab + a + b is a whole number
  5. prove if 7n - 3 is even, then n is odd
    Answer
    7a − 2 is a whole number
  6. prove if n^2 + 2n is odd, then n is odd
    Answer
    2a² + 2a is a whole number
  7. prove if 9n + 4 is odd, then n is odd
    Answer
    9a + 2 is a whole number
  8. prove if n^2 + 3 is even, then n is odd
    Answer
    2a² + 1 is a whole number
  9. prove if xy is odd, then x is odd or y is odd
    Answer
    2ab is a whole number

Harder

  1. prove if x + y is odd, then x is odd or y is odd
    Answer
    a + b is a whole number
  2. prove if x - y is odd, then x is odd or y is odd
    Answer
    a − b is a whole number
  3. prove if n^2 - 6n + 5 is even, then n is odd
    Answer
    2a² − 6a + 2 is a whole number
  4. prove if 5n^2 + 3 is even, then n is odd
    Answer
    10a² + 1 is a whole number
  5. prove if n^3 + 5 is odd, then n is even
    Answer
    4a³ + 6a² + 3a + 3 is a whole number
  6. prove if 3n^2 + 1 is even, then n is odd
    Answer
    6a² is a whole number