Skip to content
Family Table Math
Auto

The Cross Product

The dot product multiplies two vectors and gives a number. The cross product multiplies two vectors in 3-space and gives a vector, one that is perpendicular to both of them. It’s the tool for finding a direction at right angles to two given directions, and its length measures area. That makes it the key to torque, areas and volumes, and (in the next unit) the equations of planes.

For a⃗=[a1,a2,a3]\vec{a} = [a_1, a_2, a_3] and b⃗=[b1,b2,b3]\vec{b} = [b_1, b_2, b_3], the cross product a⃗×b⃗\vec{a} \times \vec{b} (read “a cross b”) is

a⃗×b⃗=[ a2b3−a3b2,  a3b1−a1b3,  a1b2−a2b1 ]\vec{a} \times \vec{b} = [\,a_2 b_3 - a_3 b_2,\ \ a_3 b_1 - a_1 b_3,\ \ a_1 b_2 - a_2 b_1\,]

The cross product is only defined for vectors in 3-space. (To use it with 2-D vectors, give them a zz-component of 00.)

The “write it twice” method. Write the components of a⃗\vec{a} in a row, and those of b⃗\vec{b} underneath, then repeat the first two columns at the right:

a1a2a3a1a2b1b2b3b1b2\begin{array}{ccccc} a_1 & a_2 & a_3 & a_1 & a_2 \\ b_1 & b_2 & b_3 & b_1 & b_2 \end{array}

Cover the first column. Each component comes from a 2×22 \times 2 block, read as “down-right product minus up-right product”: columns 2–3 give a2b3−a3b2a_2 b_3 - a_3 b_2, columns 3–4 give a3b1−a1b3a_3 b_1 - a_1 b_3, and columns 4–5 give a1b2−a2b1a_1 b_2 - a_2 b_1.

The determinant method. A 2×22 \times 2 determinant is ∣pqrs∣=ps−qr\begin{vmatrix} p & q \\ r & s \end{vmatrix} = ps - qr. The cross product can be written as a 3×33 \times 3 determinant with i⃗\vec{i}, j⃗\vec{j}, k⃗\vec{k} in the top row, expanded along that row:

a⃗×b⃗=∣i⃗j⃗k⃗a1a2a3b1b2b3∣=∣a2a3b2b3∣i⃗−∣a1a3b1b3∣j⃗+∣a1a2b1b2∣k⃗\vec{a} \times \vec{b} = \begin{vmatrix} \vec{i} & \vec{j} & \vec{k} \\ a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \end{vmatrix} = \begin{vmatrix} a_2 & a_3 \\ b_2 & b_3 \end{vmatrix}\vec{i} - \begin{vmatrix} a_1 & a_3 \\ b_1 & b_3 \end{vmatrix}\vec{j} + \begin{vmatrix} a_1 & a_2 \\ b_1 & b_2 \end{vmatrix}\vec{k}

Watch the minus sign in front of the j⃗\vec{j} term. It’s the most common slip.

The whole point of the cross product: a⃗×b⃗\vec{a} \times \vec{b} is perpendicular to a⃗\vec{a} and to b⃗\vec{b}. You can prove it with dot products:

a⃗⋅(a⃗×b⃗)=a1(a2b3−a3b2)+a2(a3b1−a1b3)+a3(a1b2−a2b1)=a1a2b3−a1a3b2+a2a3b1−a1a2b3+a1a3b2−a2a3b1=0\begin{aligned} \vec{a} \cdot (\vec{a} \times \vec{b}) &= a_1(a_2 b_3 - a_3 b_2) + a_2(a_3 b_1 - a_1 b_3) + a_3(a_1 b_2 - a_2 b_1) \\ &= a_1 a_2 b_3 - a_1 a_3 b_2 + a_2 a_3 b_1 - a_1 a_2 b_3 + a_1 a_3 b_2 - a_2 a_3 b_1 \\ &= 0 \end{aligned}

Every term cancels with another one. The same thing happens for b⃗⋅(a⃗×b⃗)\vec{b} \cdot (\vec{a} \times \vec{b}) (Practice question 9). This also gives you a built-in check: after computing a cross product, dot it with both vectors. If you don’t get 00 twice, there’s an arithmetic error.

