1.4 Cross Product

In Section 1.3 we defined the dot product, which gave a way of multiplying two vectors. The resulting product, however, was a scalar, not a vector. In this section we will define a product of two vectors that does result in another vector. This product, called the cross product, is only defined for vectors in $\Real{3}$. The definition may appear strange and lacking motivation, but we will see the geometric basis for it shortly.

Definition 1.8

Let $\textbf{v} = \vecthree{v}$ and $\textbf{w} = \vecthree{w}$ be vectors in $\Real{3}$. The cross product of v and w, denoted by $\textbf{v} \bm{\times} \textbf{w}$, is the vector in $\Real{3}$ given by:

\begin{equation} \Crossprod{\textbf{v}}{\textbf{w}} = (\ssub{v}{2}\ssub{w}{3} - \ssub{v}{3}\ssub{w}{2}, \ssub{v}{3}\ssub{w}{1} - \ssub{v}{1}\ssub{w}{3}, \ssub{v}{1}\ssub{w}{2} - \ssub{v}{2}\ssub{w}{1}) \tag{1.10}\end{equation}

width height 0.5pt

Example 1.7

Find $\Crossprod{\textbf{i}}{\textbf{j}}$.
Solution: Since $\textbf{i} = (1,0,0)$ and $\textbf{j} = (0,1,0)$, then

\begin{align*} \Crossprod{\textbf{i}}{\textbf{j}} &= ((0)(0) - (0)(1),(0)(0) - (1)(0),(1)(1) - (0)(0))\\ &= (0,0,1)\\ &= \textbf{k} \end{align*}

Similarly it can be shown that $\Crossprod{\textbf{j}}{\textbf{k}} = \textbf{i}$ and $\Crossprod{\textbf{k}}{\textbf{i}} = \textbf{j}$.

width height 0.5pt

In the above example, the cross product of the given vectors was perpendicular to both those vectors. It turns out that this will always be the case.

Theorem 1.11

If the cross product $\Crossprod{\textbf{v}}{\textbf{w}}$ of two nonzero vectors $\textbf{v}$ and $\textbf{w}$ is also a nonzero vector, then it is perpendicular to both $\textbf{v}$ and $\textbf{w}$.

proof[Proof:] We will show that $\Dotprod{(\Crossprod{\textbf{v}}{\textbf{w}})}{\textbf{v}} = 0$:

\begin{align*} \Dotprod{(\Crossprod{\textbf{v}}{\textbf{w}})}{\textbf{v}} &= \Dotprod{(\ssub{v}{2}\ssub{w}{3} - \ssub{v}{3}\ssub{w}{2}, \ssub{v}{3}\ssub{w}{1} - \ssub{v}{1}\ssub{w}{3}, \ssub{v}{1}\ssub{w}{2} - \ssub{v}{2}\ssub{w}{1})}{\vecthree{v}}\\ &= \ssub{v}{2}\ssub{w}{3}\ssub{v}{1} - \ssub{v}{3}\ssub{w}{2}\ssub{v}{1} + \ssub{v}{3}\ssub{w}{1}\ssub{v}{2} - \ssub{v}{1}\ssub{w}{3}\ssub{v}{2} + \ssub{v}{1}\ssub{w}{2}\ssub{v}{3} - \ssub{v}{2}\ssub{w}{1}\ssub{v}{3}\\ &= \ssub{v}{1}\ssub{v}{2}\ssub{w}{3} - \ssub{v}{1}\ssub{v}{2}\ssub{w}{3} + \ssub{w}{1}\ssub{v}{2}\ssub{v}{3} - \ssub{w}{1}\ssub{v}{2}\ssub{v}{3} + \ssub{v}{1}\ssub{w}{2}\ssub{v}{3} - \ssub{v}{1}\ssub{w}{2}\ssub{v}{3}\\ &= 0 \text{~, after rearranging the terms.} \end{align*}

$\therefore \Crossprod{\textbf{v}}{\textbf{w}} \perp \textbf{v}$ by Corollary 1.7.
The proof that $\Crossprod{\textbf{v}}{\textbf{w}} \perp \textbf{w}$ is similar.

As a consequence of the above theorem and Theorem 1.9, we have the following:

Corollary 1.12

If the cross product $\Crossprod{\textbf{v}}{\textbf{w}}$ of two nonzero vectors $\textbf{v}$ and $\textbf{w}$ is also a nonzero vector, then it is perpendicular to the span of $\textbf{v}$ and $\textbf{w}$.

The span of any two nonzero, nonparallel vectors v, w in $\Real{3}$ is a plane $P$, so the above corollary shows that $\Crossprod{\textbf{v}}{\textbf{w}}$ is perpendicular to that plane. As shown in Figure 1.4.1, there are two possible directions for $\Crossprod{\textbf{v}}{\textbf{w}}$, one the opposite of the other. It turns out (see Appendix B) that the direction of $\Crossprod{\textbf{v}}{\textbf{w}}$ is given by the right-hand rule, that is, the vectors v, w, $\Crossprod{\textbf{v}}{\textbf{w}}$ form a right-handed system. Recall from Section 1.1 that this means that you can point your thumb upwards in the direction of $\Crossprod{\textbf{v}}{\textbf{w}}$ while rotating v towards w with the remaining four fingers.

fig1.4.2.0 — Figure 1.4.1Direction of $\Crossprod{\textbf{v}}{\textbf{w}}$

We will now derive a formula for the magnitude of $\Crossprod{\textbf{v}}{\textbf{w}}$, for nonzero vectors v, w:

