Mastering Mathematical Proofs

Overview

• Duration: 60 minutes
• Class size: 30 students
• Subject: Edexcel AS Mathematics
• Topic: Proofs
• National Curriculum Link:
  • AQA AS/A Level Mathematics: Develop understanding of mathematical proof techniques including direct proof, proof by contradiction, and proof by induction as part of "Proof" and "Algebra and Functions" units.
  • Maths curriculum focus: Reasoning logically, constructing rigorous proofs, understanding mathematical argumentation.
  • Classroom teaching meets the programme of study for Key Stage 5 Mathematics (Year 12).

---

Learning Objectives

By the end of this lesson, students will:

1. Understand and explain the concept and purpose of mathematical proofs.
2. Distinguish between direct proof, proof by contradiction, and proof by induction.
3. Construct a direct proof for a simple algebraic or number theory statement.
4. Explore and complete a proof by contradiction involving inequalities or divisibility.
5. Follow and begin to construct a proof by mathematical induction for a sequence or summation.
6. Apply these proof techniques in guided practice questions and reflect on their importance in developing mathematical rigour.

---

Curriculum Links

• Mathematics Programme of Study (Key Stage 5, England):
  • Develop fluency, mathematical reasoning and problem solving skills.
  • Use mathematical language precisely, understand and construct proofs using a range of strategies including induction.
• Edexcel AS Mathematics (Pure Mathematics - Paper 1 and 2):
  • Topic 2: Proof
  • Establish understanding of proof by deduction, contradiction and induction techniques expected at AS level.

---

Lesson Structure

Introduction (10 minutes)

• Starter question:
  • Pose a statement to class (e.g. "The sum of two even numbers is even.")
  • Ask students to discuss in pairs how they might prove this.
• Class discussion:
  • Engage students in identifying what constitutes a proof vs. an argument or example.
  • Define mathematical proof and its importance in establishing truth beyond doubt.
• Link to curriculum:
  • Explain how proofs underpin all rigorous mathematics, referencing the national curriculum requirement for logical reasoning and rigour.

---

Teaching Input (20 minutes)

1. Direct Proof (7 mins)

• Explanation: What is direct proof – deducing the truth of a proposition by logically progressing from known facts/definitions.
• Example: Prove that the sum of two odd integers is even.
  • Walk through step-by-step: define odd numbers as 2k+1, sum, simplify, conclude.
• Highlight: Structure – assumption, logical steps, conclusion.

2. Proof by Contradiction (7 mins)

• Explanation: Proving a statement is true by assuming the opposite is true and showing this leads to a contradiction.
• Example: Prove "√2 is irrational" (simplified outline for AS level).
• Alternative: Prove "There is no smallest positive rational number."
• Highlight: Contraposition and the power of contradiction in disproving negations.

3. Proof by Induction (6 mins)

• Explanation: Prove a statement true for all natural numbers, via base case and inductive step.
• Example: Prove the sum of the first n natural numbers is (n(n+1))/2.
• Demonstrate: Base case n=1, inductive hypothesis n=k, inductive step n=k+1.
• Address common pitfalls: Identify where induction can fail if logic is skipped.

---

Guided Practice (15 minutes)

• Task: Students work in pairs on three short problems, one for each proof type:

  1. Direct proof: Prove for integers a, b, if a divides b and b divides c, then a divides c.
  2. Contradiction: Show that there is no integer solution to the equation 2x + 1 = 2 (simplified).
  3. Induction: Prove by induction that 2^n > n for all n ≥ 1.

• Teacher role: Circulate, provide prompts, ask probing questions to deepen understanding.

• Extension: Challenge stronger students to outline a difference between proof by contraposition and proof by contradiction with an example.

---

Plenary & Assessment (10 minutes)

• Class discussion:
  • Reflect on which proof technique felt most intuitive.
  • Discuss real-life applications of proof (e.g., computer science algorithms, cryptography).
• Exit ticket assessment:
  • Each student writes a concise direct proof of a simple claim (e.g., the product of two even numbers is even).
• Formative feedback: Collect and quickly review to inform next lesson’s focus.

---

Resources Required

• Whiteboard and markers
• Printed worksheets with example problems and guided practice questions
• Student notebooks
• Visual aids: flowcharts illustrating step-by-step methods for each proof type

---

Differentiation and Inclusivity

• Support: Provide simple starter examples for weaker students with clear hints and proof outlines.
• Challenge: Extension problems and deeper exploration of proof subtleties for high achievers.
• Access: Use clear handwriting, define mathematical vocabulary explicitly, and foster group discussions to support EAL students.

---

Reflective Notes for Teachers

• Link abstract to concrete: Use real-life analogies for induction (e.g., domino effect) to make abstract concepts approachable.
• Student engagement: Encourage peer explanation during guided practice to build confidence in articulating proofs.
• Formative assessment: Use exit tickets to identify misconceptions about logic and proof structure early on.
• Cross-topic scaffolding: Link proofs to algebraic manipulation and number theory topics students have prior experience with at GCSE.

---

This lesson plan offers a comprehensive, curriculum-aligned approach that develops rigorous reasoning and proof skills vital for success in AS Mathematics and beyond. Embedding real-world relevance and collaborative learning will ensure concepts resonate with Year 12 learners, cultivating mathematical confidence and precision.