There are two directions perpendicular to both a⃗\vec{a} and b⃗\vec{b} (one is the opposite of the other). The right-hand rule tells you which one a⃗×b⃗\vec{a} \times \vec{b} uses: point the fingers of your right hand along a⃗\vec{a}, then curl them toward b⃗\vec{b} (through the smaller angle). Your thumb points along a⃗×b⃗\vec{a} \times \vec{b}.

For example, i⃗×j⃗=k⃗\vec{i} \times \vec{j} = \vec{k}: fingers along the xx-axis, curl toward the yy-axis, and your thumb points up the zz-axis. Going around the cycle i⃗→j⃗→k⃗→i⃗\vec{i} \to \vec{j} \to \vec{k} \to \vec{i} gives

i⃗×j⃗=k⃗,j⃗×k⃗=i⃗,k⃗×i⃗=j⃗\vec{i} \times \vec{j} = \vec{k}, \qquad \vec{j} \times \vec{k} = \vec{i}, \qquad \vec{k} \times \vec{i} = \vec{j}

and going backwards gives the negatives: j⃗×i⃗=−k⃗\vec{j} \times \vec{i} = -\vec{k}, k⃗×j⃗=−i⃗\vec{k} \times \vec{j} = -\vec{i}, i⃗×k⃗=−j⃗\vec{i} \times \vec{k} = -\vec{j}.

If θ\theta is the angle between a⃗\vec{a} and b⃗\vec{b} (0∘≤θ≤180∘0^\circ \le \theta \le 180^\circ), then

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

This is the area of the parallelogram with sides a⃗\vec{a} and b⃗\vec{b}: base ∣a⃗∣|\vec{a}| times height ∣b⃗∣sin⁡θ|\vec{b}|\sin\theta. The applications page uses this for areas, volumes, and torque.

Vectors a and b in the xy-plane span a shaded parallelogram. The cross product a × b points straight up, perpendicular to both, and b × a points straight down. The area of the parallelogram equals the magnitude of a × b. x y z θ a b a × b b × a area = |a × b|
a⃗×b⃗\vec{a} \times \vec{b} is perpendicular to the plane of a⃗\vec{a} and b⃗\vec{b}, and b⃗×a⃗\vec{b} \times \vec{a} points the opposite way. Its length is the parallelogram’s area.
PropertyRule
Anticommutativeb⃗×a⃗=−(a⃗×b⃗)\vec{b} \times \vec{a} = -(\vec{a} \times \vec{b})
Distributivea⃗×(b⃗+c⃗)=a⃗×b⃗+a⃗×c⃗\vec{a} \times (\vec{b} + \vec{c}) = \vec{a} \times \vec{b} + \vec{a} \times \vec{c}
Scalar multiples(ka⃗)×b⃗=k(a⃗×b⃗)=a⃗×(kb⃗)(k\vec{a}) \times \vec{b} = k(\vec{a} \times \vec{b}) = \vec{a} \times (k\vec{b})
Parallel vectorsif a⃗∥b⃗\vec{a} \parallel \vec{b}, then a⃗×b⃗=0⃗\vec{a} \times \vec{b} = \vec{0}; in particular a⃗×a⃗=0⃗\vec{a} \times \vec{a} = \vec{0}
  • Anticommutative: swapping the order reverses the direction (your right hand curls the other way). Unlike numbers and dot products, order matters.
  • Parallel vectors: θ=0∘\theta = 0^\circ or 180∘180^\circ, so sin⁡θ=0\sin\theta = 0. This gives a quick test: two non-zero vectors are parallel exactly when their cross product is 0⃗\vec{0}.
  • Not associative: in general (a⃗×b⃗)×c⃗≠a⃗×(b⃗×c⃗)(\vec{a} \times \vec{b}) \times \vec{c} \ne \vec{a} \times (\vec{b} \times \vec{c}). A quick counterexample with unit vectors:
(i⃗×i⃗)×j⃗=0⃗×j⃗=0⃗buti⃗×(i⃗×j⃗)=i⃗×k⃗=−j⃗(\vec{i} \times \vec{i}) \times \vec{j} = \vec{0} \times \vec{j} = \vec{0} \qquad\text{but}\qquad \vec{i} \times (\vec{i} \times \vec{j}) = \vec{i} \times \vec{k} = -\vec{j}

So with cross products, brackets matter, and you must keep both the order and the grouping.

Find a⃗×b⃗\vec{a} \times \vec{b} for a⃗=[2,−1,3]\vec{a} = [2, -1, 3] and b⃗=[1,4,−2]\vec{b} = [1, 4, -2], and check that it’s perpendicular to both.

Solution. Use the formula component by component:

first: a2b3−a3b2=(−1)(−2)−(3)(4)=2−12=−10second: a3b1−a1b3=(3)(1)−(2)(−2)=3+4=7third: a1b2−a2b1=(2)(4)−(−1)(1)=8+1=9\begin{aligned} \text{first: } & a_2 b_3 - a_3 b_2 = (-1)(-2) - (3)(4) = 2 - 12 = -10 \\ \text{second: } & a_3 b_1 - a_1 b_3 = (3)(1) - (2)(-2) = 3 + 4 = 7 \\ \text{third: } & a_1 b_2 - a_2 b_1 = (2)(4) - (-1)(1) = 8 + 1 = 9 \end{aligned}

So a⃗×b⃗=[−10,7,9]\vec{a} \times \vec{b} = [-10, 7, 9].

Check:

[−10,7,9]⋅[2,−1,3]=−20−7+27=0 ✓[−10,7,9]⋅[1,4,−2]=−10+28−18=0 ✓\begin{aligned} [-10, 7, 9] \cdot [2, -1, 3] &= -20 - 7 + 27 = 0 \ \checkmark \\ [-10, 7, 9] \cdot [1, 4, -2] &= -10 + 28 - 18 = 0 \ \checkmark \end{aligned}

Example 2: The determinant method, and reversing the order

Section titled “Example 2: The determinant method, and reversing the order”

Let a⃗=[1,0,2]\vec{a} = [1, 0, 2] and b⃗=[3,−2,1]\vec{b} = [3, -2, 1]. Find a⃗×b⃗\vec{a} \times \vec{b} and b⃗×a⃗\vec{b} \times \vec{a}.

Solution.

a⃗×b⃗=∣i⃗j⃗k⃗1023−21∣=(0(1)−2(−2))i⃗−(1(1)−2(3))j⃗+(1(−2)−0(3))k⃗=4i⃗−(−5)j⃗+(−2)k⃗=[4,5,−2]\begin{aligned} \vec{a} \times \vec{b} &= \begin{vmatrix} \vec{i} & \vec{j} & \vec{k} \\ 1 & 0 & 2 \\ 3 & -2 & 1 \end{vmatrix} \\ &= \big(0(1) - 2(-2)\big)\vec{i} - \big(1(1) - 2(3)\big)\vec{j} + \big(1(-2) - 0(3)\big)\vec{k} \\ &= 4\vec{i} - (-5)\vec{j} + (-2)\vec{k} \\ &= [4, 5, -2] \end{aligned}

By the anticommutative property, b⃗×a⃗=−[4,5,−2]=[−4,−5,2]\vec{b} \times \vec{a} = -[4, 5, -2] = [-4, -5, 2], with no extra work.

Check: [4,5,−2]⋅[1,0,2]=4+0−4=0[4, 5, -2] \cdot [1, 0, 2] = 4 + 0 - 4 = 0 ✓ and [4,5,−2]⋅[3,−2,1]=12−10−2=0[4, 5, -2] \cdot [3, -2, 1] = 12 - 10 - 2 = 0 ✓

Let a⃗=[1,1,0]\vec{a} = [1, 1, 0] and b⃗=[0,1,1]\vec{b} = [0, 1, 1]. Find ∣a⃗×b⃗∣|\vec{a} \times \vec{b}| and use it to find the angle between the vectors.

Solution.