\begin{align*}\begin{split} \norm{\Crossprod{\textbf{v}}{\textbf{w}}}^2 &= (\ssub{v}{2}\ssub{w}{3} - \ssub{v}{3}\ssub{w}{2})^2 + (\ssub{v}{3}\ssub{w}{1} - \ssub{v}{1}\ssub{w}{3})^2 + (\ssub{v}{1}\ssub{w}{2} - \ssub{v}{2}\ssub{w}{1})^2\\ &= \ssub{v}{2}^{2}\ssub{w}{3}^{2} - 2\ssub{v}{2}\ssub{w}{2}\ssub{v}{3}\ssub{w}{3} + \ssub{v}{3}^{2}\ssub{w}{2}^{2} + \ssub{v}{3}^{2}\ssub{w}{1}^{2} - 2\ssub{v}{1}\ssub{w}{1}\ssub{v}{3}\ssub{w}{3} + \ssub{v}{1}^{2}\ssub{w}{3}^{2} + \ssub{v}{1}^{2}\ssub{w}{2}^{2} - 2\ssub{v}{1}\ssub{w}{1}\ssub{v}{2}\ssub{w}{2} + \ssub{v}{2}^{2}\ssub{w}{1}^{2}\\ &= \ssub{v}{1}^{2}(\ssub{w}{2}^{2} + \ssub{w}{3}^{2}) + \ssub{v}{2}^{2}(\ssub{w}{1}^{2} + \ssub{w}{3}^{2}) + \ssub{v}{3}^{2}(\ssub{w}{1}^{2} + \ssub{w}{2}^{2}) - 2(\ssub{v}{1}\ssub{w}{1}\ssub{v}{2}\ssub{w}{2} + \ssub{v}{1}\ssub{w}{1}\ssub{v}{3}\ssub{w}{3} + \ssub{v}{2}\ssub{w}{2}\ssub{v}{3}\ssub{w}{3})\\ \text{and now adding and subtracting $\ssub{v}{1}^{2}\ssub{w}{1}^{2}$, $\ssub{v}{2}^{2}\ssub{w}{2}^{2}$, and $\ssub{v}{3}^{2}\ssub{w}{3}^{2}$ on the right side gives} &= \ssub{v}{1}^{2}(\ssub{w}{1}^{2} + \ssub{w}{2}^{2} + \ssub{w}{3}^{2}) + \ssub{v}{2}^{2}(\ssub{w}{1}^{2} + \ssub{w}{2}^{2} + \ssub{w}{3}^{2}) + \ssub{v}{3}^{2}(\ssub{w}{1}^{2} + \ssub{w}{2}^{2} + \ssub{w}{3}^{2})\\ &\mathrel{\phantom{=}} {} - (\ssub{v}{1}^{2}\ssub{w}{1}^{2} + \ssub{v}{2}^{2}\ssub{w}{2}^{2} + \ssub{v}{3}^{2}\ssub{w}{3}^{2} + 2(\ssub{v}{1}\ssub{w}{1}\ssub{v}{2}\ssub{w}{2} + \ssub{v}{1}\ssub{w}{1}\ssub{v}{3}\ssub{w}{3} + \ssub{v}{2}\ssub{w}{2}\ssub{v}{3}\ssub{w}{3}))\\ &= (\ssub{v}{1}^{2} + \ssub{v}{2}^{2} + \ssub{v}{3}^{2})(\ssub{w}{1}^{2} + \ssub{w}{2}^{2} + \ssub{w}{3}^{2})\\ &\mathrel{\phantom{=}} {} - ((\ssub{v}{1}\ssub{w}{1})^2 + (\ssub{v}{2}\ssub{w}{2})^2 + (\ssub{v}{3}\ssub{w}{3})^2 + 2(\ssub{v}{1}\ssub{w}{1})(\ssub{v}{2}\ssub{w}{2}) + 2(\ssub{v}{1}\ssub{w}{1})(\ssub{v}{3}\ssub{w}{3}) + 2(\ssub{v}{2}\ssub{w}{2})(\ssub{v}{3}\ssub{w}{3}))\end{split}\\ \text{so using $(a + b + c)^2 = a^2 + b^2 + c^2 + 2ab + 2ac + 2bc$ for the subtracted term gives} &= (\ssub{v}{1}^{2} + \ssub{v}{2}^{2} + \ssub{v}{3}^{2})(\ssub{w}{1}^{2} + \ssub{w}{2}^{2} + \ssub{w}{3}^{2}) - (\ssub{v}{1}\ssub{w}{1} + \ssub{v}{2}\ssub{w}{2} + \ssub{v}{3}\ssub{w}{3})^2\\ &= \norm{\textbf{v}}^2 \, \norm{\textbf{w}}^2 - (\Dotprod{\textbf{v}}{\textbf{w}})^2\\ &= \norm{\textbf{v}}^2 \, \norm{\textbf{w}}^2 \biggl( 1 - \frac{(\Dotprod{\textbf{v}}{\textbf{w}})^2}{\norm{\textbf{v}}^2 \, \norm{\textbf{w}}^2} \biggr) \text{~,~since $\norm{\textbf{v}} > 0$ and $\norm{\textbf{w}} > 0$, so by Theorem 1.6}\\ &= \norm{\textbf{v}}^2 \, \norm{\textbf{w}}^2 (1 - \cos^2 \theta) \text{~,~where $\theta$ is the angle between \textbf{v} and \textbf{w}, so}\\ \norm{\Crossprod{\textbf{v}}{\textbf{w}}}^2 &= \norm{\textbf{v}}^2 \, \norm{\textbf{w}}^2 \, \sin^2 \theta \text{~,~and since $0\Degrees \le \theta \le 180\Degrees$, then $\sin \theta \ge 0$, so we have:} \end{align*}

If $\theta$ is the angle between nonzero vectors v and w in $\Real{3}$, then

\begin{equation} \norm{\Crossprod{\textbf{v}}{\textbf{w}}} = \norm{\textbf{v}}\,\norm{\textbf{w}}\,\sin \theta \tag{1.11}\end{equation}

It may seem strange to bother with the above formula, when the magnitude of the cross product can be calculated directly, like for any other vector. The formula is more useful for its applications in geometry, as in the following example.

width height 0.5pt

Example 1.8

Let $\triangle PQR$ and $PQRS$ be a triangle and parallelogram, respectively, as shown in Figure 1.4.2.

Think of the triangle as existing in $\Real{3}$, and identify the sides $QR$ and $QP$ with vectors v and w, respectively, in $\Real{3}$. Let $\theta$ be the angle between v and w. The area $A_{PQR}$ of $\triangle PQR$ is $\frac{1}{2} b h$, where $b$ is the base of the triangle and $h$ is the height. So we see that

\[b = \norm{\textbf{v}} \quad \text{and} \quad h = \norm{\textbf{w}}\,\sin \theta\]

\begin{align*} A_{PQR} &= \frac{1}{2}\,\norm{\textbf{v}}\,\norm{\textbf{w}}\,\sin \theta\\ &= \frac{1}{2}\,\norm{\Crossprod{\textbf{v}}{\textbf{w}}} \end{align*}

So since the area $A_{PQRS}$ of the parallelogram $PQRS$ is twice the area of the triangle $\triangle PQR$, then

