In Section, 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, let 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 amounts to using the definition of the dot product and properties of real number arithmetic. To show the commutative property for instance, 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.
The following example puts Theorem to good use. As in Example, 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 Example 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 Example 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 11.278Figure 11.279Figure 11.280
The following theorem gives us some insight into the geometric role the dot product plays.
We prove Theorem in cases. If , then and have the same direction. It follows1 that there is a real number so that . Hence, . Since , , so by Theorem. Hence, . Since , we get , proving that the formula holds for . If , we repeat the argument with the difference being where . In this case, , so . Since , we get , as required. Next, if , the vectors , and determine a triangle with side lengths , and , respectively, as seen below.
Figure 11.281Figure 11.282
The Law of Cosines yields . From Example Example 1, we know . Equating these two expressions for gives which reduces to , or , as required. An immediate consequence of Theorem is the following.
We obtain the formula in Theorem by solving the equation given in Theorem for . Since and are nonzero, so are and . Hence, we may divide both sides of by to get . Since by definition, the values of exactly match the range of the arccosine function. Hence, . Using Theorem, we can rewrite , giving us the alternative formula .
We are overdue for an example.
The vectors , and in Example Example 2 are called orthogonal and we write , because the angle between them is . Geometrically, when orthogonal vectors are sketched with the same initial point, the lines containing the vectors are perpendicular.
Figure 11.283
and are orthogonal,
We state the relationship between orthogonal vectors and their dot product in the following theorem.
To prove Theorem, we first assume and are nonzero vectors with . By definition, the angle between and is . By Theorem, . Conversely, if and are nonzero vectors and , then Theorem gives , so . We can use Theorem in the following example to provide a different proof about the relationship between the slopes of perpendicular lines.3
While Theorem 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 , which we'll denote , is acute. 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 make use of Theorem as applied to the right triangle . We find , or . To get things in terms of just and , we use Theorem to get . Using Theorem, we rewrite . Hence, , and since , we now have a formula for completely in terms of and , namely .
Figure 11.284Figure 11.285Figure 11.286
Now suppose that the angle between and is obtuse, and consider the diagram below. 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.
Figure 11.287
If the angle between and is then it is easy to show4 that . Since in this case, . It follows that and in this case, too. This gives us
Definition 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 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, 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.
Suppose we wanted to verify that our answer in Example Example 4 is indeed the orthogonal projection of onto . We first note that since is a scalar multiple of , it has the correct direction, so what remains to check is the orthogonality condition. Consider the vector whose initial point is the terminal point of and whose terminal point is the terminal point of .
Figure 11.289
From the definition of vector arithmetic, , so that . In the case of Example Example 4, and , so . Then , which shows , as required. This result is generalized in the following theorem.
Note that if the vectors and in Theorem are nonzero, then we can say is parallel5 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, 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
exist. Now we need to show that they are unique. Suppose where the vectors and satisfy the same properties described in Theorem as and . Then , so . Hence, . Now there are scalars and so that and . This means . Since , , which means the only way is for , or . This means . With , 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.
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, we assume 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 below where the constant force is applied to move an object from the point to the point .
Figure 11.290
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 , , where is the angle between the applied force and the trajectory of the motion . We have proved the following.
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, 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.
Finish the proof of the scalar property of the dot product in Theorem.
We know that for all real numbers and by the Triangle Inequality established in Exercise in Section. 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: To show this inequality, start with the fact that and use the fact that for all .)
(Step 3) Show that .
(Step 4) Use Step 3 to show that for all pairs of vectors and .
As an added bonus, we can now show that the Triangle Inequality holds for all complex numbers and as well. Identify the complex number with the vector and identify the complex number with the vector and just follow your nose!
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, 3rd corrected edition, 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.