Vector Triple Product Identity via Component Proof

⚡ Key Takeaways

One-line statement: $\mathbf{a}\times(\mathbf{b}\times\mathbf{c}) = \mathbf{b}\,(\mathbf{a}\cdot\mathbf{c}) - \mathbf{c}\,(\mathbf{a}\cdot\mathbf{b})$ , proven directly by expanding all three vectors into Cartesian components. Key result in words: The double cross product of three vectors collapses into a difference of two simpler vectors, each a scalar (dot product) times a vector. The component proof verifies this by brute-force algebra. Where it applies: Vector calculus, classical mechanics (centripetal/Coriolis terms), electromagnetism, fluid dynamics, differential geometry. Who/when: Identity attributed to the development of vector analysis by J. W. Gibbs and O. Heaviside in the 1880s, building on Hamilton's quaternions (1843).

💡 The Core Insight

A cross product $\mathbf{b}\times\mathbf{c}$ is perpendicular to the $\mathbf{b}$ – $\mathbf{c}$ plane. Crossing it again with $\mathbf{a}$ rotates the result back into that plane. Therefore $\mathbf{a}\times(\mathbf{b}\times\mathbf{c})$ must be a linear combination of $\mathbf{b}$ and $\mathbf{c}$ — and the only question is what the coefficients are. The component proof answers this mechanically: the coefficients turn out to be exactly $(\mathbf{a}\cdot\mathbf{c})$ and $-(\mathbf{a}\cdot\mathbf{b})$ . The mnemonic "BAC minus CAB" encodes the order.

DefinitionDot and Cross Products in Components

Let $\mathbf{a}=(a_1,a_2,a_3)$ , $\mathbf{b}=(b_1,b_2,b_3)$ , $\mathbf{c}=(c_1,c_2,c_3)$ be vectors in $\mathbb{R}^3$ expressed in an orthonormal Cartesian basis $\{\hat{\mathbf{e}}_1,\hat{\mathbf{e}}_2,\hat{\mathbf{e}}_3\}$ . The dot product is

1

\quad \mathbf{a}\cdot\mathbf{b} = a_1 b_1 + a_2 b_2 + a_3 b_3 = \sum_{i=1}^{3} a_i b_i.

Derivation hint: Sum the products of corresponding components; orthonormality means $\hat{\mathbf{e}}_i\cdot\hat{\mathbf{e}}_j=\delta_{ij}$ . The cross product has components

2

\quad (\mathbf{b}\times\mathbf{c})_i = \sum_{j,k=1}^{3} \varepsilon_{ijk}\, b_j c_k,

Derivation hint: $\varepsilon_{ijk}$ is the Levi-Civita symbol; expanding the determinant form $\det[\hat{\mathbf{e}}_i\,;\,b_j\,;\,c_k]$ gives this antisymmetric sum. where $\varepsilon_{ijk}=+1$ for cyclic permutations $(1,2,3)$ , $-1$ for anticyclic, and $0$ if any index repeats.

TheoremVector Triple Product Identity

For all $\mathbf{a},\mathbf{b},\mathbf{c}\in\mathbb{R}^3$ ,

3

\quad \mathbf{a}\times(\mathbf{b}\times\mathbf{c}) = \mathbf{b}\,(\mathbf{a}\cdot\mathbf{c}) - \mathbf{c}\,(\mathbf{a}\cdot\mathbf{b}).

Derivation hint: Read aloud as "BAC minus CAB." Note the inner-parenthesised vectors $\mathbf{b},\mathbf{c}$ become the outer vectors, scaled by dot products of the remaining pair. The companion identity (with the parenthesis on the left) is

4

\quad (\mathbf{a}\times\mathbf{b})\times\mathbf{c} = \mathbf{b}\,(\mathbf{a}\cdot\mathbf{c}) - \mathbf{a}\,(\mathbf{b}\cdot\mathbf{c}).

Derivation hint: Apply [3] to $-\mathbf{c}\times(\mathbf{a}\times\mathbf{b})$ using anticommutativity $\mathbf{x}\times\mathbf{y}=-\mathbf{y}\times\mathbf{x}$ .

🧠 The Levi-Civita Shortcut

The same proof done in index notation collapses to one line. Using the contraction identity

14

\quad \sum_{i} \varepsilon_{ijk}\,\varepsilon_{ilm} = \delta_{jl}\delta_{km} - \delta_{jm}\delta_{kl},

Derivation hint: This is the "epsilon-delta" identity; verify by checking the few non-zero index patterns. one writes $\big(\mathbf{a}\times(\mathbf{b}\times\mathbf{c})\big)_i = \sum \varepsilon_{ijk} a_j \varepsilon_{klm} b_l c_m$ and applies [14] to recover [3] in three steps. The Cartesian-component proof above is [14] unpacked into explicit arithmetic — same content, more sweat.

JW

Josiah Willard Gibbs

1839–1903

