A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.
Coordinate geometry proofs use algebra (distance formula, midpoint formula, and slope) to prove geometric theorems. Place figures on the coordinate plane strategically, then compute to verify properties. Key techniques: use distance formula to show sides are congruent, slope to show lines are parallel (equal slopes) or perpendicular (negative reciprocal slopes), and midpoint to show bisection. This approach bridges geometry and algebra.
Start with simple proofs: show a quadrilateral is a parallelogram by demonstrating opposite sides have equal slopes. Build to more complex proofs: verify the midsegment theorem, prove the diagonals of a rectangle are congruent, etc. Teach strategic placement (e.g., put one vertex at the origin and a side along the x-axis to simplify computations).
Coordinate geometry proofs combine two languages — algebra and geometry — to verify geometric truths with calculation instead of purely logical argument. The core idea is simple: place a geometric figure on the coordinate plane, assign coordinates to its vertices, then compute slopes, distances, and midpoints to confirm the property you want to prove.
The three formulas you need are the workhorses of this entire method. The distance formula (d = √((x₂−x₁)² + (y₂−y₁)²), derived from the Pythagorean theorem) lets you show that two segments are congruent. The slope formula ((y₂−y₁)/(x₂−x₁)) lets you show lines are parallel (equal slopes) or perpendicular (slopes that multiply to −1, i.e., negative reciprocals). The midpoint formula (((x₁+x₂)/2, (y₁+y₂)/2)) lets you show that a point bisects a segment. Each formula is a different lens: reach for distance when the claim is about length, slope when it is about direction, and midpoint when it is about location.
A critical skill is strategic placement. Before computing anything, you choose where to put the figure on the plane. Placing one vertex at the origin and one side along the x-axis is standard: it forces several coordinates to zero, which dramatically simplifies every calculation that follows. For instance, a general quadrilateral with four arbitrary coordinates (x₁, y₁), …, (x₄, y₄) becomes much more tractable when one vertex is (0, 0) and one side is horizontal. This is not cheating — geometric properties are preserved under translation and rotation, so you are free to position the figure wherever is most convenient.
A common misconception is treating slope as evidence of congruence. Slope tells you about *direction*; distance tells you about *length*. Two segments can point in exactly the same direction (equal slopes) while being wildly different lengths — think of two horizontal segments, one of length 1 and one of length 10. Always ask: am I making a claim about direction (use slope) or about size (use distance)?
Finally, notice what makes coordinate proofs powerful: they are mechanical. Once you set up coordinates, you are essentially running algebra, and algebra does not lie. The tradeoff is that coordinate proofs can feel less illuminating than classical proofs — you get the right answer without necessarily seeing *why* the result is true. Many theorems have both a classical proof (showing the deep geometric reason) and a coordinate proof (verifying it computationally). Knowing both approaches builds a richer understanding than either alone.