Vector Proofs — AHL 3.12 Proofs of geometrical properties...

SECTION 1

Historical Context & Motivation

For more than two thousand years, geometry relied on the axiomatic method pioneered by Euclid around 300 BCE. Proofs were constructed using compass-and-straightedge reasoning, angle chasing, and congruence arguments — techniques that are elegant but can become unwieldy for complex figures. Mathematicians eventually asked: What if we could replace diagrams and visual intuition with pure algebra? The answer arrived through the development of vectors, which let us encode position, direction, and magnitude in a single mathematical object and then manipulate those objects with the rules of algebra.

~300 BCE

Euclid's Elements

Euclid codifies classical geometry into thirteen books of axioms and propositions, establishing the proof-based approach that dominated mathematics for millennia.

1637

Descartes & Coordinate Geometry

René Descartes introduces Cartesian coordinates, bridging algebra and geometry for the first time and enabling geometric problems to be solved with equations.

1843

Hamilton's Quaternions

William Rowan Hamilton discovers quaternions, extending complex numbers to three dimensions and sparking the formal study of vector-like quantities.

1880s

Gibbs & Heaviside Formalize Vectors

Josiah Willard Gibbs and Oliver Heaviside simplify Hamilton's system into the modern vector notation — addition, scalar multiplication, dot product, and cross product — used worldwide today.

20th C.

Vectors Enter the Classroom

Vector methods become standard in physics and engineering curricula. Curricula like the IB adopt vector proofs as a powerful, elegant alternative to synthetic geometry.

The central question this topic addresses is: Can we prove classical results — like the midpoint theorem, the medians of a triangle meeting at a single point, or diagonals bisecting each other — using only vector algebra, without relying on angle measures or congruence? As you will see, the answer is a resounding yes, and the proofs are often shorter and more transparent than their Euclidean counterparts.

SECTION 2

Core Principles & Definitions

Before diving into proofs, you need a handful of foundational ideas. These principles are the toolkit that makes every vector proof work. Master them, and each proof becomes a matter of careful algebra rather than inspired geometric insight.

Position Vectors

Every point P in space can be described by a position vector p measured from a chosen origin O. The displacement from point A to point B is b − a.

Vector Addition & Scalar Multiplication

Vectors add tip-to-tail: AB + BC = AC. Multiplying by a scalar k stretches (or reverses) a vector. If v = kw, then v is parallel to w.

Midpoint Formula

The midpoint M of segment AB has position vector m = ½(a + b). This formula is used in almost every vector proof involving midpoints or medians.

Parallelism Condition

Two vectors u and v are parallel if and only if u = λv for some non-zero scalar λ. This is the key test for parallel lines in vector proofs.

Section Formula (Division of a Segment)

A point P dividing AB in the ratio m : n has position vector p = (na + mb) / (m + n). Setting m = n = 1 recovers the midpoint formula.

✦ KEY TAKEAWAY

Think of a vector proof like giving someone directions using only "go this many blocks east" and "go this many blocks north." You never mention angles or landmarks — you just combine simple instructions (add, scale, subtract) and show that two sets of instructions end up at the same place or point in the same direction. That's the entire strategy: translate geometry into algebra, simplify, and read off the result.

SECTION 3

Visual Explanation — The Midpoint Theorem

The Midpoint Theorem states that the segment connecting the midpoints of two sides of a triangle is parallel to the third side and half its length. This is a perfect first vector proof because it uses only position vectors, the midpoint formula, and the parallelism condition. The diagram below illustrates the setup.

Triangle ABC with vertices labelled by their position vectors a, b, c. M and N are the midpoints of AC and BC respectively. The dashed amber segment MN is shown to be parallel to AB and half its length.

In the diagram, M is the midpoint of AC, so m = ½(a + c), and N is the midpoint of BC, so n = ½(b + c). The displacement vector from M to N is n − m = ½(b + c) − ½(a + c) = ½(b − a). Since b − a is exactly the vector from A to B, we see that MN is a scalar multiple (½) of AB. This proves MN is parallel to AB and exactly half its length — the Midpoint Theorem, proved in three lines of algebra.

SECTION 4

Mathematical Framework

Every vector proof follows a common recipe. You set up position vectors for the vertices, express the points of interest (midpoints, centroids, intersection points) in terms of those vectors, then simplify to reveal the geometric relationship. The equations below summarize the key formulas you will use repeatedly.

DISPLACEMENT VECTOR

AB⃗ = b − a

where a and b are the position vectors of points A and B. This is the starting point for every proof.

MIDPOINT FORMULA

m = ½(a + b)

The position vector of the midpoint M of segment AB. Appears in proofs of the midpoint theorem, medians, and parallelogram properties.

SECTION FORMULA (ratio m : n)

