丁香园AV

Suppose we are given two vectors. In many cases it is useful to find a third vector perpendicular to the first two. There are of course an infinite number of such vectors of different lengths. Nevertheless, let us find one. Suppose \(\vect{v}=\langle v_1,v_2,v_3\rangle\) and \(\vect{w}=\langle w_1,w_2,w_3\rangle\text{.}\) We want to find a vector \(\vect{c} = \langle c_1,c_2,c_3\rangle\) with \(\vect{c}\cdot\vect{v}=\vect{c}\cdot\vect{ w}=0\text{,}\) or

Multiply the first equation by \(w_3\) and the second by \(v_3\) and subtract to get

Of course, this equation in two variables has many solutions; a particularly easy one to see is \(c_1=v_2w_3-w_2v_3\text{,}\) \(c_2=w_1v_3-v_1w_3\text{.}\) Substituting back into either of the original equations and solving for \(c_3\) gives \(c_3=v_1w_2-w_1v_2\text{.}\)

This particular answer to the problem turns out to have some nice properties, and it is dignified with a name: the cross product:

While there is a nice pattern to this vector, it can be a bit difficult to memorize; here is a convenient mnemonic. The determinant of a two by two matrix is

This is extended to the determinant of a three by three matrix:

Each of the two by two matrices is formed by deleting the top row and one column of the three by three matrix; the subtraction of the middle term must also be memorized. This is not the place to extol the uses of the determinant; suffice it to say that determinants are extraordinarily useful and important. Here we want to use it merely as a mnemonic device. You will have noticed that the three expressions in parentheses on the last line are precisely the three coordinates of the cross product; replacing \(x\text{,}\) \(y\text{,}\) \(z\) by \(\vect{i}\text{,}\) \(\vect{j}\text{,}\) \(\vect{k}\) gives us

Given \(\vect{v}\) and \(\vect{w}\text{,}\) there are typically two possible directions and an infinite number of magnitudes that will give a vector perpendicular to both \(\vect{v}\) and \(\vect{w}\text{.}\) As we have picked a particular one, we should investigate the magnitude and direction.

We know how to compute the magnitude of \(\vect{v}\times\vect{w}\text{;}\) it's a bit messy but not difficult. It is somewhat easier to work initially with the square of the magnitude, so as to avoid the square root:

While it is far from obvious, this nasty looking expression can be simplified:

The magnitude of \(\vect{v}\times\vect{w}\) is thus very similar to the dot product. In particular, notice that if \(\vect{v}\) is parallel to \(\vect{w}\text{,}\) the angle between them is zero, so \(\sin\theta=0\text{,}\) so \(|\vect{v}\times\vect{w}|=0\text{,}\) and likewise if they are anti-parallel, \(\sin\theta=0\text{,}\) and \(|\vect{v}\times\vect{w}|=0\text{.}\) Conversely, if \(|\vect{v}\times\vect{w}|=0\) and \(|\vect{v}|\) and \(|\vect{w}|\) are not zero, it must be that \(\sin\theta=0\text{,}\) so \(\vect{v}\) is parallel or anti-parallel to \(\vect{w}\text{.}\) Here is a curious fact about this quantity that turns out to be quite useful later on: Given two vectors, we can put them tail to tail and form a parallelogram, as in 贵颈驳耻谤别听6.10. The height of the parallelogram, \(h\text{,}\) is \(|\vect{v}|\sin\theta\text{,}\) and the base is \(|\vect{w}|\text{,}\) so the area of the parallelogram is \(|\vect{v}||\vect{w}|\sin\theta\text{,}\) exactly the magnitude of \(|\vect{v}\times\vect{w}|\text{.}\)

What about the direction of the cross product? Remarkably, there is a simple rule that describes the direction. Let's look at a simple example: Let \(\vect{v}=\langle a,0,0\rangle\text{,}\) \(\vect{w}=\langle b,c,0\rangle\text{.}\) If the vectors are placed with tails at the origin, \(\vect{v}\) lies along the \(x\)-axis and \(\vect{w}\) lies in the \(x\)-\(y\)-plane, so we know the cross product will point either up or down. The cross product is

As predicted, this is a vector pointing up or down, depending on the sign of \(ac\text{.}\) Suppose that \(a>0\text{,}\) so the sign depends only on \(c\text{:}\) if \(c>0\text{,}\) \(ac>0\) and the vector points up; if \(c\lt 0\text{,}\) the vector points down. On the other hand, if \(a\lt 0\) and \(c>0\text{,}\) the vector points down, while if \(a\lt 0\) and \(c\lt 0\text{,}\) the vector points up. Here is how to interpret these facts with a single rule: Imagine rotating vector \(\vect{v}\) until it points in the same direction as \(\vect{w}\text{;}\) there are two ways to do this鈥攗se the rotation that goes through the smaller angle. If \(a>0\) and \(c>0\text{,}\) or \(a\lt 0\) and \(c\lt 0\text{,}\) the rotation will be counter-clockwise when viewed from above; in the other two cases, \(\vect{v}\) must be rotated clockwise to reach \(\vect{w}\text{.}\) The rule is: counter-clockwise means up, clockwise means down. If \(\vect{v}\) and \(\vect{w}\) are any vectors in the \(x\)-\(y\)-plane, the same rule applies鈥擻(\vect{v}\) need not be parallel to the \(x\)-axis.

Although it is somewhat difficult computationally to see how this plays out for any two starting vectors, the rule is essentially the same. Place \(\vect{v}\) and \(\vect{w}\) tail to tail. The plane in which \(\vect{v}\) and \(\vect{w}\) lie may be viewed from two sides; view it from the side for which \(\vect{v}\) must rotate counter-clockwise to reach \(\vect{w}\text{;}\) then the vector \(\vect{v}\times\vect{w}\) points toward you.

This rule is usually called the right hand rule. Imagine placing the heel of your right hand at the point where the tails are joined, so that your slightly curled fingers indicate the direction of rotation from \(\vect{v}\) to \(\vect{w}\text{.}\) Then your thumb points in the direction of the cross product \(\vect{v}\times\vect{w}\text{.}\)

One immediate consequence of these facts is that \(\vect{v}\times\vect{w}\not=\vect{w}\times\vect{v}\text{,}\) because the two cross products point in the opposite direction. On the other hand, since

the lengths of the two cross products are equal, so we know that \(\vect{v}\times\vect{w}=-(\vect{w}\times\vect{v})\text{.}\)

The cross product has some familiar-looking properties that will be useful later, so we list them here. As with the dot product, these can be proved by performing the appropriate calculations on coordinates, after which we may sometimes avoid such calculations by using the properties.