MATH 3 • GEOMETRY

Critiquing Coordinate Proofs — I can critique a coordinate proof and identify a missing justification or incorrect inference.

Learn to spot logical gaps and errors in coordinate geometry proofs like a skilled mathematical detective.

Historical Context & Motivation

For thousands of years, geometry was done entirely with diagrams, rulers, and compasses. The ancient Greeks proved theorems about triangles, circles, and parallels using purely visual and logical arguments. But a revolution occurred when mathematicians realized they could translate geometric shapes into numbers and equations. This fusion of algebra and geometry—called analytic geometry or coordinate geometry—gave mathematicians a powerful new way to write proofs. Instead of relying solely on visual intuition, they could use formulas like the distance formula and the slope formula to verify geometric properties with precision.

~300 BCE
Euclid's Elements
Euclid established the standard for geometric proof: every claim must follow logically from axioms and previously proven results. His rigorous style set the bar for mathematical justification.
1637
Descartes Publishes La Géométrie
René Descartes introduced the coordinate plane, merging algebra and geometry. Geometric shapes could now be described with equations, and proofs could rely on algebraic computations.
1700s–1800s
Rigor in Proof Becomes Standard
Mathematicians like Euler and Cauchy emphasized that every step in a proof must be justified. Gaps in reasoning—even small ones—could lead to false conclusions.
Modern Era
Coordinate Proofs in the Classroom
Today, coordinate proofs are a core skill in high school geometry. Students place figures on a coordinate plane and use algebraic formulas to prove properties like congruence, parallelism, and midpoint relationships.

Coordinate proofs are powerful, but they are only as strong as their weakest step. What happens when a proof skips a crucial justification, misapplies a formula, or leaps to a conclusion that the algebra does not actually support? That is exactly the question this lesson addresses: how do you read a coordinate proof critically and pinpoint where the reasoning breaks down?

Core Principles of Proof Critique

Before you can find errors in someone else's proof, you need to understand what makes a proof valid in the first place. A correct coordinate proof has a clear structure: it states what is given, places figures on a coordinate plane with labeled vertices, applies formulas or theorems, and draws conclusions that are directly supported by the calculations. Every link in the chain must hold, or the entire argument falls apart.

1

Every Claim Needs a Justification

Each statement in a proof must be backed by a definition, a postulate, a theorem, or an algebraic computation. If a step says "the sides are equal" but never shows the distance calculations, the justification is missing.
2

Formulas Must Be Applied Correctly

Common coordinate geometry formulas—distance, midpoint, slope—must be used with the right coordinates substituted in the right places. Swapping x- and y-values or dropping a negative sign leads to an incorrect computation.
3

Conclusions Must Follow from Evidence

An incorrect inference occurs when a conclusion does not logically follow from the calculations presented. For example, showing two sides are equal does not by itself prove a shape is a square.
4

Coordinate Placement Matters

When placing a figure on the coordinate plane, the chosen coordinates must be general enough to represent all figures of that type—not just a special case. Using overly specific coordinates (like making every vertex an integer) can accidentally assume properties that haven't been proven.
KEY TAKEAWAY
Think of a coordinate proof like a chain of paperclips linked together. Each paperclip is a justified step. If even one paperclip is missing or bent, the whole chain breaks. Critiquing a proof means inspecting every single link—checking that each formula was used correctly, each conclusion actually follows from the math, and no steps were skipped.

Anatomy of a Coordinate Proof

The diagram below shows the typical structure of a coordinate proof, from the initial setup through the conclusion. Notice how each stage depends on the one before it. When you critique a proof, you are essentially checking each box in this flowchart and asking: "Is this step actually valid?"

This flowchart shows the five stages of a coordinate proof. The red warnings on the right indicate the most common errors found at each stage—exactly the kinds of issues you will learn to identify.

When you critique a coordinate proof, you move through this flowchart and ask targeted questions at each stage. Did the author actually state what was given? Are the coordinates general enough? Were the distance or slope formulas applied without arithmetic mistakes? Does the conclusion follow from the computations, or did the author claim more than the math supports? Developing this checklist mentality is the key skill in this lesson.

Essential Formulas for Coordinate Proofs

Most coordinate proofs rely on a small set of formulas. Knowing these formulas inside and out is essential for critiquing a proof, because you need to verify that each formula was applied correctly and that the right formula was chosen for the job.

