1.3: Dot Product

Michael Corral
Schoolcraft College

You may have noticed that while we did define multiplication of a vector by a scalar in the previous section on vector algebra, we did not define multiplication of a vector by a vector. We will now see one type of multiplication of vectors, called the dot product.

Definition 1.6: Dot Product Let $\textbf = (v_, v_, v_)$ and $\textbf$ = $(w_, w_, w_)$ be vectors in $\mathbb^$. The $\textbf$ of $\textbf$ and $\textbf$, denoted by $\textbf \cdot \textbf$, is given by: \[\textbf \cdot \textbf = v_w_ + v_w_ + v_w_\] Similarly, for vectors $\textbf = (v_, v_)$ and $\textbf = (w_, w_)$ in $\mathbb^$, the dot product is: \[\textbf \cdot \textbf = v_w_ + v_w_\]

Notice that the dot product of two vectors is a scalar, not a vector. So the associative law that holds for multiplication of numbers and for addition of vectors (see Theorem 1.5 (b),(e)), does $\textit$ hold for the dot product of vectors. Why? Because for vectors $\textbf$, $\textbf$, $\textbf$, the dot product $\textbf \cdot \textbf$ is a scalar, and so $(\textbf \cdot \textbf) \cdot \textbf$ is not defined since the left side of that dot product (the part in parentheses) is a scalar and not a vector. For vectors $\textbf = v_\textbf + v_\textbf + v_\textbf$ and $\textbf = w_\textbf + w_\textbf + w_\textbf$ in component form, the dot product is still $\textbf \cdot \textbf = v_w_ + v_w_ + v_w_$. Also notice that we defined the dot product in an analytic way, i.e. by referencing vector coordinates. There is a geometric way of defining the dot product, which we will now develop as a consequence of the analytic definition.

Definition 1.7 The $\textbf$ between two nonzero vectors with the same initial point is the smallest angle between them.

$alt$

We do not define the angle between the zero vector and any other vector. Any two nonzero vectors with the same initial point have two angles between them: $\theta$ and $360^ - \theta$. We will always choose the smallest nonnegative angle $\theta$ between them, so that $0^ \leq \theta \leq 180^$. See Figure 1.3.1. We can now take a more geometric view of the dot product by establishing a relationship between the dot product of two vectors and the angle between them.

Theorem 1.6 Let $\textbf$, $\textbf$ be nonzero vectors, and let $\theta$ be the angle between them. Then \[\cos \theta = \dfrac \cdot \textbf><\norm>\, \norm<\textbf>>\]

$alt$

Proof We will prove the theorem for vectors in $\mathbb^$ (the proof for $\mathbb^$ is similar). Let $\textbf = (v_, v_, v_)$ and $\textbf = (w_, w_, w_)$. By the Law of Cosines (see Figure 1.3.2), we have \[\norm <\textbf- \textbf>^ = \norm<\textbf>^ + \norm<\textbf>^ - 2\,\norm<\textbf>\,\norm<\textbf> \cos \theta \label\] (note that Equation $\ref$) holds even for the "degenerate'' cases $\theta = 0^$ and $180^$). Since $\textbf - \textbf = (v_ - w_, v_ - w_, v_ - w_)$, expanding $\norm <\textbf- \textbf>^$ in Equation $\ref$ gives \[\nonumber \begin \norm<\textbf>^ + \norm<\textbf>^ - 2\,\norm<\textbf>\,\norm<\textbf> \cos \theta &= (v_ - w_)^ + (v_ - w_)^ + (v_ - w_)^ \\[4pt] \nonumber&= (v_^ - 2v_w_ + w_^) + (v_^ - 2v_w_ +w_^) + (v_^ - 2v_w_ + w_^) \\[4pt] \nonumber&= (v_^ + v_^ + v_^) + (w_^ + w_^ + w_^) - 2(v_w_ + v_w_ + v_w_) \\[4pt] \nonumber&= \norm<\textbf>^ + \norm<\textbf>^ - 2(\textbf \cdot \textbf) \text \\[4pt] \nonumber -2\,\norm<\textbf>\,\norm<\textbf> \cos \theta &= -2(\textbf \cdot \textbf) \text\textbf \neq \textbf \text< and >\textbf \neq \textbf \text < then>\\[4pt] \nonumber \cos \theta &= \dfrac <\textbf\cdot \textbf><\norm<\textbf> \norm<\textbf>> \text \norm<\textbf> > 0 \text < and >\norm<\textbf> > 0. \\[4pt] \end\]

Example 1.5 Find the angle $\theta$ between the vectors $\textbf = (2,1,-1)$ and $\textbf = (3,-4,1)$. Solution Since $\textbf \cdot \textbf = (2)(3) + (1)(-4) + (-1)(1) = 1$, $\norm> = \sqrt$, and $\norm<\textbf> = \sqrt$, then

