What is the cross product formula?

For a = (a₁, a₂, a₃) and b = (b₁, b₂, b₃): a × b = (a₂b₃ - a₃b₂, a₃b₁ - a₁b₃, a₁b₂ - a₂b₁). This can be computed using a 3×3 determinant with i, j, k in the first row and the two vectors in the remaining rows.

What are the cross products of i, j, and k?

Following cyclic order: i × j = k, j × k = i, k × i = j. Reversing order negates the result: j × i = -k, etc. Any basis vector crossed with itself gives zero. These nine cases form the foundation for all cross product computations.

What is the geometric meaning of the cross product?

The magnitude ‖a × b‖ = ‖a‖‖b‖sinθ equals the area of the parallelogram spanned by a and b. The direction is perpendicular to both input vectors, exiting the plane they span. Both a·(a × b) and b·(a × b) equal zero.

What is the right-hand rule?

Align right-hand fingers along a, curl them toward b through the shorter arc—the extended thumb points in the direction of a × b. Switching operands reverses the thumb direction. This convention defines orientation in 3D space.

What are the properties of the cross product?

Anti-commutative: a × b = -(b × a). Distributive over addition. Scalars factor out freely. NOT associative: a × (b × c) ≠ (a × b) × c generally. Self-cross product is zero: a × a = 0.

When is the cross product zero?

a × b = 0 if and only if a and b are parallel (or one is zero). Parallel vectors have angle 0 or π, so sinθ = 0 and the magnitude vanishes. This complements the dot product test: zero dot product means perpendicular, zero cross product means parallel.

What is the scalar triple product?

a · (b × c) equals the signed volume of the parallelepiped with edges a, b, c. It can be computed as a 3×3 determinant. Zero means the three vectors are coplanar. The sign indicates handedness (positive = right-handed orientation).

What is the difference between dot product and cross product?

Dot product: returns scalar, works in any ℝⁿ, commutative, zero means perpendicular, isolates cosθ. Cross product: returns vector, only in ℝ³, anti-commutative, zero means parallel, isolates sinθ. Together they capture all angular information.

Cross Product

Algebraic Definition

Standard Basis Cross Products

Geometric Interpretation

Direction and the Right-Hand Rule

Properties of the Cross Product

Parallel Vectors and the Cross Product

The Scalar Triple Product

Dot Product vs Cross Product

A Product That Builds Perpendicular Vectors

The cross product stands apart from every other operation in this section. It takes two vectors and returns a new vector — one that is perpendicular to both inputs. Its magnitude measures the area of the parallelogram the two vectors span, and its direction is determined by a handedness convention that introduces orientation into three-dimensional space. Unlike the dot product, which works in any

\mathbb{R}^n

and produces a scalar, the cross product is defined exclusively in

\mathbb{R}^3

and produces a vector. It is anti-commutative, not associative, and zero precisely when the two inputs are parallel. These departures from familiar algebraic patterns are not defects — they reflect the geometric nature of perpendicularity and area in three dimensions.

Algebraic Definition

Given

\mathbf{a} = (a_1, a_2, a_3)

and

\mathbf{b} = (b_1, b_2, b_3)

\mathbb{R}^3

, their cross product is a new three-component vector built from pairwise differences of mixed products:

\mathbf{a} \times \mathbf{b} = (a_2b_3 - a_3b_2,\ a_3b_1 - a_1b_3,\ a_1b_2 - a_2b_1)

The indices rotate cyclically. To obtain the first component, cover the first entries of both vectors and cross-multiply the remaining pairs:

a_2b_3 - a_3b_2

. For the second component, cover the second entries and cross-multiply with a sign reversal:

a_3b_1 - a_1b_3

. The third component follows the same logic with the third entries hidden:

a_1b_2 - a_2b_1

.

A convenient way to package the computation uses a symbolic

3 \times 3

determinant whose first row holds the standard basis vectors:

\mathbf{a} \times \mathbf{b} = \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \end{vmatrix}

Placing vectors rather than numbers in the top row makes this a notational device rather than a genuine determinant. Still, applying cofactor expansion along that top row reproduces the component formula term by term. The determinant layout keeps the six constituent products and their signs organized in a form that is easy to remember and hard to scramble.

Standard Basis Cross Products

Crossing pairs of the standard basis vectors

\mathbf{i} = (1,0,0)

\mathbf{j} = (0,1,0)

\mathbf{k} = (0,0,1)

produces a pattern governed by cyclic order:

\mathbf{i} \times \mathbf{j} = \mathbf{k}, \quad \mathbf{j} \times \mathbf{k} = \mathbf{i}, \quad \mathbf{k} \times \mathbf{i} = \mathbf{j}

