How to Write Proofs by Exhaustion
Description
A detailed tutorial on writing proofs by exhaustion. Step by step tutorial including several examples of how to write proofs by exhaustion for reference.
Overview
A proof by exhaustion is one of the easier types of proofs to write. All this proof involves is testing cases – every case possible for what you are trying to prove. This can be made easier by using variables instead of numbers, or by testing for an even number and odd number, positive and negative number, etc. That way you do not have to test many numbers in order to prove. If even one of the cases does not work out, then whatever you are testing for has been disproven.
