Topic summary
Brute force method
Extracted from the Wikipedia article Proof by exhaustion.
Proof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which a statement is established by dividing the argument into several distinct cases and proving that the statement holds in each case. The cases must be collectively exhaustive, ensuring that all possible situations are considered.