Vector algebra relations

The following are important identities in vector algebra. Identities that only involve the magnitude of a vector $\, \mathbf A\,$ and the dot product (scalar product) of two vectors A·B, apply to vectors in any dimension, while identities that use the cross product (vector product) A×B only apply in three dimensions, since the cross product is only defined there.
Most of these relations can be dated to founder of vector calculus Josiah Willard Gibbs, if not earlier.

Magnitudes

The magnitude of a vector A can be expressed using the dot product:

:$\, \mathbf A \, ^2 = \mathbf$

In three-dimensional Euclidean space, the magnitude of a vector is determined from its three components using Pythagoras' theorem:

:$\, \mathbf A \, ^2 = A_1^2 + A_2^2 +A_3^2$

Inequalities

*The Cauchy–Schwarz inequality: $\mathbf \cdot \mathbf \le \left\, \mathbf A \right\, \left\, \mathbf B \right\,$
*The triangle inequality: $\, \mathbf\, \le \, \mathbf\, + \, \mathbf\,$
*The reverse triangle inequality: $\, \mathbf\, \ge \Bigl, \, \mathbf\, - \, \mathbf\, \Bigr,$

Angles

The vector product and the scalar product of two vectors define the angle between them, say ''θ'':

:$\sin \theta =\frac \quad ( -\pi < \theta \le \pi )$
To satisfy the right-hand rule, for positive ''θ'', vector B is counter-clockwise from A, and for negative ''θ'' it is clockwise.
:$\cos \theta = \frac \quad ( -\pi < \theta \le \pi )$

The Pythagorean trigonometric identity then provides:

:$\left\, \mathbf\right\, ^2 +(\mathbf \cdot \mathbf)^2 = \left\, \mathbf A \right\, ^2 \left\, \mathbf B \right\, ^2$

If a vector A = (''A_x, A_y, A_z'') makes angles ''α'', ''β'', ''γ'' with an orthogonal set of ''x-'', ''y-'' and ''z-''axes, then:

:$\cos \alpha = \frac = \frac \ ,$
and analogously for angles β, γ. Consequently:
:$\mathbf A = \left\, \mathbf A \right\, \left( \cos \alpha \ \hat + \cos \beta\ \hat + \cos \gamma \ \hat \right) ,$
with $\hat, \ \hat, \ \hat$ unit vectors along the axis directions.

Areas and volumes

The area Σ of a parallelogram with sides ''A'' and ''B'' containing the angle ''θ'' is:
:$\Sigma = AB \sin \theta ,$
which will be recognized as the magnitude of the vector cross product of the vectors A and B lying along the sides of the parallelogram. That is:
:$\Sigma = \left\, \mathbf \times \mathbf \right\, = \sqrt \ .$

(If A, B are two-dimensional vectors, this is equal to the determinant of the 2 × 2 matrix with rows A, B.) The square of this expression is:
:$\Sigma^2 = (\mathbf)(\mathbf)-(\mathbf)(\mathbf)=\Gamma(\mathbf A,\ \mathbf B ) \ ,$
where Γ(A, B) is the Gram determinant of A and B defined by:

:$\Gamma(\mathbf A,\ \mathbf B )=\begin \mathbf & \mathbf \\ \mathbf & \mathbf \end \ .$

In a similar fashion, the squared volume ''V'' of a parallelepiped spanned by the three vectors A, B, C is given by the Gram determinant of the three vectors:
:$V^2 =\Gamma ( \mathbf A ,\ \mathbf B ,\ \mathbf C ) = \begin \mathbf & \mathbf & \mathbf \\\mathbf & \mathbf & \mathbf\\ \mathbf & \mathbf & \mathbf \end \ ,$

Since A, B, C are three-dimensional vectors, this is equal to the square of the scalar triple product \det mathbf,\mathbf,\mathbf= , \mathbf,\mathbf,\mathbf, below.

This process can be extended to ''n''-dimensions.

Addition and multiplication of vectors

* Commutativity of addition: $\mathbf+\mathbf=\mathbf+\mathbf$.
* Commutativity of scalar product: $\mathbf\cdot\mathbf=\mathbf\cdot\mathbf$.
* Anticommutativity of cross product: $\mathbf\times\mathbf=\mathbf(\mathbf\times\mathbf)$.
* Distributivity of multiplication by a scalar over addition: $c (\mathbf+\mathbf) = c\mathbf+c\mathbf$.
* Distributivity of scalar product over addition: $\left(\mathbf+\mathbf\right)\cdot\mathbf=\mathbf\cdot\mathbf+\mathbf\cdot\mathbf$.
* Distributivity of vector product over addition: $(\mathbf+\mathbf)\times\mathbf = \mathbf\times\mathbf+\mathbf\times\mathbf$.
* Scalar triple product: $\mathbf\cdot (\mathbf\times\mathbf)=\mathbf\cdot (\mathbf\times\mathbf)=\mathbf\cdot (\mathbf\times\mathbf) = , \mathbf\, \mathbf\,\mathbf, = \begin A_ & B_ & C_\\ A_ & B_ & C_\\ A_ & B_ & C_\end.$
* Vector triple product: $\mathbf\times (\mathbf\times\mathbf) = (\mathbf\cdot\mathbf )\mathbf- (\mathbf\cdot\mathbf)\mathbf$.
* Jacobi identity: $\mathbf\times (\mathbf\times\mathbf )+\mathbf\times (\mathbf\times\mathbf )+ \mathbf\times (\mathbf\times\mathbf )= \mathbf 0 .$
* Lagrange's identity: $, \mathbf \times \mathbf, ^2 = (\mathbf \cdot \mathbf) (\mathbf \cdot \mathbf)-(\mathbf \cdot \mathbf)^2$.

