A-level · Proof
Proof by exhaustionExam-style questions
Proving a statement by splitting it into a finite, complete set of cases and checking every one — either a short list of values, or all integers split by parity or remainder. Why the cases must leave no gaps, and why exhaustion only works when the cases really are finite.
6 questions · A-level level · mark scheme and worked solution on each · no sign-up to try