Quick Recap — Vectors: Basics

  • Magnitude: ai^+bj^+ck^=a2+b2+c2|a\hat i+b\hat j+c\hat k|=\sqrt{a^2+b^2+c^2}; unit vector a^=aa\hat a=\dfrac{\vec a}{|\vec a|}.
  • i^i^=1\hat i\cdot\hat i=1, i^j^=0\hat i\cdot\hat j=0; i^×i^=0\hat i\times\hat i=\vec0, i^×j^=k^\hat i\times\hat j=\hat k, j^×k^=i^\hat j\times\hat k=\hat i, k^×i^=j^\hat k\times\hat i=\hat j.
  • Addition is commutative; aa=a2\vec a\cdot\vec a=|\vec a|^2; a×b=(b×a)\vec a\times\vec b=-(\vec b\times\vec a).
  • The position vector of (x,y,z)(x,y,z) is xi^+yj^+zk^x\hat i+y\hat j+z\hat k.

Beyond-NCERT JEE Formulae

Vector Triple Product. This product is a VECTOR, and with the bracket on the right it expands by the "BAC-CAB" rule:

a×(b×c)=(ac)b(ab)c.\vec a\times(\vec b\times\vec c)=(\vec a\cdot\vec c)\,\vec b-(\vec a\cdot\vec b)\,\vec c.

With the bracket on the left the expansion is different:

(a×b)×c=(ac)b(bc)a.(\vec a\times\vec b)\times\vec c=(\vec a\cdot\vec c)\,\vec b-(\vec b\cdot\vec c)\,\vec a.

[JEE Tip] The cross product is NOT associative: in general a×(b×c)(a×b)×c\vec a\times(\vec b\times\vec c)\ne(\vec a\times\vec b)\times\vec c. Middle-vector rule: the answer is always a linear combination of the two vectors INSIDE the bracket, so a×(b×c)\vec a\times(\vec b\times\vec c) lies in the plane of b\vec b and c\vec c (and is perpendicular to a\vec a), while (a×b)×c(\vec a\times\vec b)\times\vec c lies in the plane of a\vec a and b\vec b.

Triple Product of Cross Products. The box product of the three face-normals is the square of the box product of the edges:

[a×b  b×c  c×a]=[a b c]2.[\vec a\times\vec b\ \ \vec b\times\vec c\ \ \vec c\times\vec a]=[\vec a\ \vec b\ \vec c]^2.

Being a perfect square it is never negative, and it vanishes exactly when a,b,c\vec a,\vec b,\vec c are coplanar.

Resolution of a Vector. Every a\vec a splits uniquely into a part parallel to b\vec b plus a part perpendicular to b\vec b. With b^=bb\hat b=\dfrac{\vec b}{|\vec b|}:

  • component along b\vec b is (ab^)b^(\vec a\cdot\hat b)\,\hat b, which also equals abb2b\dfrac{\vec a\cdot\vec b}{|\vec b|^2}\,\vec b;
  • component perpendicular to b\vec b is a(ab^)b^\vec a-(\vec a\cdot\hat b)\,\hat b.

The two pieces add back to a\vec a and are mutually perpendicular, since their dot product is 00.

Linear Independence. Three vectors a,b,c\vec a,\vec b,\vec c are linearly independent -- equivalently, non-coplanar -- if and only if

[a b c]0.[\vec a\ \vec b\ \vec c]\ne0.

If [a b c]=0[\vec a\ \vec b\ \vec c]=0 they are coplanar, hence linearly dependent. In 3-D space at most three vectors can be independent, so ANY four or more vectors are automatically linearly dependent.

Cyclic Scalar Triple Product. Cycling the letters abca\vec a\to\vec b\to\vec c\to\vec a leaves the box product unchanged:

a(b×c)=b(c×a)=c(a×b).\vec a\cdot(\vec b\times\vec c)=\vec b\cdot(\vec c\times\vec a)=\vec c\cdot(\vec a\times\vec b).

Swapping any two of them reverses the sign, and the dot and cross may be interchanged, since a(b×c)=(a×b)c\vec a\cdot(\vec b\times\vec c)=(\vec a\times\vec b)\cdot\vec c.

