Proof — WJEC A-Level Mathematics Revision

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

    Topic Synopsis

    This topic covers the fundamental structure of mathematical proof, requiring students to proceed from given assumptions through logical steps to a conclusion. It specifically includes proof by deduction, proof by exhaustion, and disproof by counter-example, with a specific requirement to prove the laws of logarithms.

    Key Concepts & Core Principles

    Exam Tips & Revision Strategies

    Common Misconceptions & Mistakes to Avoid

    Examiner Marking Points

    Proof

    WJEC
    A-Level

    This topic covers the fundamental structure of mathematical proof, requiring students to proceed from given assumptions through logical steps to a conclusion. It specifically includes proof by deduction, proof by exhaustion, and disproof by counter-example, with a specific requirement to prove the laws of logarithms.

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

    Topic Overview

    Proof is the foundation of all mathematics. In the WJEC A-Level specification, proof is not just a topic but a skill that permeates every area of the course. You will learn to construct logical arguments to establish the truth of mathematical statements, using a variety of methods. This topic is assessed both in pure mathematics and in the context of mechanics and statistics, where you may need to prove results or justify steps in your working.

    The key methods of proof you need to master are: direct proof, proof by contradiction, proof by exhaustion, proof by counterexample, and proof by induction (for sequences and series). Each method has its own structure and typical applications. For example, direct proof is used to show that if a condition holds, then a conclusion follows, while proof by contradiction is powerful for statements that are difficult to prove directly, such as the irrationality of √2.

    Understanding proof is crucial for developing mathematical reasoning and for achieving the highest grades. In exams, proof questions often require you to show a given result, and marks are awarded for clear logical steps and correct notation. You must be able to choose the appropriate method and present your argument in a structured way. Mastery of proof also helps in other topics like algebra, trigonometry, and calculus, where you may need to justify identities or derive formulas.

    Key Concepts

    Core ideas you must understand for this topic

    • →Direct proof: Start from known facts or assumptions and use logical steps to reach the conclusion. For example, proving that the sum of two even numbers is even.
    • →Proof by contradiction: Assume the opposite of what you want to prove, then show that this leads to a contradiction. Classic example: proving √2 is irrational.
    • →Proof by exhaustion: Check all possible cases individually. This is used when the statement can be split into a finite number of cases, e.g., proving that all integers from 1 to 10 satisfy a property.
    • →Proof by counterexample: To disprove a statement, find a single example where it fails. For instance, to disprove 'all prime numbers are odd', use the counterexample 2.
    • →Proof by induction: Used for statements involving natural numbers. Show the base case (e.g., n=1) is true, then assume true for n=k and prove it for n=k+1. Common in sequences and divisibility.

    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 connecting language
    • Accurate application of proof by deduction for laws of logarithms
    • Correct identification of counter-examples for disproof
    • Systematic coverage of all cases in proof by exhaustion

    Marking Points

    Key points examiners look for in your answers

    • Clear logical progression from assumptions to conclusion
    • Correct use of mathematical notation and connecting language
    • Accurate application of proof by deduction for laws of logarithms
    • Correct identification of counter-examples for disproof
    • Systematic coverage of all cases in proof by exhaustion

    Examiner Tips

    Expert advice for maximising your marks

    • 💡Ensure every step of a deductive proof is justified by a previous statement or definition
    • 💡When using disproof by counter-example, a single specific case that contradicts the statement is sufficient
    • 💡For proof by exhaustion, ensure you have explicitly listed all possible cases and verified each one
    • 💡Practice the formal proof of the laws of logarithms as this is explicitly mentioned in the guidance
    • 💡Use precise mathematical language; avoid vague or colloquial explanations
    • 💡Always state the method you are using at the start of your proof. For example, 'We will prove this by contradiction.' This helps the examiner follow your reasoning and ensures you get method marks.
    • 💡In proof by induction, clearly label the base case, the inductive hypothesis, and the inductive step. Use the phrase 'Assume true for n=k' and then show it leads to 'true for n=k+1'. Do not skip steps.
    • 💡When disproving a statement, a single counterexample is sufficient. Make sure your counterexample is clearly presented and that you explain why it disproves the statement. Avoid vague statements like 'it doesn't work for some numbers'.

    Common Mistakes

    Pitfalls to avoid in your exam answers

    • Failing to state assumptions clearly at the start of a proof
    • Using examples to 'prove' a general statement instead of using algebraic deduction
    • Incomplete exhaustion in proof by exhaustion (missing cases)
    • Incorrect use of logical symbols or connecting language
    • Assuming the result to be proved as part of the working
    • Misconception: 'Proof by contradiction is the same as proving the contrapositive.' Correction: They are different. In proof by contradiction, you assume the statement is false and derive a contradiction. In proving the contrapositive, you prove 'if not Q then not P' instead of 'if P then Q'.
    • Misconception: 'Proof by exhaustion means checking a few examples.' Correction: Exhaustion requires checking every possible case. If there are infinitely many cases, exhaustion is not possible; you need another method.
    • Misconception: 'In proof by induction, you only need to prove the inductive step.' Correction: You must also prove the base case. Without the base case, the induction is invalid.

    Frequently Asked Questions

    Common questions students ask about this topic

    Before You Start

    Prior knowledge that will help with this topic

    • •Basic algebra: manipulating equations, factorising, expanding brackets.
    • •Understanding of even and odd numbers, prime numbers, rational and irrational numbers.
    • •Familiarity with sequences and series for proof by induction.

    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 WJEC A-Level Mathematics

    Algebra and Functions

    View Topic

    Coordinate Geometry in the (x, y) Plane

    View Topic

    Data Presentation and Interpretation

    View Topic

    Differentiation

    View Topic