The American physicist and chemist Gibbs distilled Hamilton's cumbersome quaternion algebra into the modern dot/cross product calculus during the 1880s, distributing his Elements of Vector Analysis (1881–1884) as printed lecture notes to students at Yale. The triple-product identity in its BAC–CAB form is a centrepiece of that streamlined system. Oliver Heaviside independently developed an essentially identical formalism in Britain, and the two are jointly credited with founding modern vector analysis. Gibbs valued the identity precisely because it eliminated nested cross products from electromagnetic field calculations.

Figure

The triple product lies in the b–c plane

🧠 Why the result must be coplanar with b and c

$\mathbf{b}\times\mathbf{c}$ is normal to the $\mathbf{b}$ – $\mathbf{c}$ plane. Crossing any vector $\mathbf{a}$ with this normal produces a vector perpendicular to the normal — i.e., back in the plane. Since the plane is spanned by $\mathbf{b}$ and $\mathbf{c}$ , the answer must be $\alpha\mathbf{b}+\beta\mathbf{c}$ for scalars $\alpha,\beta$ . The identity tells us $\alpha=\mathbf{a}\cdot\mathbf{c}$ and $\beta=-(\mathbf{a}\cdot\mathbf{b})$ . You can even fix these coefficients without full expansion by testing the special cases $\mathbf{a}=\mathbf{b}$ and $\mathbf{a}=\mathbf{c}$ .

ExampleConcrete numerical evaluation

Given: $\mathbf{a}=(1,2,0)$ , $\mathbf{b}=(0,1,3)$ , $\mathbf{c}=(2,0,1)$ (dimensionless).

Method 1 — Direct. Inner product $\mathbf{b}\times\mathbf{c}$ :

$(\mathbf{b}\times\mathbf{c})_1 = (1)(1)-(3)(0)=1$
$(\mathbf{b}\times\mathbf{c})_2 = (3)(2)-(0)(1)=6$
$(\mathbf{b}\times\mathbf{c})_3 = (0)(0)-(1)(2)=-2$

So $\mathbf{b}\times\mathbf{c}=(1,6,-2)$ . Now $\mathbf{a}\times(1,6,-2)$ :

comp 1: $(2)(-2)-(0)(6)=-4$
comp 2: $(0)(1)-(1)(-2)=2$
comp 3: $(1)(6)-(2)(1)=4$

Direct result: $(-4,\,2,\,4)$ .

Method 2 — BAC–CAB. Dot products: $\mathbf{a}\cdot\mathbf{c}=(1)(2)+(2)(0)+(0)(1)=2$ ; $\mathbf{a}\cdot\mathbf{b}=(1)(0)+(2)(1)+(0)(3)=2$ .

\mathbf{b}(\mathbf{a}\cdot\mathbf{c}) - \mathbf{c}(\mathbf{a}\cdot\mathbf{b}) = 2(0,1,3) - 2(2,0,1) = (0,2,6)-(4,0,2) = (-4,2,4).

Answer: $\boxed{\mathbf{a}\times(\mathbf{b}\times\mathbf{c}) = (-4,\,2,\,4)}$ — both methods agree.

ExamplePhysics: centripetal acceleration

Given: A point at position $\mathbf{r}$ rotates with constant angular velocity $\boldsymbol{\omega}$ . Its acceleration includes the term $\mathbf{a}_{\text{cp}}=\boldsymbol{\omega}\times(\boldsymbol{\omega}\times\mathbf{r})$ . Take $\boldsymbol{\omega}=(0,0,2)\ \text{rad/s}$ and $\mathbf{r}=(3,0,0)\ \text{m}$ .

Apply [3] with $\mathbf{a}=\mathbf{b}=\boldsymbol{\omega}$ , $\mathbf{c}=\mathbf{r}$ :

\boldsymbol{\omega}\times(\boldsymbol{\omega}\times\mathbf{r}) = \boldsymbol{\omega}(\boldsymbol{\omega}\cdot\mathbf{r}) - \mathbf{r}(\boldsymbol{\omega}\cdot\boldsymbol{\omega}).

Compute: $\boldsymbol{\omega}\cdot\mathbf{r}=(0)(3)+(0)(0)+(2)(0)=0$ ; $\boldsymbol{\omega}\cdot\boldsymbol{\omega}=0+0+4=4\ \text{rad}^2/\text{s}^2$ .

\mathbf{a}_{\text{cp}} = \mathbf{0} - (3,0,0)(4) = (-12,0,0)\ \text{m/s}^2.

Answer: $\boxed{\mathbf{a}_{\text{cp}}=(-12,0,0)\ \text{m/s}^2}$ — magnitude $\omega^2 r = 4\times3=12\ \text{m/s}^2$ , directed inward (toward the rotation axis), exactly as centripetal acceleration should be.

⚠️ The cross product is NOT associative