\[A_{PQRS} = \norm{\textbf{v}}\,\norm{\textbf{w}}\,\sin \theta\]

width height 0.5pt

By the discussion in Example 1.8, we have proved the following theorem:

Theorem 1.13

Area of triangles and parallelograms

The area $A$ of a triangle with adjacent sides v, w (as vectors in $\Real{3}$) is:

\[A = \frac{1}{2}\,\norm{\Crossprod{\textbf{v}}{\textbf{w}}}\]
The area $A$ of a parallelogram with adjacent sides v, w (as vectors in $\Real{3}$) is:

\[A = \norm{\Crossprod{\textbf{v}}{\textbf{w}}}\]

It may seem at first glance that since the formulas derived in Example 1.8 were for the adjacent sides $QP$ and $QR$ only, then the more general statements in Theorem 1.13 that the formulas hold for any adjacent sides are not justified. We would get a different formula for the area if we had picked $PQ$ and $PR$ as the adjacent sides, but it can be shown (see Exercise 26) that the different formulas would yield the same value, so the choice of adjacent sides indeed does not matter, and Theorem 1.13 is valid.

Theorem 1.13 makes it simpler to calculate the area of a triangle in 3-dimensional space than by using traditional geometric methods.

width height 0.5pt

Example 1.9

Calculate the area of the triangle $\triangle PQR$, where $P = (2,4,-7)$, $Q = (3,7,18)$, and $R =(-5,12,8)$.

tikzpicture arrows [black!60,line width=0.3pt,-latex] (0,0) -- (2.3,0,0); [black!60,line width=0.3pt,-latex] (0,0) -- (0,2.3,0); [black!60,line width=0.3pt,-latex] (0,0) -- (0,0,2.3); 2.20.20 [center,center]y 0.22.20 [center,center]z 0.202.1 [center,center]x 0.05-0.20 [center,center]0 0.40.550.25 [center,center]v 1.10.1-0.15 [center,center]w [semithick,-latex] (.4,-.7,.2) -- (.7,1.8,.3); [semithick] (.7,1.8,.3) -- (1.2,.8,-.5) node [right] R(-5,12,8); [semithick,latex-] (1.2,.8,-.5) -- (.4,-.7,.2); 1.352.3 [center,center]Q(3,7,18) 1.05-.9.2 [center,center]P(2,4,-7) [white] (0,-0.2,3) -- (2,-0.2,3); tikzpicture

Solution: Let $\textbf{v} = \overrightarrow{PQ}$ and $\textbf{w} = \overrightarrow{PR}$, as in Figure 1.4.4. Then $\textbf{v} = (3,7,18) - (2,4,-7) = (1,3,25)$ and $\textbf{w} = (-5,12,8) - (2,4,-7) = (-7,8,15)$, so the area $A$ of the triangle $\triangle PQR$ is

\begin{align*} A &= \frac{1}{2}\,\norm{\Crossprod{\textbf{v}}{\textbf{w}}} = \frac{1}{2}\,\norm{\Crossprod{(1,3,25)}{(-7,8,15)}}\\ &= \frac{1}{2}\,\Norm{((3)(15) - (25)(8), (25)(-7) - (1)(15), (1)(8) - (3)(-7))}\\ &= \frac{1}{2}\,\Norm{(-155, -190, 29)}\\ &= \frac{1}{2}\,\sqrt{(-155)^2 + (-190)^2 + 29^2} = \frac{1}{2}\,\sqrt{60966}\\ A &\approx 123.46 \end{align*}

width height 0.5pt

Example 1.10

Calculate the area of the parallelogram $PQRS$, where $P = (1,1)$, $Q = (2,3)$, $R = (5,4)$, and $S = (4,2)$.

Solution: Let $\textbf{v} = \overrightarrow{SP}$ and $\textbf{w} = \overrightarrow{SR}$, as in Figure 1.4.5. Then $\textbf{v} = (1,1) - (4,2) = (-3,-1)$ and $\textbf{w} = (5,4) - (4,2) = (1,2)$. But these are vectors in $\Real{2}$, and the cross product is only defined for vectors in $\Real{3}$. However, $\Real{2}$ can be thought of as the subset of $\Real{3}$ such that the $z$-coordinate is always $0$. So we can write $\textbf{v} = (-3,-1,0)$ and $\textbf{w} = (1,2,0)$. Then the area $A$ of $PQRS$ is

\begin{align*} A &= \norm{\Crossprod{\textbf{v}}{\textbf{w}}} = \Norm{\Crossprod{(-3,-1,0)}{(1,2,0)}}\\ &= \Norm{((-1)(0) - (0)(2), (0)(1) - (-3)(0), (-3)(2) - (-1)(1))}\\ &= \Norm{(0,0, -5)}\\ A &= 5 \end{align*}

width height 0.5pt The following theorem summarizes the basic properties of the cross product.

Theorem 1.14

For any vectors u, v, w in $\Real{3}$, and scalar $k$, we have

(a) $\Crossprod{\textbf{v}}{\textbf{w}} = -\Crossprod{\textbf{w}}{\textbf{v}}$	Anticommutative Law
(b) $\Crossprod{\textbf{u}}{(\textbf{v} + \textbf{w})} = \Crossprod{\textbf{u}}{\textbf{v}} + \Crossprod{\textbf{u}}{\textbf{w}}$	Distributive Law
(c) $\Crossprod{(\textbf{u} + \textbf{v})}{\textbf{w}} = \Crossprod{\textbf{u}}{\textbf{w}} + \Crossprod{\textbf{v}}{\textbf{w}}$	Distributive Law
(d) $\Crossprod{(k\textbf{v})}{\textbf{w}} = \Crossprod{\textbf{v}}{(k\textbf{w})} = k(\Crossprod{\textbf{v}}{\textbf{w}})$	Associative Law
(e) $\Crossprod{\textbf{v}}{\textbf{0}} = \textbf{0} = \Crossprod{\textbf{0}}{\textbf{v}}$
(f) $\Crossprod{\textbf{v}}{\textbf{v}} = \textbf{0}$
(g) $\Crossprod{\textbf{v}}{\textbf{w}} = \textbf{0}$ if and only if $\textbf{v} \parallel \textbf{w}$

proof[Proof:] The proofs of properties (b)-(f) are straightforward. We will prove parts (a) and (g) and leave the rest to the reader as exercises.