p = (n·a + m·b) / (m + n)

Point P divides segment AB internally in the ratio m : n. When m = n = 1, this reduces to the midpoint. When m = 2, n = 1, P is located ⅔ of the way from A to B — exactly the centroid ratio along a median.

CENTROID OF A TRIANGLE

g = ⅓(a + b + c)

The centroid G (intersection of the medians) has position vector equal to the arithmetic mean of the three vertex position vectors. This elegant formula falls out directly from a vector proof.

📋 Proof Strategy Checklist

1. Assign position vectors to all vertices. 2. Express any special points (midpoints, centroids) using the formulas above. 3. Write the displacement vector between relevant points. 4. Simplify using algebra. 5. Interpret the result: a scalar multiple means parallelism; equal vectors mean coincidence; a factor tells you the length ratio.

SECTION 5

Catalogue of Classic Vector Proofs

The IB HL syllabus expects you to be able to prove several classical geometry results using vectors. The diagram below shows one of the most important: that the three medians of any triangle are concurrent (they all pass through a single point, the centroid). Following the diagram is a reference table summarizing the key vector proofs you should know.

The three medians of triangle ABC (each joining a vertex to the midpoint of the opposite side) all pass through the centroid G, whose position vector is ⅓(a + b + c). Each median is divided by G in the ratio 2 : 1 from vertex to midpoint.

Classic geometric theorems provable with vectors

