Skip to content

Mathematics · Ch 8 — Vector Algebra-I

Properties of Vector Product

8.8.5

Properties of Vector Product

(i) Anti-commutative (not commutative). By definition, b⃗×a⃗=∣b⃗∣∣a⃗∣sin⁡θ (−n^)\vec b\times\vec a=|\vec b||\vec a|\sin\theta\,(-\hat n), since b⃗,a⃗,−n^\vec b,\vec a,-\hat n (rather than b⃗,a⃗,n^\vec b,\vec a,\hat n) form a right-handed system. So b⃗×a⃗=−(a⃗×b⃗).\vec b\times\vec a=-(\vec a\times\vec b). The vector product is genuinely non-commutative.

(ii)–(iii) The zero-product test. If a⃗,b⃗\vec a,\vec b are collinear (parallel), θ=0\theta=0 or π\pi, so sin⁡θ=0\sin\theta=0 and a⃗×b⃗=0⃗\vec a\times\vec b=\vec 0. Conversely, a⃗×b⃗=0⃗  ⟺  a⃗=0⃗\vec a\times\vec b=\vec 0\iff \vec a=\vec0 or b⃗=0⃗\vec b=\vec0 or a⃗∥b⃗\vec a\parallel\vec b. So for non-zero vectors, a⃗×b⃗=0⃗\vec a\times\vec b=\vec 0 is exactly the condition a⃗∥b⃗\vec a\parallel\vec b — the mirror image of the dot-product's perpendicularity test. In particular, a⃗×a⃗=0⃗\vec a\times\vec a=\vec 0 always.

(iv) The axis unit vectors. i^×i^=j^×j^=k^×k^=0⃗\hat i\times\hat i=\hat j\times\hat j=\hat k\times\hat k=\vec 0 (each parallel to itself). Cyclically (right-handed system): i^×j^=k^,j^×k^=i^,k^×i^=j^,\hat i\times\hat j=\hat k,\qquad \hat j\times\hat k=\hat i,\qquad \hat k\times\hat i=\hat j, and reversing any pair flips the sign: j^×i^=−k^, k^×j^=−i^, i^×k^=−j^\hat j\times\hat i=-\hat k,\ \hat k\times\hat j=-\hat i,\ \hat i\times\hat k=-\hat j.

(v) Perpendicular vectors. If θ=π/2\theta=\pi/2, then ∣a⃗×b⃗∣=∣a⃗∣∣b⃗∣|\vec a\times\vec b|=|\vec a||\vec b| (since sin⁡π2=1\sin\frac\pi2=1) — the maximum possible magnitude for given ∣a⃗∣,∣b⃗∣|\vec a|,|\vec b|.

(vi) Scalars pull straight out. For scalars m,nm,n: ma⃗×nb⃗=(mn)(a⃗×b⃗)=m(a⃗×nb⃗)=n(ma⃗×b⃗).m\vec a\times n\vec b=(mn)(\vec a\times\vec b)=m(\vec a\times n\vec b)=n(m\vec a\times\vec b).

(vii) Distributive. a⃗×(b⃗+c⃗)=a⃗×b⃗+a⃗×c⃗\vec a\times(\vec b+\vec c)=\vec a\times\vec b+\vec a\times\vec c, and (a⃗+b⃗)×c⃗=a⃗×c⃗+b⃗×c⃗(\vec a+\vec b)\times\vec c=\vec a\times\vec c+\vec b\times\vec c; this extends to subtraction, a⃗×(b⃗−c⃗)=a⃗×b⃗−a⃗×c⃗\vec a\times(\vec b-\vec c)=\vec a\times\vec b-\vec a\times\vec c, and to sums of any number of vectors, e.g. a⃗×(b⃗+c⃗+d⃗)=a⃗×b⃗+a⃗×c⃗+a⃗×d⃗\vec a\times(\vec b+\vec c+\vec d)=\vec a\times\vec b+\vec a\times\vec c+\vec a\times\vec d.

(viii) Coordinate (determinant) formula. For a⃗=a1i^+a2j^+a3k^, b⃗=b1i^+b2j^+b3k^\vec a=a_1\hat i+a_2\hat j+a_3\hat k,\ \vec b=b_1\hat i+b_2\hat j+b_3\hat k, expand a⃗×b⃗\vec a\times\vec b term by term using (iv), and collect: a⃗×b⃗=(a2b3−a3b2)i^−(a1b3−a3b1)j^+(a1b2−a2b1)k^=∣i^j^k^a1a2a3b1b2b3∣.\vec a\times\vec b=(a_2b_3-a_3b_2)\hat i-(a_1b_3-a_3b_1)\hat j+(a_1b_2-a_2b_1)\hat k=\begin{vmatrix}\hat i&\hat j&\hat k\\a_1&a_2&a_3\\b_1&b_2&b_3\end{vmatrix}. …