IB Maths AA HL Topic 3 β€” Geometry & Trigonometry Paper 1 & 2 ~7 min read HL only

Geometric Proof with Vectors

Vectors give you a clean toolkit for geometry: parallel means scalar multiple; perpendicular means dot product zero; equal length means equal magnitude; same point means equal position vectors. Combine these to prove shapes, find midpoints, and show points are collinear.

πŸ“˜ What you need to know

The proof toolkit

To prove…Show that…
two vectors are parallelv = kw, OR v Γ— w = 0
two vectors are perpendicularv Β· w = 0
two vectors are equal length\|v\| = \|w\|
two segments are equal & parallelv = w, OR v = βˆ’w
three points are collineartwo of AB, AC, BC are parallel
M is the midpoint of ABm = Β½(a + b), or AM = Β½AB

Identifying quadrilaterals

ShapeVector conditions to prove it
Parallelogramopposite sides equal: AB = DC AND AD = BC
Rectangleparallelogram + adjacent sides perpendicular (AB Β· AD = 0)
Rhombusparallelogram + adjacent sides equal length (\|AB\| = \|AD\|)
Squareparallelogram + adjacent sides perpendicular AND equal length
Trapeziumonly one pair of opposite sides parallel
For ABCD going around the shape, “opposite sides” means AB ↔ DC and AD ↔ BC. Watch the labelling direction: AB and DC point the same way around the parallelogram.

Midpoints and division of a line

Midpoint of AB m = 12(a + b)
Point dividing AB in ratio p:q AX = pp+q AB

The midpoint formula is the special case p = q = 1, giving 12(a + b). For an unequal split, p:q means X is p/(p+q) of the way from A to B.

🧭 Recipe β€” prove a quadrilateral ABCD is a parallelogram

  1. Compute the four side vectors: AB, BC, CD, DA.
  2. Check opposite-side equality: AB = DC (or equivalently AB = βˆ’CD).
  3. Check the other pair: AD = BC (or AD = βˆ’DA reversed).
  4. If both pairs match β†’ parallelogram.
  5. For rectangle/rhombus/square, add the perpendicular and/or equal-length checks on adjacent sides.

Worked examples

WE 1

Find the midpoint of a line segment

Find the midpoint M of the line segment joining A(2, βˆ’1, 4) and B(8, 3, βˆ’2).

Apply m = Β½(a + b) m = Β½((2, βˆ’1, 4) + (8, 3, βˆ’2)) = Β½(10, 2, 2) M(5, 1, 1) just average each coordinate β€” that’s all the midpoint formula does
WE 2

Find a point dividing a segment in a given ratio

The point P lies on segment AB and divides it in the ratio 2 : 1, where A(1, 0, 5) and B(7, 6, βˆ’1). Find the coordinates of P.

Step 1: AB = b βˆ’ a AB = (6, 6, βˆ’6) Step 2: AP = (2/3)AB (since p:q = 2:1) AP = (2/3)(6, 6, βˆ’6) = (4, 4, βˆ’4) Step 3: P = A + AP P = (1+4, 0+4, 5βˆ’4) P(5, 4, 1) P is 2/3 of the way from A to B (closer to B)
WE 3

Show three points are collinear

The points A, B, and C have coordinates (2, 0, 3), (5, βˆ’1, 1), and (11, βˆ’3, βˆ’3) respectively. Show that A, B, and C are collinear.

Step 1: Compute AB and AC AB = B βˆ’ A = (3, βˆ’1, βˆ’2) AC = C βˆ’ A = (9, βˆ’3, βˆ’6) Step 2: Check ratios 9/3 = 3; βˆ’3/βˆ’1 = 3; βˆ’6/βˆ’2 = 3 Step 3: AC = 3 AB β†’ AB and AC parallel; share point A A, B, C are collinear parallel displacements + shared point = on the same line
WE 4

Prove a quadrilateral is a parallelogram

Use vectors to prove that ABCD with A(1, 2, βˆ’1), B(4, 5, 1), C(6, 8, 5), D(3, 5, 3) is a parallelogram.

Step 1: Compute the four side vectors AB = B βˆ’ A = (3, 3, 2) DC = C βˆ’ D = (3, 3, 2) AD = D βˆ’ A = (2, 3, 4) BC = C βˆ’ B = (2, 3, 4) Step 2: Compare opposite sides AB = DC βœ“    and    AD = BC βœ“ ABCD is a parallelogram two pairs of opposite sides equal as vectors β†’ parallelogram
WE 5

Prove a quadrilateral is a rectangle

Use vectors to prove that ABCD with A(0, 0, 0), B(1, 2, 2), C(3, 1, 2), D(2, βˆ’1, 0) is a rectangle but not a square.

Step 1: Show it’s a parallelogram AB = (1, 2, 2); DC = C βˆ’ D = (1, 2, 2) βœ“ AD = (2, βˆ’1, 0); BC = (2, βˆ’1, 0) βœ“ Step 2: Show adjacent sides perpendicular AB Β· AD = (1)(2) + (2)(βˆ’1) + (2)(0) = 0 βœ“ Step 3: Show side lengths differ (not square) |AB| = √(1 + 4 + 4) = 3 |AD| = √(4 + 1 + 0) = √5 ABCD is a rectangle (not a square, since 3 β‰  √5) rectangle = parallelogram + perpendicular adjacent sides; equal lengths would make it a square
WE 6

Find an endpoint given a midpoint

The point M(3, βˆ’1, 4) is the midpoint of segment AB. Given that A has coordinates (1, 2, βˆ’3), find the coordinates of B.

Step 1: Use m = Β½(a + b) β†’ b = 2m βˆ’ a b = 2(3, βˆ’1, 4) βˆ’ (1, 2, βˆ’3) = (6, βˆ’2, 8) βˆ’ (1, 2, βˆ’3) = (5, βˆ’4, 11) B(5, βˆ’4, 11) Sanity check: midpoint of A and B Β½((1, 2, βˆ’3) + (5, βˆ’4, 11)) = Β½(6, βˆ’2, 8) = (3, βˆ’1, 4) βœ“

πŸ’‘ Top tips

⚠ Common mistakes

That closes Vector Properties. Up next: Vector Equations of Lines. A line in 3D is described as r = a + Ξ»d β€” a starting point plus a direction vector multiplied by a parameter. The same idea opens up parallel lines, intersection problems, and shortest-distance calculations.

Need help with Vector Geometric Proofs?

Get 1-on-1 help from an IB examiner who knows exactly what Paper 1 & 2 are looking for.

Book Free Session β†’