Historical Context & Motivation
The art of mathematical proof stretches back thousands of years to ancient Greece, where thinkers first insisted that geometric claims must be backed by rigorous, logical arguments rather than mere observation. Euclid's Elements, written around 300 BCE, became the gold standard for deductive reasoning and influenced every generation of mathematicians that followed. Yet even the greatest mathematicians sometimes made mistakes — skipping a step, citing the wrong theorem, or reaching a conclusion that didn't actually follow from the evidence. The ability to critique a proof is just as important as the ability to write one, because an unchecked error can lead to false results that ripple through an entire body of work.
This history highlights a key truth: writing a proof is only half the battle. The other half is examining proofs critically. When you critique a proof, you ask yourself: Does every statement follow logically from the previous one? Is every claim supported by a valid reason — a definition, postulate, or previously proven theorem? If you can find even one gap, the entire argument may collapse. This lesson will equip you with the skills to read proofs like a detective, hunting for missing justifications, incorrect statements, and unsupported conclusions.
Core Principles of Proof Critique
Before you can spot an error in someone else's proof, you need to understand the three main categories of mistakes that show up most often. Think of a proof as a chain: each link is a statement, and the connection between links is the justification. A good critic checks every link and every connection. Here are the foundational ideas you'll need.
Missing Justification
Incorrect Statement
Unsupported Conclusion
Circular Reasoning
Misidentified Given Information
Anatomy of a Proof — Visual Breakdown
The diagram below shows a two-column proof with the three most common types of errors highlighted. Study it carefully — notice how each error type appears in a different color so you can see exactly where things go wrong. A correct proof would have every statement paired with a valid justification, and the conclusion would logically follow from the final step.
When you look at the diagram, notice that Steps 1 and 4 are perfectly fine — they have valid statements with appropriate reasons. The three errors, however, are each a different type. In Step 2, the statement might actually be true, but without a reason we have no way to know if it was established. In Step 3, the reason is outright false: SSA (Side-Side-Angle) is not a valid triangle congruence theorem. In Step 5, the conclusion about the figure being a square has no logical connection to the steps that came before. Your job as a proof critic is to catch all three types.
How Proof Logic Works — The Chain of Reasoning
A valid geometric proof follows a strict logical structure. Each step consists of a statement (what you claim is true) and a justification (why it's true). The justification must be one of several accepted types: a given fact, a definition, a postulate, a previously proven theorem, or a logical deduction from earlier steps. When you critique a proof, you're essentially testing whether each link in this chain is strong enough to hold.
Valid Justification Types
| Justification Type | What It Means | Example |
|---|---|---|
| Given | Information stated in the problem | "AB ∥ CD" is provided in the hypothesis |
| Definition | A mathematical definition applied to the figure | "M is a midpoint, so AM = MB" (Def. of midpoint) |
| Postulate | An accepted truth that doesn't require proof | "Through any two points, there is exactly one line" |
| Theorem | A result that has been previously proven | "Vertical angles are congruent" (Vertical Angles Theorem) |
| Logical Deduction | Follows directly from earlier steps in the proof | "Since AB = CD and CD = EF, then AB = EF" (Transitive Property) |
The Logical Flow Test
For each step in a proof, ask yourself three questions. First: Is the statement mathematically correct? A statement like "supplementary angles add to 180°" is correct, but "complementary angles add to 180°" is not. Second: Is the justification valid? Just because someone writes "Theorem" doesn't mean they cited the right theorem or applied it to the right situation. Third: Does this step logically connect to the steps before it? A statement can be true on its own but irrelevant to the argument at hand. If any of these three checks fails, you've found an error.
Detailed Breakdown of Common Errors
Now let's look more closely at each error type with specific geometric examples. Understanding what these errors look like "in the wild" will help you identify them quickly when you encounter a flawed proof on a test or homework assignment.
Quick-Reference: Common Geometric Mistakes
- Citing SSA as a congruence theorem — SSA (or "donkey theorem") is NOT valid. Only SSS, SAS, ASA, AAS, and HL are accepted congruence shortcuts.
- Confusing supplementary and complementary — Supplementary angles sum to 180°; complementary angles sum to 90°. Mixing these up invalidates the step.
- Applying CPCTC before proving congruence — CPCTC (Corresponding Parts of Congruent Triangles are Congruent) can only be used AFTER you've proved two triangles congruent.
- Assuming a figure's appearance — Just because a line looks perpendicular in a diagram doesn't mean it IS perpendicular. You need a stated given or a proven result.
- Skipping the reflexive property — When two triangles share a side, you must explicitly state and justify that the shared side is congruent to itself (Reflexive Property).
Worked Example — Critiquing a Triangle Congruence Proof
Let's walk through a complete example. Below is a student's proof that two triangles are congruent. Your task is to find all the errors. We'll work through it step by step, just like you would on a test.
Strengths & Limitations of Different Critique Strategies
There are several approaches you can take when critiquing a proof. Each has its own strengths and drawbacks, and knowing when to use each one will make you a more efficient and thorough proof reader. The table below compares the three most common strategies.
| Strategy | How It Works | Strengths | Limitations |
|---|---|---|---|
| Line-by-Line Check | Read each step sequentially. For each one, verify the statement and its reason. | Catches every type of error, including missing justifications. Very thorough. | Time-consuming. Can lose sight of the "big picture" logical flow. |
| Conclusion-First (Backward) | Start at the conclusion and trace backward, asking "what was needed to reach this step?" | Excellent at catching unsupported conclusions. Focuses on what the proof is trying to achieve. | May overlook errors in early steps that don't directly affect the conclusion. |
| Theorem Audit | Scan only the "Reasons" column. Verify that each cited theorem exists and is applied correctly. | Fast and efficient. Great at catching incorrect theorem citations (like citing SSA). | Won't catch missing justifications (empty reasons) or logical disconnects between steps. |
Connection to Advanced Proof & Reasoning
The skill of critiquing proofs doesn't end with geometry class. As you advance in mathematics, you'll encounter proofs in algebra, trigonometry, and eventually calculus and beyond. The same error types — missing justifications, incorrect statements, and unsupported conclusions — appear at every level. The table below compares what proof critique looks like in geometry versus what you'll encounter in more advanced courses.
| Aspect | Geometry (This Course) | Advanced Math (Future Courses) |
|---|---|---|
| Proof Format | Two-column or flow proofs with labeled steps | Paragraph proofs and formal symbolic logic |
| Common Justifications | Postulates, triangle congruence theorems, properties of parallel lines | Algebraic properties, limit definitions, set theory axioms |
| Typical Errors | Wrong congruence shortcut, missing reflexive property | Division by zero, circular reasoning, assuming the conclusion |
| Critique Difficulty | Moderate — errors are often localized to one step | High — errors may be subtle and spread across paragraphs |
| Key Skill Gained | Checking each step has a valid theorem or postulate | Evaluating whether logical inferences are sound across long arguments |
Beyond math class, critiquing arguments is a life skill. Whether you're evaluating a scientific study, a political argument, or a friend's reasoning, the same principles apply. Is the evidence actually relevant? Does the conclusion follow? Are there hidden assumptions? Geometry proofs give you a structured, manageable environment to practice these critical thinking skills that transfer to virtually every field.
Practice Problems
Lesson Summary
Critiquing a proof is a fundamental skill in geometry that trains you to read logical arguments with precision and skepticism. The three main error types you should watch for are missing justifications (statements with no cited reason), incorrect statements (claims that misquote theorems, misidentify angle relationships, or cite invalid shortcuts like SSA or AAA as congruence theorems), and unsupported conclusions (final claims that don't logically follow from the steps above them).
When critiquing a proof, use a multi-strategy approach: perform a theorem audit of the reasons column, do a line-by-line check of each statement, and verify that the conclusion follows logically from the preceding steps. Remember that every valid justification must be a Given, Definition, Postulate, Theorem, or Logical Deduction. Building this skill now will serve you well not only in geometry but in every course and career that requires clear, logical thinking.