Swapping the two factors in any of these pairs flips the sign:

\mathbf{j} \times \mathbf{i} = -\mathbf{k}, \quad \mathbf{k} \times \mathbf{j} = -\mathbf{i}, \quad \mathbf{i} \times \mathbf{k} = -\mathbf{j}

The organizing principle is a directed loop

\mathbf{i} \to \mathbf{j} \to \mathbf{k} \to \mathbf{i}

. Traversing it in the forward direction yields a positive basis vector; going against the loop negates the outcome. Any basis vector crossed with a copy of itself gives

\mathbf{0}

\mathbf{i} \times \mathbf{i} = \mathbf{j} \times \mathbf{j} = \mathbf{k} \times \mathbf{k} = \mathbf{0}

.

Every cross product in

\mathbb{R}^3

can be traced back to these nine cases. Expressing both input vectors as linear combinations of

\mathbf{i}

\mathbf{j}

\mathbf{k}

and distributing the cross product over the resulting sums reduces the computation to a collection of basis-pair cross products. Gathering terms afterward recovers the component formula.

Geometric Interpretation

The cross product carries geometric content on two distinct levels — one captured by its length, the other by its orientation in space.

The magnitude satisfies:

\|\mathbf{a} \times \mathbf{b}\| = \|\mathbf{a}\|\,\|\mathbf{b}\|\sin\theta

where

\theta

is the angle separating

\mathbf{a}

and

\mathbf{b}

. The product

\|\mathbf{a}\|\,\|\mathbf{b}\|\sin\theta

has a clean geometric reading: it is the area enclosed by the parallelogram whose adjacent sides are

\mathbf{a}

and

\mathbf{b}

. At

\theta = \frac{\pi}{2}

the sine reaches

1

and the parallelogram attains its largest possible area for those two lengths — a rectangle. At

\theta = 0

\theta = \pi

the sine vanishes, the two sides collapse onto the same line, and the enclosed area drops to zero.

The direction of

\mathbf{a} \times \mathbf{b}

sits at a right angle to both

\mathbf{a}

and

\mathbf{b}

simultaneously. An algebraic confirmation is straightforward: evaluate

\mathbf{a} \cdot (\mathbf{a} \times \mathbf{b})

and

\mathbf{b} \cdot (\mathbf{a} \times \mathbf{b})

component by component, and both dot products reduce to zero. The cross product therefore solves a problem that no other operation in the section addresses — it constructs a direction that exits the plane spanned by two given vectors.

Direction and the Right-Hand Rule

A plane in

\mathbb{R}^3

has two unit normals — they point in opposite directions, and the magnitude formula alone cannot choose between them. Resolving this ambiguity requires an external convention: the right-hand rule.

The procedure is physical: align the fingers of the right hand along

\mathbf{a}

and curl them toward

\mathbf{b}

through the shorter arc. The extended thumb then indicates which of the two perpendicular directions

\mathbf{a} \times \mathbf{b}

adopts.

Switching the operands — computing

\mathbf{b} \times \mathbf{a}

instead — reverses the curl direction, sending the thumb the opposite way. This is the geometric engine behind anti-commutativity: the two cross products share the same length but face in opposite directions.

Embedded in the right-hand rule is the concept of orientation. A coordinate system is called right-handed when

\mathbf{i} \times \mathbf{j}

points along

\mathbf{k}

; a left-handed system would have it pointing along

-\mathbf{k}

. The cross product is sensitive to this distinction — adopting the opposite handedness convention would reverse every cross product in

\mathbb{R}^3

. No such sensitivity appears in the dot product or in any operation on

\mathbb{R}^2

, making orientation a phenomenon particular to three-dimensional vector multiplication.

Properties of the Cross Product

Several algebraic rules govern the cross product, some mirroring the basic operations and others breaking from them sharply.

Anti-Commutativity

\mathbf{a} \times \mathbf{b} = -(\mathbf{b} \times \mathbf{a})

Exchanging the two inputs flips the output vector. In the language of the right-hand rule, reversing which vector the fingers follow and which they curl toward sends the thumb the other way.

Distributivity

\mathbf{a} \times (\mathbf{b} + \mathbf{c}) = \mathbf{a} \times \mathbf{b} + \mathbf{a} \times \mathbf{c}

The cross product spreads across sums on either side. Because of anti-commutativity, distributing from the right introduces a sign change relative to distributing from the left.

Scalar Factoring

(c\mathbf{a}) \times \mathbf{b} = c(\mathbf{a} \times \mathbf{b}) = \mathbf{a} \times (c\mathbf{b})

