Proof by exhaustion
What Proof by exhaustion means in Mathematics A-Level, as defined for AQA, Pearson Edexcel, WJEC.
Definitions of Proof by exhaustion
Exam boards and our study guides word this term in slightly different ways. Learn the version your board uses.
Check what you remember
Read the wording for your board, then hide it and explain Proof by exhaustion in your own words. Rough notes are fine. This is a self-check, with no mark or grade.
Reference: Pearson Edexcel
Checks every possible case, such as testing all residue classes modulo 3, and confirms that every possible case has been considered.
Checks every possible case, identifying all possible cases and checking each one, showing that no case is omitted.
Tests every finite possibility within a bounded domain, such as verifying a property for each digit or case.
A proof method in which every member of a finite set of possible cases is checked systematically.
Topics that use Proof by exhaustion
- A: Proof (AQA A-Level)
- Proof (Pearson Edexcel A-Level)
- Overarching themes - Mathematical argument, language and proof (WJEC A-Level)
- Proof (AS Unit 1: Pure Mathematics A) (WJEC A-Level)
Related terms
- Proof by deduction
- Proof
- counter-example
- Disproof by counter example
- Irrational Number
- Proof by contradiction
- Rational Number
- Domain
Using Proof by exhaustion in the exam
Check the command word and mark scheme for your exact question. After comparing your explanation with the reference, use the term in an answer on the linked topic. This practice does not predict an exam mark.
Practise Mathematics questions
Create a free account to answer exam-style questions on this topic and get feedback on your answers.
A week of Premium from your first lesson · Then the free plan continues · No card, no charge