Mathematics · Year 13

Active learning ideas

Proof by Contradiction

Proof by contradiction requires students to hold two conflicting ideas in mind at once, an abstract skill that direct instruction alone often fails to build. Active tasks let learners rehearse the precise steps of negation, deduction, and resolution until the method becomes a reliable habit rather than a confusing puzzle.

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

• 20–35 min
• Pairs → Whole Class
• 4 activities

Activity 01

• Socratic Seminar
• 25 min · Pairs

Pairs: Proof Swap and Critique

Pairs construct a proof by contradiction for √2 irrationality, focusing on assumption, deductions, and contradiction. They swap papers, identify weaknesses, and revise together. End with pairs sharing strongest revisions with the class.

Explain the logical structure of a proof by contradiction.

Facilitation Tip

During Proof Swap and Critique, circulate with a checklist that includes the exact wording of the assumption and the first deduction step, so you can redirect pairs who drift into direct proof territory.

What to look for

Present students with a statement like 'There are no even prime numbers greater than 2.' Ask them to write down the initial assumption for a proof by contradiction and the first logical step they would take.

• Analyze
• Evaluate
• Create
• Social Awareness
• Relationship Skills

Activity 02

• Socratic Seminar
• 35 min · Small Groups

Small Groups: Relay Proof Race

Divide class into groups of four. Each member adds one step to a proof for infinite primes, passing to the next; if a step falters, group pauses to fix. First complete proof wins, followed by group debrief.

Analyze classic examples of proof by contradiction, such as the irrationality of √2.

Facilitation Tip

In the Relay Proof Race, place the first deduction on the board yourself so teams start from a shared anchor and focus on the next logical move rather than the setup.

What to look for

Pose the question: 'When is proof by contradiction a more effective method than direct proof?' Facilitate a discussion where students compare the logical structures and identify scenarios where indirect reasoning is advantageous.

• Analyze
• Evaluate
• Create
• Social Awareness
• Relationship Skills

Activity 03

• Socratic Seminar
• 30 min · Whole Class

Whole Class: Contradiction Hunt

Project flawed proof attempts for various statements. Class votes on contradictions via hand signals, then discusses fixes in a guided vote-and-justify format. Tally results to reveal patterns in reasoning errors.

Construct a proof by contradiction for a given mathematical proposition.

Facilitation Tip

In the Contradiction Hunt, give each small group a flawed proof with exactly one missing contradiction; this forces them to locate the precise moment where the assumption becomes untenable.

What to look for

Provide pairs of students with a mathematical proposition and a partially completed proof by contradiction. Students exchange their work and check: Is the initial assumption correctly stated? Does each step logically follow? Is the contradiction clearly identified?

• Analyze
• Evaluate
• Create
• Social Awareness
• Relationship Skills

Activity 04

• Socratic Seminar
• 20 min · Individual

Individual: Personal Proof Challenge

Students select from three propositions, outline proof by contradiction individually, then pair to merge ideas into a polished version. Submit final proofs for teacher feedback.

Explain the logical structure of a proof by contradiction.

What to look for

Present students with a statement like 'There are no even prime numbers greater than 2.' Ask them to write down the initial assumption for a proof by contradiction and the first logical step they would take.

• Analyze
• Evaluate
• Create
• Social Awareness
• Relationship Skills

A few notes on teaching this unit

Start by modeling the full three-act structure on the board: state the assumption, perform two clean deductions, and mark the contradiction in red. Research shows that students mimic the clarity they see, so avoid glossing over the phrasing of the negation. Use contrasting colors to separate the assumption from the chain of reasoning, and reserve red exclusively for the contradiction to reinforce the logic’s pivot point.

Students will articulate the initial assumption clearly, chain logical deductions without gaps, and name the exact contradiction that closes each proof. When you see them swapping arguments and spotting flaws in real time, you know they have internalized the indirect method.

---

Watch Out for These Misconceptions

• During Proof Swap and Critique, watch for students who treat the contradiction as just another step in the chain rather than the signal to reject the entire assumption.

  Have them highlight the last statement in the proof in red and label it ‘Contradiction with assumption’ to make the pivot explicit before they exchange papers with their partner.

• During Relay Proof Race, watch for teams that insert a new assumption mid-proof instead of following the initial negation through to its logical end.

  Stop the race at the first illegal move, ask the team to restate their assumption, and require them to trace every line back to that single starting point before resuming.

• During Contradiction Hunt, watch for groups that misidentify a calculation error as the contradiction itself.

  Give each group a mini-whiteboard to write the exact contradiction in words—‘n is both even and odd’—to prevent overgeneralization and keep the focus on the structural impossibility.

---

Methods used in this brief

• Socratic Seminar