Theorem	What You Prove	Key Vector Result
Midpoint Theorem	The segment joining midpoints of two sides is parallel to the third side and half its length.	MN = ½(b − a), which is ½ × AB⃗
Medians Concurrency	The three medians of a triangle meet at a single point (centroid).	All three median parametrizations give g = ⅓(a + b + c) at parameter t = ⅔.
Parallelogram Diagonals	The diagonals of a parallelogram bisect each other.	Midpoint of AC = midpoint of BD = ½(a + b + d) (with appropriate labelling).
Midpoints Form a Parallelogram	The midpoints of the sides of any quadrilateral form a parallelogram (Varignon's theorem).	Opposite sides of the midpoint quadrilateral are both equal to ½ of the same diagonal vector.

SECTION 6

Worked Example — Proving the Medians are Concurrent

Let's prove that the three medians of a triangle all pass through the point G with position vector g = ⅓(a + b + c). We will show this by parametrizing two different medians and demonstrating they intersect at the same point, then verifying the third median also passes through it.

Proof: Concurrency of Medians

Step 1 — Define Position VectorsLet triangle ABC have vertices with position vectors a, b, and c relative to some origin O. The midpoint of BC is M₁ = ½(b + c). The midpoint of AC is M₂ = ½(a + c).

M₁ = ½(b + c), M₂ = ½(a + c)

Step 2 — Parametrize the Median from AThe median from A to M₁ can be written as a parametric line: r₁ = a + t(M₁ − a) = a + t[½(b + c) − a] = (1 − t)a + ½t·b + ½t·c. When t = 0 we are at A, and when t = 1 we are at M₁.

Step 3 — Parametrize the Median from BThe median from B to M₂ can be written as: r₂ = b + s(M₂ − b) = ½s·a + (1 − s)b + ½s·c. When s = 0 we are at B, and when s = 1 we are at M₂.

Step 4 — Find the IntersectionSet r₁ = r₂ and compare coefficients of a, b, and c. For a: (1 − t) = ½s. For b: ½t = (1 − s). For c: ½t = ½s, which gives t = s. Substituting into the equation for b: ½t = 1 − t, so ³⁄₂ t = 1, giving t = ⅔ and s = ⅔.

t = s = ⅔

Step 5 — Compute the Intersection PointSubstituting t = ⅔ into r₁: g = (1 − ⅔)a + ½(⅔)b + ½(⅔)c = ⅓a + ⅓b + ⅓c.

g = ⅓(a + b + c)

Step 6 — Verify the Third MedianThe median from C to the midpoint of AB, which is ½(a + b), is parametrized by r₃ = c + u[½(a + b) − c]. Setting u = ⅔ gives r₃ = ⅓c + ⅓(a + b) = ⅓(a + b + c) = g. Since the third median also passes through the same point at u = ⅔, all three medians are concurrent at G.

All three medians pass through G = ⅓(a + b + c). QED.

💡 Bonus Observation

Notice that each median is divided by the centroid in the ratio 2 : 1 from the vertex. Since t = ⅔ on the median from A, the point G is two-thirds of the way from A to M₁. This 2 : 1 ratio is a standard IB exam fact.

SECTION 7

Vector Proofs vs. Traditional Euclidean Proofs

You might wonder why we bother with vector proofs when Euclidean methods already work. Both approaches have strengths, and understanding the trade-offs will help you choose the right tool on an exam. The table below compares them side by side.

Comparison of proof approaches

Feature	Vector Proof	Euclidean (Synthetic) Proof
Setup cost	Must assign position vectors and express points algebraically — a few lines of notation.	Usually starts from the diagram directly; minimal algebraic setup.
Proof mechanics	Algebraic manipulation — expand, simplify, factor. Systematic and procedural.	Geometric reasoning — congruence, similarity, angle arguments. Requires insight.
Risk of errors	Sign errors or wrong coefficients; checked by matching coefficients of independent vectors.	Logical gaps or unstated assumptions; harder to self-check.
Generality	Works in any dimension (2D or 3D) without modification.	Often restricted to 2D unless extended with solid geometry axioms.
Elegance	Compact and uniform, but can feel mechanical.	Can be very elegant, but the "right" construction isn't always obvious.

✦ KEY TAKEAWAY

Think of Euclidean proofs like navigating by landmarks: 'Turn left at the church, right at the bridge.' Vector proofs are like GPS coordinates: less scenic, but you can always compute the exact route. On the IB exam, the question will tell you which method to use — if it says 'using vectors,' you know the game plan: assign position vectors, do algebra, interpret.

SECTION 8

Connections to Advanced Theory

Vector proofs at the HL level open the door to more powerful ideas you may encounter in university mathematics and physics. The table below links the concepts you've learned here to their advanced counterparts.

From HL vectors to university-level mathematics

HL Concept	Advanced Extension	Where It Leads
Position vectors & displacement	Affine combinations & barycentric coordinates	Computer graphics, finite element analysis
Parallelism via scalar multiples	Linear independence & spanning sets	Linear algebra, vector spaces, machine learning
Centroid as ⅓(a + b + c)	Centre of mass for n particles	Physics (mechanics), statistics (mean of data)
Dot product for perpendicularity	Inner product spaces, orthogonal projections	Quantum mechanics, signal processing

One particularly beautiful extension is barycentric coordinates. Instead of measuring from a fixed origin, you express every point in the plane as a weighted average of a triangle's vertices: P = αA + βB + γC, where α + β + γ = 1. The centroid corresponds to α = β = γ = ⅓. This system is widely used in computer graphics for texture mapping and in finite element methods for engineering simulations. Your IB vector proofs are the first step toward understanding this powerful framework.

SECTION 9

Practice Problems

PROBLEM 1 — CONCEPTUAL

In a vector proof, what does it mean geometrically if you show that vector PQ = k × RS for some non-zero scalar k? What additional information does the sign and magnitude of k give you?

PROBLEM 2 — BASIC CALCULATION

Triangle PQR has vertices with position vectors p, q, and r. M is the midpoint of QR and N is the midpoint of PR. Find the vector MN in terms of p, q, and r, and state what this proves.

PROBLEM 3 — INTERMEDIATE

In parallelogram ABCD, the position vectors of A, B, and D are a, b, and d respectively. (a) Express the position vector of C. (b) Prove, using vectors, that the diagonals AC and BD bisect each other.

PROBLEM 4 — APPLIED

A surveyor marks four boundary posts of a field at coordinates A(0, 0), B(8, 2), C(10, 8), and D(2, 6) — a general quadrilateral. She connects the midpoints of the four sides to form a smaller quadrilateral. Using vectors, prove that this inner quadrilateral is a parallelogram. (This result is known as Varignon's theorem.)

PROBLEM 5 — CRITICAL THINKING

Let G be the centroid of triangle ABC with position vectors a, b, c. A point X lies on the median from A such that AX⃗ = t × AM₁⃗ where M₁ is the midpoint of BC. (a) Show that the position vector of X is x = (1 − t)a + ½t(b + c). (b) Show that if X also lies on the median from B to the midpoint M₂ of AC, then t must equal ⅔. (c) Hence prove that X = G. (d) Extend the argument: explain in one or two sentences why this approach guarantees that all three medians are concurrent, without separately checking the third.

SUMMARY

Summary & Key Concepts

Vector proofs translate geometric statements into algebra by assigning position vectors to vertices and expressing special points using the midpoint formula m = ½(a + b) and the section formula p = (na + mb)/(m + n). The core strategy is to compute displacement vectors between points of interest, then simplify. If the result is a scalar multiple of another known vector, you have proven parallelism (and the scalar gives the length ratio). If two expressions equal the same vector, you have proven concurrency or coincidence.

Key results you should be able to prove include the Midpoint Theorem (the midsegment is parallel to the third side and half its length), the concurrency of medians at the centroid G = ⅓(a + b + c), that parallelogram diagonals bisect each other, and Varignon's theorem (midpoints of any quadrilateral's sides form a parallelogram). Remember: every proof follows the same recipe — set up, simplify, interpret.