Proofs by induction and contradiction
Proof by Induction and Contradiction
Proof by Induction and Contradiction is a topic in Proof & Reasoning in the Texas Essential Knowledge and Skills (Geometry, §111.41). It is aligned to Standard G.6, which requires students to construct indirect proofs, including proofs by contradiction.
Proof by contradiction assumes the negation of a claim and derives an absurdity, while induction proves a statement across an ordered chain of cases.
Theory
Beyond direct proof, two powerful techniques appear in geometry:
- Proof by contradiction: assume the statement is false, reason logically until you reach an impossibility, and conclude the assumption — and so the statement — must be the opposite.
- Proof by induction: prove a base case (usually \(n=1\)), then the inductive step (if true for \(k\), it is true for \(k+1\)). Together these prove it for all \(n\).
The two structures:
How to use each technique
- Contradiction: assume the negation, derive an impossibility, conclude the statement.
- Induction — base case: verify \(P(1)\).
- Induction — step: assume \(P(k)\), prove \(P(k+1)\).
- Conclude the statement holds for every \(n\).
Assume the opposite: the triangle has two right angles. Then those two angles alone total \(180^\circ\), leaving nothing for the third — impossible.
| \(90^\circ+90^\circ\) | \(=\) | \(180^\circ\ (\text{no third angle})\) |
The assumption was false, so the original statement is true.
Showing the statement is true for the first value, usually \(n=1\).
It assumes the statement holds for \(n=k\) and shows it then holds for \(n=k+1\).
| \(\text{true for } k\) | \(\Rightarrow\) | \(\text{true for } k+1\) |
Common pitfalls
Frequently asked questions
How does proof by contradiction work?
Assume the statement is false, reason until you reach something impossible, and conclude the statement must be true.
What are the two parts of a proof by induction?
The base case (true for the first value) and the inductive step (if true for \(k\), then true for \(k+1\)).
What is the base case?
The starting value, usually \(n=1\), where you show the statement holds.
Why do you assume the opposite in a contradiction proof?
Because deriving an impossibility from that assumption shows the assumption is false, which proves the original statement.