The Vector (Cross) Product

The second way to multiply vectors outputs a vector:

a⃗×b⃗=∣a⃗∣ ∣b⃗∣sin⁡θ  n^\vec{a} \times \vec{b} = |\vec{a}|\,|\vec{b}|\sin\theta\;\hat{n}

where θ\theta (0≤θ≤π0 \leq \theta \leq \pi) is the angle between the vectors and n^\hat{n} is the unit vector perpendicular to both a⃗\vec{a} and b⃗\vec{b}, chosen so that a⃗,b⃗,n^\vec{a}, \vec{b}, \hat{n} form a right-handed system: curl the right hand's fingers from a⃗\vec{a} towards b⃗\vec{b}, and the thumb points along n^\hat{n}. If either vector is 0⃗\vec{0}, define a⃗×b⃗=0⃗\vec{a} \times \vec{b} = \vec{0}.

Cross product perpendicular to a parallelogram and the i j k cycle

Observations

  1. a⃗×b⃗\vec{a} \times \vec{b} is a vector (the dot product was a scalar).
  2. Parallel test: for nonzero vectors, a⃗×b⃗=0⃗  ⟺  a⃗∥b⃗\vec{a} \times \vec{b} = \vec{0} \iff \vec{a} \parallel \vec{b} (then sin⁡θ=0\sin\theta = 0). In particular a⃗×a⃗=0⃗\vec{a} \times \vec{a} = \vec{0}.
  3. θ=π2\theta = \dfrac{\pi}{2} gives the maximum magnitude ∣a⃗∣∣b⃗∣|\vec{a}||\vec{b}|.
  4. The cycle: i^×j^=k^\hat{i} \times \hat{j} = \hat{k}, j^×k^=i^\hat{j} \times \hat{k} = \hat{i}, k^×i^=j^\hat{k} \times \hat{i} = \hat{j}; each self-cross is 0⃗\vec{0}; and against the cycle the sign flips: j^×i^=−k^\hat{j} \times \hat{i} = -\hat{k}, k^×j^=−i^\hat{k} \times \hat{j} = -\hat{i}, i^×k^=−j^\hat{i} \times \hat{k} = -\hat{j}.
  5. Angle via sine: sin⁡θ=∣a⃗×b⃗∣∣a⃗∣∣b⃗∣\sin\theta = \dfrac{\left|\vec{a} \times \vec{b}\right|}{|\vec{a}||\vec{b}|}.
  6. NOT commutative: a⃗×b⃗=−(b⃗×a⃗)\vec{a} \times \vec{b} = -\left(\vec{b} \times \vec{a}\right) — reversing the order reverses the thumb. It is distributive over addition, and scalars slide through: λ(a⃗×b⃗)=(λa⃗)×b⃗=a⃗×(λb⃗)\lambda\left(\vec{a} \times \vec{b}\right) = (\lambda\vec{a}) \times \vec{b} = \vec{a} \times (\lambda\vec{b}).

Key Point (dot vs cross in one line): cos⁡\cos goes with the dot and gives a scalar; sin⁡\sin goes with the cross and gives a vector. Perpendicular vectors maximise the cross and kill the dot; parallel vectors do the exact opposite.

Areas, and the Determinant Formula

Areas

  1. Triangle with adjacent sides a⃗\vec{a} and b⃗\vec{b}:

Area=12∣a⃗×b⃗∣\text{Area} = \frac{1}{2}\left|\vec{a} \times \vec{b}\right|

(base ∣a⃗∣|\vec{a}|, height ∣b⃗∣sin⁡θ|\vec{b}|\sin\theta — the cross product packages both).

  1. Parallelogram with adjacent sides a⃗\vec{a} and b⃗\vec{b}:

Area=∣a⃗×b⃗∣\text{Area} = \left|\vec{a} \times \vec{b}\right|

For a triangle given by vertices A,B,CA, B, C: form AB→\overrightarrow{AB} and AC→\overrightarrow{AC} first, then take half the magnitude of their cross product.

The determinant formula

Expanding (a1i^+a2j^+a3k^)×(b1i^+b2j^+b3k^)\left(a_1\hat{i} + a_2\hat{j} + a_3\hat{k}\right) \times \left(b_1\hat{i} + b_2\hat{j} + b_3\hat{k}\right) by distributivity and the cycle table collapses nine cross terms into the tidy determinant

a⃗×b⃗=∣i^j^k^a1a2a3b1b2b3∣=(a2b3−a3b2)i^−(a1b3−a3b1)j^+(a1b2−a2b1)k^\vec{a} \times \vec{b} = \begin{vmatrix} \hat{i} & \hat{j} & \hat{k} \\ a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \end{vmatrix} = \left(a_2b_3 - a_3b_2\right)\hat{i} - \left(a_1b_3 - a_3b_1\right)\hat{j} + \left(a_1b_2 - a_2b_1\right)\hat{k}

Key Point (the sign everyone forgets): the j^\hat{j}-component carries a minus sign from the cofactor expansion. Compute all three 2×22 \times 2 minors, then flip the middle one — chanting "plus, MINUS, plus" while expanding prevents the most common cross-product error in existence.

