Vector Algebra
If , does ? If , does ?
Neither, and each fails for its own reason.
Take , and . Both dot products are zero, yet : the dot product sees only the component along , and both vectors have none.
Now take , and . Both cross products equal , yet again : the cross product ignores any component along , and the two differ by exactly such a component.
The two failures are complementary, which is why the two conditions together do succeed. If both hold, then is perpendicular to by the first and parallel to by the second. A non-zero vector cannot be both, so .
There is no division by a vector, no cancellation, and — as the next sections show — no associativity for the cross product either. Vector algebra is not ordinary algebra with arrows, and Advanced tests exactly the places where the two part company.
1. The dot product measures a projection
For non-zero vectors, , so the dot product is the length of 's shadow on , scaled by . The projection itself is , and the vector projection of along is
Splitting a vector into these two pieces is the standard opening move for any question about components, reflections or distances.
Illustration 1
Resolve into components parallel and perpendicular to .
and , so
That is . Checking, , as it must be.
Illustration 2
Show that if and only if and are perpendicular.
Squaring both sides and expanding with the dot product,
so . Geometrically the two sides are the diagonals of a parallelogram, and they are equal exactly when it is a rectangle.
2. The cross product measures an area
The cross product has magnitude — the area of the parallelogram they span — and direction perpendicular to both, given by the right-hand rule. So the area of the triangle with two sides and is .
Two consequences are used constantly. The cross product is anticommutative, , and it vanishes exactly when the vectors are parallel, just as the dot product vanishes exactly when they are perpendicular.
Illustration 3
Find the area of the triangle with vertices , and .
and , so
Its magnitude is , so the area is .
Illustration 4
Show that the cross product is not associative.
Take and . Then , while .
The two bracketings give different answers, so the expression is meaningless without brackets. This is not a curiosity: it is why the vector triple product has two distinct expansions.
A note on notation that saves time in the exam. In components, is the determinant with in the first row and the two vectors beneath, and the scalar triple product is the plain determinant of the three component rows.
Every property of determinants therefore transfers directly: a repeated row gives zero, swapping two rows changes the sign, and a row that is a combination of the others makes the whole thing vanish. Reading the products as determinants is usually faster than recalling their vector identities separately.
3. The scalar triple product measures a volume
The number equals, up to sign, the volume of the parallelepiped spanned by the three vectors. Its properties all follow from that reading.
It is unchanged by a cyclic rotation of the three vectors and changes sign under any swap, since a swap reverses the orientation of the box. It vanishes exactly when the three vectors are coplanar, because the box then has no thickness — and this is the test for linear dependence of three vectors in space.
Illustration 5
Show that .
Expand the cross product first: , since .
Dotting with , every term containing a repeated vector dies, leaving . Both are by cyclic symmetry, so the total is .
The whole calculation rests on two facts: a repeated vector kills a triple product, and cyclic rotations leave it unchanged.
Illustration 6
Determine whether , and are linearly independent.
Their triple product is the determinant
so the three are independent and span all of space. Had the determinant vanished, they would have been coplanar and one would have been a combination of the other two.
4. The vector triple product, where brackets matter
Because the cross product is not associative, the two bracketings of expand differently:
The pattern is worth reading geometrically rather than memorising as letters. In each case the answer lies in the plane of the two vectors inside the inner bracket, because it is perpendicular to that bracket's cross product. So is a combination of and , and is a combination of and — which fixes which two vectors appear in the expansion before any coefficient is written.
One further identity ties the two products together. For any four vectors,
which follows by expanding the left side with the vector triple product. Setting and gives
which is just in disguise, and is the quickest route whenever a question supplies one product and asks for the other.
Illustration 7
Simplify .
Using the expansion on the first term, , and by symmetry each of the other two vanishes as well. The sum is .
Directly, and , which agrees — a useful check that the expansion is being applied with the vectors in the right roles.
Illustration 8
Solve for : and , where .
The first equation gives , so is parallel to and for some scalar. Substituting into the second,
so . The pattern is the one from the opening: a cross-product equation determines a vector only up to a multiple of , and a second scalar condition is needed to pin it down.
5. Geometry without coordinates
A vector proof of a geometric fact avoids choosing axes, which is usually where coordinate proofs become long. Two devices carry most of these arguments: writing every point as a position vector from one chosen origin, and using the fact that points along the internal bisector of the angle between and .
Illustration 9
Prove that the diagonals of a rhombus are perpendicular.
Let two adjacent sides be and with . The diagonals are and , and
Two lines with no coordinates at all, and the converse reads off the same identity: equal side lengths and perpendicular diagonals are the same statement.
Illustration 10
Prove that the three medians of a triangle are concurrent, and find the point.
Take position vectors for the vertices. The midpoint of is , and the point two thirds of the way along that median from is
The expression is symmetric in the three vertices, so the same point lies on all three medians. That symmetry is the proof of concurrency, and it names the centroid at the same time.
Illustration 11
Find a vector along the internal bisector of the angle between and .
Normalise first: and , so
That is , or after scaling. Adding the vectors without normalising first would give the diagonal of a parallelogram with unequal sides, which is not the bisector.
6. Points, ratios and collinearity
The point dividing in the ratio internally has position vector , and externally the same expression with replaced by . Setting recovers the midpoint.
Three points are collinear when , and four are coplanar when . Both tests are the vanishing of a product rather than the solving of an equation, which is what makes them quick.
Illustration 12
Show that , and are collinear, and find the ratio in which divides .
and , so the cross product vanishes and the three are collinear.
Since , the point lies between and with , so divides internally in the ratio . Checking with the section formula, , which is .
7. Vectors in lines and planes
A line through with direction is , and it can also be written without a parameter as . A plane through with normal is ; a plane containing two directions and has .
Illustration 13
Find the vector equation of the plane through containing the directions and .
The normal is
So the plane is , or equivalently . Substituting confirms it.
Illustration 14
Find the moment about the origin of a force acting at the point .
The moment is :
The order matters: would give the negative, describing a rotation the other way. This is the clearest physical reason the cross product is anticommutative.
Summary
Vectors do not support cancellation. The dot product ignores everything perpendicular to and the cross product ignores everything parallel to it, so neither equation alone determines ; together they do, because a vector cannot be both parallel and perpendicular to a non-zero vector.
The dot product measures a projection, and splitting a vector into parts parallel and perpendicular to another is the standard first move. The cross product measures the area of a parallelogram, is anticommutative, and vanishes for parallel vectors just as the dot product vanishes for perpendicular ones.
The scalar triple product is a signed volume: cyclic rotations leave it unchanged, swaps reverse its sign, a repeated vector kills it, and it vanishes exactly when the three vectors are coplanar, which is also the test for linear dependence.
The cross product is not associative, so the two bracketings of a triple cross product expand differently — and the reliable way to remember which is that the answer always lies in the plane of the two vectors inside the inner bracket.
Lagrange's identity relates the two products, and its special case converts one into the other in a single line.
A cross-product equation determines a vector only up to a multiple of the vector it is crossed with, so a second scalar condition is always needed. A point dividing a segment in a given ratio is a weighted average of the endpoints, and collinearity and coplanarity are the vanishing of a cross product and a triple product respectively — tests rather than equations to solve.
For geometry, position vectors from a single origin and the bisector direction turn most classical results into two or three lines, with symmetry of the final expression often serving as the proof itself.