Two nonzero vectors are $\textbf$ if the angle between them is $90^$. Since $\cos 90^ = 0$, we have the following important corollary to Theorem 1.6:

Corollary 1.7 Two nonzero vectors $\textbf$ and $\textbf$ are perpendicular if and only if $\textbf \cdot \textbf = 0$.

We will write $\textbf \perp \textbf$ to indicate that $\textbf$ and $\textbf$ are perpendicular. Since $\cos \theta > 0$ for $0^ \le \theta < 90^$ and $\cos \theta < 0$ for $90^< \theta \le 180^$, we also have:

Corollary 1.8 If $\theta$ is the angle between nonzero vectors $\textbf$ and $\textbf$, then \[\nonumber \textbf \cdot \textbf \text< is >= \begin > 0, & \text0^ \leq \theta < 90^\\[4pt] 0, & \text\theta = 90^ \\[4pt] < 0, & \text90^ < \theta \leq 180^\end\]

$alt$

By Corollary 1.8, the dot product can be thought of as a way of telling if the angle between two vectors is acute, obtuse, or a right angle, depending on whether the dot product is positive, negative, or zero, respectively. See Figure 1.3.3.

Example 1.6 Are the vectors $\textbf = (-1,5,-2)$ and $\textbf = (3,1,1)$ perpendicular? Solution Yes, $\textbf \perp \textbf$ since $\textbf \cdot \textbf = (-1)(3) + (5)(1) + (-2)(1) = 0$.

The following theorem summarizes the basic properties of the dot product.

$\textbf \cdot \textbf = \textbf \cdot \textbf$ Commutative Law
$(k\textbf) \cdot \textbf = \textbf \cdot (k\textbf) = k(\textbf \cdot \textbf)$ Associative Law
$\textbf \cdot \textbf = 0 = \textbf \cdot \textbf$
$\textbf \cdot (\textbf + \textbf) = \textbf \cdot \textbf + \textbf \cdot \textbf$ Distributive Law
$(\textbf + \textbf) \cdot \textbf = \textbf \cdot \textbf + \textbf \cdot \textbf$ Distributive Law
$|\textbf \cdot \textbf| \le \norm<\textbf>\,\norm<\textbf>$ Cauchy-Schwarz Inequality

The proofs of parts (a)-(e) are straightforward applications of the definition of the dot product, and are left to the reader as exercises. We will prove part (f).

(f) If either $\textbf = \textbf$ or $\textbf = \textbf$, then $\textbf \cdot \textbf = 0$ by part (c), and so the inequality holds trivially. So assume that $\textbf$ and $\textbf$ are nonzero vectors. Then by Theorem 1.6,

Using Theorem 1.9, we see that if $\textbf \cdot \textbf = 0$ and $\textbf \cdot \textbf = 0$, then $\textbf \cdot (k\textbf + l\textbf) = k(\textbf \cdot \textbf) + l(\textbf \cdot \textbf) = k(0) + l(0) =0$ for all scalars $k, l$. Thus, we have the following fact:

\[\nonumber \text \perp \textbf\) and $\textbf \perp \textbf$, then $\textbf \perp (k\textbf + l\textbf)$ for all scalars $k, l$.>\]

For vectors $\textbf$ and $\textbf$, the collection of all scalar combinations $k\textbf + l\textbf$ is called the $\textbf$ of $\textbf$ and $\textbf$. If nonzero vectors $\textbf$ and $\textbf$ are parallel, then their span is a line; if they are not parallel, then their span is a plane. So what we showed above is that a vector which is perpendicular to two other vectors is also perpendicular to their span.

The dot product can be used to derive properties of the magnitudes of vectors, the most important of which is the $\textit$, as given in the following theorem:

Theorem 1.10: Vector Magnitude Limitations

For any vectors $\textbf, \textbf$, we have

$\norm>^ = \textbf \cdot \textbf$
$\norm + \textbf> \le \norm> + \norm<\textbf>$ Triangle Inequality
$\norm - \textbf> \ge \norm> - \norm<\textbf>$

Proof:
(a) Left as an exercise for the reader.

(c) Since $\textbf = \textbf + (\textbf - \textbf)$, then $\norm<\textbf> = \norm <\textbf+ (\textbf - \textbf)> \le \norm<\textbf> + \norm <\textbf- \textbf>$ by the Triangle Inequality, so subtracting $\norm<\textbf>$ from both sides gives $\norm<\textbf> - \norm<\textbf> \le \norm <\textbf- \textbf>$.

The Triangle Inequality gets its name from the fact that in any triangle, no one side is longer than the sum of the lengths of the other two sides (see Figure 1.3.4). Another way of saying this is with the familiar statement "the shortest distance between two points is a straight line.''

$alt$

This page titled 1.3: Dot Product is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Michael Corral via source content that was edited to the style and standards of the LibreTexts platform.

Was this article helpful?
Yes
No