Skip to main content
ExamExplained
NSW · Maths Extension 2
Maths Extension 2 study scene
§-Syllabus dot point
NSWMaths Extension 2Syllabus dot point

How can vector methods prove classical geometric results such as concurrency, midpoint theorems and properties of parallelograms more cleanly than coordinate geometry?

Prove geometric results using vectors, including properties of triangles, parallelograms and the diagonals of quadrilaterals, by expressing points as position vectors

A focused answer to the HSC Maths Extension 2 dot point on vector geometric proofs. Position vectors and the four-step tactic, the parallel, collinear and perpendicular tests, the midpoint and section formulas, proofs of classical 2D results, and proofs about 3D figures such as the cube, with verified worked examples and diagrams.

Reviewed by: AI editorial process; not yet individually human-reviewed

Have a quick question? Jump to the Q&A page

Jump to a section
  1. What this dot point is asking
  2. Position vectors and segments
  3. The four-step tactic (use this every time)
  4. The midpoint and section formulas
  5. Collinearity
  6. Using the scalar product for angles and lengths
  7. Proofs about three-dimensional figures
  8. How exam questions ask about vector proofs

What this dot point is asking

NESA wants you to prove geometric theorems using vectors rather than coordinate or Euclidean methods. You represent each point by a position vector, express segments as differences of position vectors, and translate geometric facts (parallel, collinear, equal length, perpendicular, midpoint) into vector statements. The proof then follows from vector algebra and the scalar product. The appeal is that one or two lines of algebra often replace a page of coordinate work, and the result holds for any configuration, including in three dimensions where coordinate geometry becomes unwieldy.

Position vectors and segments

Fix an origin OO. Every point PP then corresponds to a position vector p=OP\mathbf{p} = \overrightarrow{OP}. The directed segment from AA to BB is

AB=ba.\overrightarrow{AB} = \mathbf{b} - \mathbf{a}.

This single identity is the engine of vector geometry. Two segments AB\overrightarrow{AB} and CD\overrightarrow{CD} are parallel exactly when ba=λ(dc)\mathbf{b} - \mathbf{a} = \lambda(\mathbf{d} - \mathbf{c}) for some scalar λ\lambda. They are equal in length when ba=dc|\mathbf{b} - \mathbf{a}| = |\mathbf{d} - \mathbf{c}|, and perpendicular when (ba)(dc)=0(\mathbf{b} - \mathbf{a}) \cdot (\mathbf{d} - \mathbf{c}) = 0.

The four-step tactic (use this every time)

Vector proofs all follow the same shape. Treat it as a fixed procedure:

  1. Assign a position vector to every labelled point (and, if it helps, put the origin at a useful vertex so one or more vectors become 0\mathbf{0}).
  2. Express the displacement vectors the question is about, using XY=yx\overrightarrow{XY} = \mathbf{y} - \mathbf{x}.
  3. Compute the algebraic relation that encodes the geometric claim: an equality, a scalar multiple, or a zero scalar product.
  4. Conclude by translating that relation back into the geometric statement, in words.

The skill is matching the geometric claim to the right algebraic relation in step 3. Here is the dictionary.

The midpoint and section formulas

The midpoint MM of segment ABAB has position vector

m=12(a+b).\mathbf{m} = \tfrac{1}{2}(\mathbf{a} + \mathbf{b}).

More generally, the point PP dividing ABAB internally in the ratio m:nm:n (so AP:PB=m:nAP:PB = m:n) has position vector

p=na+mbm+n.\mathbf{p} = \frac{n\mathbf{a} + m\mathbf{b}}{m + n}.

This follows because AP=mm+nAB\overrightarrow{AP} = \frac{m}{m+n}\overrightarrow{AB}, so p=a+mm+n(ba)\mathbf{p} = \mathbf{a} + \frac{m}{m+n}(\mathbf{b} - \mathbf{a}), which simplifies to the stated form. The cross-over of the labels is worth memorising: the point nearer BB (large mm) carries the weight mm on b\mathbf{b}. The midpoint is just the case m:n=1:1m:n = 1:1.

Collinearity

Three points AA, BB, CC are collinear when one displacement is a scalar multiple of another and they share a point: AB=λAC\overrightarrow{AB} = \lambda\,\overrightarrow{AC}. The shared vertex AA is what upgrades "parallel" to "on the same line", since two parallel vectors that share an endpoint must lie along one line through that endpoint.

Three collinear points Points A, B and C lie on one line. To prove this, show the vector AB is a scalar multiple of the vector AC; the shared point A then forces all three onto the same line. AC AB O A B C Collinear if AB = λ AC: the shared point A pins all three to one line.

Using the scalar product for angles and lengths

When perpendicularity or equal lengths appear, the scalar product is decisive. The key identities are

u+v2=u2+2uv+v2,uv=0    uv.|\mathbf{u} + \mathbf{v}|^2 = |\mathbf{u}|^2 + 2\,\mathbf{u}\cdot\mathbf{v} + |\mathbf{v}|^2, \qquad \mathbf{u}\cdot\mathbf{v} = 0 \iff \mathbf{u} \perp \mathbf{v}.

The first turns a length statement into an algebraic one (expand the square with vv=v2\mathbf{v}\cdot\mathbf{v} = |\mathbf{v}|^2); the second is the perpendicularity test. Together they prove, for example, that a triangle inscribed in a semicircle has a right angle at the circumference, by placing the centre at the origin and showing two radii-based vectors have zero scalar product.

