 Lagrange identity for the cross product

ID: lagrange-identity-for-the-cross-product

Codex  0 Created 2026-09-24 Updated 2026-10-03

For three-dimensional vectors,

∣ x \times y ∣^{2} = ∣ x ∣^{2} ∣ y ∣^{2} - (x \cdot y)^{2} .

The corresponding identity in

R^{n}

∣ x ∣^{2} ∣ y ∣^{2} - (x \cdot y)^{2} = \frac{1}{2} \sum_{i, j} (x_{i} y_{j} - x_{j} y_{i})^{2} .

 New to topics? Read the docs here!