Vector Triple Product

For three vectors ${\bf a}$, ${\bf b}$, and ${\bf c}$, the vector triple product is defined ${\bf a}\times({\bf b} \times {\bf c})$. The brackets are important because ${\bf a}\times({\bf b} \times {\bf c}) \neq ({\bf a}\times{\bf b} )\times {\bf c}$. In fact, it can be demonstrated that

$${\bf a}\times({\bf b} \times {\bf c}) \equiv ({\bf a}\cdot {\bf c}) \,{\bf b} - ({\bf a}\cdot {\bf b})\,{\bf c}$$ (1317)

and

$$({\bf a}\times{\bf b}) \times {\bf c}\equiv ({\bf a}\cdot {\bf c}) \,{\bf b} - ({\bf b}\cdot {\bf c})\,{\bf a}.$$ (1318)

Let us try to prove the first of the above theorems. The left-hand side and the right-hand side are both proper vectors, so if we can prove this result in one particular coordinate system then it must be true in general. Let us take convenient axes such that $Ox$ lies along ${\bf b}$, and ${\bf c}$ lies in the $x$-$y$ plane. It follows that ${\bf b} \equiv (b_x,\,0,\,0)$, ${\bf c} \equiv (c_x,\, c_y,\, 0)$, and ${\bf a} \equiv (a_x,\,a_y,\,a_z)$. The vector ${\bf b}\times {\bf c}$ is directed along $Oz$: i.e., ${\bf b}\times{\bf c} \equiv (0,\,0,\,b_x\, c_y)$. Hence, ${\bf a}\times({\bf b} \times {\bf c})$ lies in the $x$-$y$ plane: i.e., ${\bf a}\times({\bf b}\times{\bf c}) \equiv (a_y \,b_x\, c_y,\, -a_x\, b_x\, c_y,\, 0)$. This is the left-hand side of Equation (A.1317) in our convenient coordinate system. To evaluate the right-hand side, we need ${\bf a}\cdot {\bf c} = a_x \,c_x + a_y\, c_y$ and ${\bf a}\cdot {\bf b} = a_x \,b_x$. It follows that the right-hand side is

$${\rm RHS} = (\,[a_x\, c_x + a_y \,c_y]\, b_x,\, 0,\, 0) - (a_x \,b_x \,c_x,\, a_x\, b_x\, c_y,\, 0)$$

$$= (a_y\, c_y\, b_x,\, -a_x\, b_x\, c_y,\, 0 ) = {\rm LHS},$$ (1319)

which proves the theorem.