Mathematics · Year 12

Active learning ideas

Proof by Deduction and Exhaustion

Proof by deduction and exhaustion require students to move from intuitive reasoning to rigorous justification, where active participation solidifies understanding. Through structured collaboration and concrete examples, students internalize the precision of logical chains and the thoroughness of case analysis better than through passive instruction alone.

• National Curriculum Attainment Targets
• A-Level: Mathematics - Proof

• 25–50 min
• Pairs → Whole Class
• 4 activities

Activity 01

• Collaborative Problem-Solving
• 30 min · Pairs

Pair Relay: Deductive Proof Chain

Partners alternate writing one logical step of a proof for an identity like sin² x + cos² x = 1. Partner checks and adds the next step. Switch roles after five steps, then compare chains class-wide.

Construct a deductive proof for a given algebraic identity.

Facilitation Tip

In the Pair Relay, ensure each student writes the next logical step in their own words before passing the proof to their partner to continue.

What to look for

Present students with a statement like 'The sum of two consecutive odd numbers is always divisible by 4'. Ask them to attempt a deductive proof. After 5 minutes, ask: 'What is the first step in your proof?' and 'What is the next logical step?'

• Apply
• Analyze
• Evaluate
• Create
• Relationship Skills
• Decision-Making
• Self-Management

Activity 02

• Collaborative Problem-Solving
• 45 min · Small Groups

Small Group: Exhaustion Case Hunt

Provide a statement like 'n² + n + 41 is prime for n = 1 to 40.' Groups divide cases, test primality, and document exhaustively. Present findings to justify if true or find counter-example.

Differentiate between proof by deduction and proof by exhaustion, identifying appropriate scenarios for each.

Facilitation Tip

During the Exhaustion Case Hunt, have groups physically mark off cases on a shared board to make oversight visible and discussion immediate.

What to look for

Pose the question: 'When would you choose proof by exhaustion over a deductive proof?' Facilitate a class discussion where students must justify their choices with specific examples, such as proving properties of small integers versus proving general algebraic identities.

• Apply
• Analyze
• Evaluate
• Create
• Relationship Skills
• Decision-Making
• Self-Management

Activity 03

• Collaborative Problem-Solving
• 50 min · Whole Class

Whole Class: Proof Gallery Walk

Students post partial proofs on stations. Class circulates, adding comments or completing steps. Debrief identifies strongest deductions and exhaustion applications.

Justify the use of proof by exhaustion for finite sets of possibilities.

Facilitation Tip

For the Proof Gallery Walk, assign each student one proof to present verbally and provide a listening guide for peers to note strengths and gaps in reasoning.

What to look for

Provide students with a conjecture and a proposed counter-example. Have them swap their work. Ask them to assess: 'Does the counter-example directly contradict the conjecture?' and 'Is the counter-example presented clearly and accurately?'

• Apply
• Analyze
• Evaluate
• Create
• Relationship Skills
• Decision-Making
• Self-Management

Activity 04

• Collaborative Problem-Solving
• 25 min · Individual

Individual: Counter-Example Challenge

Assign conjectures like 'All even numbers greater than 2 are sum of two primes.' Students hunt counter-examples individually, then share methods in plenary.

Construct a deductive proof for a given algebraic identity.

What to look for

Present students with a statement like 'The sum of two consecutive odd numbers is always divisible by 4'. Ask them to attempt a deductive proof. After 5 minutes, ask: 'What is the first step in your proof?' and 'What is the next logical step?'

• Apply
• Analyze
• Evaluate
• Create
• Relationship Skills
• Decision-Making
• Self-Management

A few notes on teaching this unit

Teachers should model both deductive and exhaustive proofs publicly, narrating hesitations and revisions to normalize the struggle in constructing proofs. Avoid rushing to the correct form; instead, use think-alouds to reveal the cognitive processes behind choosing axioms, applying identities, and checking cases. Research shows that students benefit from seeing proofs as conversations with the mathematics, not as fixed templates.

Students will confidently construct deductive proofs by linking axioms to conclusions and systematically verify statements by exhaustion over finite domains. They will articulate why each method is appropriate for different types of mathematical claims and critique reasoning with clarity and precision.

---

Watch Out for These Misconceptions

• During Pair Relay: Deductive Proof Chain, watch for students who substitute specific numbers into algebraic identities to 'prove' them.

  Pause the relay and ask partners to explain why a numerical example does not constitute a general proof. Have them restate the purpose of each step in the chain using only letters and axioms.

• During Exhaustion Case Hunt, watch for students who assume a pattern holds after checking only a few cases and declare the statement proven.

  Direct groups to list all possible cases explicitly and use a shared checklist. Ask them to justify why the remaining cases cannot be skipped without calculation.

• During Proof Gallery Walk, watch for students who treat a single counter-example as a full refutation without considering the scope of the original statement.

  Ask presenters to clarify whether their counter-example targets a universal claim or a conditional one. Have listeners articulate whether the counter-example disproves the statement or merely highlights a boundary case.

---

Methods used in this brief

• Collaborative Problem-Solving