Mathematics · 10th Grade · The Language of Proof and Logic · Weeks 1-9

Proof by Contradiction and Indirect Proof

Students will learn to construct proofs by assuming the opposite of what needs to be proven and showing a contradiction.

• Common Core State Standards
• CCSS.Math.Content.HSG.CO.C.9

About This Topic

Indirect proof, also called proof by contradiction or reductio ad absurdum, is a powerful technique used when a direct proof path is difficult or not immediately visible. The method assumes the negation of the desired conclusion, follows the logical consequences of that assumption, and shows that it leads to a contradiction , forcing the original conclusion to be true. In the US 10th grade geometry curriculum, this technique is applied to prove that lines are parallel, that a triangle has at most one right angle, or that certain geometric points are unique.

The underlying logic rests on the law of excluded middle: a statement is either true or false. If assuming a statement is false leads to a contradiction with known facts, the statement must be true. This reasoning style appears in number theory, computer science, and formal argumentation well beyond the geometry course.

Students often find indirect proof counterintuitive at first because they must commit to an assumption they intend to disprove. Guided discovery activities that walk through the structure before asking for independent writing are particularly effective, as is having students identify the contradiction in worked examples before generating their own arguments aligned with CCSS.Math.Content.HSG.CO.C.9.

Key Questions

1. Explain the fundamental principle behind proof by contradiction.
2. Analyze a given statement to determine if indirect proof is an appropriate method.
3. Construct an indirect proof for a simple geometric theorem.

Learning Objectives

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

Before You Start

Basic Logic and Conditional Statements

Why: Students need to understand the structure of 'if-then' statements and how to identify their components (hypothesis and conclusion) before negating them.

Properties of Parallel Lines and Transversals

Why: Understanding angle relationships formed by parallel lines and a transversal is crucial for applying indirect proof to geometric theorems involving these concepts.

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.

Watch Out for These Misconceptions

Common Misconception

Because the proof starts with a false assumption, the proof itself is invalid.

What to Teach Instead

The assumption is deliberately false , that is the mechanism. The proof is valid precisely because the false assumption leads to a contradiction, ruling it out. Students who conflate the temporary working assumption with the proof's accepted premises need structured examples that clearly label each component before they write independently.

Common Misconception

Indirect proof only works in geometry.

What to Teach Instead

The method applies across mathematics and computer science. The proof that there are infinitely many prime numbers, the proof that the square root of 2 is irrational, and many algorithms use the same structure. Connecting the geometry version to these accessible examples broadens students' understanding and makes the strategy feel transferable.

Common Misconception

If I cannot find a direct proof, indirect proof will always work as a backup.

What to Teach Instead

While indirect proof is broadly applicable, it is not a universal fallback. Some problems require constructive proofs, and indirect proof is most useful when the negation of the conclusion provides useful structural information to work with. Group discussions that compare both approaches for the same theorem develop the strategic judgment needed to choose wisely.

Active Learning Ideas

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.

20 min·Whole Class

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.

15 min·Pairs

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.

35 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.

30 min·Small Groups

Real-World Connections

• In computer science, programmers use proof by contradiction to verify the correctness of algorithms, ensuring that no unexpected or erroneous states can occur during program execution.
• Legal professionals often employ indirect reasoning. For example, to prove someone was at a specific location, they might assume the person was elsewhere and show how that assumption contradicts established alibis or evidence.

Assessment Ideas

Quick Check

Present students with a statement, for example, 'A triangle can have two right angles.' Ask them to write down the initial assumption they would make for an indirect proof and the first logical step they would take from that assumption.

Exit Ticket

Provide students with a simple theorem, such as 'If a line intersects two parallel lines, then alternate interior angles are equal.' Ask them to identify the statement they would assume to be false and describe the contradiction they would aim to reach.

Discussion Prompt

Pose the question: 'When might proof by contradiction be more useful than a direct proof?' Facilitate a class discussion where students share examples or scenarios where assuming the opposite simplifies the logical path.

Frequently Asked Questions

What is proof by contradiction and how does it work?

Proof by contradiction begins by assuming that the statement you want to prove is false. You then follow the logical consequences of that assumption until you reach something that contradicts a known fact, a given condition, or an accepted axiom. Since the assumption led to a contradiction, the assumption must be wrong , which means the original statement must be true.

When should I use indirect proof instead of a direct proof?

Indirect proof works well when the statement to be proved is a negation ('there is no X' or 'X cannot be Y'), when a direct proof would require exhaustive case analysis, or when assuming the conclusion is false gives you useful structural information. It is also a good choice when direct proof paths are not immediately visible and the negation of the conclusion is easier to work with.

What is the difference between indirect proof and proof by contrapositive?

Proof by contrapositive proves 'If not Q, then not P' as a logically equivalent substitute for 'If P, then Q.' This is still a form of direct proof, following a forward logical chain. Proof by contradiction assumes the entire conclusion is false and derives a logical impossibility. The two methods both use negation, but contrapositive avoids the intermediate contradiction step.

Why is proof by contradiction a good topic for active learning in math class?

Indirect proof is among the most discussion-friendly proof types because students must collaboratively identify where the contradiction arises. Group tasks that assign different starting assumptions or different proof paths require students to explain their reasoning to peers and compare where logical chains diverge. This social process makes the abstract structure of the method concrete and much more memorable than reading a completed proof.