Proof by Exhaustion

In mathematics, Proof by Exhaustion is proving that something is true by showing that it is true for each and every case that could possibly be considered. This is also known as Proof by Cases – see Example 1.
Proof by Exhaustion is different from Proof by Deduction whereby we use algebraic symbols and construct logical arguments from known facts to show that something is true for all numbers. For the case of Proof by Exhaustion, we show that a statement is true for each number in consideration.
Proof by Exhaustion also includes proof where numbers are split into a set of exhaustive categories and the statement is shown to be true for each category. Proof by Deduction can then be used within the categories – see Example 2.

Example 1

Prove that (n+1)^3\geq 3^n for n\in{\mathbb N}, n\leq 4.

Example 2

Prove that every perfect cube number is a multiple of 9, one less than a multiple of 9 or one more than a multiple of 9.

For more Proof by Exhaustion examples and to test your knowledge of mathematical proof methods take the StudyWell PROOF test:

Proof by Exhaustion

Are you ready to test your Pure Maths knowledge? Visit our Practice Papers page and take StudyWell’s own Pure Maths tests.

A-Level Maths