a⃗×b⃗=[ 1(1)−0(1),  0(0)−1(1),  1(1)−1(0) ]=[1,−1,1]\vec{a} \times \vec{b} = [\,1(1) - 0(1),\ \ 0(0) - 1(1),\ \ 1(1) - 1(0)\,] = [1, -1, 1]

So ∣a⃗×b⃗∣=3|\vec{a} \times \vec{b}| = \sqrt{3}. Both vectors have magnitude 2\sqrt{2}, so

sin⁡θ=∣a⃗×b⃗∣∣a⃗∣∣b⃗∣=32 2=32\sin\theta = \frac{|\vec{a} \times \vec{b}|}{|\vec{a}||\vec{b}|} = \frac{\sqrt{3}}{\sqrt{2}\,\sqrt{2}} = \frac{\sqrt{3}}{2}

Careful: sin⁡θ=32\sin\theta = \dfrac{\sqrt{3}}{2} has two answers between 0∘0^\circ and 180∘180^\circ, namely 60∘60^\circ and 120∘120^\circ. The sine can’t tell acute from obtuse. Use the dot product to decide: a⃗⋅b⃗=0+1+0=1>0\vec{a} \cdot \vec{b} = 0 + 1 + 0 = 1 \gt 0, so the angle is acute and θ=60∘\theta = 60^\circ.

(Lesson: to find an angle, the dot product is the better tool. Use the cross product when you need a perpendicular vector or an area.)

Let a⃗=[1,2,0]\vec{a} = [1, 2, 0] and b⃗=[0,1,−1]\vec{b} = [0, 1, -1]. Find a⃗×b⃗\vec{a} \times \vec{b} and (2a⃗)×(3b⃗)(2\vec{a}) \times (3\vec{b}), and describe the relationship. Does it hold for any two vectors?

Solution.

a⃗×b⃗=[ 2(−1)−0(1),  0(0)−1(−1),  1(1)−2(0) ]=[−2,1,1]\vec{a} \times \vec{b} = [\,2(-1) - 0(1),\ \ 0(0) - 1(-1),\ \ 1(1) - 2(0)\,] = [-2, 1, 1]

With 2a⃗=[2,4,0]2\vec{a} = [2, 4, 0] and 3b⃗=[0,3,−3]3\vec{b} = [0, 3, -3]:

(2a⃗)×(3b⃗)=[ 4(−3)−0(3),  0(0)−2(−3),  2(3)−4(0) ]=[−12,6,6](2\vec{a}) \times (3\vec{b}) = [\,4(-3) - 0(3),\ \ 0(0) - 2(-3),\ \ 2(3) - 4(0)\,] = [-12, 6, 6]

That’s 6[−2,1,1]=6(a⃗×b⃗)6[-2, 1, 1] = 6(\vec{a} \times \vec{b}). It holds for any vectors: every component of the cross product is a difference of products with one factor from each vector, so scaling a⃗\vec{a} by 22 and b⃗\vec{b} by 33 scales every term by 66. In general, (ma⃗)×(nb⃗)=mn(a⃗×b⃗)(m\vec{a}) \times (n\vec{b}) = mn(\vec{a} \times \vec{b}).

Geometrically: the new parallelogram has sides 22 and 33 times as long, so 66 times the area, and the perpendicular direction hasn’t changed.

Forgetting the minus sign on the middle term. With the determinant method, the j⃗\vec{j} term is subtracted. With the component formula, the middle component is a3b1−a1b3a_3 b_1 - a_1 b_3 (not a1b3−a3b1a_1 b_3 - a_3 b_1). Always check by dotting your answer with both vectors.

Swapping the order. a⃗×b⃗\vec{a} \times \vec{b} and b⃗×a⃗\vec{b} \times \vec{a} point in opposite directions. If a question asks for b⃗×a⃗\vec{b} \times \vec{a}, put b⃗\vec{b}‘s components in the first row.

Treating the answer as a number. The cross product is a vector. Its magnitude ∣a⃗×b⃗∣|\vec{a} \times \vec{b}| is the number that equals ∣a⃗∣∣b⃗∣sin⁡θ|\vec{a}||\vec{b}|\sin\theta.