Solved Examples — Beyond-NCERT Formulae

Example 1: Vector triple product two ways. Let a=i^+2j^k^\vec a=\hat i+2\hat j-\hat k, b=2i^j^+k^\vec b=2\hat i-\hat j+\hat k and c=i^+j^+2k^\vec c=\hat i+\hat j+2\hat k; find a×(b×c)\vec a\times(\vec b\times\vec c).

Direct route. First b×c=3i^3j^+3k^\vec b\times\vec c=-3\hat i-3\hat j+3\hat k, and crossing with a\vec a gives

a×(b×c)=3i^+0j^+3k^=3i^+3k^.\vec a\times(\vec b\times\vec c)=3\hat i+0\hat j+3\hat k=3\hat i+3\hat k.

Formula route. Here ac=1+22=1\vec a\cdot\vec c=1+2-2=1 and ab=221=1\vec a\cdot\vec b=2-2-1=-1, so

a×(b×c)=(ac)b(ab)c=b+c=3i^+3k^.\vec a\times(\vec b\times\vec c)=(\vec a\cdot\vec c)\,\vec b-(\vec a\cdot\vec b)\,\vec c=\vec b+\vec c=3\hat i+3\hat k.

Both routes agree, and the answer is a combination of b\vec b and c\vec c, confirming it lies in their plane.

Example 2: Non-associativity. For the same a,b,c\vec a,\vec b,\vec c compute (a×b)×c(\vec a\times\vec b)\times\vec c. Using the left-bracket rule with ac=1\vec a\cdot\vec c=1 and bc=21+2=3\vec b\cdot\vec c=2-1+2=3,

(a×b)×c=(ac)b(bc)a=b3a=i^7j^+4k^.(\vec a\times\vec b)\times\vec c=(\vec a\cdot\vec c)\,\vec b-(\vec b\cdot\vec c)\,\vec a=\vec b-3\vec a=-\hat i-7\hat j+4\hat k.

This differs from the 3i^+3k^3\hat i+3\hat k of Example 1, so a×(b×c)(a×b)×c\vec a\times(\vec b\times\vec c)\ne(\vec a\times\vec b)\times\vec c: the cross product is not associative.

Example 3: Verify [a×b  b×c  c×a]=[a b c]2[\vec a\times\vec b\ \ \vec b\times\vec c\ \ \vec c\times\vec a]=[\vec a\ \vec b\ \vec c]^2. Take a=i^+j^\vec a=\hat i+\hat j, b=j^+k^\vec b=\hat j+\hat k and c=i^+k^\vec c=\hat i+\hat k. The edge box product is

[a b c]=110011101=2.[\vec a\ \vec b\ \vec c]=\begin{vmatrix}1&1&0\\0&1&1\\1&0&1\end{vmatrix}=2.

The three cross products are a×b=i^j^+k^\vec a\times\vec b=\hat i-\hat j+\hat k, b×c=i^+j^k^\vec b\times\vec c=\hat i+\hat j-\hat k and c×a=i^+j^+k^\vec c\times\vec a=-\hat i+\hat j+\hat k, so

[a×b  b×c  c×a]=111111111=4=22.[\vec a\times\vec b\ \ \vec b\times\vec c\ \ \vec c\times\vec a]=\begin{vmatrix}1&-1&1\\1&1&-1\\-1&1&1\end{vmatrix}=4=2^2.

The identity checks out: the box product of the cross vectors is the square of the original.

Example 4: Resolve along and perpendicular. Resolve a=3i^+j^+k^\vec a=3\hat i+\hat j+\hat k relative to b=2i^+2j^+k^\vec b=2\hat i+2\hat j+\hat k. Since b=3|\vec b|=3, we have b^=13(2i^+2j^+k^)\hat b=\dfrac{1}{3}(2\hat i+2\hat j+\hat k) and ab=6+2+1=9\vec a\cdot\vec b=6+2+1=9, giving ab^=3\vec a\cdot\hat b=3.

  • Component along b\vec b is (ab^)b^=313(2i^+2j^+k^)=2i^+2j^+k^(\vec a\cdot\hat b)\,\hat b=3\cdot\dfrac{1}{3}(2\hat i+2\hat j+\hat k)=2\hat i+2\hat j+\hat k.
  • Component perpendicular is a(2i^+2j^+k^)=i^j^\vec a-(2\hat i+2\hat j+\hat k)=\hat i-\hat j.

