Mathematics · Year 13

Active learning ideas

Proof by Deduction: Algebraic Proofs

Proof by deduction demands more than symbolic manipulation. Students must follow a chain of reasoning where each step is logically forced by the last. Active tasks like building domino sequences or critiquing peers’ logic turn abstract induction into a visible, manipulable process that students can see, touch, and revise in real time.

• National Curriculum Attainment Targets
• A-Level: Mathematics - Proof
• A-Level: Mathematics - Algebra and Functions

• 20–45 min
• Pairs → Whole Class
• 3 activities

Activity 01

• Inquiry Circle
• 30 min · Small Groups

Inquiry Circle: The Domino Chain

Small groups use physical dominoes to model the two requirements of induction: the first domino must fall (base case) and any falling domino must knock over the next (inductive step). They then map these physical actions to specific algebraic steps in a series summation proof.

Evaluate the relative merits of proof by deduction versus proof by contradiction, selecting the most efficient method for a given number-theory proposition.

Facilitation Tip

Set a timer for Station Rotation so students rotate before frustration sets in; the variety keeps cognitive load manageable.

What to look for

Present students with a partially completed algebraic proof for an identity like (x+1)² = x² + 2x + 1. Ask them to fill in the missing justifications for two specific steps, referencing axioms or previously proven results.

• Analyze
• Evaluate
• Create
• Self-Management
• Self-Awareness

Activity 02

• Peer Teaching
• 20 min · Pairs

Peer Teaching: The Logic Critique

Pairs are given a proof with a subtle logical flaw, such as a missing base case or an invalid algebraic jump in the inductive step. They must identify the error and record a short explanation for the class on how the flaw breaks the entire logical chain.

Synthesise a deductive proof for an algebraic result, explicitly identifying each axiom or previously proved theorem that is invoked at every step.

What to look for

Pose the question: 'When proving that the sum of two even numbers is always even, which method is more direct, deduction or contradiction? Explain your reasoning, referencing the structure of each proof type.'

• Understand
• Apply
• Analyze
• Create
• Self-Management
• Relationship Skills

Activity 03

• Stations Rotation
• 45 min · Small Groups

Stations Rotation: Induction Varieties

Students rotate through stations featuring different types of induction: summation, divisibility, and inequality proofs. At each station, they complete one part of a proof (e.g., just the inductive step) before passing it to the next group to verify.

Critique a flawed deductive argument, pinpointing the precise step where the logical chain breaks and constructing a corrected version.

What to look for

Provide students with a flawed deductive proof for a simple algebraic statement. Ask them to identify the exact step where the logic fails and write one sentence explaining why that step is incorrect.

• Remember
• Understand
• Apply
• Analyze
• Self-Management
• Relationship Skills

A few notes on teaching this unit

Teachers often start by modelling a full proof on the board, but research shows that novices benefit more from seeing the scaffolding removed step-by-step. Begin with a ‘broken’ proof that lacks one key line, then gradually restore it as a class. Avoid rushing to the inductive step; insist on naming the base case explicitly, even if it seems obvious. Research in proof comprehension highlights that students treat the hypothesis as a global truth unless forced to pin it to a single integer.

By the end of these activities, students will articulate the base, hypothesis, and inductive step in their own words, identify where a proof breaks down, and choose the most direct method for a given algebraic statement. They will move from watching a proof to constructing one with clear justifications at every stage.

---

Watch Out for These Misconceptions

• During Collaborative Investigation: The Domino Chain, watch for students writing 'Assume the statement holds for all integers n' instead of pinning it to a single fixed k.

  During Collaborative Investigation: The Domino Chain, hand each pair a small whiteboard. Require them to write the inductive hypothesis as 'Let k be a fixed integer such that P(k) holds' before they write any algebra.

• During Station Rotation: Induction Varieties, watch for students assuming the base case is always n = 1.

  During Station Rotation: Induction Varieties, place the station cards on tables labeled with different starting values (n = 0, n = 5, n = -2). Students must state the first domino explicitly before attempting the inductive step.

---

Methods used in this brief

• Inquiry Circle
• Peer Teaching
• Stations Rotation