Proving geometric theorems using coordinates
Coordinate Proofs
Coordinate Proofs is a topic in Coordinate Geometry in the California Common Core State Standards. It is aligned to Standard G-GPE.4, which requires students to use coordinates to prove simple geometric theorems algebraically.
A coordinate proof places a figure on the plane and uses the distance, slope, and midpoint formulas to prove a geometric statement.
Theory
A coordinate proof places a figure on the coordinate plane and uses algebra to prove a geometric statement. The three tools are:
- Distance formula — for lengths and congruence.
- Slope — for parallel and perpendicular sides.
- Midpoint formula — for bisection and centers.
The proof tools:
How to write a coordinate proof
- Place the figure with convenient coordinates (origin, axis, variables).
- Translate the claim into distances, slopes, or midpoints.
- Compute them with the formulas.
- Conclude: equal slopes \(\Rightarrow\) parallel, equal lengths \(\Rightarrow\) congruent, same midpoint \(\Rightarrow\) bisect.
Find the two midpoints, then compare slopes.
| \(M\) | \(=\) | \(\left(\dfrac{0+2}{2},\dfrac{0+6}{2}\right)=(1,3)\) |
| \(N\) | \(=\) | \(\left(\dfrac{8+2}{2},\dfrac{0+6}{2}\right)=(5,3)\) |
| \(\text{slope }MN\) | \(=\) | \(\dfrac{3-3}{5-1}=0\) |
| \(\text{slope }AB\) | \(=\) | \(\dfrac{0-0}{8-0}=0\) |
Equal slopes, so \(MN\parallel AB\).
Compare the lengths of the horizontal segments.
| \(MN\) | \(=\) | \(5-1=4\) |
| \(AB\) | \(=\) | \(8-0=8\) |
| \(MN\) | \(=\) | \(\dfrac12(8)=\dfrac12 AB\) |
Find the midpoint of each diagonal.
| \(\text{mid }OQ\) | \(=\) | \(\left(\dfrac{a+b}{2},\dfrac{c}{2}\right)\) |
| \(\text{mid }PR\) | \(=\) | \(\left(\dfrac{a+b}{2},\dfrac{c}{2}\right)\) |
Same midpoint, so the diagonals bisect each other.
It makes coordinates simple (many zeros), so distances, slopes, and midpoints are easy to compute while keeping the figure fully general.
Common pitfalls
Frequently asked questions
What is a coordinate proof?
A proof that places a figure on the coordinate plane and uses the distance, slope, and midpoint formulas to prove a statement.
How should you place a figure for a coordinate proof?
Put a vertex at the origin and a side along an axis, using variables to keep it general.
Which tool proves lines are parallel?
Slope — parallel lines have equal slopes.
Why use variables instead of numbers?
So the proof holds for every figure of that type, not just one specific example.