Check: (i^j^)b=22+0=0(\hat i-\hat j)\cdot\vec b=2-2+0=0, and the two parts sum back to a\vec a.

Example 5: Independence test. Read off the box product.

Set A: a=i^+2j^+3k^\vec a=\hat i+2\hat j+3\hat k, b=2i^+3j^+4k^\vec b=2\hat i+3\hat j+4\hat k and c=3i^+4j^+5k^\vec c=3\hat i+4\hat j+5\hat k give

[a b c]=123234345=0,[\vec a\ \vec b\ \vec c]=\begin{vmatrix}1&2&3\\2&3&4\\3&4&5\end{vmatrix}=0,

so Set A is linearly dependent -- indeed c=2ba\vec c=2\vec b-\vec a.

Set B: a=i^+j^\vec a=\hat i+\hat j, b=j^+k^\vec b=\hat j+\hat k and c=i^+k^\vec c=\hat i+\hat k give [a b c]=20[\vec a\ \vec b\ \vec c]=2\ne0, so Set B is linearly independent, i.e. non-coplanar.

Example 6: Cyclic symmetry of the box product. For a=2i^+j^k^\vec a=2\hat i+\hat j-\hat k, b=i^j^+2k^\vec b=\hat i-\hat j+2\hat k and c=3i^+2j^k^\vec c=3\hat i+2\hat j-\hat k:

  • b×c=3i^+7j^+5k^\vec b\times\vec c=-3\hat i+7\hat j+5\hat k, so a(b×c)=6+75=4\vec a\cdot(\vec b\times\vec c)=-6+7-5=-4;
  • c×a=i^+j^k^\vec c\times\vec a=-\hat i+\hat j-\hat k, so b(c×a)=112=4\vec b\cdot(\vec c\times\vec a)=-1-1-2=-4;
  • a×b=i^5j^3k^\vec a\times\vec b=\hat i-5\hat j-3\hat k, so c(a×b)=310+3=4\vec c\cdot(\vec a\times\vec b)=3-10+3=-4.

All three equal 4-4, confirming a(b×c)=b(c×a)=c(a×b)\vec a\cdot(\vec b\times\vec c)=\vec b\cdot(\vec c\times\vec a)=\vec c\cdot(\vec a\times\vec b).

Example 7: Jacobi identity from the expansion. Prove a×(b×c)+b×(c×a)+c×(a×b)=0\vec a\times(\vec b\times\vec c)+\vec b\times(\vec c\times\vec a)+\vec c\times(\vec a\times\vec b)=\vec 0. Expand every term by the middle-vector rule:

a×(b×c)=(ac)b(ab)c,b×(c×a)=(ba)c(bc)a,c×(a×b)=(cb)a(ca)b.\begin{aligned}\vec a\times(\vec b\times\vec c)&=(\vec a\cdot\vec c)\,\vec b-(\vec a\cdot\vec b)\,\vec c,\\ \vec b\times(\vec c\times\vec a)&=(\vec b\cdot\vec a)\,\vec c-(\vec b\cdot\vec c)\,\vec a,\\ \vec c\times(\vec a\times\vec b)&=(\vec c\cdot\vec b)\,\vec a-(\vec c\cdot\vec a)\,\vec b.\end{aligned}

Adding, each a,b,c\vec a,\vec b,\vec c coefficient cancels in a pair, using ab=ba\vec a\cdot\vec b=\vec b\cdot\vec a, so the sum is 0\vec 0. Numerically, with the Example 1 vectors the three terms are 3i^+3k^3\hat i+3\hat k, then 4i^7j^+k^-4\hat i-7\hat j+\hat k and i^+7j^4k^\hat i+7\hat j-4\hat k, which add to 0\vec 0.