A scalar coefficient can migrate freely between the inputs and the output. This makes the cross product linear in each slot independently.

Non-Associativity

\mathbf{a} \times (\mathbf{b} \times \mathbf{c}) \neq (\mathbf{a} \times \mathbf{b}) \times \mathbf{c} \quad \text{in general}

Regrouping the factors produces a different vector. This stands in stark contrast to addition and scalar multiplication, where parentheses can be shifted without consequence. The vector triple product expansion

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

provides a workaround for simplifying nested cross products, but it does not make associativity valid.

Self-Cross Product

\mathbf{a} \times \mathbf{a} = \mathbf{0}

Crossing a vector with itself always returns the zero vector. Anti-commutativity forces this:

\mathbf{a} \times \mathbf{a} = -(\mathbf{a} \times \mathbf{a})

has the unique solution

\mathbf{0}

. From the geometric side, a single vector does not span any area — the parallelogram degenerates to a segment — and no unique perpendicular direction can be extracted.

Parallel Vectors and the Cross Product

The cross product furnishes a clean test for parallelism:

\mathbf{a} \times \mathbf{b} = \mathbf{0} \quad \Longleftrightarrow \quad \mathbf{a} \text{ and } \mathbf{b} \text{ are parallel (or one is } \mathbf{0}\text{)}

Parallel vectors sit along the same line, so the angle between them is

0

\pi

. In either case

\sin\theta

vanishes, collapsing the magnitude

\|\mathbf{a} \times \mathbf{b}\| = \|\mathbf{a}\|\,\|\mathbf{b}\|\sin\theta

to zero. A zero magnitude forces the cross product itself to be

\mathbf{0}

.

This criterion pairs naturally with the dot product's test for orthogonality. A vanishing dot product signals perpendicularity; a vanishing cross product signals collinearity. The two tests cover opposite ends of the angular spectrum — maximum separation versus no separation at all — and between them, any angular configuration of two vectors in

\mathbb{R}^3

can be diagnosed.

The Scalar Triple Product

Three vectors in

\mathbb{R}^3

can be combined into a single scalar by nesting the cross product inside a dot product:

\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})

The inner operation

\mathbf{b} \times \mathbf{c}

yields a vector orthogonal to both

\mathbf{b}

and

\mathbf{c}

, whose length equals the area of the parallelogram they outline. The outer dot product then projects

\mathbf{a}

onto that orthogonal direction, effectively extracting the component of

\mathbf{a}

that rises out of the

\mathbf{b}

\mathbf{c}

plane. Multiplying base area by height produces a volume: the result is the signed volume of the parallelepiped whose edges are

\mathbf{a}

\mathbf{b}

\mathbf{c}

.

Taking the absolute value strips the sign and gives the true geometric volume. The sign itself records handedness — it is positive when the triple

\mathbf{a}

\mathbf{b}

\mathbf{c}

follows the right-hand convention and negative when it does not.

An equivalent computation arranges the nine components into a

3 \times 3

determinant:

\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c}) = \begin{vmatrix} a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \\ c_1 & c_2 & c_3 \end{vmatrix}

A zero determinant means the parallelepiped has been flattened — the three vectors are coplanar, all confined to a single plane with no volume between them.

Dot Product vs Cross Product

The two multiplication operations available for vectors occupy complementary niches, and contrasting them sharpens the purpose of each.

At the most basic level, they differ in what comes out: the dot product delivers a number, while the cross product delivers a vector. They also differ in scope — the component-wise sum of products behind the dot product generalizes to any

\mathbb{R}^n

, whereas the cross product's reliance on three-component determinants confines it to

\mathbb{R}^3

.

Order sensitivity separates them further. Swapping the operands in a dot product changes nothing; swapping them in a cross product reverses the resulting vector entirely. This distinction — commutativity versus anti-commutativity — reflects a deeper geometric divide. The dot product is insensitive to handedness; the cross product is built on it.

The conditions under which each product vanishes tell opposite stories. A zero dot product flags perpendicularity: the vectors share no directional overlap. A zero cross product flags collinearity: the vectors lie along the same line and enclose no area. One detects maximum angular separation; the other detects none at all.

Taken together, the two products partition the angular information between a pair of vectors in

\mathbb{R}^3

without overlap. The dot product isolates the

\cos\theta

factor — the projection of one vector onto the other. The cross product isolates the

\sin\theta

factor — the extent to which the vectors diverge from each other's direction, packaged as a perpendicular vector whose length records the enclosed area. Every geometric relationship between two vectors in three dimensions can be read from these two numbers.