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

SECTION 1

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?

SECTION 2

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.

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.

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.

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.

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.

SECTION 3

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.

SECTION 4

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?

SECTION 5

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.

Error Type	What It Looks Like	How to Spot It
Missing Justification	A claim appears with no formula, computation, or theorem cited.	Ask: "Where is the calculation or theorem that supports this statement?"
Computational Mistake	A formula is used but values are substituted incorrectly or arithmetic is wrong.	Redo the algebra yourself and compare results.
Incorrect Inference	The 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?"

Summary of the three major error types in coordinate proofs

SECTION 6

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 Calculations

We 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 Parallel

The 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 Inference

Even 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 Critique

A 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).

SECTION 7

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.

To Prove…	You Need…	Common Mistake
Parallelogram	Both pairs of opposite sides parallel (equal slopes) OR both pairs of opposite sides congruent AND parallel	Showing only one pair of parallel sides (that's a trapezoid condition)
Rectangle	Parallelogram + at least one right angle (perpendicular adjacent sides)	Proving only congruent opposite sides without right angles
Rhombus	Parallelogram + all four sides congruent	Showing four equal sides without proving it is a parallelogram first
Square	Rectangle + all four sides congruent (or rhombus + one right angle)	Jumping to "square" from only equal sides or only right angles
Isosceles Triangle	At least two sides congruent (distance formula)	Claiming isosceles by visual inspection without calculation

Required evidence for common coordinate proof conclusions

✦

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.

SECTION 8

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.

Skill in This Lesson	How It Extends in Advanced Math
Identifying missing justifications	In college proofs, every step must cite a theorem or axiom. Peer review of proofs is standard practice.
Catching computational errors	In calculus and linear algebra, small errors cascade. Checking intermediate results is essential.
Spotting incorrect inferences	In 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 conditions	This concept becomes central in analysis and topology, where definitions have strict necessary and sufficient conditions.

How proof critique skills connect to advanced mathematics

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.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

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?

Show answer

This is an incorrect inference. Having four equal sides only guarantees that the shape is a rhombus, not a square. A square requires both four equal sides and four right angles. The student would also need to show that adjacent sides are perpendicular (for example, by computing slopes and showing their product is −1). Without demonstrating right angles, the quadrilateral could be a non-rectangular rhombus.

Question 2: BASIC 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.

Show answer

The calculation contains a computational mistake. The slope formula is m = (y₂ − y₁) / (x₂ − x₁). Using A(1, 3) and B(4, 7): m = (7 − 3) / (4 − 1) = 4 / 3. The error is that the student reversed the x-coordinates in the denominator, writing (1 − 4) instead of (4 − 1). The correct slope is 4/3, not −4/3. This is a critical error because it would change any conclusions about parallelism or perpendicularity.

Question 3: INTERMEDIATE

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.

Show answer

There are two errors. First, the proof contains an incorrect inference: the definition of an equilateral triangle requires all three sides to be equal, but the calculations show DE = 4, EF = √13, and DF = √13. Since 4 ≠ √13, only two sides are equal, which makes DEF isosceles, not equilateral. Second, the conclusion "since EF = DF, the triangle is equilateral" is logically flawed because it ignores that DE has a different length. The proof has a missing justification for why DE would equal EF and DF, because in fact it doesn't.

Question 4: APPLIED

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.

Show answer

The first part of the proof is correct: the slope calculations accurately show that both pairs of opposite sides are parallel, so WXYZ is indeed a parallelogram. However, the final inference is incorrect. The colleague argues that since not all sides are equal, the parallelogram must be a rectangle. This logic is backwards—unequal adjacent sides is not a defining property of rectangles. To prove WXYZ is a rectangle, the proof needs to show that adjacent sides are perpendicular. The slope of WX is 0 and the slope of WZ is 5/2; since 0 × 5/2 = 0 ≠ −1, adjacent sides are NOT perpendicular, so WXYZ is actually not a rectangle. It is simply a parallelogram. The proof has an incorrect inference based on a misunderstanding of what defines a rectangle.

Question 5: CRITICAL 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.

Show answer

Example flawed proof: "Let triangle ABC have A(0, 0), B(3, 0), C(0, 4). AB = 3, AC = 4, BC = 5. Since AB² + AC² = 9 + 16 = 25 = BC², triangle ABC is a right triangle. Also, since the sides form a 3-4-5 ratio, the triangle is a right isosceles triangle. ∎" Critique: (1) Missing justification — the proof states AB = 3, AC = 4, and BC = 5 without showing the distance formula calculations for any of these lengths. These values should be computed explicitly. (2) Incorrect inference — the proof concludes the triangle is "right isosceles," but an isosceles triangle requires at least two sides to be equal. Since 3 ≠ 4 ≠ 5, the triangle is right but not isosceles. The Pythagorean converse is correctly applied to prove the right angle, but the claim of isosceles does not follow from the evidence. Your own proof and critique may differ, but it should clearly contain and identify one missing justification and one incorrect inference.

SUMMARY

Lesson Summary

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.