(a) By the definition of the cross product and scalar multiplication, we have:

\begin{align*} \Crossprod{\textbf{v}}{\textbf{w}} &= (\ssub{v}{2}\ssub{w}{3} - \ssub{v}{3}\ssub{w}{2}, \ssub{v}{3}\ssub{w}{1} - \ssub{v}{1}\ssub{w}{3}, \ssub{v}{1}\ssub{w}{2} - \ssub{v}{2}\ssub{w}{1})\\ &= -(\ssub{v}{3}\ssub{w}{2} - \ssub{v}{2}\ssub{w}{3}, \ssub{v}{1}\ssub{w}{3} - \ssub{v}{3}\ssub{w}{1}, \ssub{v}{2}\ssub{w}{1} - \ssub{v}{1}\ssub{w}{2})\\ &= -(\ssub{w}{2}\ssub{v}{3} - \ssub{w}{3}\ssub{v}{2}, \ssub{w}{3}\ssub{v}{1} - \ssub{w}{1}\ssub{v}{3}, \ssub{w}{1}\ssub{v}{2} - \ssub{w}{2}\ssub{v}{1})\\ &= -\Crossprod{\textbf{w}}{\textbf{v}} \end{align*}

Note that this says that $\Crossprod{\textbf{v}}{\textbf{w}}$ and $\Crossprod{\textbf{w}}{\textbf{v}}$ have the same magnitude but opposite direction (see Figure 1.4.6).

(g) If either v or w is $\textbf{0}$ then $\Crossprod{\textbf{v}}{\textbf{w}} = \textbf{0}$ by part (e), and either $\textbf{v} = \textbf{0} = 0\textbf{w}$ or $\textbf{w} = \textbf{0} = 0\textbf{v}$, so v and w are scalar multiples, i.e. they are parallel.

If both v and w are nonzero, and $\theta$ is the angle between them, then by formula (1.11), $\Crossprod{\textbf{v}}{\textbf{w}} = \textbf{0}$ if and only if $\norm{\textbf{v}}\,\norm{\textbf{w}}\,\sin \theta = 0$, which is true if and only if $\sin \theta = 0$ (since $\norm{\textbf{v}} > 0$ and $\norm{\textbf{w}} > 0)$. So since $0\Degrees \le \theta \le 180\Degrees$, then $\sin \theta = 0$ if and only if $\theta = 0\Degrees$ or $180\Degrees$. But the angle between v and w is $0\Degrees$ or $180\Degrees$ if and only if $\textbf{v} \parallel \textbf{w}$.

width height 0.5pt

Example 1.11

Adding to Example 1.7, we have

\begin{gather*} \Crossprod{\textbf{i}}{\textbf{j}} = \textbf{k} \qquad \Crossprod{\textbf{j}}{\textbf{k}} = \textbf{i} \qquad \Crossprod{\textbf{k}}{\textbf{i}} = \textbf{j}\\ \Crossprod{\textbf{j}}{\textbf{i}} = -\textbf{k} \qquad \Crossprod{\textbf{k}}{\textbf{j}} = -\textbf{i} \qquad \Crossprod{\textbf{i}}{\textbf{k}} = -\textbf{j}\\ \Crossprod{\textbf{i}}{\textbf{i}} = \Crossprod{\textbf{j}}{\textbf{j}} = \Crossprod{\textbf{k}}{\textbf{k}} = \textbf{0} \end{gather*}

width height 0.5pt

Recall from geometry that a parallelepiped is a 3-dimensional solid with 6 faces, all of which are parallelograms.^[1]

Example 1.12

Volume of a parallelepiped: Let the vectors u, v, w in $\Real{3}$ represent adjacent sides of a parallelepiped $P$, with u, v, w forming a right-handed system, as in Figure 1.4.7. Show that the volume of $P$ is the scalar triple product $\Dotprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}$.

Solution: Recall that the volume $\text{vol}(P)$ of a parallelepiped $P$ is the area $A$ of the base parallelogram times the height $h$. By Theorem 1.13(b), the area $A$ of the base parallelogram is $\norm{\Crossprod{\textbf{v}}{\textbf{w}}}$. And we can see that since $\Crossprod{\textbf{v}}{\textbf{w}}$ is perpendicular to the base parallelogram determined by v and w, then the height $h$ is $\norm{\textbf{u}}\,\cos \theta$, where $\theta$ is the angle between u and $\Crossprod{\textbf{v}}{\textbf{w}}$. By Theorem 1.6 we know that

\begin{align*} \cos \theta &= \frac{\Dotprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}}{\norm{\textbf{u}} \, \norm{\Crossprod{\textbf{v}}{\textbf{w}}}}. \text{~~Hence,}\\ \text{vol}(P) &= A \, h\\ &= \norm{\Crossprod{\textbf{v}}{\textbf{w}}} \, \frac{\norm{\textbf{u}} \, \Dotprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}}{\norm{\textbf{u}} \, \norm{\Crossprod{\textbf{v}}{\textbf{w}}}}\\ &= \Dotprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})} \end{align*}

width height 0.5pt

In Example 1.12 the height $h$ of the parallelepiped is $\norm{\textbf{u}}\,\cos \theta$, and not $-\norm{\textbf{u}}\,\cos \theta$, because the vector $\textbf{u}$ is on the same side of the base parallelogram’s plane as the vector $\Crossprod{\textbf{v}}{\textbf{w}}$ (so that $\cos \theta > 0$). Since the volume is the same no matter which base and height we use, then repeating the same steps using the base determined by u and v (since w is on the same side of that base’s plane as $\Crossprod{\textbf{u}}{\textbf{v}}$), the volume is $\Dotprod{\textbf{w}}{(\Crossprod{\textbf{u}}{\textbf{v}})}$. Repeating this with the base determined by w and u, we have the following result:

For any vectors u, v, w in $\Real{3}$,

\begin{equation} \Dotprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})} = \Dotprod{\textbf{w}}{(\Crossprod{\textbf{u}}{\textbf{v}})} = \Dotprod{\textbf{v}}{(\Crossprod{\textbf{w}}{\textbf{u}})} \tag{1.12}\end{equation}

(Note that the equalities hold trivially if any of the vectors are $\textbf{0}$.)

