You are about to erase your work on this activity. Are you sure you want to do this?
Updated Version Available
There is an updated version of this activity. If you update to the most recent version of this activity, then your current progress on this activity will be erased. Regardless, your record of completion will remain. How would you like to proceed?
Mathematical Expression Editor
The cross product is a special way to multiply two vectors in three-dimensional
space.
There is no useful way to “multiply” two vectors and obtain another vector in \(\mathbb {R}^n\) for
arbitrary \(n\). However, in the special case of \(\mathbb {R}^3\), there is an important multiplication
operation called “the cross product.”
The cross product is linked inextricably to the determinant, so we will first introduce
the determinant before introducing this new operation.
1 Determinants
Given a \(2\times 2\) matrix, the determinant is given by
\[ \det \begin{bmatrix} a & b\\ c & d \end{bmatrix} = \begin{vmatrix} a & b\\ c & d \end{vmatrix} = ad -bc. \]
Why would anyone ever be
interested in this? Well to start, given nonzero vectors
The determinant
gives the (signed) area of this parallelogram, where the sign of the area is
given by the sign of the angle \(\theta \) (drawn counterclockwise) between \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {v}}\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {w}}\). To
understand why this is true, make a rectangle around the parallelogram as below.
Now, we see that
the area of the parallelogram is
\[ \text {Area of rectangle} - \text {Area of other regions} \]
and this is \begin{align*} (a+c)(b+d) - \left (cd + ab + 2bc \right )&= ab + ad + bc + cd - cd - ab-2bc\\ &= ad - bc\\ &= \det \begin{bmatrix} a & b\\ c & d \end{bmatrix}. \end{align*}
Typically, when one computes the determinant of a \(2\times 2\) matrix, we think of the terms as
follows.
Given a \(3\times 3\) matrix, the determinant is denoted by the following.
In particular, the cross product is not precisely a
determinant, since a determinant would be a number, not a vector. But, the
determinant provides us with a useful memory tool for computing the cross product.
The pattern
is efficient, because you immediately have the components of the desired vector
without additional simplification.
Notice that the cross product is not commutative! In fact, it is anticommutative,
meaning the statement below.
The Cross Product is Anticommutative Given two vectors \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\) in \(\mathbb {R}^3\)
The
anticommutative property of the cross product demonstrates that \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}} \boldsymbol \times \overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}} \boldsymbol \times \overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\) differ only
by a sign. These vectors have the same magnitude but point in opposite
directions.
Let’s examine the cross product on famous unit vectors.
One way to remember the cross products of the unit vectors \(\boldsymbol {\hat {\imath }}\), \(\boldsymbol {\hat {\jmath }}\), and \(\boldsymbol {\hat {k}}\) is to use the
diagram below.
Since we see that the cross product of two basic unit vectors produces a vector
orthogonal to both unit vectors, we are led to our next theorem (which could be
verified through brute force computations).
The vector \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}} \boldsymbol \times \overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\) is orthogonal to both \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\).
In three-dimensional space, when seeking a vector perpendicular to both \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\), we
could choose one of two directions: the direction of \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}} \boldsymbol \times \overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\), or the direction of \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}} \boldsymbol \times \overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\).
The direction of the cross product is given by the right-hand rule. Given \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\)
and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\) in \(\mathbb {R}^3\) with the same initial point, point the index finger of your right
hand in the direction of \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\) and let your middle finger point in the direction of \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\)
(much as we did when establishing the right-hand rule for the 3-dimensional
coordinate system). Your thumb will naturally extend in the direction of \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}} \boldsymbol \times \overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\). If you
switch your fingers, pointing the index finder in the direction of \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\) and the
middle finger in the direction of \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\), your thumb will now point in the opposite
direction, allowing you to “visualize” the anticommutative property of the cross
product.
Consider the vectors below.
Does \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}} \boldsymbol \times \overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\) point toward you or away from you?
toward me away from me
3 The geometry of the cross product
Just as we related the angle between two vectors and their dot product, there is a
similar relationship relating the cross product of two vectors to the angle between
them. Before we get started, we need an identity.
Lagrange’s Idenitity Given two vectors \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\),
Set \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}} = \left < a_1,a_2,a_3 \right >\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}} = \left < b_1,b_2,b_3 \right >\). Computing the
left-hand side and the right-hand side separately, we see that they are equal. We
leave both of these computations to the intrepid young mathematician.
Geometric Interpretation of the Cross Product For any two vectors \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\),
where \(0\le \theta \le \pi \) is
the angle between \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\).
The theorems above help us make a strong connection between the cross product and
geometry.
Given two vectors \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\) in \(\mathbb {R}^3\),
\(|\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}} \boldsymbol \times \overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}|\) computes
the area of the parallelogram spanned by \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\).
It is a fact from geometry that the
area of a parallelogram
is
\[ A= bh, \]
where \(b\) is the
length of the base and \(h\) is the height of the parallelogram. Two vectors \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\)
define a parallelogram when drawn from the same initial point, as follows.
Trigonometry tells us that \(h = |\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}| \sin (\theta )\), and so the area of
the parallelogram is
What is the area of the parallelogram spanned by \(\left < 1,2,4 \right >\) and \(\left < 2,3,1 \right >\)?
\[ \text {Area} = \answer {\sqrt {150}} \]
What is the area of the
triangle spanned by \(\left < 1,2,4 \right >\) and \(\left < 2,3,1 \right >\)?
\[ \text {Area} = \answer {\sqrt {150}/2} \]
This is half of the area of the parallelogram spanned by
\(\left < 1,2,4 \right >\) and \(\left < 2,3,1 \right >\).
Note that if \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\) are in \(\mathbb {R}^2\), we can still use the cross product to compute the area of
the parallelogram spanned by \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\). We just add a \(z\)-component of \(0\) to each
vector.
What is the area of the parallelogram spanned by \(\left < 1,2 \right >\) and \(\left < 3,4 \right >\)?
\[ \text {Area} = \answer {2} \]
If \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}}\) and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}}\) are two nonzero vectors, and \(\theta \) is the angle between them,
\[ \overset {\boldsymbol {\rightharpoonup }}{\mathbf {a}} \boldsymbol \times \overset {\boldsymbol {\rightharpoonup }}{\mathbf {b}} = \overset {\boldsymbol {\rightharpoonup }}{\mathbf {0}} \text { if and only if $\theta = 0$ or $\theta =\pi $}. \]
This follows from
our work with parallelograms, since the area of the parallelogram spanned by parallel
vectors is zero.
4 Applications
In addition to the geometric applications we have already seen, we can also use the
cross product in some physical applications.
4.1 Torque
Imagine turning a wrench. The wrench originates at a point \(O\) and terminates at a
point \(P\). Let \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {r}} = \overrightarrow {OP}\). You apply a force \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {F}}\) to the end of the wrench. If \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {F}}\) points in the same
direction as \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {r}}\), the bolt will not twist at all, since you will just be pulling on the
handle. If \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {F}}\) is perpendicular to the handle, then we expect quite a bit of twisting to
occur.
The torque \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {t}}\) obtained by applying a force \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {F}}\) to a lever arm with position vector \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {r}}\) is
given by
When a charged particle moves through a magnetic field, it experiences a force. If the
charge is \(q\), the velocity of the particle is \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {v}}\), and the magnetic field is \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {B}}\), then the force is
given by
A particle with negative charge \(-2\) enters a constant magnetic field given by \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {B}} = \boldsymbol {\hat {\imath }}+2\boldsymbol {\hat {\jmath }}\). The
velocity vector of the particle is \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {v}} = \boldsymbol {\hat {k}}+\boldsymbol {\hat {\imath }}\). What is the force acting on the particle?
Below, we summarize some rules for working with cross products.
The following are true for all scalars \(s\) and \(t\), and vectors \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {u}}\), \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {v}}\), and \(\overset {\boldsymbol {\rightharpoonup }}{\mathbf {w}}\) in \(\mathbb {R}^3\).
Moreover, these properties determine the cross product uniquely.
We will not prove that the cross product is the only function with these properties,
but that is an important point. If you ever wondered where this crazy formula came
from, the uniqueness of the cross product is your explanation. If you want these
properties, there is only one operation which gives them to you, and it is the cross
product. We leave you with the following curious fact. The cross product
only exists in \(\mathbb {R}^3\) and \(\mathbb {R}^7\). While a proof of this fact is beyond the scope of this
course, we hope that this mystery encourages you to travel deeper into your
studies.