Finding an angle from the sine alone. sin⁡θ\sin\theta is the same for θ\theta and 180∘−θ180^\circ - \theta. If you use the cross product to find an angle, check the sign of the dot product to choose between them, or just use the dot product instead.

Using the left hand (or curling the wrong way). The right-hand rule needs your right hand, with fingers along the first vector curling toward the second. Check with i⃗×j⃗=k⃗\vec{i} \times \vec{j} = \vec{k}.

Assuming you can regroup. (a⃗×b⃗)×c⃗(\vec{a} \times \vec{b}) \times \vec{c} and a⃗×(b⃗×c⃗)\vec{a} \times (\vec{b} \times \vec{c}) are usually different vectors (see Practice question 8). Work out the inner bracket first, exactly as written.

1. (Warm-up) Find each cross product.

  • (a) [3,0,0]×[0,2,0][3, 0, 0] \times [0, 2, 0]
  • (b) i⃗×k⃗\vec{i} \times \vec{k}
  • (c) k⃗×j⃗\vec{k} \times \vec{j}
Solution

(a) [ 0(0)−0(2),  0(0)−3(0),  3(2)−0(0) ]=[0,0,6][\,0(0) - 0(2),\ \ 0(0) - 3(0),\ \ 3(2) - 0(0)\,] = [0, 0, 6]. (It’s 6(i⃗×j⃗)=6k⃗6(\vec{i} \times \vec{j}) = 6\vec{k}.)

(b) k⃗×i⃗=j⃗\vec{k} \times \vec{i} = \vec{j}, so i⃗×k⃗=−j⃗=[0,−1,0]\vec{i} \times \vec{k} = -\vec{j} = [0, -1, 0].

(c) j⃗×k⃗=i⃗\vec{j} \times \vec{k} = \vec{i}, so k⃗×j⃗=−i⃗=[−1,0,0]\vec{k} \times \vec{j} = -\vec{i} = [-1, 0, 0].

2. (Warm-up) Find [1,2,3]×[4,5,6][1, 2, 3] \times [4, 5, 6].

Solution[ 2(6)−3(5),  3(4)−1(6),  1(5)−2(4) ]=[12−15, 12−6, 5−8]=[−3,6,−3][\,2(6) - 3(5),\ \ 3(4) - 1(6),\ \ 1(5) - 2(4)\,] = [12 - 15,\ 12 - 6,\ 5 - 8] = [-3, 6, -3]

Check: [−3,6,−3]⋅[1,2,3]=−3+12−9=0[-3, 6, -3] \cdot [1, 2, 3] = -3 + 12 - 9 = 0 ✓ and [−3,6,−3]⋅[4,5,6]=−12+30−18=0[-3, 6, -3] \cdot [4, 5, 6] = -12 + 30 - 18 = 0 ✓

3. (Core) Let a⃗=[2,3,−1]\vec{a} = [2, 3, -1] and b⃗=[−1,1,4]\vec{b} = [-1, 1, 4]. Find a⃗×b⃗\vec{a} \times \vec{b} and verify that it’s perpendicular to both vectors.

Solutiona⃗×b⃗=[ 3(4)−(−1)(1),  (−1)(−1)−2(4),  2(1)−3(−1) ]=[12+1, 1−8, 2+3]=[13,−7,5]\begin{aligned} \vec{a} \times \vec{b} &= [\,3(4) - (-1)(1),\ \ (-1)(-1) - 2(4),\ \ 2(1) - 3(-1)\,] \\ &= [12 + 1,\ 1 - 8,\ 2 + 3] \\ &= [13, -7, 5] \end{aligned}

Check: [13,−7,5]⋅[2,3,−1]=26−21−5=0[13, -7, 5] \cdot [2, 3, -1] = 26 - 21 - 5 = 0 ✓ and [13,−7,5]⋅[−1,1,4]=−13−7+20=0[13, -7, 5] \cdot [-1, 1, 4] = -13 - 7 + 20 = 0 ✓