Since $\Crossprod{\textbf{v}}{\textbf{w}} = -\Crossprod{\textbf{w}}{\textbf{v}}$ for any vectors v, w in $\Real{3}$, then picking the wrong order for the three adjacent sides in the scalar triple product in formula (1.12) will give you the negative of the volume of the parallelepiped. So taking the absolute value of the scalar triple product for any order of the three adjacent sides will always give the volume:

Theorem 1.15

If vectors u, v, w in $\Real{3}$ represent any three adjacent sides of a parallelepiped, then the volume of the parallelepiped is $\abs{\Dotprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}}$.

Another type of triple product is the vector triple product $\Crossprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}$. The proof of the following theorem is left as an exercise for the reader:

Theorem 1.16

For any vectors u, v, w in $\Real{3}$,

\begin{equation} \Crossprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})} = (\Dotprod{\textbf{u}}{\textbf{w}})\textbf{v} - (\Dotprod{\textbf{u}}{\textbf{v}})\textbf{w} \tag{1.13}\end{equation}

An examination of the formula in Theorem 1.16 gives some idea of the geometry of the vector triple product. By the right side of formula (1.13), we see that $\Crossprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}$ is a scalar combination of v and w, and hence lies in the plane containing v and w (i.e. $\Crossprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}$, v and w are coplanar). This makes sense since, by Theorem 1.11, $\Crossprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}$ is perpendicular to both u and $\Crossprod{\textbf{v}}{\textbf{w}}$. In particular, being perpendicular to $\Crossprod{\textbf{v}}{\textbf{w}}$ means that $\Crossprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}$ lies in the plane containing v and w, since that plane is itself perpendicular to $\Crossprod{\textbf{v}}{\textbf{w}}$. But then how is $\Crossprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}$ also perpendicular to u, which could be any vector? The following example may help to see how this works.

width height 0.5pt

Example 1.13

Find $\Crossprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}$ for $\textbf{u} = (1, 2, 4)$, $\textbf{v} = (2, 2, 0)$, $\textbf{w} = (1, 3, 0)$.

Solution: Since $\Dotprod{\textbf{u}}{\textbf{v}} = 6$ and $\Dotprod{\textbf{u}}{\textbf{w}} = 7$, then

\begin{align*} \Crossprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})} &= (\Dotprod{\textbf{u}}{\textbf{w}})\textbf{v} - (\Dotprod{\textbf{u}}{\textbf{v}})\textbf{w}\\ &= 7\,(2, 2, 0) - 6\,(1, 3, 0) = (14, 14, 0) - (6, 18, 0)\\ &= (8, -4, 0) \end{align*}

Note that v and w lie in the $xy$-plane, and that $\Crossprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}$ also lies in that plane. Also, $\Crossprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}$ is perpendicular to both u and $\Crossprod{\textbf{v}}{\textbf{w}} = (0, 0, 4)$ (see Figure 1.4.3).

tikzpicture arrows [color=red!30] (-2,0,4) -- (-2,0,-1) -- (2,0,-1) -- (2,0,4); [black!60,line width=0.3pt,-latex] (0,0) -- (2.3,0,0); [black!60,line width=0.3pt,-latex] (0,0) -- (0,2.3,0); [black!60,line width=0.3pt,-latex] (0,0) -- (0,0,4.7); 2.20.20 [center,center]y 0.22.20 [center,center]z 0.204.5 [center,center]x 0.05-0.20 [center,center]0 1.220.5 [center,center]u 1.201.15 [center,center]v 1.7500.65 [center,center]w -0.61.90 [center,center]v w -2.50.44 [center,center]u (v w) [semithick,-latex] (0,0,0) -- (1,2,.5); [semithick,-latex] (0,0,0) -- (1,0,1); [semithick,-latex] (0,0,0) -- (1.5,0,.5); [semithick,-latex] (0,0,0) -- (0,2,0); [semithick,-latex] (0,0,0) -- (-2,0,4); [line width=0.1pt] (.15,.3,.075) -- (-.1,.24,.2) -- (-.18,0,.36); [dashed] (1,2,.5) -- (1,0,.5); tikzpicture — Figure 1.4.3

width height 0.5pt

For vectors $\textbf{v} = \vecthreeijk{v}$ and $\textbf{w} = \vecthreeijk{w}$ in component form, the cross product is written as: $\Crossprod{\textbf{v}}{\textbf{w}} = (\ssub{v}{2}\ssub{w}{3} - \ssub{v}{3}\ssub{w}{2})\textbf{i} + (\ssub{v}{3}\ssub{w}{1} - \ssub{v}{1}\ssub{w}{3})\textbf{j} + (\ssub{v}{1}\ssub{w}{2} - \ssub{v}{2}\ssub{w}{1})\textbf{k}$. It is often easier to use the component form for the cross product, because it can be represented as a determinant. We will not go too deeply into the theory of determinants^[2]; we will just cover what is essential for our purposes.

A $\bm{2 \times 2}$ matrix is an array of two rows and two columns of scalars, written as

\[\begin{bmatrix} a & b\\ c & d \end{bmatrix} \quad\text{or}\quad \begin{pmatrix} a & b\\ c & d \end{pmatrix}\]

where $a, b, c, d$ are scalars. The determinant of such a matrix, written as

\[\begin{vmatrix} a & b\\ c & d \end{vmatrix} \quad\text{or}\quad \det \begin{bmatrix} a & b\\ c & d \end{bmatrix},\]

is the scalar defined by the following formula:

\[\begin{vmatrix} a & b\\ c & d \end{vmatrix} = ad - bc\]

It may help to remember this formula as being the product of the scalars on the downward diagonal minus the product of the scalars on the upward diagonal.

width height 0.5pt

Example 1.14

\[\begin{vmatrix} 1 & 2\\ 3 & 4 \end{vmatrix} = (1)(4) - (2)(3) = 4 - 6 = -2\]

width height 0.5pt

A $\bm{3 \times 3}$ matrix is an array of three rows and three columns of scalars, written as

\[\begin{bmatrix} \ssub{a}{1} & \ssub{a}{2} &\ssub{a}{3}\\ \ssub{b}{1} & \ssub{b}{2} &\ssub{b}{3}\\ \ssub{c}{1} & \ssub{c}{2} &\ssub{c}{3} \end{bmatrix} \quad\text{or}\quad \begin{pmatrix} \ssub{a}{1} & \ssub{a}{2} &\ssub{a}{3}\\ \ssub{b}{1} & \ssub{b}{2} &\ssub{b}{3}\\ \ssub{c}{1} & \ssub{c}{2} &\ssub{c}{3} \end{pmatrix},\]

