Mathematics · Year 13 · Year 12 Retrieval: Proof by Deduction · Autumn Term

Proof by Contradiction

Mastering the technique of proof by contradiction to establish the truth of mathematical statements.

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

About This Topic

Proof by contradiction provides a methodical indirect approach to verifying mathematical statements: students assume the negation holds true, derive a logical impossibility, and conclude the original statement is valid. At A-Level, this aligns with pure mathematics standards, where learners tackle key examples like the irrationality of √2 or Euclid's proof of infinitely many primes. They master stating the assumption precisely, chaining deductions without gaps, and pinpointing the contradiction that resolves the proof.

Building on Year 12 deductive proofs, this method hones analytical skills essential for advanced mathematics. Students learn to question implicit assumptions, evaluate logical flow, and distinguish indirect from direct arguments, fostering a deeper grasp of proof's role in establishing truth.

Active learning excels with this topic. When students collaborate in pairs to build proofs and peer-critique for flaws, or rotate through group challenges spotting contradictions, they experience the method's power firsthand. Such interactions clarify abstract logic, build confidence in constructing rigorous arguments, and make proofs engaging rather than rote.

Key Questions

1. Explain the logical structure of a proof by contradiction.
2. Analyze classic examples of proof by contradiction, such as the irrationality of √2.
3. Construct a proof by contradiction for a given mathematical proposition.

Learning Objectives

• Analyze the logical structure of a proof by contradiction, identifying the initial assumption and the derived contradiction.
• Evaluate the validity of a given mathematical statement by constructing a proof by contradiction.
• Synthesize steps to form a coherent proof by contradiction for propositions related to number theory or algebra.
• Critique a presented proof by contradiction to identify any logical fallacies or incorrect assumptions.

Before You Start

Proof by Deduction

Why: Students must be proficient in constructing logical arguments step-by-step to understand how to identify a contradiction within such a chain.

Properties of Numbers

Why: Familiarity with properties of integers, rational numbers, and prime numbers is essential for understanding classic examples like the irrationality of √2.

Key Vocabulary

Proof by Contradiction	A method of mathematical proof where one assumes the opposite of what is to be proven and shows that this assumption leads to a logical inconsistency or contradiction.
Assumption	The initial statement that is assumed to be true for the purpose of the proof, typically the negation of the proposition being investigated.
Contradiction	A statement that asserts two or more things that cannot both be true simultaneously, indicating a flaw in the preceding reasoning or assumption.
Logical Implication	A relationship between statements where if one statement is true, then another statement must also be true.

Watch Out for These Misconceptions

Common Misconception

Proof by contradiction is the same as direct proof with extra steps.

What to Teach Instead

Direct proofs build from premises to conclusion; contradiction starts with negation and seeks impossibility. Pair debates on example proofs help students contrast methods, verbalizing differences to solidify the indirect structure.

Common Misconception

Any logical error in the assumption chain counts as a contradiction.

What to Teach Instead

True contradictions arise from the assumption itself leading to absurdity, not mere mistakes. Group relays expose this: peers catch sloppy steps early, teaching precise deduction chains vital for valid proofs.

Common Misconception

Contradiction proves the entire negation false, not just the assumption.

What to Teach Instead

It specifically invalidates the assumed negation. Whole-class hunts on flawed proofs clarify scope through collective analysis, reducing overgeneralization via shared examples.

Active Learning Ideas

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.

25 min·Pairs

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.

35 min·Small Groups

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.

30 min·Whole Class

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.

20 min·Individual

Real-World Connections

• Computer scientists use proof by contradiction to verify the correctness of algorithms, ensuring that no unexpected or erroneous states can be reached during program execution.
• In legal systems, proof by contradiction is analogous to 'proof by elimination,' where a suspect is found not guilty because assuming their guilt leads to an irreconcilable conflict with established facts.

Assessment Ideas

Quick Check

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.

Discussion Prompt

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.

Peer Assessment

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?

Frequently Asked Questions

What are key steps in a proof by contradiction?

State the proposition clearly, assume its negation, derive logical consequences step by step, reach a contradiction like 1=0 or violating a known truth, then conclude the original holds. Practice with √2: assume rational p/q in lowest terms, square to p²=2q², show both even, contradicting lowest terms. This builds deduction fluency for A-Level rigor.

What classic examples work for Year 13 proof by contradiction?

Irrationality of √2: assume rational, derive even numerator and denominator, reduce fraction infinitely. Infinitely many primes: assume finite list, form new prime from product plus one, contradiction. These connect to number theory, with students extending to √3 or even roots, reinforcing pattern recognition in proofs.

How does active learning help teach proof by contradiction?

Active methods like pair critiques or group relays make logic tangible: students build, break, and rebuild proofs collaboratively, spotting flaws faster than solo work. Real-time debates on assumptions clarify contradictions, while gallery walks expose diverse approaches. This boosts retention, as teachers note 30% higher proof accuracy post-activities versus lectures.

How to address common errors in proof by contradiction?

Errors often stem from vague assumptions or skipped deductions. Use misconception cards: students sort flawed proofs, justify fixes in small groups. Track progress with proof rubrics focusing on clarity and logic. Regular low-stakes challenges build precision, aligning with A-Level exam demands for airtight arguments.