DISTANCE FORMULA
d = √[(x₂ − x₁)² + (y₂ − y₁)²]
Calculates the length of a segment between points (x₁, y₁) and (x₂, y₂). Used to prove sides are congruent. Watch for: dropped negatives, swapped coordinates, or forgetting the square root.
MIDPOINT FORMULA
M = ((x₁ + x₂) / 2, (y₁ + y₂) / 2)
Finds the point exactly halfway between (x₁, y₁) and (x₂, y₂). Used to show diagonals bisect each other. Watch for: using subtraction instead of addition.
SLOPE FORMULA
m = (y₂ − y₁) / (x₂ − x₁)
Determines the steepness and direction of a line. Parallel lines have equal slopes; perpendicular lines have slopes whose product is −1. Watch for: confusing Δx and Δy, or claiming perpendicularity when slopes are merely negative.
Common Logical Errors
A frequent incorrect inference is concluding that a quadrilateral is a rectangle just because opposite sides are equal. Equal opposite sides only prove it is a parallelogram. To upgrade to a rectangle, you must also show that at least one angle is 90° (for example, by showing two adjacent sides have perpendicular slopes). Always ask: does the evidence actually support the specific conclusion being made?

Classifying Proof Errors

When you sit down to critique a coordinate proof, it helps to have a mental catalog of the types of errors you might encounter. Broadly, errors fall into three categories: missing justifications, computational mistakes, and incorrect inferences. The diagram and table below break these down in detail.

The three columns represent the three main categories of proof errors. When critiquing, systematically check for each type—a proof can contain more than one category of error at once.
Summary of the three major error types in coordinate proofs
Error TypeWhat It Looks LikeHow to Spot It
Missing JustificationA claim appears with no formula, computation, or theorem cited.Ask: "Where is the calculation or theorem that supports this statement?"
Computational MistakeA formula is used but values are substituted incorrectly or arithmetic is wrong.Redo the algebra yourself and compare results.
Incorrect InferenceThe math is correct, but the conclusion drawn is not supported by the results.Ask: "Does this evidence actually prove this specific claim, or only something weaker?"

Worked Example: Critiquing a Flawed Proof

Let's walk through a sample coordinate proof that claims to show a quadrilateral is a rectangle. As we read, we will identify the errors. Here is the proof to critique:

📝 The Proof to Critique
Claim: Quadrilateral ABCD with vertices A(0, 0), B(6, 0), C(6, 4), and D(0, 4) is a rectangle. Step 1: AB = √[(6 − 0)² + (0 − 0)²] = √36 = 6. CD = √[(6 − 0)² + (4 − 4)²] = √36 = 6. So AB = CD. Step 2: BC = √[(6 − 6)² + (4 − 0)²] = √16 = 4. AD = √[(0 − 0)² + (4 − 0)²] = √16 = 4. So BC = AD. Step 3: Because opposite sides are equal, ABCD is a rectangle. ∎
Critiquing the Proof Step by Step
1
Step 1 — Check the Distance CalculationsWe verify the arithmetic: AB = √[(6 − 0)² + (0 − 0)²] = √[36 + 0] = 6. This is correct. Similarly, CD = 6, BC = 4, and AD = 4. The distance formula was applied correctly, and the arithmetic checks out.
✓ Computations are correct — no computational mistakes found.
2
Step 2 — Check Whether Opposite Sides Are Proven ParallelThe proof shows AB = CD and BC = AD (opposite sides are congruent). However, it never computes the slopes to show that opposite sides are parallel. Equal length alone does not guarantee that sides are parallel—think of a non-rectangular quadrilateral with two pairs of equal sides (like a general kite).
⚠ Missing justification: slopes were never computed to prove ABCD is a parallelogram.
3
Step 3 — Check the Final InferenceEven if we added slope calculations to prove ABCD is a parallelogram, the proof jumps from "opposite sides are equal" directly to "ABCD is a rectangle." A rectangle requires that the angles are right angles. The proof would need to show that at least two adjacent sides are perpendicular (i.e., the product of their slopes equals −1), or that the diagonals are equal in length.
✗ Incorrect inference: concluding "rectangle" from equal opposite sides skips the perpendicularity requirement.
4
Step 4 — Write the Corrected CritiqueA complete critique would state: (1) The proof has a missing justification because it never uses the slope formula to establish that opposite sides are parallel, which is needed to prove a parallelogram. (2) The proof contains an incorrect inference because it claims the shape is a rectangle based solely on congruent opposite sides, without showing any right angles. To fix this, the author should compute slopes of AB, BC, CD, and DA, verify that AB ∥ CD and BC ∥ AD (equal slopes), and then show that AB ⊥ BC (slope product = −1).
Two errors identified: one missing justification (no slope computation) and one incorrect inference (equal sides ≠ rectangle).

Sufficient vs. Insufficient Evidence

One of the trickiest parts of critiquing a proof is deciding whether the evidence provided is sufficient for the conclusion. The table below lists common geometric conclusions and what evidence is actually required. Use it as a reference when evaluating whether a proof's inference is justified.