A useful identity

Squaring the definition and using sin⁡2θ=1−cos⁡2θ\sin^2\theta = 1 - \cos^2\theta:

∣a⃗×b⃗∣2+(a⃗⋅b⃗)2=∣a⃗∣2 ∣b⃗∣2\left|\vec{a} \times \vec{b}\right|^2 + \left(\vec{a} \cdot \vec{b}\right)^2 = |\vec{a}|^2\,|\vec{b}|^2

(Lagrange's identity) — it converts between dot and cross data without ever finding θ\theta itself.

Solved Examples

Example 1: A straight determinant computation

Find a⃗×b⃗\vec{a} \times \vec{b} and its magnitude for a⃗=2i^+j^+3k^\vec{a} = 2\hat{i} + \hat{j} + 3\hat{k}, b⃗=3i^+5j^−2k^\vec{b} = 3\hat{i} + 5\hat{j} - 2\hat{k}.

Solution:

  1. Determinant: a⃗×b⃗=∣i^j^k^21335−2∣=(−2−15)i^−(−4−9)j^+(10−3)k^\vec{a} \times \vec{b} = \begin{vmatrix} \hat{i} & \hat{j} & \hat{k} \\ 2 & 1 & 3 \\ 3 & 5 & -2 \end{vmatrix} = (-2 - 15)\hat{i} - (-4 - 9)\hat{j} + (10 - 3)\hat{k}.
  2. Simplify: −17i^+13j^+7k^-17\hat{i} + 13\hat{j} + 7\hat{k}.
  3. Magnitude: 289+169+49=507\sqrt{289 + 169 + 49} = \sqrt{507}.

Answer: a⃗×b⃗=−17i^+13j^+7k^\vec{a} \times \vec{b} = -17\hat{i} + 13\hat{j} + 7\hat{k}, ∣a⃗×b⃗∣=507\left|\vec{a} \times \vec{b}\right| = \sqrt{507} — note the minus applied to the j^\hat{j} minor turning (−4−9)(-4 - 9) into +13+13.


Example 2: A unit vector perpendicular to two vectors

Find a unit vector perpendicular to each of a⃗+b⃗\vec{a} + \vec{b} and a⃗−b⃗\vec{a} - \vec{b}, where a⃗=i^+j^+k^\vec{a} = \hat{i} + \hat{j} + \hat{k} and b⃗=i^+2j^+3k^\vec{b} = \hat{i} + 2\hat{j} + 3\hat{k}.

Solution:

  1. Build the two vectors: a⃗+b⃗=2i^+3j^+4k^\vec{a} + \vec{b} = 2\hat{i} + 3\hat{j} + 4\hat{k}, a⃗−b⃗=−j^−2k^\vec{a} - \vec{b} = -\hat{j} - 2\hat{k}.
  2. Cross them: ∣i^j^k^2340−1−2∣=−2i^+4j^−2k^\begin{vmatrix} \hat{i} & \hat{j} & \hat{k} \\ 2 & 3 & 4 \\ 0 & -1 & -2 \end{vmatrix} = -2\hat{i} + 4\hat{j} - 2\hat{k}.
  3. Normalise: magnitude =4+16+4=26= \sqrt{4 + 16 + 4} = 2\sqrt{6}, giving −16i^+26j^−16k^\dfrac{-1}{\sqrt{6}}\hat{i} + \dfrac{2}{\sqrt{6}}\hat{j} - \dfrac{1}{\sqrt{6}}\hat{k}.

Answer: ±16(−i^+2j^−k^)\pm\dfrac{1}{\sqrt{6}}\left(-\hat{i} + 2\hat{j} - \hat{k}\right) — every plane has two perpendicular directions; the second comes from crossing in the opposite order.


Example 3: Area of a triangle from vertices

Find the area of the triangle with vertices A(1,1,1)A(1, 1, 1), B(1,2,3)B(1, 2, 3), C(2,3,1)C(2, 3, 1).

Solution:

  1. Side vectors from one vertex: AB→=j^+2k^\overrightarrow{AB} = \hat{j} + 2\hat{k}, AC→=i^+2j^\overrightarrow{AC} = \hat{i} + 2\hat{j}.
  2. Cross: ∣i^j^k^012120∣=−4i^+2j^−k^\begin{vmatrix} \hat{i} & \hat{j} & \hat{k} \\ 0 & 1 & 2 \\ 1 & 2 & 0 \end{vmatrix} = -4\hat{i} + 2\hat{j} - \hat{k}.
  3. Halve the magnitude: ∣AB→×AC→∣=16+4+1=21\left|\overrightarrow{AB} \times \overrightarrow{AC}\right| = \sqrt{16 + 4 + 1} = \sqrt{21}.

Answer: area =212= \dfrac{\sqrt{21}}{2} square units.


Example 4: Area of a parallelogram

Find the area of the parallelogram whose adjacent sides are a⃗=3i^+j^+4k^\vec{a} = 3\hat{i} + \hat{j} + 4\hat{k} and b⃗=i^−j^+k^\vec{b} = \hat{i} - \hat{j} + \hat{k}.

Solution:

  1. Cross: ∣i^j^k^3141−11∣=(1+4)i^−(3−4)j^+(−3−1)k^=5i^+j^−4k^\begin{vmatrix} \hat{i} & \hat{j} & \hat{k} \\ 3 & 1 & 4 \\ 1 & -1 & 1 \end{vmatrix} = (1 + 4)\hat{i} - (3 - 4)\hat{j} + (-3 - 1)\hat{k} = 5\hat{i} + \hat{j} - 4\hat{k}.
  2. Magnitude: 25+1+16=42\sqrt{25 + 1 + 16} = \sqrt{42}.

Answer: area =42= \sqrt{42} square units — no halving for a parallelogram.


Example 5: Completing a unit vector from two angles

A unit vector a⃗\vec{a} makes angle π3\dfrac{\pi}{3} with i^\hat{i}, angle π4\dfrac{\pi}{4} with j^\hat{j}, and an acute angle θ\theta with k^\hat{k}. Find θ\theta and the components of a⃗\vec{a}.

Solution:

  1. Direction cosines of a unit vector are its components: a1=cos⁡π3=12a_1 = \cos\dfrac{\pi}{3} = \dfrac{1}{2}, a2=cos⁡π4=12a_2 = \cos\dfrac{\pi}{4} = \dfrac{1}{\sqrt{2}}.
  2. Use l2+m2+n2=1l^2 + m^2 + n^2 = 1: 14+12+cos⁡2θ=1\dfrac{1}{4} + \dfrac{1}{2} + \cos^2\theta = 1, so cos⁡2θ=14\cos^2\theta = \dfrac{1}{4} and (acute) cos⁡θ=12\cos\theta = \dfrac{1}{2}.

Answer: θ=π3\theta = \dfrac{\pi}{3} and a⃗=12i^+12j^+12k^\vec{a} = \dfrac{1}{2}\hat{i} + \dfrac{1}{\sqrt{2}}\hat{j} + \dfrac{1}{2}\hat{k}.


Example 6: Parallel vectors fix the unknowns

Find λ\lambda and μ\mu if (2i^+6j^+27k^)×(i^+λj^+μk^)=0⃗\left(2\hat{i} + 6\hat{j} + 27\hat{k}\right) \times \left(\hat{i} + \lambda\hat{j} + \mu\hat{k}\right) = \vec{0}.

Solution:

  1. Zero cross means parallel: the components must be proportional: 12=λ6=μ27\dfrac{1}{2} = \dfrac{\lambda}{6} = \dfrac{\mu}{27}.
  2. Solve: λ=3\lambda = 3, μ=272\mu = \dfrac{27}{2}.

Answer: λ=3, μ=272\lambda = 3, \ \mu = \dfrac{27}{2} — a cross-product equation solved with no determinant at all, by reading its geometric meaning.


Example 7: Another triangle area

Find the area of the triangle with vertices A(1,1,2)A(1, 1, 2), B(2,3,5)B(2, 3, 5), C(1,5,5)C(1, 5, 5).

Solution:

  1. Side vectors: AB→=i^+2j^+3k^\overrightarrow{AB} = \hat{i} + 2\hat{j} + 3\hat{k}, AC→=4j^+3k^\overrightarrow{AC} = 4\hat{j} + 3\hat{k}.
  2. Cross: ∣i^j^k^123043∣=(6−12)i^−(3−0)j^+(4−0)k^=−6i^−3j^+4k^\begin{vmatrix} \hat{i} & \hat{j} & \hat{k} \\ 1 & 2 & 3 \\ 0 & 4 & 3 \end{vmatrix} = (6 - 12)\hat{i} - (3 - 0)\hat{j} + (4 - 0)\hat{k} = -6\hat{i} - 3\hat{j} + 4\hat{k}.
  3. Halve the magnitude: 36+9+16=61\sqrt{36 + 9 + 16} = \sqrt{61}.

Answer: area =612= \dfrac{\sqrt{61}}{2} square units.


Example 8: Parallelogram with messier sides

Find the area of the parallelogram whose adjacent sides are i^−j^+3k^\hat{i} - \hat{j} + 3\hat{k} and 2i^−7j^+k^2\hat{i} - 7\hat{j} + \hat{k}.

Solution:

  1. Cross: ∣i^j^k^1−132−71∣=(−1+21)i^−(1−6)j^+(−7+2)k^=20i^+5j^−5k^\begin{vmatrix} \hat{i} & \hat{j} & \hat{k} \\ 1 & -1 & 3 \\ 2 & -7 & 1 \end{vmatrix} = (-1 + 21)\hat{i} - (1 - 6)\hat{j} + (-7 + 2)\hat{k} = 20\hat{i} + 5\hat{j} - 5\hat{k}.
  2. Magnitude: 400+25+25=450=152\sqrt{400 + 25 + 25} = \sqrt{450} = 15\sqrt{2}.

Answer: area =152= 15\sqrt{2} square units.