Mastering Proof Techniques for A-Level Maths

Introduction to Mathematical Proof

In A-Level Mathematics, a proof is far more than just showing that an answer is correct; it is a rigorous, logical argument that demonstrates a statement is true for all cases within a defined set. Whether you are studying Pure Maths or Further Maths, the ability to construct a clear, step-by-step proof is a fundamental skill that separates top-tier students from the rest.

Understanding proof techniques is essential for your exams because examiners look for logical flow, precise notation, and a clear conclusion. This guide will walk you through the most common methods, providing you with the tools to tackle any proof question with confidence.

Direct Proof

A direct proof is the most straightforward method. You start with known facts, definitions, or previously established theorems and use logical steps to arrive at the desired conclusion. It is the first technique you should consider when faced with a proof question.

Example: Prove that the sum of two odd integers is always even.

1. Let the two odd integers be $2n + 1$ and $2m + 1$, where $n$ and $m$ are integers.
2. Their sum is $(2n + 1) + (2m + 1)$.
3. Simplify the expression: $2n + 2m + 2$.
4. Factorise out the 2: $2(n + m + 1)$.
5. Since $n$ and $m$ are integers, $(n + m + 1)$ must also be an integer. Let $k = n + m + 1$.
6. The sum is $2k$, which is the definition of an even number. Thus, the sum of two odd integers is even.

Proof by Contradiction

Proof by contradiction is a powerful tool used when a direct approach is difficult. The strategy is to assume the opposite of what you are trying to prove is true, then follow logical steps until you reach a mathematical impossibility (a contradiction). Once you reach this contradiction, you conclude that your initial assumption must have been false, meaning the original statement is true.

Example: Prove by contradiction that $\sqrt{2}$ is irrational.

1. Assume the opposite: $\sqrt{2}$ is rational. This means $\sqrt{2} = \frac{p}{q}$ where $p$ and $q$ are integers with no common factors.
2. Square both sides: $2 = \frac{p^2}{q^2}$, which gives $p^2 = 2q^2$.
3. This implies $p^2$ is even, so $p$ must be even. Let $p = 2k$.
4. Substitute $p = 2k$ into the equation: $(2k)^2 = 2q^2$, so $4k^2 = 2q^2$, which simplifies to $2k^2 = q^2$.
5. This implies $q^2$ is even, so $q$ must be even.
6. If both $p$ and $q$ are even, they share a common factor of 2. This contradicts our initial assumption that $p$ and $q$ have no common factors. Therefore, $\sqrt{2}$ must be irrational.

Proof by Exhaustion

Proof by exhaustion is used when the set of possibilities is small enough to check every single case. While it is rarely used for infinite sets, it is a valid and rigorous method for finite sets of integers or specific conditions.

Example: Prove that for all integers $n$ such that $1 \le n \le 3$, $n^2 + 3$ is even if $n$ is odd.

1. Identify the odd integers in the range: $n = 1$ and $n = 3$.
2. Case 1: If $n = 1$, $n^2 + 3 = 1^2 + 3 = 4$. Since 4 is even, the statement holds.
3. Case 2: If $n = 3$, $n^2 + 3 = 3^2 + 3 = 12$. Since 12 is even, the statement holds.
4. Since all cases have been checked and the statement is true for both, the proof is complete.

Common Mistakes

1. Using examples as proof: Checking a few numbers is not a proof. You must use general algebraic variables (like $n$ or $k$) to show the statement holds for all cases.
2. Poor notation: Avoid using symbols as abbreviations. Write out your logical steps in full sentences. For example, write "$x$ is an integer" rather than just "$x \in \mathbb{Z}$" if the context requires clarity.
3. Missing the conclusion: Always end your proof with a clear statement, such as "This is a contradiction, therefore the original statement must be true."
4. Assuming what you are trying to prove: Ensure your logical steps flow from known facts to the conclusion, rather than starting with the conclusion and working backwards without justification.

Frequently Asked Questions

How do I know which proof technique to use? Start by attempting a direct proof. If you get stuck or the algebra becomes unmanageable, consider if proof by contradiction or exhaustion might be more appropriate.

Do I need to define my variables? Yes. Always state what your variables represent (e.g., "where $n$ is an integer") at the start of your proof to ensure your argument is mathematically sound.

Is proof by contradiction always the best method? Not necessarily. It is a fallback method. Only use it if a direct proof is not obvious or if the problem specifically asks for it.

Conclusion

Mastering proof techniques is a journey of logical development. By practising these methods, you will not only improve your exam performance but also deepen your understanding of how mathematics functions as a language of truth. Ready to see these concepts in action? Head over to MathInstructor AI to generate a free, narrated animated lesson on proof techniques and watch these abstract ideas come to life.