Given the 3D vectors , whose coordinates are given for a Cartesian coordinate system:
- ,
- ,
their dot product may be defined to be
Let be their cross product:
-
- .
The cross product is perpendicular to both of factors, and , as can be verified by taking dot products:
-
Assuming that both and are non-zero in length then the cosine of the angle between them yields 0; so the angle between them is a right angle; so and are perpendicular; i.e., and are perpendicular. [But the geometric interpretation for the 3D case has not been shown yet; would not this claim be circular then?]
Exercise: Show that and are perpendicular.
Let be the normalized version of , i.e.
so that has unit length, because
and . [Again, this calculation has used the geometric interpretation of the dot product already.]
Let ,
then has the same length as but is perpendicular to both and , so it is a rotation by 90° of in the “ plane” (the plane whose normal is ).
Likewise let .
Let
- ,
- .
Note: is a rotation of by an angle around axis . Likewise is a rotation of by an angle around axis .
-
( get replaced by due to the dot product; this combination of dot and cross product forming a determinant is called a vector triple product).
because the dot product is commutative.
-
because there is an interchange of rows one and three in the determinant; so swapping two factors of a vector triple product changes its sign.
So ,
Focusing on the last term (of the right-hand side (RHS)):
-
Summary of the argument coming up ahead: is a 90° (counterclockwise) rotation of in the plane and is a 90° (counterclockwise) rotation of in the plane, so
thus
- (End of summary.)
The products and have the general form . We will now derive a formula for .
The double cross product has to be perpendicular to , so it must be in the plane of both and ; it must be a linear combination of and .
-
-
-
-
-
-
-
- .
Back to the focused-on equation:
-
-
Thus
-
Now the first cross and the dot in the RHS may be swapped, because the product is a vector triple product:
and now there is a double cross product at the end of the RHS, so the formula can be applied:
-
Thus
- ∴
- ∴ .
So rotating 3D vectors and by the same angle along their common plane leaves their dot product preserved.
~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
Given a pair of 3D vectors and , what happens to the dot product if is rotated around the axis so that the angle between and is preserved?
Firstly we will derive the Rodrigues formula in order to perform such a rotation. Vector must be analyzed into parts that are parallel and perpendicular to : call them and . Firstly consider the normalized version of :
- .
The projection of onto the axis is:
Now subtract from to obtain its perpendicular part:
What is ?
-
Since is a unit vector then , so
which proves that is perpendicular to , as expected. [Or does it? Has the geometric interpretation of the dot product been established yet? Is not the argument a bit circular?]
where is the angle of rotation.
-
so a Rodrigues rotation of vector around vector by an angle is
Dot-multiplying the just-above by yields
because for any .
-
as claimed.
Any other rotations of a pair of vectors which leave the angle between them unchanged may be composed of these two kinds of rotation already considered: (1) Rodrigues rotation of one vector around the axis of the other vector, which also rotates the plane containing both vectors; and (2) a dual, “isoangular”, simultaneous pair of rotations of both vectors along their common plane, which leaves it fixed.
Both of these kinds of rotations have been shown to preserve the dot product between the two vectors; therefore any angle preserving (and magnitude preserving; but that should be implicit in the term “rotation”) rotational movement of the two vectors also preserves their dot product.
Homogeneity. Multiplying the lengths of and . Let , , i.e.,
- ,
then
-
- .
Multiplying the length of or also multiplies the length of their dot product by the same factor.
What happens when both and are unit vectors? Rotate them in an angle-preserving way so as to place along the x-axis. Then
- .
Rotate around until is contained by the xy-plane. Then
for some angle . The angle is now contained within the xy-plane:
- .
because the rotation was also dot-product preserving.
For non-unit vectors :
- ,
where , .
but so
where u and v are the magnitudes of respectively; and is the angle between them. This is the geometric interpretation of the dot product (in 3D; it looks the same as that for the plane).