Historical Context & Motivation
Mathematics has always depended on proof—the idea that every claim must be backed by a chain of airtight reasoning. In ancient Greece, Euclid compiled the Elements, a set of geometric propositions derived from a handful of axioms. Every step in Euclid's work had to be justified by a postulate, definition, or previously proven theorem. Centuries later, René Descartes introduced coordinates, merging algebra with geometry and creating a powerful new way to construct—and critique—proofs.
When you write a coordinate proof, you place geometric figures on a coordinate plane and use formulas—distance, midpoint, slope—to justify claims. But what happens when a step is skipped, a formula is misapplied, or a conclusion doesn't actually follow from the algebra? That's where proof critique comes in. Being able to read someone else's proof and pinpoint the exact line where logic breaks down is just as important as writing proofs yourself. This lesson will teach you how to do exactly that.
Core Principles of Proof Critique
Before you can find errors in a coordinate proof, you need a clear mental checklist of what makes a proof valid. A valid proof is a logical chain where every statement follows from previously established facts—definitions, postulates, theorems, or earlier results in the same proof. A missing justification is a step that appears without any reason given, while an incorrect inference is a step where the stated reason doesn't actually support the conclusion. Both errors can make an otherwise convincing proof fall apart.
Every Step Needs a Reason
Formulas Must Be Applied Correctly
Conclusions Must Follow from Premises
Check Coordinate Placement
Converse ≠ Original Theorem
Anatomy of a Coordinate Proof
The diagram below shows a typical coordinate proof claiming that a quadrilateral is a parallelogram. Study the structure: it begins with vertex placement, applies formulas, and arrives at a conclusion. Annotations highlight two common errors—one missing justification and one incorrect inference—so you can see exactly what to look for.
Notice how the error in Step 4 cascades forward. Even though Step 5's distance calculation is perfectly fine on its own, the final conclusion in Step 6 depends on Step 4 being true. When you critique a proof, always trace the dependency chain: if an early step is unjustified, every step that relies on it inherits that weakness. This is sometimes called a logical dependency error—the later conclusion might be correct in reality, but the proof hasn't earned the right to claim it.
Key Formulas in Coordinate Proofs
Most coordinate proofs rely on a small toolkit of formulas. When critiquing a proof, you need to verify that each formula was (a) the right one for the claim being made and (b) applied with the correct substitutions. Below are the formulas you'll encounter most often, along with the geometric facts they can justify.
Here is a quick reference for which formula justifies which geometric claim. When you critique a proof, confirm that the formula used actually supports the claim being made—this is where many incorrect inferences hide.
| Geometric Claim | Required Formula / Tool | What to Check |
|---|---|---|
| Segments are congruent | Distance formula | Both distances computed and shown equal |
| Lines are parallel | Slope formula | Both slopes computed and shown equal |
| Lines are perpendicular | Slope formula | Product of slopes equals −1 |
| Point bisects a segment | Midpoint formula | Midpoint coordinates match the point in question |
| Quadrilateral is a parallelogram | Slope + Distance (or Midpoint) | Both pairs of opposite sides parallel, OR both pairs equal, OR diagonals bisect each other |
Common Errors in Coordinate Proofs
Now that you know the formulas, let's catalog the most frequent mistakes students and textbooks make in coordinate proofs. These fall into three broad categories: computational errors (wrong arithmetic or substitution), missing justifications (leaps with no supporting work), and logical fallacies (using a theorem incorrectly or confusing a theorem with its converse).
As you review the diagram above, notice that computational errors are the easiest to catch—you just redo the arithmetic. Missing justifications are next; you scan for steps that say "clearly" or "therefore" without showing work. Logical fallacies are the hardest because the math may look perfect, yet the conclusion doesn't follow from the theorem cited. Developing a systematic approach—checking formulas, then checking justifications, then checking logic—is the key to becoming an effective proof critic.
Worked Example: Critiquing a Proof
Let's walk through a complete critique of a flawed coordinate proof. The proof below claims to show that triangle PQR is a right triangle. Read it carefully, then follow along as we identify every error.
Strengths and Limitations of Coordinate Proofs
Coordinate proofs are one of several proof methods in geometry. Understanding their strengths and weaknesses helps you judge when a coordinate approach is appropriate and where extra caution is needed during a critique.
| Strengths | Limitations |
|---|---|
| Algebraic and verifiable—every step can be checked with arithmetic | Coordinate placement can introduce unintended special cases |
| Powerful for distance, midpoint, slope, and collinearity claims | Can become messy with irrational coordinates or complex figures |
| Connects geometry to algebra, reinforcing both skill sets | May obscure the geometric intuition behind a result |
| Systematic—same formulas apply in many situations | Prone to sign errors and inconsistent substitution order |
Connection to Advanced Proof Techniques
The skill of critiquing proofs extends far beyond coordinate geometry. In higher-level math courses, you'll encounter proofs by contradiction, mathematical induction, and proofs using transformations. The critical-thinking habits you build now—checking each justification, verifying that conclusions follow from premises—will transfer directly to those settings.
| Feature | Coordinate Proof Critique | Advanced Proof Critique |
|---|---|---|
| What you verify | Formulas, substitutions, and theorem application | Logical structure, axiom use, and case completeness |
| Common error type | Computational and formula misapplication | Hidden assumptions and circular reasoning |
| How to check | Redo arithmetic, verify slopes/distances | Trace the logical chain from axioms to conclusion |
| Level of abstraction | Concrete (numbers on a grid) | Abstract (variables, general cases) |
In courses like Pre-Calculus and beyond, you might see proofs that use transformations (reflections, rotations, translations) instead of coordinates to prove congruence or similarity. The critique process is analogous: you still ask, "Does each step follow from the previous one? Is the correct definition or theorem cited? Does the conclusion match what was actually shown?" Mastering coordinate proof critique now gives you a strong foundation for every proof method you'll encounter.
Practice Problems
Lesson Summary
Critiquing a coordinate proof means systematically checking that every step is backed by a valid reason. The three main types of errors are computational errors (wrong arithmetic or substitution), missing justifications (claims made without supporting work), and incorrect inferences (conclusions that don't follow from the evidence). The essential formulas in coordinate proofs are the distance formula (for congruence), the slope formula (for parallelism and perpendicularity), and the midpoint formula (for bisection). Always verify that the correct formula was used, that the arithmetic is right, and that the theorem cited actually supports the conclusion drawn.
When reviewing a proof, follow a three-pass strategy: first, check the computations by redoing the arithmetic; second, verify each justification by asking "what theorem or definition supports this claim?"; and third, trace the logical chain to ensure the conclusion genuinely follows from all prior steps. Remember that errors can cascade—an unsupported early step can undermine an otherwise correct conclusion. Building strong proof critique skills now will prepare you for advanced mathematics where the stakes (and the complexity) of proofs are even higher.