Proof by Contradiction (DP IB Analysis & Approaches (AA)): Revision Note

Dan Finlay

Written by: Dan Finlay

Reviewed by: Mark Curtis

Updated on

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 is even, n must be even

Given that is even, n is odd

What are the steps for proof by contradiction?

  • STEP 1
    Assume the negation of the statement is true

  • STEP 2
    Find two results which contradict each other

    • Use algebra to help with this

    • Consider how a contradiction might arise

  • STEP 3
    Explain why the original statement is true

    • In 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. square root of 2 equals a over b

      • but then using algebra to show that a and b are both even

      • meaning a over b wasn't in its simplest form after all

    • prove that there is no maximum multiple of 5

      • by first assuming there is (call it M)

      • but then 5 M is a bigger multiple of 5

      • so M 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 open curly brackets p subscript 1 comma space p subscript 2 comma space... comma space p subscript n close curly brackets where p subscript n is the biggest

      • but then showing that 1 plus p subscript 1 p subscript 2... p subscript n is prime and bigger than p subscript n

      • so p subscript n wasn't the biggest after all

Worked Example

Prove the following statements by contradiction.

(a) For any integer n, if n squared is a multiple of 3 then n is a multiple of 3.

1-5-2-ib-aa-hl-proof-by-contradiction-a-we-solution

(b) square root of 3 is an irrational number.

1-5-2-ib-aa-hl-proof-by-contradiction-b-we-solution

You've read 0 of your 5 free revision notes this week

Unlock more, it's free!

Join the 100,000+ Students that ❤️ Save My Exams

the (exam) results speak for themselves:

Did this page help you?

Dan Finlay

Author: Dan Finlay

Expertise: Maths Subject Lead

Dan graduated from the University of Oxford with a First class degree in mathematics. As well as teaching maths for over 8 years, Dan has marked a range of exams for Edexcel, tutored students and taught A Level Accounting. Dan has a keen interest in statistics and probability and their real-life applications.

Mark Curtis

Reviewer: Mark Curtis

Expertise: Maths Content Creator

Mark graduated twice from the University of Oxford: once in 2009 with a First in Mathematics, then again in 2013 with a PhD (DPhil) in Mathematics. He has had nine successful years as a secondary school teacher, specialising in A-Level Further Maths and running extension classes for Oxbridge Maths applicants. Alongside his teaching, he has written five internal textbooks, introduced new spiralling school curriculums and trained other Maths teachers through outreach programmes.