Porisma

Use the cross-product direction and laws

Track the right-hand normal, signs and nonzero conditions.

Use the cross-product direction and laws

Keep the factor order visible. For nonparallel vectors, curl from the first towards the second with your right hand to choose the normal direction. The cross product is a vector; its magnitude gives a parallelogram area. To find a perpendicular length, cross with a unit direction.

For two nonparallel nonzero vectors in three dimensions, the vector product, or cross product, is

a×b=(∣a∣∣b∣sin⁡θ)n^,0<θ<π.\mathbf a\times\mathbf b=(|\mathbf a||\mathbf b|\sin\theta)\widehat{\mathbf n},\qquad0<\theta<\pi.

Here n^\widehat{\mathbf n} is perpendicular to both vectors. Curl the fingers of your right hand from a\mathbf a towards b\mathbf b through the smaller angle; your thumb selects n^\widehat{\mathbf n}.

The result is a vector. Reversing the order reverses the normal.

The source’s hand illustration supplies this curl/thumb rule; its accompanying physics motivation mentions induced current in a moving wire, generators, dams and windmills and uses the name Fleming’s right-hand rule.

For the mathematics here, apply the stated curl from the first vector to the second convention.

If either vector is zero, the cross product is 0\mathbf0. Parallel nonzero inputs also give zero. In these cases there is no nonzero cross-product direction to normalise; the unit normal in the displayed definition is used only in the nonparallel case.

Apply the cross-product laws

The six source properties and their proof roles are:

  1. Magnitude. Taking the norm of (∣a∣∣b∣sin⁡θ)n^(|\mathbf a||\mathbf b|\sin\theta)\widehat{\mathbf n} gives ∣a×b∣=∣a∣∣b∣sin⁡θ|\mathbf a\times\mathbf b|=|\mathbf a||\mathbf b|\sin\theta, since ∣n^∣=1|\widehat{\mathbf n}|=1 and sin⁡θ≥0\sin\theta\ge0 for θ∈[0,π]\theta\in[0,\pi]. No absolute value around the sine is needed on this interval.
  2. Parallel iff zero product, for nonzero inputs. Parallel directions have θ=0\theta=0 or π\pi, so sin⁡θ=0\sin\theta=0 and the cross product is zero. Conversely a×b=0\mathbf a\times\mathbf b=\mathbf0 gives ∣a∣∣b∣sin⁡θ=0|\mathbf a||\mathbf b|\sin\theta=0; nonzero lengths force sin⁡θ=0\sin\theta=0, hence θ=0\theta=0 or π\pi. In particular a×a=0\mathbf a\times\mathbf a=\mathbf0.
  3. Perpendicular iff maximal magnitude, for nonzero inputs. If θ=π/2\theta=\pi/2, then ∣a×b∣=∣a∣∣b∣sin⁡(π/2)=∣a∣∣b∣|\mathbf a\times\mathbf b|=|\mathbf a||\mathbf b|\sin(\pi/2)=|\mathbf a||\mathbf b|. Conversely that equality gives sin⁡θ=1\sin\theta=1, so θ=π/2\theta=\pi/2.
  4. Anti-commutativity. The right-hand rule changes n^\widehat{\mathbf n} to −n^-\widehat{\mathbf n} when the inputs are swapped:
b×a=∣b∣∣a∣sin⁡θ(−n^)=−∣a∣∣b∣sin⁡θn^=−a×b.\mathbf b\times\mathbf a=|\mathbf b||\mathbf a|\sin\theta(-\widehat{\mathbf n})=-|\mathbf a||\mathbf b|\sin\theta\widehat{\mathbf n}=-\mathbf a\times\mathbf b.

Thus a×b=−(b×a)\mathbf a\times\mathbf b=-(\mathbf b\times\mathbf a).

  1. Compatibility with scalars. k(a×b)=(ka)×b=a×(kb)k(\mathbf a\times\mathbf b)=(k\mathbf a)\times\mathbf b=\mathbf a\times(k\mathbf b). The source’s magnitude proof reads
k(a×b)=k∣a∣∣b∣sin⁡θn^=∣ka∣∣b∣sin⁡θn^=(ka)×b=∣a∣∣kb∣sin⁡θn^=a×(kb).\begin{aligned} k(\mathbf a\times\mathbf b)&=k|\mathbf a||\mathbf b|\sin\theta\widehat{\mathbf n}\\ &=|k\mathbf a||\mathbf b|\sin\theta\widehat{\mathbf n}=(k\mathbf a)\times\mathbf b\\ &=|\mathbf a||k\mathbf b|\sin\theta\widehat{\mathbf n}=\mathbf a\times(k\mathbf b). \end{aligned}

That same-normal magnitude chain requires positive k; for negative k, the angle and normal direction also change. The algebraic identity is still valid for every real k, including zero, as the Cartesian formula confirms. The source calls this an associative law; it concerns a scalar factor, not arbitrary regrouping of three vector cross products.

  1. Distributivity, in both orders:
a×(b+c)=a×b+a×c,(b+c)×a=b×a+c×a.\mathbf a\times(\mathbf b+\mathbf c)=\mathbf a\times\mathbf b+\mathbf a\times\mathbf c,\qquad (\mathbf b+\mathbf c)\times\mathbf a=\mathbf b\times\mathbf a+\mathbf c\times\mathbf a.

Example 16 combines anti-commutativity and distributivity into a zero cross product. Check that both factors are nonzero before using its geometric parallelism conclusion.

Diagrams for this unit

Open 1 diagram

Try these examples

Open an example in chapter practice. Try it first, then read its solution. Use “Learn this step” to return to this unit.