Proof by Contradiction and Indirect Proof

Active learning works for proof by contradiction because students need to experience the moment of contradiction firsthand to truly grasp why the method is valid. By manipulating assumptions and tracing consequences, students move beyond memorization to see proof as a detective story where the contradiction is the clue.

• 10th Grade
• Mathematics
• 4 activities
• 15 min–35 min

Learning Objectives

1. Formulate a logical contradiction arising from assuming the negation of a given geometric statement.
2. Analyze geometric scenarios to determine the suitability of proof by contradiction.
3. Construct a formal indirect proof for theorems involving parallel lines or triangle properties.
4. Evaluate the validity of an indirect proof by identifying the initial assumption and the resulting contradiction.

Socratic Seminar

⏱ 20 min·Whole Class

Guided Discovery: Assume the Opposite

Walk students through a familiar real-world scenario structured as an indirect proof (for example: assume the store is open; but you observed it locked and dark; contradiction). Transition to a geometric example. Students identify each component: the assumption, the logical chain, the contradiction, and the conclusion.

Prepare & details

Explain the fundamental principle behind proof by contradiction.

Facilitation Tip: During Guided Discovery, have students physically cross out or highlight the false assumption in their notes to visually separate the temporary working assumption from the proof’s accepted truths.

Setup: Chairs arranged in two concentric circles

Materials: Discussion question/prompt (projected), Observation rubric for outer circle

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

Think-Pair-Share

⏱ 15 min·Pairs

Think-Pair-Share: Spot the Contradiction

Present pairs with incomplete indirect proofs where the contradiction has been reached but not labeled. Students identify what was assumed, what the contradiction is, and what conclusion follows. Pairs compare their identifications with another pair before the whole class shares.

Prepare & details

Analyze a given statement to determine if indirect proof is an appropriate method.

Facilitation Tip: For Think-Pair-Share, assign roles: one student finds the contradiction, another explains why it invalidates the assumption, and a third connects it back to the original statement.

Setup: Standard classroom seating; students turn to a neighbor

Materials: Discussion prompt (projected or printed), Optional: recording sheet for pairs

• Understand
• Apply
• Analyze
• Self-Awareness
• Relationship Skills

Socratic Seminar

⏱ 35 min·Small Groups

Proof Construction Workshop: Indirect Proof Draft

Assign each group a simple geometric theorem suited to indirect proof, such as proving that a triangle cannot have two right angles. Groups draft the proof collaboratively, identifying the assumption, developing the reasoning chain, and stating the contradiction and conclusion explicitly.

Prepare & details

Construct an indirect proof for a simple geometric theorem.

Facilitation Tip: In Proof Construction Workshop, require students to annotate each line of their draft with whether it follows from the assumption or from accepted premises to build metacognitive awareness.

Setup: Chairs arranged in two concentric circles

Materials: Discussion question/prompt (projected), Observation rubric for outer circle

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

Formal Debate

⏱ 30 min·Small Groups

Formal Debate: Direct vs. Indirect

Present a theorem provable both ways. Two groups each prepare one approach and present to the class. Discussion focuses on which method is more efficient for this theorem and what features of a problem suggest that indirect proof is the better strategic choice.

Prepare & details

Explain the fundamental principle behind proof by contradiction.

Setup: Two teams facing each other, audience seating for the rest

Materials: Debate proposition card, Research brief for each side, Judging rubric for audience, Timer

• Analyze
• Evaluate
• Create
• Self-Management
• Decision-Making

Teaching This Topic

Teach indirect proof by first modeling the structure on the board with thick markers: write the theorem in one color, the assumption in another, and the contradiction in a third. Avoid starting with formal two-column proofs; let students wrestle with the narrative of the proof first. Research shows that students who write the contradiction in their own words before formalizing it retain the strategy better. Emphasize that the assumption isn’t ‘wrong’—it’s a tool that reveals the impossibility of its own truth.

What to Expect

Successful learning looks like students confidently setting up indirect proofs by clearly stating the initial assumption, following logical steps, and identifying contradictions without mixing up premises. They should articulate why the contradiction matters and how it forces the original statement to be true.

Watch Out for These Misconceptions

Common Misconception

During Guided Discovery: Assume the Opposite, watch for students who treat the initial false assumption as an invalid premise for the entire proof.

What to Teach Instead

Use a think-aloud during the activity to explicitly label the assumption as a temporary working step. Have students write ‘Assume, for contradiction, that P is false’ in green and only cross it out when the contradiction appears, showing it never entered the proof’s premises.

Common Misconception

During Think-Pair-Share: Spot the Contradiction, watch for students who identify the contradiction but don’t connect it back to the original statement.

What to Teach Instead

Provide a sentence frame: ‘The contradiction shows that our assumption that _____ leads to _____, which violates _____, so the original statement _____ must be true.’ Have pairs fill it in before sharing.

Common Misconception

During Proof Construction Workshop: Indirect Proof Draft, watch for students who assume indirect proof is a fallback when direct proof fails.

What to Teach Instead

Include a section in the workshop prompt where students compare a direct and indirect proof of the same theorem side by side, and explicitly discuss when each method is more useful.

Assessment Ideas

Quick Check

After Guided Discovery: Assume the Opposite, collect the initial assumptions and first logical steps students write for a statement like ‘Two distinct lines cannot intersect at more than one point.’ Assess whether they correctly negate the statement and take a valid first step.

Exit Ticket

After Think-Pair-Share: Spot the Contradiction, ask students to write the contradiction they identified for the theorem ‘If a line intersects two parallel lines, then alternate interior angles are equal’ and explain how it invalidates the assumption.

Discussion Prompt

During Debate: Direct vs. Indirect, have students vote on which method they found clearer for a given theorem, then facilitate a discussion where they justify their choice using examples from their proofs.

Extensions & Scaffolding

• Challenge students who finish early to find a real-world scenario where assuming the opposite leads to a clear contradiction, such as assuming a vending machine gives free snacks and tracing the consequences.
• Scaffolding: Provide partially filled proof templates with the contradiction already identified, and ask students to fill in the logical steps that lead to it.
• Deeper exploration: Have students research and present an indirect proof from number theory, such as the irrationality of √2, and compare its structure to their geometry proofs.

Key Vocabulary

Negation	The opposite of a statement. If a statement is 'p', its negation is 'not p'.
Contradiction	A statement or situation that is logically impossible or conflicts with known facts or assumptions.
Assumption	A statement accepted as true for the purpose of an argument or proof, which will later be shown to be false.
Indirect Proof	A method of proof that involves assuming the opposite of what you want to prove and showing that this assumption leads to a contradiction.