There are a number of algebraic identities involving sets of four vectors. An identity known as Lagrange's identity is given by (AxB)·(CxD) = (A·C)(B·D) - (A·D)(B·C) (Bronshtein and Semendyayev 2004, p. 185).

Lagrange's identity | scalar triple product | vector multiplication | vector triple product