and its determinant is given by the formula:

\begin{equation} \begin{vmatrix} \ssub{a}{1} & \ssub{a}{2} &\ssub{a}{3}\\ \ssub{b}{1} & \ssub{b}{2} &\ssub{b}{3}\\ \ssub{c}{1} & \ssub{c}{2} &\ssub{c}{3} \end{vmatrix} = \ssub{a}{1} \begin{vmatrix} \ssub{b}{2} & \ssub{b}{3} \\ \ssub{c}{2} & \ssub{c}{3} \end{vmatrix} \;-\; \ssub{a}{2} \begin{vmatrix} \ssub{b}{1} & \ssub{b}{3} \\ \ssub{c}{1} & \ssub{c}{3} \end{vmatrix} \;+\; \ssub{a}{3} \begin{vmatrix} \ssub{b}{1} & \ssub{b}{2} \\ \ssub{c}{1} & \ssub{c}{2} \end{vmatrix} \tag{1.14}\end{equation}

One way to remember the above formula is the following: multiply each scalar in the first row by the determinant of the $2 \times 2$ matrix that remains after removing the row and column that contain that scalar, then sum those products up, putting alternating plus and minus signs in front of each (starting with a plus).

width height 0.5pt

Example 1.15

\[\left| \begin{array}{rrr} 1 & 0 & 2\\ 4 & -1 & 3\\ 1 & 0 & 2 \end{array}\right| = 1 \left|\begin{array}{rr} -1 & 3 \\ 0 & 2 \end{array}\right| \;-\; 0 \left|\begin{array}{rr} 4 & 3 \\ 1 & 2 \end{array}\right| \;+\; 2 \left|\begin{array}{rr} 4 & -1 \\ 1 & 0 \end{array}\right| = 1(-2 - 0) - 0(8 - 3) + 2(0 + 1) = 0\]

width height 0.5pt

We defined the determinant as a scalar, derived from algebraic operations on scalar entries in a matrix. However, if we put three vectors in the first row of a $3 \times 3$ matrix, then the definition still makes sense, since we would be performing scalar multiplication on those three vectors (they would be multiplied by the $2 \times 2$ scalar determinants as before). This gives us a determinant that is now a vector, and lets us write the cross product of $\;\textbf{v} = \vecthreeijk{v}$ and $\textbf{w} = \vecthreeijk{w}\;$ as a determinant:

\begin{align*} \Crossprod{\textbf{v}}{\textbf{w}} = \begin{vmatrix} \textbf{i} & \textbf{j} & \textbf{k} \\ \ssub{v}{1} & \ssub{v}{2} & \ssub{v}{3} \\ \ssub{w}{1} & \ssub{w}{2} & \ssub{w}{3} \end{vmatrix} &= \begin{vmatrix} \ssub{v}{2} & \ssub{v}{3} \\ \ssub{w}{2} & \ssub{w}{3} \end{vmatrix} \textbf{i} \;-\; \begin{vmatrix} \ssub{v}{1} & \ssub{v}{3} \\ \ssub{w}{1} & \ssub{w}{3} \end{vmatrix} \textbf{j} \;+\; \begin{vmatrix} \ssub{v}{1} & \ssub{v}{2} \\ \ssub{w}{1} & \ssub{w}{2} \end{vmatrix} \textbf{k}\\ &= (\ssub{v}{2}\ssub{w}{3} - \ssub{v}{3}\ssub{w}{2})\textbf{i} + (\ssub{v}{3}\ssub{w}{1} - \ssub{v}{1}\ssub{w}{3})\textbf{j} + (\ssub{v}{1}\ssub{w}{2} - \ssub{v}{2}\ssub{w}{1})\textbf{k} \end{align*}

width height 0.5pt

Example 1.16

Let $\textbf{v} = 4\,\textbf{i} - \textbf{j} + 3\,\textbf{k}$ and $\textbf{w} = \textbf{i} + 2\,\textbf{k}$. Then

\[\Crossprod{\textbf{v}}{\textbf{w}} = \left| \begin{array}{rrr} \textbf{i} & \textbf{j} & \textbf{k}\\ 4 & -1 & 3\\ 1 & 0 & 2 \end{array}\right| = \left|\begin{array}{rr} -1 & 3 \\ 0 & 2 \end{array}\right| \textbf{i} \;-\; \left|\begin{array}{rr} 4 & 3 \\ 1 & 2 \end{array}\right| \textbf{j} \;+\; \left|\begin{array}{rr} 4 & -1 \\ 1 & 0 \end{array}\right| \textbf{k} = -2\,\textbf{i} - 5\,\textbf{j} + \textbf{k}\]

width height 0.5pt

The scalar triple product can also be written as a determinant. In fact, by Example 1.12, the following theorem provides an alternate definition of the determinant of a $3 \times 3$ matrix as the volume of a parallelepiped whose adjacent sides are the rows of the matrix and form a right-handed system (a left-handed system would give the negative volume).

Theorem 1.17

For any vectors $\textbf{u} = \vecthree{u}$, $\textbf{v} = \vecthree{v}$, $\textbf{w} = \vecthree{w}$ in $\Real{3}$:

\begin{equation} \Dotprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})} = \begin{vmatrix} \ssub{u}{1} & \ssub{u}{2} &\ssub{u}{3}\\ \ssub{v}{1} & \ssub{v}{2} &\ssub{v}{3}\\ \ssub{w}{1} & \ssub{w}{2} &\ssub{w}{3} \end{vmatrix} \tag{1.15}\end{equation}

width height 0.5pt

Example 1.17

Find the volume of the parallelepiped with adjacent sides $\textbf{u} = (2, 1, 3)$, $\textbf{v} = (-1, 3, 2)$, $\textbf{w} = (1, 1, -2)$ (see Figure 1.4.9).