4. (Core) Suppose a⃗×b⃗=[2,−3,6]\vec{a} \times \vec{b} = [2, -3, 6]. Without knowing a⃗\vec{a} or b⃗\vec{b}, find:

  • (a) b⃗×a⃗\vec{b} \times \vec{a}
  • (b) (3a⃗)×b⃗(3\vec{a}) \times \vec{b}
  • (c) (2a⃗)×(5b⃗)(2\vec{a}) \times (5\vec{b})
  • (d) ∣a⃗×b⃗∣|\vec{a} \times \vec{b}|
Solution

(a) Anticommutative: b⃗×a⃗=[−2,3,−6]\vec{b} \times \vec{a} = [-2, 3, -6].

(b) 3(a⃗×b⃗)=[6,−9,18]3(\vec{a} \times \vec{b}) = [6, -9, 18].

(c) 2×5=102 \times 5 = 10, so 10(a⃗×b⃗)=[20,−30,60]10(\vec{a} \times \vec{b}) = [20, -30, 60].

(d) 4+9+36=49=7\sqrt{4 + 9 + 36} = \sqrt{49} = 7.

5. (Core) ∣a⃗∣=4|\vec{a}| = 4, ∣b⃗∣=6|\vec{b}| = 6, and the angle between them is 30∘30^\circ.

  • (a) Find ∣a⃗×b⃗∣|\vec{a} \times \vec{b}|.
  • (b) Would the answer change if the angle were 150∘150^\circ? Would a⃗⋅b⃗\vec{a} \cdot \vec{b} change?
Solution

(a) ∣a⃗×b⃗∣=(4)(6)sin⁡30∘=24×12=12|\vec{a} \times \vec{b}| = (4)(6)\sin 30^\circ = 24 \times \dfrac{1}{2} = 12.

(b) No: sin⁡150∘=sin⁡30∘=12\sin 150^\circ = \sin 30^\circ = \dfrac{1}{2}, so the magnitude is still 1212. But the dot product changes sign: 24cos⁡30∘=12324\cos 30^\circ = 12\sqrt{3}, while 24cos⁡150∘=−12324\cos 150^\circ = -12\sqrt{3}.

6. (Core) Use the cross product to show that u⃗=[2,−4,6]\vec{u} = [2, -4, 6] and v⃗=[−3,6,−9]\vec{v} = [-3, 6, -9] are parallel.

Solutionu⃗×v⃗=[ (−4)(−9)−6(6),  6(−3)−2(−9),  2(6)−(−4)(−3) ]=[36−36, −18+18, 12−12]=[0,0,0]\begin{aligned} \vec{u} \times \vec{v} &= [\,(-4)(-9) - 6(6),\ \ 6(-3) - 2(-9),\ \ 2(6) - (-4)(-3)\,] \\ &= [36 - 36,\ -18 + 18,\ 12 - 12] \\ &= [0, 0, 0] \end{aligned}

The cross product is the zero vector, so the vectors are parallel. (Indeed, v⃗=−32u⃗\vec{v} = -\dfrac{3}{2}\vec{u}, so they point in opposite directions.)

7. (Core) Let a⃗=[1,2,2]\vec{a} = [1, 2, 2] and b⃗=[2,−1,2]\vec{b} = [2, -1, 2]. Find a⃗⋅b⃗\vec{a} \cdot \vec{b} and ∣a⃗×b⃗∣|\vec{a} \times \vec{b}|, then show that cos⁡2θ+sin⁡2θ=1\cos^2\theta + \sin^2\theta = 1 for the angle between them. Find θ\theta to one decimal place.

Solution

a⃗⋅b⃗=2−2+4=4\vec{a} \cdot \vec{b} = 2 - 2 + 4 = 4, and ∣a⃗∣=∣b⃗∣=3|\vec{a}| = |\vec{b}| = 3.

a⃗×b⃗=[ 2(2)−2(−1),  2(2)−1(2),  1(−1)−2(2) ]=[6,2,−5],∣a⃗×b⃗∣=36+4+25=65\vec{a} \times \vec{b} = [\,2(2) - 2(-1),\ \ 2(2) - 1(2),\ \ 1(-1) - 2(2)\,] = [6, 2, -5], \qquad |\vec{a} \times \vec{b}| = \sqrt{36 + 4 + 25} = \sqrt{65}

