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^=a⃗∣a⃗∣\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; a⃗⋅a⃗=∣a⃗∣2\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⃗)=(a⃗⋅c⃗) b⃗−(a⃗⋅b⃗) 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⃗=(a⃗⋅c⃗) b⃗−(b⃗⋅c⃗) 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^=b⃗∣b⃗∣\hat b=\dfrac{\vec b}{|\vec b|}:

  • component along b⃗\vec b is (a⃗⋅b^) b^(\vec a\cdot\hat b)\,\hat b, which also equals a⃗⋅b⃗∣b⃗∣2 b⃗\dfrac{\vec a\cdot\vec b}{|\vec b|^2}\,\vec b;
  • component perpendicular to b⃗\vec b is a⃗−(a⃗⋅b^) 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 a⃗→b⃗→c⃗→a⃗\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 a⃗⋅c⃗=1+2−2=1\vec a\cdot\vec c=1+2-2=1 and a⃗⋅b⃗=2−2−1=−1\vec a\cdot\vec b=2-2-1=-1, so

a⃗×(b⃗×c⃗)=(a⃗⋅c⃗) b⃗−(a⃗⋅b⃗) 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 a⃗⋅c⃗=1\vec a\cdot\vec c=1 and b⃗⋅c⃗=2−1+2=3\vec b\cdot\vec c=2-1+2=3,

(a⃗×b⃗)×c⃗=(a⃗⋅c⃗) b⃗−(b⃗⋅c⃗) a⃗=b⃗−3a⃗=−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⃗]=∣1−1111−1−111∣=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 a⃗⋅b⃗=6+2+1=9\vec a\cdot\vec b=6+2+1=9, giving a⃗⋅b^=3\vec a\cdot\hat b=3.

  • Component along b⃗\vec b is (a⃗⋅b^) b^=3⋅13(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⃗=2−2+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⃗=2b⃗−a⃗\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⃗]=2≠0[\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+7−5=−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⃗)=−1−1−2=−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⃗)=3−10+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⃗)=(a⃗⋅c⃗) b⃗−(a⃗⋅b⃗) c⃗,b⃗×(c⃗×a⃗)=(b⃗⋅a⃗) c⃗−(b⃗⋅c⃗) a⃗,c⃗×(a⃗×b⃗)=(c⃗⋅b⃗) a⃗−(c⃗⋅a⃗) 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 a⃗⋅b⃗=b⃗⋅a⃗\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.