Proofs about three-dimensional figures

In Extension 2 the same machinery proves properties of solids: cubes, rectangular boxes and pyramids. The move is identical, only now the position vectors are three-component. The natural setup for a box is to put one vertex at the origin and call the three edges from it a\mathbf{a}, b\mathbf{b}, c\mathbf{c}; every other vertex is then a sum of these, and the space diagonal is a+b+c\mathbf{a} + \mathbf{b} + \mathbf{c}.

A box for a vector proof A rectangular box with vertex O at the front-bottom-left. The three edges from O along the width, height and depth are the vectors a, b and c. The space diagonal OG equals a plus b plus c. OG = a + b + c O A B C G Edges OA = a, OB = b, OC = c; the space diagonal is a + b + c.

With the edges mutually perpendicular and equal in length (a cube), ab=bc=ca=0\mathbf{a}\cdot\mathbf{b} = \mathbf{b}\cdot\mathbf{c} = \mathbf{c}\cdot\mathbf{a} = 0 and a=b=c|\mathbf{a}| = |\mathbf{b}| = |\mathbf{c}|. These two facts collapse most cube proofs to a couple of lines, as the worked example shows.

How exam questions ask about vector proofs

  • "Show that XX, YY, ZZ are collinear": show XY=λXZ\overrightarrow{XY} = \lambda\,\overrightarrow{XZ}, then state they share the point XX.
  • "Show that PP lies on the line through AA and BB": write OP=OA+tAB\overrightarrow{OP} = \overrightarrow{OA} + t\,\overrightarrow{AB} for some scalar tt.
  • "Prove that PQRSPQRS is a parallelogram": show one pair of opposite sides are equal vectors, PQ=SR\overrightarrow{PQ} = \overrightarrow{SR}.
  • "Prove the diagonals bisect each other": show the midpoints of the two diagonals have the same position vector.
  • "PP divides ABAB in the ratio m:nm:n; find its position vector": apply the section formula na+mbm+n\frac{n\mathbf{a} + m\mathbf{b}}{m+n}.
  • "Show that the angle ... is a right angle" or "... edges are perpendicular": show the relevant scalar product is zero, expanding with vv=v2\mathbf{v}\cdot\mathbf{v} = |\mathbf{v}|^2 where needed.

Exam-style practice questions

Practice questions written in the style of NESA exam questions on this dot point, with worked answer explainers. The year tag is the paper they imitate, not the source.

2023 HSC2 marksThe quadrilaterals ABCD and ABEF are parallelograms. By considering AB, show that CDFE is also a parallelogram.
Show worked answer →

Use the fact that in a parallelogram, opposite sides are equal and parallel as vectors.

In parallelogram ABCD, side AB equals side DC: AB = DC.

In parallelogram ABEF, side AB equals side FE: AB = FE.

Since both equal AB, transitivity gives DC = FE.

So in the quadrilateral CDFE the side DC is equal and parallel to the side FE. A quadrilateral with one pair of opposite sides equal and parallel is a parallelogram.

Therefore CDFE is a parallelogram.

Mark notes: 1 mark for expressing AB = DC and AB = FE from the two parallelograms, 1 mark for deducing DC = FE and concluding CDFE is a parallelogram.

2021 HSC4 marksABCDS is a pyramid where ABCD is a square whose diagonals bisect each other at H. (i) Show that HA + HB + HC + HD = 0. Let G be the point such that GA + GB + GC + GD + GS = 0. (ii) Using part (i), show that 4 GH + GS = 0. (iii) Find the value of L such that HG = L HS.
Show worked answer →

Part (i). H is the midpoint of both diagonals AC and BD, so HA = -HC and HB = -HD. Adding,
HA + HB + HC + HD = (HA + HC) + (HB + HD) = 0 + 0 = 0.

Part (ii). For any point X, GX = GH + HX. Sum over A, B, C, D:
GA + GB + GC + GD = 4 GH + (HA + HB + HC + HD) = 4 GH + 0 = 4 GH (using part (i)).
The defining condition is GA + GB + GC + GD + GS = 0, so 4 GH + GS = 0.

Part (iii). From 4 GH + GS = 0 we get GS = -4 GH = 4 HG (since GH = -HG).
Now HS = HG + GS = HG + 4 HG = 5 HG.
Therefore HG = (1/5) HS, so L = 1/5.

Mark notes: 1 mark for part (i); 2 marks for part (ii) (writing GX = GH + HX and using part (i)); 1 mark for part (iii) giving L = 1/5.

2024 HSC1 marksLet a = OA, b = OB, where O is the origin and A, B are different from each other and the origin. The point M is such that (1/2)(a + b) = OM. Show that M lies on the line passing through A and B.
Show worked answer →

A point lies on the line through A and B if its position vector can be written as OA + t AB for some scalar t.

OM = (1/2)(a + b) = (1/2) a + (1/2) b.

Write this in terms of OA = a and AB = b - a:
OM = a + (1/2)(b - a) = OA + (1/2) AB.

This is of the form OA + t AB with t = 1/2, so M lies on the line through A and B (it is in fact the midpoint of AB).

Mark notes: 1 mark for expressing OM as OA + (1/2) AB, showing M is on line AB.

ExamExplained