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

DifficultyAllLevel 2Level 3Level 4
  1. 1
    The positive integers aa and bb satisfy

    a<bandab=30a < b \qquad \text{and} \qquad ab = 30

    Prove, by exhaustion, that a+ba + b is always a prime number.

    The table below may be used to set out your cases. You do not have to fill every row.
    aabba+ba + b
    (3 marks)
    Level 2 · 3 marksTry it