A-level Maths revision · Pure, year 2

Proof by contradiction

The idea

To prove a statement by contradiction, assume it is false and show that this leads to something impossible. Classic examples: 2\sqrt{2} is irrational, and there are infinitely many primes.

  1. State the opposite of what you want to prove.
  2. Follow it with correct algebra until you reach a contradiction.
  3. Conclude that the assumption was false, so the statement is true.

Watch out Write the negation carefully: the opposite of 'irrational' is 'can be written as ab\frac{a}{b} in lowest terms'.

See it worked

Worked example

Outline the proof that 2\sqrt{2} is irrational.

  1. Assume 2=ab\sqrt{2} = \frac{a}{b} with aa and bb integers with no common factor.
  2. Then a2=2b2a^2 = 2b^2, so aa is even: a=2ka = 2k, giving b2=2k2b^2 = 2k^2, so bb is even too.
  3. Both even contradicts 'no common factor', so 2\sqrt{2} is irrational.

Answer The assumption gives aa and bb both even: a contradiction

Your turn

Question 1Non-calculator3 marks

In the proof that 2\sqrt{2} is irrational, a2=2b2a^2 = 2b^2 and a=2ka = 2k. Find b2b^2 in terms of kk.

Question 2Non-calculator3 marks

Prove by contradiction that there is no largest even number.

Write your answer, then show the working
  1. Assume there is a largest even number, NN.
  2. N+2N + 2 is even and N+2>NN + 2 > N.
  3. This contradicts NN being largest, so there is no largest even number.

Answer If NN were the largest even number, N+2N + 2 would be a larger even number

Question 3Non-calculator3 marks

Prove by contradiction that if n2n^2 is even, then nn is even.

Write your answer, then show the working
  1. Assume n2n^2 is even but nn is odd: n=2k+1n = 2k + 1.
  2. n2=4k2+4k+1=2(2k2+2k)+1n^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1, which is odd.
  3. This contradicts n2n^2 being even, so nn is even.

Answer If nn were odd, n2=4k2+4k+1n^2 = 4k^2 + 4k + 1 would be odd

In past papers

20 official questions in 20 papers since 2018. The latest:

All A-level Maths past papers

A-level Maths Pro, Pearson Edexcel 9MA0

A-level Maths Pro

£129 once

Price rises to £199 on 1 January. Save £70 by joining before then.

At least 12 months of access

By paying you agree to our Terms and get access straight away, which ends your 14-day cancellation right.

No VAT is charged.