So cos⁡θ=49\cos\theta = \dfrac{4}{9} and sin⁡θ=659\sin\theta = \dfrac{\sqrt{65}}{9}, and

cos⁡2θ+sin⁡2θ=1681+6581=8181=1 ✓\cos^2\theta + \sin^2\theta = \frac{16}{81} + \frac{65}{81} = \frac{81}{81} = 1 \ \checkmark

The cosine is positive, so θ\theta is acute: θ=cos⁡−1(49)≈63.6∘\theta = \cos^{-1}\left(\dfrac{4}{9}\right) \approx 63.6^\circ.

8. (Challenge) Let a⃗=[1,1,0]\vec{a} = [1, 1, 0], b⃗=[0,1,0]\vec{b} = [0, 1, 0], and c⃗=[0,0,1]\vec{c} = [0, 0, 1]. Compute (a⃗×b⃗)×c⃗(\vec{a} \times \vec{b}) \times \vec{c} and a⃗×(b⃗×c⃗)\vec{a} \times (\vec{b} \times \vec{c}). What does this show?

Solution

a⃗×b⃗=[ 1(0)−0(1),  0(0)−1(0),  1(1)−1(0) ]=[0,0,1]\vec{a} \times \vec{b} = [\,1(0) - 0(1),\ \ 0(0) - 1(0),\ \ 1(1) - 1(0)\,] = [0, 0, 1], so

(a⃗×b⃗)×c⃗=[0,0,1]×[0,0,1]=[0,0,0](\vec{a} \times \vec{b}) \times \vec{c} = [0, 0, 1] \times [0, 0, 1] = [0, 0, 0]

(a vector crossed with itself is 0⃗\vec{0}).

b⃗×c⃗=j⃗×k⃗=[1,0,0]\vec{b} \times \vec{c} = \vec{j} \times \vec{k} = [1, 0, 0], so

a⃗×(b⃗×c⃗)=[1,1,0]×[1,0,0]=[ 1(0)−0(0),  0(1)−1(0),  1(0)−1(1) ]=[0,0,−1]\vec{a} \times (\vec{b} \times \vec{c}) = [1, 1, 0] \times [1, 0, 0] = [\,1(0) - 0(0),\ \ 0(1) - 1(0),\ \ 1(0) - 1(1)\,] = [0, 0, -1]

The results are different, so the cross product is not associative.

9. (Challenge) Use components to prove that b⃗⋅(a⃗×b⃗)=0\vec{b} \cdot (\vec{a} \times \vec{b}) = 0 for any vectors a⃗\vec{a} and b⃗\vec{b} in 3-space. Together with the same fact for a⃗\vec{a}, explain what this tells you about the direction of a⃗×b⃗\vec{a} \times \vec{b}.

Solutionb⃗⋅(a⃗×b⃗)=b1(a2b3−a3b2)+b2(a3b1−a1b3)+b3(a1b2−a2b1)=a2b1b3−a3b1b2+a3b1b2−a1b2b3+a1b2b3−a2b1b3=0\begin{aligned} \vec{b} \cdot (\vec{a} \times \vec{b}) &= b_1(a_2 b_3 - a_3 b_2) + b_2(a_3 b_1 - a_1 b_3) + b_3(a_1 b_2 - a_2 b_1) \\ &= a_2 b_1 b_3 - a_3 b_1 b_2 + a_3 b_1 b_2 - a_1 b_2 b_3 + a_1 b_2 b_3 - a_2 b_1 b_3 \\ &= 0 \end{aligned}

Each term cancels with another. A zero dot product means a⃗×b⃗\vec{a} \times \vec{b} is perpendicular to b⃗\vec{b}. Together with a⃗⋅(a⃗×b⃗)=0\vec{a} \cdot (\vec{a} \times \vec{b}) = 0 (shown in Key ideas), this verifies that the cross product is perpendicular to both of the original vectors.