Proof as a Chain of Justified Steps
Philo stands at a chalkboard in a sunlit lecture hall, drawing a two-column table and connecting numbered lines with arrows to show how each geometric claim follows from the one before it
- Explain what distinguishes a deductive proof from an example or experiment
- Identify the role that definitions, postulates, and previously proven theorems play as justifications in a proof
- Construct a short two-column proof by writing statements and matching each statement to a valid justification
- Evaluate a flawed proof to locate the step where the justification fails or is missing
- Compare the certainty provided by a deductive proof with the provisional nature of inductive conjecture
Key terms
- Deductive reasoning
- Drawing a guaranteed conclusion by reasoning from accepted truths to a specific result.
- Postulate
- A statement accepted as true without proof, used as a starting assumption.
- Theorem
- A statement that has been proven true using definitions, postulates, and prior theorems.
- Justification
- The named rule, definition, postulate, or theorem that licenses a given statement in a proof.
- Inductive reasoning
- Inferring a likely general pattern from observed examples, which yields probability not certainty.
Deduction Versus Induction
Inductive reasoning generalizes from observed cases: you measure many vertical-angle pairs, see they match, and conjecture a rule. That conjecture is plausible but never certain, because the next unmeasured case could fail. Deductive reasoning runs the opposite direction — it starts from truths already established and derives a conclusion that must hold in every case satisfying the hypotheses. Mathematicians use induction to discover conjectures, but only deduction to prove them. The two play complementary roles: one suggests what might be true, the other certifies it.
Anatomy of a Two-Column Proof
A two-column proof places each assertion in the left column and its justification in the right column, line by line. The first lines record the given information and the diagram's definitions; each later line must follow from earlier lines together with a cited rule. Valid justifications include definitions, postulates, previously proven theorems, and the algebraic properties of equality such as substitution, the transitive property, and the addition property. Because every line is traceable to an accepted authority, a reader can audit the argument step by step without trusting intuition.
Why a Proof Generalizes
A finished deductive proof never relies on the particular numbers or the exact figure drawn. It uses only the stated hypotheses — for instance, that two angles form a linear pair — and properties true of all such configurations. Consequently the conclusion attaches to every object meeting those hypotheses, including infinitely many cases no one will ever draw. This universality is precisely what separates a proof from verification: verification confirms instances, while a proof secures the entire class at once.
Worked examples
Prove that vertical angles 1 and 3 are congruent, given that angle 2 is adjacent to each.
- Angles 1 and 2 form a linear pair, so by the Linear Pair Postulate m∠1 + m∠2 = 180°.
- Angles 3 and 2 also form a linear pair, so by the same postulate m∠3 + m∠2 = 180°.
- By substitution, m∠1 + m∠2 = m∠3 + m∠2, since both sums equal 180°.
- Subtract m∠2 from both sides using the Subtraction Property of Equality to get m∠1 = m∠3.
Answer: m∠1 = m∠3, so the vertical angles are congruent; every step cites a postulate or property.
Identify the flawed step in this argument: 'AB = CD because the segments look the same length.'
- Read the justification: it appeals to visual appearance, not to a definition, postulate, or theorem.
- Recall that deductive proof forbids justifications based on how a figure looks, since drawings are not exact.
- Replace it with a valid licence — for example, 'Given' if the equality is provided, or a congruence theorem that yields it.
Answer: The step is invalid: 'looks the same' is not a permissible justification, so the chain of reasoning is broken.
Activity
Arrange these proof statements in a valid logical order and drag each justification card to match its statement. Justification cards may be used more than once.
Practice
Write a two-column proof showing that if two angles are complementary to the same angle, they are congruent to each other.
A proof's third line cites 'because it is obvious' as justification; rewrite that line with a valid rule or explain why it cannot be saved.
Common mistakes to avoid
- Many examples prove a theoremNo finite collection of confirming examples can guarantee a universal claim; only a deductive argument from accepted truths proves it for every case.
- A true statement needs no justificationEven a statement that happens to be true is merely asserted until a definition, postulate, or theorem licenses it within the chain.
Check your understanding
A student measures ten pairs of vertical angles and finds each pair congruent. She concludes, 'Vertical angles are always congruent.' Why is this NOT a deductive proof?
In a two-column proof, a student writes the statement 'AB = CD' but leaves the justification column blank. What is the problem with this step?
Which of the following is the most accurate description of what a completed deductive proof establishes?
Recap
A deductive proof builds a chain of statements where every link is justified by a definition, postulate, theorem, or property of equality, yielding certainty for every case rather than the mere likelihood that examples provide.
Reflect
Where in everyday arguments do people mistake convincing examples for genuine proof?