Proof by Contradiction (DP IB Analysis & Approaches (AA)): Revision Note
Did this video help you?
Proof by Contradiction
What is proof by contradiction?
Proof by contradiction is a way of proving a result is true by showing that the negation (opposite) can not be true
It is done by
Assuming the negation of the result is true
Showing that this then leads to a contradiction
How do I find the negation of a statement?
The negation of a statement is the opposite
Examples include:
Statement | Negation |
---|---|
a is rational | a is irrational |
n is odd | n is even |
every even number bigger than 2 can be written as the sum of two primes | there exists an even number bigger than 2 which cannot be written as a sum of two primes |
n is even and prime | n is not even, or n is not prime |
there is at least one odd perfect number | all perfect numbers are even |
n is a multiple of 5 or a multiple of 3 | n is not a multiple of 5 and n is not a multiple of 3 |
Given that n² is even, n must be even | Given that n² is even, n is odd |
What are the steps for proof by contradiction?
STEP 1
Assume the negation of the statement is trueSTEP 2
Find two results which contradict each otherUse algebra to help with this
Consider how a contradiction might arise
STEP 3
Explain why the original statement is trueIn your explanation mention
The negation can’t be true as it led to a contradiction
Therefore the original statement must be true
Examiner Tips and Tricks
A question may not say 'use proof by contradiction', so you must spot it (e.g. by seeing there's two opposing options, or by seeing that no other method works).
What could I be asked to prove by contradiction?
You could be asked to use prove by contradiction to
prove that a number is irrational
by first assuming it is rational and written in its simplest form
e.g.
but then using algebra to show that
and
are both even
meaning
wasn't in its simplest form after all
prove that there is no maximum multiple of 5
by first assuming there is (call it
)
but then
is a bigger multiple of 5
so
can't have been the biggest after all
prove that there are infinitely many prime numbers
by first assuming there are only a finite number
call them
where
is the biggest
but then showing that
is prime and bigger than
so
wasn't the biggest after all
Worked Example
Prove the following statements by contradiction.
(a) For any integer , if
is a multiple of 3 then
is a multiple of 3.

(b) is an irrational number.

You've read 0 of your 5 free revision notes this week
Unlock more, it's free!
Did this page help you?