tikzpicture arrows [black!60,line width=0.3pt,-latex] (0,0) -- (2.8,0,0); [black!60,line width=0.3pt,-latex] (0,0) -- (0,2.3,0); [black!60,line width=0.3pt,-latex] (0,0) -- (0,0,2.3); 2.70.20 [center,center]y 0.22.20 [center,center]z 0.202.1 [center,center]x 0.05-0.20 [center,center]0 0.31.11 [center,center]u 10.8-0.5 [center,center]v 0.2-0.70.5 [center,center]w [semithick,-latex] (0,0,0) -- (0.5,1.5,1); [dashed,semithick,-latex] (0,0,0) -- (1.5,1,-0.5); [semithick,-latex] (0,0,0) -- (0.5,-1,0.5); [line width=0.2pt] (0.5,1.5,1) -- (1,0.5,1.5) -- (0.5,-1,0.5); [line width=0.2pt] (0.5,1.5,1) -- (2,2.5,0.5) -- (2.5,1.5,1) -- (1,0.5,1.5); [line width=0.2pt] (0.5,-1,0.5) -- (2,0,0) -- (2.5,1.5,1); [dashed,line width=0.2pt] (2,2.5,0.5) -- (1.5,1,-0.5) -- (2,0,0); tikzpicture

Solution: By Theorem 1.15, the volume $\text{vol}(P)$ of the parallelepiped $P$ is the absolute value of the scalar triple product of the three adjacent sides (in any order). By Theorem 1.17,

\begin{align*} \Dotprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})} &= \left|\begin{array}{rrr} 2 & 1 & 3\\ -1 & 3 & 2\\ 1 & 1 &-2 \end{array}\right|\\ &= 2 \left|\begin{array}{rr} 3 & 2 \\ 1 & -2 \end{array}\right| \;-\; 1 \left|\begin{array}{rr} -1 & 2 \\ 1 & -2 \end{array}\right| \;+\; 3 \left|\begin{array}{rr} -1 & 3 \\ 1 & 1 \end{array}\right|\\ &= 2(-8) - 1(0) + 3(-4) = -28 \text{,~so}\\ \text{vol}(P) &= \abs{-28} = 28. \end{align*}

width height 0.5pt Interchanging the dot and cross products can be useful in proving vector identities:

width height 0.5pt

Example 1.18

Prove: $\Dotprod{(\Crossprod{\textbf{u}}{\textbf{v}})}{(\Crossprod{\textbf{w}}{\textbf{z}})} = \begin{vmatrix} \Dotprod{\textbf{u}}{\textbf{w}} & \Dotprod{\textbf{u}}{\textbf{z}}\\ \Dotprod{\textbf{v}}{\textbf{w}} & \Dotprod{\textbf{v}}{\textbf{z}}\end{vmatrix}$ for all vectors u, v, w, z in $\Real{3}$.

Solution: Let $\textbf{x} = \Crossprod{\textbf{u}}{\textbf{v}}$. Then

\begin{align*} \Dotprod{(\Crossprod{\textbf{u}}{\textbf{v}})}{(\Crossprod{\textbf{w}}{\textbf{z}})} &= \Dotprod{\textbf{x}}{(\Crossprod{\textbf{w}}{\textbf{z}})}\\ &= \Dotprod{\textbf{w}}{(\Crossprod{\textbf{z}}{\textbf{x}})} \text{~~~(by formula (1.12))}\\ &= \Dotprod{\textbf{w}}{(\Crossprod{\textbf{z}}{(\Crossprod{\textbf{u}}{\textbf{v}})})}\\ &= \Dotprod{\textbf{w}}{((\Dotprod{\textbf{z}}{\textbf{v}})\textbf{u} - (\Dotprod{\textbf{z}}{\textbf{u}})\textbf{v})} \text{~~(by Theorem 1.16)}\\ &= (\Dotprod{\textbf{z}}{\textbf{v}})(\Dotprod{\textbf{w}}{\textbf{u}}) - (\Dotprod{\textbf{z}}{\textbf{u}})(\Dotprod{\textbf{w}}{\textbf{v}})\\ &= (\Dotprod{\textbf{u}}{\textbf{w}})(\Dotprod{\textbf{v}}{\textbf{z}}) - (\Dotprod{\textbf{u}}{\textbf{z}})(\Dotprod{\textbf{v}}{\textbf{w}}) \text{~~(by commutativity of the dot product).}\\ &= \begin{vmatrix} \Dotprod{\textbf{u}}{\textbf{w}} & \Dotprod{\textbf{u}}{\textbf{z}}\\ \Dotprod{\textbf{v}}{\textbf{w}} & \Dotprod{\textbf{v}}{\textbf{z}}\end{vmatrix} \end{align*}

Exercises

For Exercises 1-6, calculate $\Crossprod{\textbf{v}}{\textbf{w}}$.

$\textbf{v} = (5,1,-2)$, $\textbf{w} = (4,-4,3)$
$\textbf{v} = (7,2,-10)$, $\textbf{w} = (2,6,4)$

2
$\textbf{v} = (2,1,4)$, $\textbf{w} = (1,-2,0)$
$\textbf{v} = (1,3,2)$, $\textbf{w} = (7,2,-10)$

2
$\textbf{v} = -\,\textbf{i} + 2\,\textbf{j} + \textbf{k}$, $\textbf{w} = -3\,\textbf{i} + 6\,\textbf{j} + 3\,\textbf{k}$
$\textbf{v} = \textbf{i}$, $\textbf{w} = 3\,\textbf{i} + 2\,\textbf{j} + 4\textbf{k}$

For Exercises 7-8, calculate the area of the triangle $\triangle PQR$.

$P = (5,1,-2)$, $Q = (4,-4,3)$, $R =(2,4,0)$
$P = (4,0,2)$, $Q = (2,1,5)$, $R =(-1,0,-1)$

For Exercises 9-10, calculate the area of the parallelogram $PQRS$.

$P = (2,1,3)$, $Q = (1,4,5)$, $R = (2,5,3)$, $S = (3,2,1)$
$P = (-2,-2)$, $Q = (1,4)$, $R = (6,6)$, $S = (3,0)$

For Exercises 11-12, find the volume of the parallelepiped with adjacent sides u, v, w.

$\textbf{u} = (1,1,3)$, $\textbf{v} = (2,1,4)$, $\textbf{w} = (5,1,-2)$
$\textbf{u} = (1,3,2)$, $\textbf{v} = (7,2,-10)$, $\textbf{w} = (1,0,1)$

For Exercises 13-14, calculate $\Dotprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}$ and $\Crossprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})}$.