Quadruple product

The name "quadruple product" is used for two different products, the scalar-valued scalar quadruple product and the vector-valued vector quadruple product or vector product of four vectors.

Scalar quadruple product

The scalar quadruple product is defined as the dot product of two cross products:
:$(\mathbf)\cdot(\mathbf\times \mathbf) \ ,$
where a, b, c, d are vectors in three-dimensional Euclidean space. It can be evaluated using the Binet-Cauchy identity:
:$(\mathbf)\cdot(\mathbf\times \mathbf) = (\mathbf)(\mathbf) - (\mathbf)(\mathbf) \ .$
or using the determinant:
:$(\mathbf)\cdot(\mathbf\times \mathbf) =\begin \mathbf & \mathbf \\ \mathbf & \mathbf \end \ .$

Vector quadruple product

The vector quadruple product is defined as the cross product of two cross products:
:$(\mathbf) \mathbf (\mathbf\times \mathbf) \ ,$
where a, b, c, d are vectors in three-dimensional Euclidean space. It can be evaluated using the identity:
:$(\mathbf )\mathbf (\mathbf\times \mathbf) = (\mathbf \cdot (\mathbf \times \mathbf)) \mathbf c - (\mathbf \cdot (\mathbf \times \mathbf)) \mathbf d \ .$

Equivalent forms can be obtained using the identity:This formula is applied to spherical trigonometry by
:$(\mathbf \cdot (\mathbf \times \mathbf))\mathbf a - (\mathbf \cdot (\mathbf \times \mathbf))\mathbf b+(\mathbf \cdot (\mathbf \times \mathbf))\mathbf -(\mathbf \cdot (\mathbf \times \mathbf))\mathbf d = 0 \ .$

This identity can also be written using tensor notation and the Einstein summation convention as follows:
:$(\mathbf )\mathbf (\mathbf\times \mathbf)=\varepsilon_ a^i c^j d^k b^l - \varepsilon_ b^i c^j d^k a^l=\varepsilon_ a^i b^j d^k c^l - \varepsilon_ a^i b^j c^k d^l$
where is the Levi-Civita symbol.

Related relationships:
* A consequence of the previous equation: $, \mathbf\, \mathbf\,\mathbf, \,\mathbf= (\mathbf\cdot\mathbf )\left(\mathbf\times\mathbf\right)+\left(\mathbf\cdot\mathbf\right)\left(\mathbf\times\mathbf\right)+\left(\mathbf\cdot\mathbf\right)\left(\mathbf\times\mathbf\right).$
*In 3 dimensions, a vector D can be expressed in terms of basis vectors as:$\mathbf D \ =\ \frac\ \mathbf A +\frac\ \mathbf B + \frac\ \mathbf C.$

Applications

These relations are useful for deriving various formulas in spherical and Euclidean geometry. For example, if four points are chosen on the unit sphere, ''A, B, C, D'', and unit vectors drawn from the center of the sphere to the four points, a, b, c, d respectively, the identity:
:$(\mathbf)\mathbf(\mathbf) = (\mathbf )(\mathbf )-(\mathbf)(\mathbf ) \ ,$
in conjunction with the relation for the magnitude of the cross product:
:$\, \mathbf\, = a b \sin \theta_ \ ,$
and the dot product:
:$\mathbf = a b \cos \theta_ \ ,$
where ''a = b'' = 1 for the unit sphere, results in the identity among the angles attributed to Gauss:
:$\sin \theta_\sin \theta_\cos x = \cos\theta_\cos\theta_ - \cos\theta_ \cos \theta_ \ ,$
where ''x'' is the angle between a × b and c × d, or equivalently, between the planes defined by these vectors.

See also

*Vector calculus identities
*Vector space
*Geometric algebra

Notes

References

Further reading

*{{cite book , last1=Gibbs, last2=Wilson , first1=Josiah Willard , first2= Edwin Bidwell , title=Vector analysis: a text-book for the use of students of mathematics , url=https://archive.org/details/vectoranalysiste00gibbiala , publisher=Scribner , year=1901

Mathematical identities
Mathematics-related lists