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.

• Year 13
• Mathematics
• 3 activities
• 20 min–45 min

Learning Objectives

1. Synthesize a deductive proof for an algebraic identity, explicitly stating each axiom or previously proved theorem used.
2. Analyze a given algebraic proof to identify any logical fallacies or unsubstantiated steps.
3. Compare the efficiency of proof by deduction versus proof by contradiction for specific algebraic propositions.
4. Construct a corrected deductive proof for a flawed algebraic argument, ensuring logical coherence at each step.

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.

Prepare & details

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.

Setup: Groups at tables with access to source materials

Materials: Source material collection, Inquiry cycle worksheet, Question generation protocol, Findings presentation template

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

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.

Prepare & details

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

Setup: Presentation area at front, or multiple teaching stations

Materials: Topic assignment cards, Lesson planning template, Peer feedback form, Visual aid supplies

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

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.

Prepare & details

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

Setup: Tables/desks arranged in 4-6 distinct stations around room

Materials: Station instruction cards, Different materials per station, Rotation timer

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

Teaching This Topic

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.

What to Expect

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

Common Misconception

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.

What to Teach Instead

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.

Common Misconception

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

What to Teach Instead

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.

Assessment Ideas

Quick Check

After Peer Teaching: The Logic Critique, collect one proof from each group that was corrected during the session. In the next lesson, ask students to write a clear version of their corrected proof with justifications for two key steps.

Discussion Prompt

After Collaborative Investigation: The Domino Chain, hold a whole-class discussion. Ask students to vote on whether deduction or contradiction is more direct for proving that 4n² + 6n is even for all positive integers n. Each student must justify their choice with reference to the structure they built during the domino activity.

Exit Ticket

During Station Rotation: Induction Varieties, hand out a flawed proof for 3ⁿ > n² for all n ≥ 4. On the back, students circle the exact line where the logic fails and write one sentence explaining why that step is incorrect.

Extensions & Scaffolding

• Challenge: Provide a false conjecture and ask students to write a correct proof or a counter-example with full justification.
• Scaffolding: Give a partially completed proof frame with blanks for the base case, inductive hypothesis, and conclusion; students fill in only the missing algebraic lines.
• Deeper exploration: Ask students to compare induction with proof by contradiction for the same statement and present findings in a short paragraph.

Key Vocabulary

Deductive Reasoning	A logical process where a conclusion is based on the concordance of multiple premises that are generally assumed to be true.
Algebraic Identity	An equation that is true for all values of the variables involved, such as (a + b)² = a² + 2ab + b².
Axiom	A statement or proposition which is regarded as being established, accepted, or self-evidently true, forming the basis for a system of belief or reasoning.
Theorem	A general proposition that is proved with the help of certain definitions and previously proved theorems.