Required evidence for common coordinate proof conclusions
To Prove…You Need…Common Mistake
ParallelogramBoth pairs of opposite sides parallel (equal slopes) OR both pairs of opposite sides congruent AND parallelShowing only one pair of parallel sides (that's a trapezoid condition)
RectangleParallelogram + at least one right angle (perpendicular adjacent sides)Proving only congruent opposite sides without right angles
RhombusParallelogram + all four sides congruentShowing four equal sides without proving it is a parallelogram first
SquareRectangle + all four sides congruent (or rhombus + one right angle)Jumping to "square" from only equal sides or only right angles
Isosceles TriangleAt least two sides congruent (distance formula)Claiming isosceles by visual inspection without calculation
KEY TAKEAWAY
Imagine you're a quality inspector at a factory. Your job isn't to build the product—it's to examine each part and ask, "Does this meet the specifications?" In the same way, critiquing a proof doesn't require you to write a new proof from scratch. You just need to hold each step up to the light and compare it against what the mathematical 'specifications' (definitions and theorems) actually require.

Connection to Advanced Proof Techniques

The critical thinking skills you develop by critiquing coordinate proofs extend well beyond geometry class. In higher mathematics and in college-level courses, you will encounter proofs that use methods like contradiction, induction, and formal logic. The habit of questioning every step and verifying that each conclusion follows from the evidence is the foundation of all mathematical reasoning.

How proof critique skills connect to advanced mathematics
Skill in This LessonHow It Extends in Advanced Math
Identifying missing justificationsIn college proofs, every step must cite a theorem or axiom. Peer review of proofs is standard practice.
Catching computational errorsIn calculus and linear algebra, small errors cascade. Checking intermediate results is essential.
Spotting incorrect inferencesIn logic and discrete math, valid conclusions require complete logical chains. The formal name is 'non sequitur'—a conclusion that does not follow.
Distinguishing necessary from sufficient conditionsThis concept becomes central in analysis and topology, where definitions have strict necessary and sufficient conditions.

Even outside of math, the ability to evaluate whether a conclusion follows from the evidence is invaluable. Scientists critique each other's research papers, lawyers challenge arguments in court, and engineers review each other's designs. Every time you critique a coordinate proof, you are exercising the same muscle: logical analysis.

Practice Problems

PROBLEM 1CONCEPTUAL
A student writes: "Since I calculated that all four sides of quadrilateral PQRS are equal, PQRS must be a square." What type of error is this, and why is the conclusion not justified?
PROBLEM 2BASIC CALCULATION
A proof states: "The slope of segment AB from A(1, 3) to B(4, 7) is (7 − 3) / (1 − 4) = 4 / (−3) = −4/3." Is this calculation correct? If not, identify the error and give the correct slope.
PROBLEM 3INTERMEDIATE
A proof claims: "Triangle DEF with D(0, 0), E(4, 0), and F(2, 3) is equilateral. Proof: DE = √[(4 − 0)² + (0 − 0)²] = 4. EF = √[(2 − 4)² + (3 − 0)²] = √[4 + 9] = √13. DF = √[(2 − 0)² + (3 − 0)²] = √[4 + 9] = √13. Since EF = DF, the triangle is equilateral. ∎" Identify all errors in this proof.
PROBLEM 4APPLIED
A city planner places a park in the shape of quadrilateral WXYZ at W(0, 0), X(8, 0), Y(10, 5), Z(2, 5). A colleague's proof states: "Slope of WX = 0, slope of ZY = (5 − 5)/(10 − 2) = 0, so WX ∥ ZY. Slope of WZ = (5 − 0)/(2 − 0) = 5/2, slope of XY = (5 − 0)/(10 − 8) = 5/2, so WZ ∥ XY. Since both pairs of opposite sides are parallel, WXYZ is a parallelogram. Since WX = 8 and WZ = √29 ≠ 8, opposite sides are not all equal, so WXYZ is a rectangle." Critique this proof.
PROBLEM 5CRITICAL THINKING
Write your own brief (but flawed) coordinate proof that a triangle is a right triangle, intentionally including exactly one missing justification and one incorrect inference. Then, write a critique identifying both errors. Use any three vertices you choose.

Lesson Summary

Critiquing a coordinate proof means systematically checking every step for three types of errors. A missing justification occurs when a claim is made without showing the supporting computation or citing the relevant theorem—such as asserting that sides are equal without using the distance formula. A computational mistake happens when the right formula is used but the arithmetic or algebra is executed incorrectly—like mishandling negative signs in the slope formula. An incorrect inference is the most subtle error: the math may be correct, but the conclusion goes beyond what the evidence supports—such as claiming a shape is a rectangle when only congruent opposite sides have been shown.

To critique effectively, read through the proof step by step and ask: Is this claim supported by a calculation or theorem? Is the computation arithmetically correct? Does the conclusion actually follow from the evidence? Mastering these questions builds a foundation for logical reasoning that extends far beyond geometry—into advanced mathematics, science, and any field that relies on evidence-based argumentation.

Varsity Tutors • Math 3 • Critiquing Coordinate Proofs