A frequent error is writing $\mathbf{a}\times(\mathbf{b}\times\mathbf{c}) = (\mathbf{a}\times\mathbf{b})\times\mathbf{c}$ . They are different vectors. Compare [3] and [4]: the first gives $\mathbf{b}(\mathbf{a}\cdot\mathbf{c})-\mathbf{c}(\mathbf{a}\cdot\mathbf{b})$ , the second gives $\mathbf{b}(\mathbf{a}\cdot\mathbf{c})-\mathbf{a}(\mathbf{b}\cdot\mathbf{c})$ . The parentheses are mandatory — never omit them. The two differ by $\mathbf{a}(\mathbf{b}\cdot\mathbf{c})-\mathbf{c}(\mathbf{a}\cdot\mathbf{b})$ , which equals $\mathbf{b}\times(\mathbf{c}\times\mathbf{a})$ — encoding the Jacobi Identity.

CounterexampleAssociativity fails explicitly

Take $\mathbf{a}=\hat{\mathbf{e}}_1$ , $\mathbf{b}=\hat{\mathbf{e}}_1$ , $\mathbf{c}=\hat{\mathbf{e}}_2$ .

$\mathbf{a}\times(\mathbf{b}\times\mathbf{c}) = \hat{\mathbf{e}}_1\times(\hat{\mathbf{e}}_1\times\hat{\mathbf{e}}_2) = \hat{\mathbf{e}}_1\times\hat{\mathbf{e}}_3 = -\hat{\mathbf{e}}_2.$
$(\mathbf{a}\times\mathbf{b})\times\mathbf{c} = (\hat{\mathbf{e}}_1\times\hat{\mathbf{e}}_1)\times\hat{\mathbf{e}}_2 = \mathbf{0}\times\hat{\mathbf{e}}_2 = \mathbf{0}.$

One gives $-\hat{\mathbf{e}}_2$ , the other gives $\mathbf{0}$ . Associativity is decisively false.

⚠️ Sign and order pitfalls

The mnemonic is "BAC minus CAB," not "CAB minus BAC." The vector that survives with a plus sign is the inner-bracket vector adjacent in the dot product to $\mathbf{a}$ — i.e., $\mathbf{b}(\mathbf{a}\cdot\mathbf{c})$ comes first. Memorise carefully: the dotted pair always involves the outer vector $\mathbf{a}$ with the opposite inner vector. Also remember [3] only holds in $\mathbb{R}^3$ — the cross product as a vector exists only in three dimensions (and, exceptionally, seven).

connection · Where this sits in vector analysis

The component proof of the triple product is one of the foundational manipulations underpinning Vector Calculus Identities. The Levi-Civita route ([14]) connects it to Levi-Civita Symbol and Tensor Notation and the Kronecker Delta. The associativity failure highlighted above is governed by the Jacobi Identity, which makes $(\mathbb{R}^3,\times)$ a Lie Algebra. The structure $\mathbf{b}(\mathbf{a}\cdot\mathbf{c})-\mathbf{c}(\mathbf{a}\cdot\mathbf{b})$ recurs in the curl-of-curl identity $\nabla\times(\nabla\times\mathbf{F})=\nabla(\nabla\cdot\mathbf{F})-\nabla^2\mathbf{F}$ , central to Maxwell's Equations and Wave Equation.

🔬 Concrete uses across science

⏳ History

- 1843 — W. R. Hamilton invents quaternions; products of pure quaternions encode both dot and cross products, but entangled together.

- 1844 — H. Grassmann publishes Die lineale Ausdehnungslehre, an abstract algebra of extension foreshadowing vector products.

- 1881–1884 — J. W. Gibbs distributes privately printed Elements of Vector Analysis at Yale, isolating clean dot and cross products and stating the triple-product identity.

- 1880s — O. Heaviside independently reformulates Maxwell's equations in vector form, using the same identities to reduce field expressions.

- 1901 — E. B. Wilson, drawing on Gibbs's lectures, publishes Vector Analysis, the first textbook to present the BAC–CAB rule with component proofs to students.

- 1900s — Tullio Levi-Civita and Gregorio Ricci-Curbastro develop tensor calculus; the permutation symbol

\varepsilon_{ijk}

furnishes the compact epsilon-delta proof.

- 1920s onward — The identity becomes standard in physics curricula via texts by Abraham, Becker, and later Jackson's Classical Electrodynamics.

open-problem · Dimensional and structural caveats

The vector triple product as written requires a genuine vector-valued cross product, which exists only in dimensions 3 and 7 (the latter via octonion multiplication). In $\mathbb{R}^7$ the BAC–CAB rule fails: the seven-dimensional cross product satisfies a modified triple-product identity with extra terms, because its associated algebra lacks the same Jacobi structure. In arbitrary dimensions the natural generalisation uses the antisymmetric wedge product and the Hodge Star Operator, where " $\mathbf{b}\times\mathbf{c}$ " becomes $\star(\mathbf{b}\wedge\mathbf{c})$ ; the triple product then reflects properties of the Clifford/exterior algebra rather than a single tidy identity. A subtle point for students: [3] is a pointwise algebraic identity, but its differential cousin (curl of curl) carries an extra subtlety — operators do not commute with the vectors they act on, so naive substitution into [3] can mislead unless one tracks the order of differentiation.

Vector Triple Product Identity via Component Proof

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also