Understand and use the structure of mathematical proof, proceeding from given assumptions through a series of logical steps to a conclusion; use methods of proof, including: Proof by deduction, Proof by exhaustion, Disproof by counter example, Proof by contradiction (including proof of the irrationality of √2 and the infinity of primes, and application to unfamiliar proofs) — Edexcel A-Level Mathematics Revision

    This topic covers the fundamental structure of mathematical proof, requiring students to proceed from given assumptions to a conclusion through logical ste

    Topic Synopsis

    This topic covers the fundamental structure of mathematical proof, requiring students to proceed from given assumptions to a conclusion through logical steps. It includes specific methods such as proof by deduction, proof by exhaustion, disproof by counter-example, and proof by contradiction, with applications including the irrationality of √2 and the infinity of primes.

    Key Concepts & Core Principles

    Exam Tips & Revision Strategies

    Common Misconceptions & Mistakes to Avoid

    Examiner Marking Points

    Understand and use the structure of mathematical proof, proceeding from given assumptions through a series of logical steps to a conclusion; use methods of proof, including: Proof by deduction, Proof by exhaustion, Disproof by counter example, Proof by contradiction (including proof of the irrationality of √2 and the infinity of primes, and application to unfamiliar proofs)

    EDEXCEL
    A-Level

    This topic covers the fundamental structure of mathematical proof, requiring students to proceed from given assumptions to a conclusion through logical steps. It includes specific methods such as proof by deduction, proof by exhaustion, disproof by counter-example, and proof by contradiction, with applications including the irrationality of √2 and the infinity of primes.

    0
    Objectives
    5
    Exam Tips
    5
    Pitfalls
    0
    Key Terms
    7
    Mark Points

    Topic Overview

    Mathematical proof is the foundation of all rigorous mathematics. In this topic, you learn to construct logical arguments that establish the truth of a statement beyond any doubt. Starting from given assumptions (axioms or premises), you must proceed through a series of justified steps to reach an inevitable conclusion. This skill is essential not only for A-Level exams but also for university-level mathematics and any field requiring logical reasoning.

    You will study four key methods: proof by deduction (direct logical reasoning from known facts), proof by exhaustion (checking all possible cases), disproof by counterexample (showing a statement is false with one example), and proof by contradiction (assuming the opposite and deriving an impossibility). Classic results include proving that √2 is irrational and that there are infinitely many prime numbers. These proofs exemplify the power of contradiction and are frequently examined.

    Mastering proof develops your ability to think critically and communicate mathematically. In the Edexcel A-Level, proof questions appear across Pure Mathematics papers, often integrated with other topics like algebra, sequences, or number theory. You will be expected to apply these methods to unfamiliar contexts, so understanding the underlying logic is more important than memorising specific proofs.

    Key Concepts

    Core ideas you must understand for this topic

    • →Proof by deduction: Start from known facts (e.g., definitions, theorems) and use logical steps to derive the conclusion. Example: Prove that the sum of two even numbers is even.
    • →Proof by exhaustion: Break the statement into a finite number of cases and check each one. Example: Prove that all integers n satisfy n² ≡ 0 or 1 mod 4.
    • →Disproof by counterexample: To show a statement is false, provide one example that contradicts it. Example: 'All prime numbers are odd' is false because 2 is prime and even.
    • →Proof by contradiction: Assume the statement is false, then derive a contradiction with a known fact. Classic examples: √2 is irrational, and there are infinitely many primes.
    • →Logical structure: Every proof must clearly state assumptions, justify each step (e.g., using algebraic manipulation, definitions), and end with a clear conclusion (e.g., QED or 'therefore the statement is true').

    What You Need to Demonstrate

    Key skills and knowledge for this topic

    • Clear, logical progression from assumptions to conclusion
    • Correct use of mathematical notation and symbols
    • Accurate application of the chosen proof method
    • For proof by exhaustion, ensuring all cases are covered and verified
    • For disproof by counter-example, providing a single case that invalidates the statement
    • For proof by contradiction, correctly assuming the negation of the statement and deriving a logical contradiction
    • Rigorous mathematical argument construction

    Marking Points

    Key points examiners look for in your answers

    • Clear, logical progression from assumptions to conclusion
    • Correct use of mathematical notation and symbols
    • Accurate application of the chosen proof method
    • For proof by exhaustion, ensuring all cases are covered and verified
    • For disproof by counter-example, providing a single case that invalidates the statement
    • For proof by contradiction, correctly assuming the negation of the statement and deriving a logical contradiction
    • Rigorous mathematical argument construction

    Examiner Tips

    Expert advice for maximising your marks

    • 💡State the method of proof being used clearly at the start
    • 💡Ensure all logical steps are explicitly written out; do not skip steps
    • 💡For proof by contradiction, clearly state the assumption that the statement is false
    • 💡Check that the conclusion follows directly from the preceding logical steps
    • 💡Use precise mathematical language and avoid vague statements
    • 💡Always state your method at the start (e.g., 'We will prove by contradiction'). This signals to the examiner that you understand the approach and helps structure your answer.
    • 💡In proof by exhaustion, clearly list all cases and show that each leads to the desired conclusion. Use a table or bullet points for clarity. Missing a case loses marks.
    • 💡For unfamiliar proofs, break the problem down: identify what you are assuming, what you need to prove, and which method might work. Practice adapting classic proofs (like √2) to similar structures (e.g., prove √3 is irrational).

    Common Mistakes

    Pitfalls to avoid in your exam answers

    • Failing to cover all cases in a proof by exhaustion
    • Assuming the result to be proved in a deductive proof
    • Incorrectly negating a statement for proof by contradiction
    • Providing an example that satisfies the statement instead of a counter-example that disproves it
    • Lack of logical connectivity between steps in a proof
    • Misconception: 'Proof by exhaustion means checking a few examples.' Correction: Exhaustion requires checking every possible case, not just a sample. For example, to prove a statement about all integers mod 4, you must check n ≡ 0,1,2,3 mod 4 — not just n=0,1,2,3.
    • Misconception: 'A counterexample must be complicated.' Correction: A simple, specific example is often best. For instance, to disprove 'all multiples of 3 are odd', the counterexample 6 (even) suffices.
    • Misconception: 'Proof by contradiction is the same as proving the contrapositive.' Correction: They are different. Contradiction assumes the statement is false and derives any contradiction; contrapositive proves 'if not Q then not P' directly. Both are valid but distinct methods.

    Frequently Asked Questions

    Common questions students ask about this topic

    Before You Start

    Prior knowledge that will help with this topic

    • •Basic algebra: manipulation of equations, factorisation, and working with odd/even numbers.
    • •Number theory fundamentals: prime numbers, divisibility, and properties of integers (e.g., even/odd, rational numbers).
    • •Logical reasoning: understanding of 'if-then' statements, contrapositive, and necessity/sufficiency.

    Likely Command Words

    How questions on this topic are typically asked

    Prove
    Show that
    Disprove
    Construct a proof

    Ready to test yourself?

    Practice questions tailored to this topic

    Related Topics in EDEXCEL A-Level Mathematics

    Add vectors diagrammatically and perform the algebraic operations of vector addition and multiplication by scalars, and understand their geometrical interpretations

    View Topic

    Apply differentiation to find gradients, tangents and normals; maxima and minima and stationary points; points of inflection; identify where functions are increasing or decreasing

    View Topic

    Calculate the magnitude and direction of a vector and convert between component form and magnitude/direction form

    View Topic

    Carry out simple cases of integration by substitution and integration by parts; understand these methods as the inverse processes of the chain and product rules respectively (integration by substitution includes finding a suitable substitution and is limited to cases where one substitution will lead to a function which can be integrated; integration by parts includes more than one application of the method but excludes reduction formulae)

    View Topic