Module 2: The Relationship Between Angles, Magnitudes, and the Cross Product
As with the dot product, the cross product offers an interesting relation about the arrangement of two vectors:
‖→a×→b‖=‖→a‖‖→b‖sin(θ)
where ‖‖ is the norm, and
θ is the angle between vectors
→a and
→b.
Whereas the dot product (with cosine) gave us a zero value when the vectors are perpendicular, the cross product (with sine) will give us the zero vector when both vectors are parallel! However, this is often not the best use of the cross product (it is usually easy to see just by looking at them if vectors are parallel). Moreover, this is not the best way to find the angle between given vectors either, since the computation in the dot product formula is often simpler.
Instead we offer another application of this result: Examine the diagram below to find a parallelogram with sides labeled as lengths of vectors. Then the area of the parallelogram will be the value of ‖→a×→b‖!
The height of the parallelogram is h=|→b|sin(θ), so the area of the parallelogram is
|→a||→b|sin(θ)=|→a×→b|.
For example: The area of the parallelogram with sides given by:
→a=(−112) and →b=(03−2)
will be
‖→a×→b‖=‖(−8−2−3)‖=√64+4+9=√77.
Another interesting geometric relation between vectors and their cross product is the following: Let us compute →a⋅(→a×→b). That is, take two vectors and compute their cross product. Then take the dot product of the result with one of the two initial vectors:
→a⋅(→a×→b)=(axayaz)⋅(aybz−azbyazbx−axbzaxby−aybx)=axaybz−axazby+ayazbx−ayaxbz+azaxby−azaybx.
f you examine the end sum closely you'll find that it must be zero! Therefore we can say that the cross product of two vectors must be perpendicular to the two original vectors!
We can verify this with our example vectors from before. Recall that
(−112)×(03−2)=(−8−2−3).
So let us compute
(−112)⋅(−8−2−3)=8−2−6=0.
You can also check that
(03−2)⋅(−8−2−3)=0
as well.
The expression →a⋅(→a×→b) is an example of the triple product which has general form
→a⋅(→b×→c) for three vectors in
R3. This number (in absolute value) will give the volume of a parallelepiped with edges given as in the picture below. We will not go into too much detail here except to say that this is related to how determinants of square matrices give
n-dimensional volumes. For more on this, consider a course in linear algebra.