Allday Education

Coordinate Proofs

A coordinate proof proves a geometric claim with algebra. Instead of two columns of statements and reasons, you place the figure on the coordinate plane, label its vertices, and let the distance, slope, and midpoint formulas do the arguing.

The key habit is using variables like aa and bb for the coordinates rather than specific numbers. A computation done with variables covers every rectangle, every isosceles triangle, every case at once — that is what makes it a proof instead of an example.

Place the figure wisely

You get to choose where the figure sits, so choose the placement that makes the algebra easiest. Put one vertex at the origin and run one side along the xx-axis. For a rectangle, the natural placement is (0,0)(0, 0), (a,0)(a, 0), (a,b)(a, b), and (0,b)(0, b).

The placement must not accidentally add extra conditions. Vertices like (a,a)(a, a) force a square when you meant any rectangle; completely random vertices like (d,e)(d, e) fail to guarantee a rectangle at all. Use just enough structure to match the figure's definition — no more, no less.

-112345-112345xy

Variables prove every case

If you verify a property on the rectangle with vertices (0,0)(0, 0), (6,0)(6, 0), (6,4)(6, 4), and (0,4)(0, 4), you have proven it for that one rectangle only. A 77-by-33 rectangle is untouched by your computation.

Write the vertices as (0,0)(0, 0), (a,0)(a, 0), (a,b)(a, b), and (0,b)(0, b) instead, and the same computation runs for every possible pair of dimensions simultaneously. Whatever the algebra shows is now true for all rectangles — that is the whole point of a coordinate proof.

Pick the right formula

Match the formula to the claim. To show two segments are congruent, compute both lengths with the distance formula d=(x2x1)2+(y2y1)2d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2} and show they are equal. To show two sides are parallel or perpendicular, compare slopes with y2y1x2x1\displaystyle \frac{y_2 - y_1}{x_2 - x_1}. To show a segment is bisected, compute midpoints with (x1+x22,y1+y22)\displaystyle \left(\frac{x_1 + x_2}{2}, \frac{y_1 + y_2}{2}\right) and show they coincide.

End the proof with a sentence that connects the algebra back to the claim: "both diagonals have length a2+b2\sqrt{a^2 + b^2}, so the diagonals of a rectangle are congruent."

Worked examples

Example 1: the diagonals of a rectangle are congruent

Prove that the diagonals of any rectangle are congruent.

Place a general rectangle with variable coordinates(0,0),  (a,0),  (a,b),  (0,b)(0, 0),\; (a, 0),\; (a, b),\; (0, b)
Length of the diagonal from (0,0)(0, 0) to (a,b)(a, b)(a0)2+(b0)2=a2+b2\sqrt{(a - 0)^2 + (b - 0)^2} = \sqrt{a^2 + b^2}
Length of the diagonal from (a,0)(a, 0) to (0,b)(0, b)(0a)2+(b0)2=a2+b2\sqrt{(0 - a)^2 + (b - 0)^2} = \sqrt{a^2 + b^2}
Both diagonals have the same length, for every aa and bbthe diagonals are congruent\text{the diagonals are congruent}

Answer: Both diagonals measure a2+b2\sqrt{a^2 + b^2}, so the diagonals of any rectangle are congruent.

Example 2: prove a triangle is isosceles

Triangle PQRPQR has vertices P(3,0)P(-3, 0), Q(3,0)Q(3, 0), and R(0,5)R(0, 5). Prove that PQR\triangle PQR is isosceles.

Isosceles means two congruent sides, so compute side lengthsdistance formula\text{distance formula}
Length of PR\overline{PR}(0(3))2+(50)2=34\sqrt{(0 - (-3))^2 + (5 - 0)^2} = \sqrt{34}
Length of QR\overline{QR}(03)2+(50)2=34\sqrt{(0 - 3)^2 + (5 - 0)^2} = \sqrt{34}
Two sides have equal lengthPR=QRPR = QR

Answer: PR=QR=34PR = QR = \sqrt{34}, so PQR\triangle PQR is isosceles.

Example 3: diagonals of a parallelogram bisect each other

A parallelogram has vertices (0,0)(0, 0), (a,0)(a, 0), (a+c,b)(a + c, b), and (c,b)(c, b). Prove that its diagonals bisect each other.

Midpoint of the diagonal from (0,0)(0, 0) to (a+c,b)(a + c, b)(a+c2,b2)\displaystyle \left(\frac{a + c}{2}, \frac{b}{2}\right)
Midpoint of the diagonal from (a,0)(a, 0) to (c,b)(c, b)(a+c2,b2)\displaystyle \left(\frac{a + c}{2}, \frac{b}{2}\right)
The midpoints are the same point, so each diagonal passes through the other's midpointthe diagonals bisect each other\text{the diagonals bisect each other}

Answer: Both diagonals share the midpoint (a+c2,b2)\displaystyle \left(\frac{a + c}{2}, \frac{b}{2}\right), so they bisect each other.

Try one yourself

aa
bb
(0,0)(0,0)
(a,0)(a,0)
(a,b)(a,b)
(0,b)(0,b)

Common questions

Why can't I just use numbers for the coordinates?

Numbers prove the claim for one specific figure only. A computation on a 66-by-44 rectangle says nothing about a 77-by-33 one. Variable coordinates like (a,0)(a, 0) and (0,b)(0, b) run the computation for every case at once, which is what a proof requires.

Where should I place the figure?

Put one vertex at the origin and one side along the xx-axis whenever possible. Zeros in the coordinates make every distance, slope, and midpoint computation shorter. Just make sure the placement matches the figure's definition without forcing extra properties.

How do I know which formula to use?

Read the claim. Congruent segments call for the distance formula, parallel or perpendicular sides call for the slope formula y2y1x2x1\displaystyle \frac{y_2 - y_1}{x_2 - x_1}, and bisecting calls for the midpoint formula. Some proofs need two of them.

Is a coordinate proof a real proof?

Yes. As long as the placement is general — variables, not specific numbers — the algebra covers every possible case, which is exactly what a two-column proof accomplishes with statements and reasons. It is an equally valid style.

Want the video version?

Allday Everyday Math has video lessons, practice, and an AI tutor for every topic, Pre-Algebra through Algebra 2.

Try it for $1