Using the coordinate plane to prove geometric properties algebraically. Covers midpoint formula, slope criteria for parallel and perpendicular lines, and distance formula applications to prove that figures are parallelograms, rectangles, rhombi, or other specific quadrilaterals by verifying side lengths, slopes, and diagonal properties.
High School Advanced • 9-12
Coordinate geometry proofs bridge algebra and geometry by placing figures on the coordinate plane and using algebraic formulas to establish geometric properties. Instead of relying on angle-chasing and congruence postulates, you can calculate distances, slopes, and midpoints to prove that shapes have specific properties. This is one of the most powerful techniques in mathematics.
Every coordinate geometry proof depends on these fundamental tools:
| Formula | Expression | Purpose |
|---|---|---|
| Distance Formula | d = √[(x₂ - x₁)² + (y₂ - y₁)²] | Find the length of a segment |
| Midpoint Formula | M = ((x₁ + x₂)/2, (y₁ + y₂)/2) | Find the center of a segment |
| Slope Formula | m = (y₂ - y₁) / (x₂ - x₁) | Measure steepness / direction |
These slope relationships are central to coordinate proofs:
To prove a quadrilateral is a specific type, you verify the defining properties using coordinate tools:
| Shape | What to Prove | Tools |
|---|---|---|
| Parallelogram | Both pairs of opposite sides are parallel | Show equal slopes for opposite sides |
| Rectangle | Parallelogram with a right angle | Equal slopes for opposite sides; perpendicular slopes for adjacent sides |
| Rhombus | Parallelogram with all sides equal | Equal slopes for opposite sides; all four side lengths equal (distance formula) |
| Square | Rectangle with all sides equal | All four conditions: equal opposite slopes, perpendicular adjacent slopes, four equal side lengths |
| Trapezoid | Exactly one pair of parallel sides | One pair of equal slopes, other pair of different slopes |
| Isosceles Trapezoid | Trapezoid with equal non-parallel sides (legs) | Slopes + equal leg lengths via distance formula |
When setting up a coordinate proof, place the figure to minimize computation. Put one vertex at the origin and align a side along the x-axis. For symmetric figures, center them at the origin. Using variables (a, b, c) instead of specific numbers makes your proof general -- it applies to all figures of that type, not just one specific case.
Problem: Show that A(1, 2), B(5, 4), C(7, 8), D(3, 6) form a parallelogram.
Solution: Compute slopes of all four sides:
AB ∥ DC (both have slope 1/2) and BC ∥ AD (both have slope 2). Both pairs of opposite sides are parallel, so ABCD is a parallelogram.
Problem: Given the parallelogram from Example 1, determine whether ABCD is a rectangle.
Solution: A parallelogram is a rectangle if adjacent sides are perpendicular. Check whether AB is perpendicular to BC:
The product of slopes is 1, not -1, so the sides are not perpendicular. ABCD is a parallelogram but not a rectangle.
Problem: Let rectangle PQRS have vertices P(0, 0), Q(a, 0), R(a, b), S(0, b). Prove the diagonals bisect each other.
Solution: The diagonals are PR and QS. Find each midpoint:
Both diagonals share the same midpoint (a/2, b/2), so they bisect each other. Because we used variables, this proof applies to every rectangle, not just a specific one.
Problem 1: Find the midpoint and distance between A(-3, 7) and B(5, 1).
Midpoint = ((-3 + 5)/2, (7 + 1)/2) = (1, 4)
Distance = √[(5 - (-3))² + (1 - 7)²] = √[64 + 36] = √100 = 10
Problem 2: Determine whether A(2, 3), B(6, 5), C(8, 1), D(4, -1) form a parallelogram, rectangle, rhombus, or square.
Slopes: AB = (5-3)/(6-2) = 1/2, DC = (1-(-1))/(8-4) = 1/2, BC = (1-5)/(8-6) = -2, AD = (-1-3)/(4-2) = -2.
AB ∥ DC and BC ∥ AD, so it is a parallelogram.
Check perpendicularity: (1/2)(-2) = -1. Yes! Adjacent sides are perpendicular, so it is a rectangle.
Side lengths: AB = √(16+4) = √20, BC = √(4+16) = √20. All sides equal √20.
It is a rectangle with all equal sides: it is a square.
Problem 3: Line segment AB has endpoints A(1, -2) and B(7, 6). Point C is the midpoint of AB. Find the equation of the line through C perpendicular to AB.
C = ((1+7)/2, (-2+6)/2) = (4, 2)
Slope of AB = (6-(-2))/(7-1) = 8/6 = 4/3
Perpendicular slope = -3/4
Line through C: y - 2 = (-3/4)(x - 4), which gives y = (-3/4)x + 5.
This line is the perpendicular bisector of AB.
Problem 4: Prove that the quadrilateral with vertices P(0, 0), Q(5, 0), R(7, 3), S(2, 3) is a parallelogram using the midpoint method (show diagonals bisect each other).
Diagonals are PR and QS.
Midpoint of PR = ((0+7)/2, (0+3)/2) = (3.5, 1.5)
Midpoint of QS = ((5+2)/2, (0+3)/2) = (3.5, 1.5)
The diagonals have the same midpoint, so they bisect each other. A quadrilateral whose diagonals bisect each other is a parallelogram. QED
Problem 5: Triangle ABC has vertices A(0, 0), B(6, 0), C(2, 4). Find the length of the segment connecting the midpoints of AC and BC. Compare it to AB.
Midpoint of AC: M = ((0+2)/2, (0+4)/2) = (1, 2)
Midpoint of BC: N = ((6+2)/2, (0+4)/2) = (4, 2)
MN = √[(4-1)² + (2-2)²] = √9 = 3
AB = √[(6-0)² + 0²] = 6
MN = 3 = AB/2. The midsegment is exactly half the length of the parallel side. This illustrates the Triangle Midsegment Theorem.
Coordinate geometry proofs convert geometric questions into algebraic calculations. The distance formula measures lengths, the midpoint formula locates centers, and the slope formula determines direction. Parallel lines share the same slope; perpendicular lines have slopes whose product is -1. By computing these values for the sides and diagonals of a figure, you can classify quadrilaterals and prove geometric properties with algebraic certainty.