For two thousand years, proving a fact about triangles or parallelograms meant reaching for a compass, drawing a clever auxiliary line nobody was given, and hoping the right pair of triangles turned out congruent. Euclid's students spent years learning which line to add where. Vectors quietly end that hunt: fix an origin O, and every point A gets a position vector \vec{a} = \vec{OA}. From there, whole proofs collapse into algebra — adding, subtracting and scaling vectors — with no auxiliary construction and no picture required at all.

The single most useful fact follows at once: the vector from A to B is the difference of their position vectors,

because to go from A to B you can travel back to O along -\vec{a} and then out to B along \vec{b}. With just this — plus adding and scaling vectors — you can prove facts that are fiddly with pure geometry, and prove them the same mechanical way every single time.

Three tools

Almost every vector proof is built from three little translations of geometry into vector language:

"Parallel" and "collinear" look identical in algebra — both are "one is a multiple of the other". The only difference is that collinear vectors start from a common point, so being parallel and sharing an endpoint forces the three points onto a single line. Notice, too, that a vector proof never once measures an angle or a length with a ruler — it reads every fact straight off an equation.

Worked example 1: the midpoint theorem

Here is a classic result made easy: the segment joining the midpoints of two sides of a triangle is parallel to the third side and half its length. Take triangle OAB, and let M, N be the midpoints of OA and OB. Step through the argument:

The whole proof is three lines of algebra:

Because \vec{MN} is a scalar multiple (\tfrac{1}{2}) of \vec{AB}, the two segments are parallel; and that scalar being \tfrac{1}{2} says MN is half the length of AB. Two geometric conclusions, read straight off one vector equation — no auxiliary line, no protractor, no case-splitting on the shape of the triangle. Whatever shape OAB has, the algebra doesn't care.

Worked example 2: the diagonals of a parallelogram bisect each other

Give every corner its own position vector from a single fixed origin O. Let the parallelogram be OACB, with \vec{OA} = \vec{a} and \vec{OB} = \vec{b} as its two sides from O. Because opposite sides of a parallelogram are equal and parallel, the fourth corner is reached by walking along \vec{a} and then along \vec{b}, so

Four corners, four position vectors, all measured from the same O. Now find where the two diagonals cross.

The midpoint of diagonal OC is

and the midpoint of the other diagonal AB is

Both diagonals pass through \tfrac{1}{2}(\vec{a} + \vec{b}), so they cross there and nowhere else: the diagonals bisect each other. One shared expression, computed two different ways, and the theorem falls out — no compass, no congruent triangles to hunt for.

Worked example 3: the medians of a triangle meet at one point

A median joins a vertex to the midpoint of the opposite side. A triangle has three of them, one from each vertex — and remarkably, all three always cross at the very same point, the centroid. Here is the vector argument, outlined rather than run in full: give the triangle's vertices position vectors \vec{a}, \vec{b}, \vec{c} from an origin O. The median from A lands on the midpoint of BC, at \tfrac{1}{2}(\vec{b} + \vec{c}). The point two-thirds of the way along that median from A is

Notice this last expression is perfectly symmetric in \vec{a}, \vec{b} and \vec{c} — swap any two labels and the formula doesn't change. So running the same two-thirds calculation from B or from C must land on that identical point. All three medians pass through G = \tfrac{1}{3}(\vec{a} + \vec{b} + \vec{c}), the centroid — proved without ever drawing all three medians and squinting to see if they meet.

Proving points collinear

To show three points lie on a line, express two vectors between them and check that one is a multiple of the other. Say \vec{AB} = 2\vec{p} and, after simplifying, \vec{AC} = 3\vec{p}. Then \vec{AC} = \tfrac{3}{2}\vec{AB} — a scalar multiple sharing the point A — so A, B, C are collinear, and C is \tfrac{3}{2} of the way along the line from A through B.