$\textbf{u} = (1,1,1)$, $\textbf{v} = (3,0,2)$, $\textbf{w} = (2,2,2)$
$\textbf{u} = (1,0,2)$, $\textbf{v} = (-1,0,3)$, $\textbf{w} = (2,0,-2)$
Calculate $\Dotprod{(\Crossprod{\textbf{u}}{\textbf{v}})}{(\Crossprod{\textbf{w}}{\textbf{z}})}$ for $\textbf{u} = (1,1,1)$, $\textbf{v} = (3,0,2)$, $\textbf{w} = (2,2,2)$, $\textbf{z} = (2,1,4)$.

If v and w are unit vectors in $\Real{3}$, under what condition(s) would $\Crossprod{\textbf{v}}{\textbf{w}}$ also be a unit vector in $\Real{3}\;$? Justify your answer.
Show that if $\Crossprod{\textbf{v}}{\textbf{w}} = \textbf{0}$ for all w in $\Real{3}$, then $\textbf{v} = \textbf{0}$. 2
Prove Theorem 1.14(b).
Prove Theorem 1.14(c).

2
Prove Theorem 1.14(d).
Prove Theorem 1.14(e).

2
Prove Theorem 1.14(f).
Prove Theorem 1.16.
Prove Theorem 1.17. (Hint: Expand both sides of the equation.)
Prove the following for all vectors v, w in $\Real{3}$:
1. $\norm{\Crossprod{\textbf{v}}{\textbf{w}}}^2 + \abs{\Dotprod{\textbf{v}}{\textbf{w}}}^2 = \norm{\textbf{v}}^2 \, \norm{\textbf{w}}^2$
2. If $\Dotprod{\textbf{v}}{\textbf{w}} = 0$ and $\Crossprod{\textbf{v}}{\textbf{w}} = \textbf{0}$, then $\textbf{v} = \textbf{0}$ or $\textbf{w} = \textbf{0}$.

Prove that in Example 1.8 the formula for the area of the triangle $\triangle PQR$ yields the same value no matter which two adjacent sides are chosen. To do this, show that $\frac{1}{2}\,\norm{\Crossprod{\textbf{u}}{(-\textbf{w}})} = \frac{1}{2}\,\norm{\Crossprod{\textbf{v}}{\textbf{w}}}$, where $\textbf{u} = PR$, $-\textbf{w} = PQ$, and $\textbf{v} = QR$, $\textbf{w} = QP$ as before. Similarly, show that $\frac{1}{2}\,\norm{\Crossprod{(-\textbf{u})}{(-\textbf{v}})} = \frac{1}{2}\,\norm{\Crossprod{\textbf{v}}{\textbf{w}}}$, where $-\textbf{u} = RP$ and $-\textbf{v} = RQ$.
Consider the vector equation $\thickspace\Crossprod{\textbf{a}}{\textbf{x}} = \textbf{b}\thickspace$ in $\Real{3}$, where $\textbf{a} \ne \textbf{0}$. Show that:
1. $\Dotprod{\textbf{a}}{\textbf{b}} = 0$
2. $\textbf{x} = \dfrac{\Crossprod{\textbf{b}}{\textbf{a}}}{\norm{\textbf{a}}^2} + k \textbf{a}\thickspace$ is a solution to the equation, for any scalar $k$
Prove the Jacobi identity: $\Crossprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})} + \Crossprod{\textbf{v}}{(\Crossprod{\textbf{w}}{\textbf{u}})} + \Crossprod{\textbf{w}}{(\Crossprod{\textbf{u}}{\textbf{v}})} = \textbf{0}$
Show that u, v, w lie in the same plane in $\Real{3}$ if and only if $\Dotprod{\textbf{u}}{(\Crossprod{\textbf{v}}{\textbf{w}})} = 0$.
For all vectors u, v, w, z in $\Real{3}$, show that

\begin{align*} \Crossprod{(\Crossprod{\textbf{u}}{\textbf{v}})}{(\Crossprod{\textbf{w}}{\textbf{z}})} &= (\Dotprod{\textbf{z}}{(\Crossprod{\textbf{u}}{\textbf{v}})})\textbf{w} - (\Dotprod{\textbf{w}}{(\Crossprod{\textbf{u}}{\textbf{v}})})\textbf{z}\\ \text{and that} \Crossprod{(\Crossprod{\textbf{u}}{\textbf{v}})}{(\Crossprod{\textbf{w}}{\textbf{z}})} &= (\Dotprod{\textbf{u}}{(\Crossprod{\textbf{w}}{\textbf{z}})})\textbf{v} - (\Dotprod{\textbf{v}}{(\Crossprod{\textbf{w}}{\textbf{z}})})\textbf{u} \end{align*}

Why do both equations make sense geometrically?

An equivalent definition of a parallelepiped is: the collection of all scalar combinations $k_{1}\textbf{v}_{1} + k_{2}\textbf{v}_{2} + k_{3}\textbf{v}_{3}$ of some vectors $\textbf{v}_{1}$, $\textbf{v}_{2}$, $\textbf{v}_{3}$ in $\Real{3}$, where $0 \le k_{1}, k_{2}, k_{3} \le 1$. ↩
See ar for a fuller development. ↩

(a) \(\Crossprod{\textbf{v}}{\textbf{w}} = -\Crossprod{\textbf{w}}{\textbf{v}}\)	Anticommutative Law
(b) \(\Crossprod{\textbf{u}}{(\textbf{v} + \textbf{w})} = \Crossprod{\textbf{u}}{\textbf{v}} + \Crossprod{\textbf{u}}{\textbf{w}}\)	Distributive Law
(c) \(\Crossprod{(\textbf{u} + \textbf{v})}{\textbf{w}} = \Crossprod{\textbf{u}}{\textbf{w}} + \Crossprod{\textbf{v}}{\textbf{w}}\)	Distributive Law
(d) \(\Crossprod{(k\textbf{v})}{\textbf{w}} = \Crossprod{\textbf{v}}{(k\textbf{w})} = k(\Crossprod{\textbf{v}}{\textbf{w}})\)	Associative Law
(e) \(\Crossprod{\textbf{v}}{\textbf{0}} = \textbf{0} = \Crossprod{\textbf{0}}{\textbf{v}}\)
(f) \(\Crossprod{\textbf{v}}{\textbf{v}} = \textbf{0}\)
(g) \(\Crossprod{\textbf{v}}{\textbf{w}} = \textbf{0}\) if and only if \(\textbf{v} \parallel \textbf{w}\)