Mathematics.

logic and proof

Coordinate Geometry Proofs

Geometry35 minDifficulty5 out of 10

You should know: coordinate plane, geometric proof

Overview

A coordinate geometry proof (analytic proof) establishes a geometric statement by placing the figure on the Cartesian plane and using algebra — the distance formula, midpoint formula, and slope — instead of the synthetic (axiom-and-theorem) style of classical proof. This approach, pioneered by Descartes and Fermat, converts geometric claims like 'these two segments are equal' or 'these lines are perpendicular' into algebraic equations that can be verified by direct computation, often making proofs that are hard to construct synthetically almost mechanical.

Intuition

The key move in every coordinate proof is choosing convenient coordinates: place one vertex at the origin and align one side with an axis whenever possible, since this eliminates unnecessary variables and turns arithmetic into pure computation. For example, to prove a property of a general triangle, place a vertex at (0,0) and another at (a, 0) on the x-axis, with the third vertex at general coordinates (b, c) — this loses no generality (any triangle can be moved and rotated into this position) but makes every subsequent formula simpler. Once coordinates are chosen, 'equal length' becomes 'equal values under the distance formula,' 'parallel' becomes 'equal slopes,' and 'perpendicular' becomes 'slopes multiply to −1' — geometric facts become algebraic identities to verify.

Interactive Graph

Place a shape's vertices on the coordinate plane and verify its properties using slope and distance

Loading visualization…

Formal Definition

Definition

For points (x₁,y₁) and (x₂,y₂), the core analytic tools are:

d=(x2−x1)2+(y2−y1)2d = \sqrt{(x_2-x_1)^2+(y_2-y_1)^2}
Distance formula
M=(x1+x22, y1+y22)M = \left(\frac{x_1+x_2}{2},\ \frac{y_1+y_2}{2}\right)
Midpoint formula
m=y2−y1x2−x1m = \frac{y_2-y_1}{x_2-x_1}
Slope formula
m1=m2  ⟺  lines parallel;m1m2=−1  ⟺  lines perpendicularm_1 = m_2 \iff \text{lines parallel}; \qquad m_1 m_2 = -1 \iff \text{lines perpendicular}
Parallel and perpendicular slope conditions

Notation

NotationMeaning
mmSlope of a line segment or line
MMMidpoint of a segment
ddDistance between two points

Properties

Strategic placement

A figure may be placed anywhere on the plane without loss of generality; placing a vertex at the origin and a side on an axis simplifies the algebra.\text{A figure may be placed anywhere on the plane without loss of generality; placing a vertex at the origin and a side on an axis simplifies the algebra.}

Equal segments via distance formula

Two segments are congruent exactly when their distance-formula values are equal.\text{Two segments are congruent exactly when their distance-formula values are equal.}

Parallel sides via slope

m1=m2  ⟺  the two segments are parallel (and distinct, so not the same line).m_1 = m_2 \iff \text{the two segments are parallel (and distinct, so not the same line).}

Perpendicular sides via slope

m1⋅m2=−1  ⟺  the two segments are perpendicular (assuming neither is vertical).m_1 \cdot m_2 = -1 \iff \text{the two segments are perpendicular (assuming neither is vertical).}

Diagonals bisect each other

Two segments bisect each other exactly when they share the same midpoint.\text{Two segments bisect each other exactly when they share the same midpoint.}

Applications

Computational geometry algorithms (convex hulls, collision detection) verify geometric relationships like parallelism and perpendicularity using exactly these coordinate formulas.

Worked Examples

  1. Find the slope of AB.

    mAB=0−04−0=0 (horizontal)m_{AB} = \frac{0-0}{4-0} = 0 \ \text{(horizontal)}

  2. Side BC is vertical (x stays 4, y changes), since a vertical line has undefined slope.

    mBC is undefined (vertical line x=4)m_{BC} \ \text{is undefined (vertical line } x=4\text{)}

  3. A horizontal side and a vertical side meet at a right angle.

    AB⊥BC  ⟹  ∠B=90∘AB \perp BC \implies \angle B = 90^\circ

Answer: Triangle ABC has a right angle at B, since AB is horizontal and BC is vertical.

Practice Problems

Difficulty 4/10

Prove that segment AB with A(1,2) and B(5,2), and segment CD with C(1,7) and D(5,7), are parallel.

Difficulty 5/10

Prove that triangle with vertices A(0,0), B(6,0), C(3,3) is isosceles by showing AC = BC.

Difficulty 6/10

A surveyor plots a plot's corners at A(0,0), B(8,0), C(8,6), D(0,6). Prove ABCD is a rectangle by checking all four angles are right angles.

Common Mistakes

Common Mistake

Placing a figure's vertices at arbitrary, complicated coordinates instead of a convenient position.

Since translating or rotating a figure doesn't change its geometric properties, always place a vertex at the origin and, if possible, a side along an axis — this drastically simplifies the algebra without losing generality.

Common Mistake

Concluding two segments are perpendicular just because they 'look' perpendicular in a sketch.

Perpendicularity must be verified algebraically: compute both slopes and confirm their product is exactly −1 (or that one is vertical and the other horizontal) — a diagram is never sufficient proof.

Quiz

In a coordinate proof, two segments are proven parallel by showing:
To prove a quadrilateral's diagonals bisect each other using coordinates, you should show:
Why can you place a triangle's vertex at the origin without loss of generality in a coordinate proof?

Summary

  • Coordinate geometry proofs translate geometric claims into algebra using the distance, midpoint, and slope formulas.
  • Strategic placement — vertex at the origin, a side on an axis — simplifies the algebra without loss of generality.
  • Equal segments: equal distance-formula values. Parallel: equal slopes. Perpendicular: slopes multiply to −1.
  • 'Diagonals bisect each other' is proven by showing both diagonals share the same midpoint.
  • This method, introduced by Descartes and Fermat, converts synthetic geometric arguments into direct computation.

References

  1. WebsiteWikipedia — Analytic geometry
  2. WebsiteWikipedia — Cartesian coordinate system