In Section 13.3, we learned how add and subtract vectors and how to multiply vectors by scalars. In this section, we define a product of vectors. We begin with the following definition.
For example, if and ,then .
Note that the dot product takes two vectors and produces a scalar. For that reason, the quantity is often called the scalar product of and . The dot product enjoys the following properties.
Like most of the theorems involving vectors, the proof of Theorem 13.10 amounts to using the definition of the dot product and properties of real number arithmetic.
For example, to show the commutative property, let and . Then
The distributive property is proved similarly and is left as an exercise.
For the scalar property, assume that and and is a scalar. Then
We leave the proof of as an exercise.
For the last property, we note that if , then , where the last equality comes courtesy of Definition 13.4.
The following example puts Theorem 13.10 to good use. As in Example 13.3.3, we work out the problem in great detail and encourage the reader to supply the justification for each step.
If we take a step back from the pedantry in Example 13.4.1, we see that the bulk of the work is needed to show that . If this looks familiar, it should.
Since the dot product enjoys many of the same properties enjoyed by real numbers, the machinations required to expand for vectors and match those required to expand for real numbers and , and hence we get similar looking results.
The identity verified in Example 13.4.1 plays a large role in the development of the geometric properties of the dot product, which we now explore.
Suppose and are two nonzero vectors. If we draw and with the same initial point, we define the angle between
and to be the angle determined by the rays containing the vectors and , as illustrated below. We require . (Think about why this is needed in the definition.)
Figure 13.48Figure 13.49Figure 13.50
The following theorem gives us some insight into the geometric role the dot product plays.
We prove Theorem 13.11 in cases. If , then and have the same direction. It follows1 that there is a real number so that . Hence, .
Working from the other end of the equation, , where courtesy of Theorem 13.8, and since .
Hence, in the case , we have shown and . Putting these two equations together shows that holds in this case.
If , and have the exact opposite directions, so there is a real number with .
As before, we compute . Since here, we have . Hence, we find .
Once again, both and , so in this case.
Next, if , the vectors , and determine a triangle with side lengths , and , respectively, as seen in the diagram below.
Figure 13.51Figure 13.52
The Law of Cosines yields . From Example 13.4.1, we also have that .
Equating these two expressions for gives which reduces to . Hence, , as required.
An immediate consequence of Theorem 13.11 is the following.
We obtain the formula in Theorem 13.12 by solving the equation given in Theorem 13.11 for .
Since and are nonzero, so are and . Hence, we may divide both sides of by . Since by definition, the values of exactly match the range of the arccosine function. Hence,
Using Theorem 13.10, we can rewrite
giving us the alternative formula listed in Theorem 13.12: . We are overdue for an example.
A few remarks about Example 13.4.2 are in order. Note that for nonzero vectors and , the lengths and are always positive. Since Theorem 13.11 tells us that , we know the sign of is the same as the sign of .
Geometrically, if , then so is an obtuse angle, demonstrated number above.
If , then so as in number. In this case, the vectors and are called orthogonal. Geometrically, when orthogonal vectors are sketched with the same initial point, the lines containing the vectors are perpendicular. Hence, if and are orthogonal, we write .
Note there is no `zero product property' for the dot product. As with the vectors in number above, it is quite possible to have but neither nor be .
Finally, if , then so is an acute angle, as in the case of number above.
We summarize all of our observations in the schematic below.
Figure 13.56Figure 13.57Figure 13.58
is obtuse
is acute
Of the three cases diagrammed above, the one which has the most mathematical significance moving forward is the orthogonal case. Hence, we state the corresponding theorem below.
Basically, Theorem 13.13 tells us that `the dot product detects orthogonality.' This is a helpful interpretation to keep in mind as you continue your study of vectors in later courses.
We have already argued one direction of Theorem 13.13, namely if then in the comments following Example 13.4.2.
To show the converse, we note if , then the angle between and , . From Theorem 13.11, we have that , as required.
We can use Theorem 13.13 in the following example to provide a different proof about the relationship between the slopes of perpendicular lines.2
Vector Projections
While Theorem 13.13 certainly gives us some insight into what the dot product means geometrically, there is more to the story of the dot product. Consider the two nonzero vectors and drawn with a common initial point below. For the moment, assume that the angle between and , , is acute.
Figure 13.59Figure 13.60Figure 13.61
We wish to develop a formula for the vector , indicated below, which is called the orthogonal projection of onto
. The vector is obtained geometrically as follows: drop a perpendicular from the terminal point of to the vector and call the point of intersection . The vector is then defined as .
Like any vector, is determined by its magnitude and its direction according to the formula . Since we want to have the same direction as , we have .
To determine , we apply Definition B.1 to the right triangle . We find , or, equivalently, . Using Theorems 13.11 and 13.10, we get:
Hence, , and since , we have .
Now suppose that the angle between and is obtuse, and consider the diagram below.
Figure 13.62
In this case, we see that and using the triangle , we find . Since , it follows that , which means .
Rewriting this last equation in terms of and as before, we get . Putting this together with , we get in this case as well.
If the angle between and is then it is easy to show3 that . Since in this case, . It follows that and in this case, too. We have motivated the following.
Definition 13.8 gives us a good idea what the dot product does. The scalar is a measure of how much of the vector is in the direction of the vector and is thus called the scalar projection of onto .
While the formula given in Definition 13.8 is theoretically appealing, because of the presence of the normalized unit vector , computing the projection using the formula can be messy. We present two other formulas that are often used in practice.
The proof of Theorem 13.14, which we leave to the reader as an exercise, amounts to using the formula and properties of the dot product. It is time for an example.
In Example 13.4.4 above, writing is an example of what is called a vector decomposition of . We generalize this result in the following theorem.
If the vectors and in Theorem 13.15 are nonzero, then we can say is `parallel'5 to and is `orthogonal' to . In this case, the vector is sometimes called the `vector component of
parallel to ' and is called the `vector component of
orthogonal to .'
To prove Theorem 13.15, we take and . Then is, by definition, a scalar multiple of . Next, we compute .
Hence, , as required. At this point, we have shown that the vectors and guaranteed by Theorem 13.15
exist. Now we need to show that they are unique - that is, there is only one such way to decompose in the manner described in Theorem 13.15.
Suppose where the vectors and satisfy the same properties described in Theorem 13.15 as and . Then , so . The long and short of this computation is that .
Now there are scalars and so that and . This means .
Since , , which means the only way is for , or . This means . Since , it must be that as well.
Hence, we have shown there is only one way to write as a sum of vectors as described in Theorem 13.15, so the decomposition listed there is unique.
We close this section with an application of the dot product. In Physics, if a constant force is exerted over a distance , the work
done by the force is given by . Here, the assumption is that the force is being applied in the direction of the motion. If the force applied is not in the direction of the motion, we can use the dot product to find the work done.
Consider the scenario sketched below in which the constant force is applied to move an object from the point to the point . Here the force is being applied at an angle as opposed to being applied directly in the direction of the motion.
Figure 13.65
To find the work done in this scenario, we need to find how much of the force is in the direction of the motion . This is precisely what the dot product represents.
Since the distance the object travels is , we get . Since , we can simplify this formula as follows: .
Using Theorem 13.11, we can rewrite , where is the angle between the applied force and the trajectory of the motion . We have proved the following.
We test out our formula for work in the following example.
Exercises
In Exercises -, use the pair of vectors and to find the following quantities.
The angle (in degrees) between and
(Show that .)
and
and
and
and
and
and
and
and
and
and
and
and
and
and
and
and
and
and
and
and
A force of pounds is required to tow a trailer. Find the work done towing the trailer along a flat stretch of road feet. Assume the force is applied in the direction of the motion.
Find the work done lifting a pound book feet straight up into the air. Assume the force of gravity is acting straight downwards.
Suppose Taylor fills her wagon with rocks and must exert a force of 13 pounds to pull her wagon across the yard. If she maintains a angle between the handle of the wagon and the horizontal, compute how much work Taylor does pulling her wagon 25 feet. Round your answer to two decimal places.
In Exercise in Section 13.3, two drunken college students have filled an empty beer keg with rocks which they drag down the street by pulling on two attached ropes. The stronger of the two students pulls with a force of 100 pounds on a rope which makes a angle with the direction of motion. (In this case, the keg was being pulled due east and the student's heading was NE.) Find the work done by this student if the keg is dragged 42 feet.
Find the work done pushing a 200 pound barrel 10 feet up a incline. Ignore all forces acting on the barrel except gravity, which acts downwards. Round your answer to two decimal places.
HINT: Since you are working to overcome gravity only, the force being applied acts directly upwards. This means that the angle between the applied force in this case and the motion of the object is not the of the incline!
Prove the distributive property of the dot product in Theorem 13.10.
Finish the proof of the scalar property of the dot product in Theorem 13.10.
Show Theorem 13.15 reduces to Theorem 13.9 in the case .
We know that for all real numbers and by the Triangle Inequality established in Exercise in Section 1.3. We can now establish a Triangle Inequality for vectors. In this exercise, we prove that for all pairs of vectors and .
(Step 1) Show that .
(Step 2) Show that . This is the celebrated Cauchy-Schwarz Inequality.6
HINT: Start with and use the fact that for all .
(Step 3) Show:
(Step 4) Use Step 3 to show that for all pairs of vectors and .
Answers
and
and
and
and
and
and
and
and
and
and
and
and
and
and
and
and
and
and
and
and
foot-pounds
foot-pounds
foot-pounds
foot-pounds
foot-pounds
Adapted from Precalculus, Preliminary 4th Edition (integrated calculus), by Carl Stitz and Jeff Zeager (stitz-zeager.com), licensed under CC BY-NC-SA 3.0. Changes were made: reformatted as an accessible XYZ web edition. License: CC-BY-NC-SA-3.0.
These eBooks are a prerelease and are not yet certified conformant with WCAG 2.1 AA or ADA Title II. Every page is built against an automated accessibility gate, and the published editions will meet ADA Title II requirements when they release in late September 2026. If something is unusable, please tell us.