Formulas about vectors in three-dimensional Euclidean space
The following are important identities in vector algebra. Identities that only involve the magnitude of a vector
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.[nb 1][1] Most of these relations can be dated to founder of vector calculus Josiah Willard Gibbs, if not earlier.[2]
Magnitudes
The magnitude of a vector A can be expressed using the dot product:
![{\displaystyle \|\mathbf {A} \|^{2}=\mathbf {A\cdot A} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5af8409f17352321bd889528f7bb003625bea5e0)
In three-dimensional Euclidean space, the magnitude of a vector is determined from its three components using Pythagoras' theorem:
![{\displaystyle \|\mathbf {A} \|^{2}=A_{1}^{2}+A_{2}^{2}+A_{3}^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17d41e04d2dd720d9b4de7e66c2c8bcd2a5f67d5)
Inequalities
- The Cauchy–Schwarz inequality:
![{\displaystyle \mathbf {A} \cdot \mathbf {B} \leq \left\|\mathbf {A} \right\|\left\|\mathbf {B} \right\|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58276f34c6f5adb02ee061ec30ea3bfc2c3741c7)
- The triangle inequality:
![{\displaystyle \|\mathbf {A+B} \|\leq \|\mathbf {A} \|+\|\mathbf {B} \|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/505259297cd3a574861380ade08eb513bb0a624b)
- The reverse triangle inequality:
![{\displaystyle \|\mathbf {A-B} \|\geq {\Bigl |}\|\mathbf {A} \|-\|\mathbf {B} \|{\Bigr |}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea09738a3692e331803d5c74fb368b7033c46e87)
Angles
The vector product and the scalar product of two vectors define the angle between them, say θ:[1][3]
![{\displaystyle \sin \theta ={\frac {\|\mathbf {A} \times \mathbf {B} \|}{\left\|\mathbf {A} \right\|\left\|\mathbf {B} \right\|}}\quad (-\pi <\theta \leq \pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e76b557fba4425b2e2ff2e25a9deb90cdb63d94a)
To satisfy the right-hand rule, for positive θ, vector B is counter-clockwise from A, and for negative θ it is clockwise.
![{\displaystyle \cos \theta ={\frac {\mathbf {A} \cdot \mathbf {B} }{\left\|\mathbf {A} \right\|\left\|\mathbf {B} \right\|}}\quad (-\pi <\theta \leq \pi )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7667b1bbda7aafdad1f3d4a1cac26cc3c417f601)
The Pythagorean trigonometric identity then provides:
![{\displaystyle \left\|\mathbf {A\times B} \right\|^{2}+(\mathbf {A} \cdot \mathbf {B} )^{2}=\left\|\mathbf {A} \right\|^{2}\left\|\mathbf {B} \right\|^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70914c3b638b3d565041593f7822a8af9394e99b)
If a vector A = (Ax, Ay, Az) makes angles α, β, γ with an orthogonal set of x-, y- and z-axes, then:
![{\displaystyle \cos \alpha ={\frac {A_{x}}{\sqrt {A_{x}^{2}+A_{y}^{2}+A_{z}^{2}}}}={\frac {A_{x}}{\|\mathbf {A} \|}}\ ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8e9d0f8d7c6f72ef287d1b2750e32f2000e5b624)
and analogously for angles β, γ. Consequently:
![{\displaystyle \mathbf {A} =\left\|\mathbf {A} \right\|\left(\cos \alpha \ {\hat {\mathbf {i} }}+\cos \beta \ {\hat {\mathbf {j} }}+\cos \gamma \ {\hat {\mathbf {k} }}\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cb6212aa11a42aca5ae687a804d9a2d99401ee5)
with
unit vectors along the axis directions.
Areas and volumes
The area Σ of a parallelogram with sides A and B containing the angle θ is:
![{\displaystyle \Sigma =AB\sin \theta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cc83e8cbfad34b88780ee17c82b9496f66c0dc8)
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:
![{\displaystyle \Sigma =\left\|\mathbf {A} \times \mathbf {B} \right\|={\sqrt {\left\|\mathbf {A} \right\|^{2}\left\|\mathbf {B} \right\|^{2}-\left(\mathbf {A} \cdot \mathbf {B} \right)^{2}}}\ .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89dcf7ddcba7d2acd8eabbe185047316482948c0)
(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:[4]
![{\displaystyle \Sigma ^{2}=(\mathbf {A\cdot A} )(\mathbf {B\cdot B} )-(\mathbf {A\cdot B} )(\mathbf {B\cdot A} )=\Gamma (\mathbf {A} ,\ \mathbf {B} )\ ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9d0f5a236822d5daaad87baec36770de1cf90a4)
where Γ(A, B) is the Gram determinant of A and B defined by:
![{\displaystyle \Gamma (\mathbf {A} ,\ \mathbf {B} )={\begin{vmatrix}\mathbf {A\cdot A} &\mathbf {A\cdot B} \\\mathbf {B\cdot A} &\mathbf {B\cdot B} \end{vmatrix}}\ .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c7362cc118b4f637004d1e9e18221d292eedd1c)
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:[4]
![{\displaystyle V^{2}=\Gamma (\mathbf {A} ,\ \mathbf {B} ,\ \mathbf {C} )={\begin{vmatrix}\mathbf {A\cdot A} &\mathbf {A\cdot B} &\mathbf {A\cdot C} \\\mathbf {B\cdot A} &\mathbf {B\cdot B} &\mathbf {B\cdot C} \\\mathbf {C\cdot A} &\mathbf {C\cdot B} &\mathbf {C\cdot C} \end{vmatrix}}\ ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d04df1eed5b5ab4094eb8d23ff91f1e8180bbbc7)
Since A, B, C are three-dimensional vectors, this is equal to the square of the scalar triple product
below.
This process can be extended to n-dimensions.
Addition and multiplication of vectors
- Commutativity of addition:
. - Commutativity of scalar product:
. - Anticommutativity of cross product:
. - Distributivity of multiplication by a scalar over addition:
. - Distributivity of scalar product over addition:
. - Distributivity of vector product over addition:
. - Scalar triple product:
![{\displaystyle \mathbf {A} \cdot (\mathbf {B} \times \mathbf {C} )=\mathbf {B} \cdot (\mathbf {C} \times \mathbf {A} )=\mathbf {C} \cdot (\mathbf {A} \times \mathbf {B} )=|\mathbf {A} \,\mathbf {B} \,\mathbf {C} |={\begin{vmatrix}A_{x}&B_{x}&C_{x}\\A_{y}&B_{y}&C_{y}\\A_{z}&B_{z}&C_{z}\end{vmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c21dbdf217373434d21447e28ecf327787b48809)
- Vector triple product:
. - Jacobi identity:
![{\displaystyle \mathbf {A} \times (\mathbf {B} \times \mathbf {C} )+\mathbf {C} \times (\mathbf {A} \times \mathbf {B} )+\mathbf {B} \times (\mathbf {C} \times \mathbf {A} )=\mathbf {0} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/533111a4234309412233826979c5c053767d157a)
- Lagrange's identity:
.
Quadruple product
In mathematics, the quadruple product is a product of four vectors in three-dimensional Euclidean space. The name "quadruple product" is used for two different products,[5] 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:
![{\displaystyle (\mathbf {a\times b} )\cdot (\mathbf {c} \times \mathbf {d} )\ ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee68c7cbb48abac3882d1406b384a472bad3bb4c)
where a, b, c, d are vectors in three-dimensional Euclidean space.[6] It can be evaluated using the Binet-Cauchy identity:[6]
![{\displaystyle (\mathbf {a\times b} )\cdot (\mathbf {c} \times \mathbf {d} )=(\mathbf {a\cdot c} )(\mathbf {b\cdot d} )-(\mathbf {a\cdot d} )(\mathbf {b\cdot c} )\ .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/49d8dac362692f03e11cde6f23661c15aac1edd4)
or using the determinant:
![{\displaystyle (\mathbf {a\times b} )\cdot (\mathbf {c} \times \mathbf {d} )={\begin{vmatrix}\mathbf {a\cdot c} &\mathbf {a\cdot d} \\\mathbf {b\cdot c} &\mathbf {b\cdot d} \end{vmatrix}}\ .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bce6a5126673f1d21c35b7f901bc1ba6b1797d1)
Vector quadruple product
The vector quadruple product is defined as the cross product of two cross products:
![{\displaystyle (\mathbf {a\times b} )\mathbf {\times } (\mathbf {c} \times \mathbf {d} )\ ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/931eb31f433fe684794b0f1725ac2273feba3237)
where a, b, c, d are vectors in three-dimensional Euclidean space.[2] It can be evaluated using the identity:[7]
![{\displaystyle (\mathbf {a\times b} )\mathbf {\times } (\mathbf {c} \times \mathbf {d} )=[\mathbf {a,\ b,\ d} ]\mathbf {c} -[\mathbf {a,\ b,\ c} ]\mathbf {d} \ ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83e41e3db9c5e3a2fb2030f9822ab0af1f24ad91)
using the notation for the triple product:
![{\displaystyle [\mathbf {a,\ b,\ c} ]=\mathbf {a} \cdot (\mathbf {b} \times \mathbf {c} )\ .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aef3f5f3c5d0bb976d5ae3b8e1ccd43861fdbc11)
Equivalent forms can be obtained using the identity:[8][9][10]
![{\displaystyle [\mathbf {b,\ c,\ d} ]\mathbf {a} -[\mathbf {c,\ d,\ a} ]\mathbf {b} +[\mathbf {d,\ a,\ b} ]\mathbf {c} -[\mathbf {a,\ b,\ c} ]\mathbf {d} =0\ .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6aab120a97d92e8ffd4c390fc8be37ebdf564021)
This identity can also be written using tensor notation and the Einstein summation convention as follows:
![{\displaystyle (\mathbf {a\times b} )\mathbf {\times } (\mathbf {c} \times \mathbf {d} )=\varepsilon _{ijk}a^{i}c^{j}d^{k}b^{l}-\varepsilon _{ijk}b^{i}c^{j}d^{k}a^{l}=\varepsilon _{ijk}a^{i}b^{j}d^{k}c^{l}-\varepsilon _{ijk}a^{i}b^{j}c^{k}d^{l}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d5f46c7801684fd548b8cc7e821140e33b1c485)
where εijk is the Levi-Civita symbol.
Related relationships:
- A consequence of the previous equation:[11]
![{\displaystyle |\mathbf {A} \,\mathbf {B} \,\mathbf {C} |\,\mathbf {D} =(\mathbf {A} \cdot \mathbf {D} )\left(\mathbf {B} \times \mathbf {C} \right)+\left(\mathbf {B} \cdot \mathbf {D} \right)\left(\mathbf {C} \times \mathbf {A} \right)+\left(\mathbf {C} \cdot \mathbf {D} \right)\left(\mathbf {A} \times \mathbf {B} \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b0855e664b11620a0e0f43366af4efb9bb7e5ad)
- In 3 dimensions, a vector D can be expressed in terms of basis vectors {A,B,C} as:[12]
![{\displaystyle \mathbf {D} \ =\ {\frac {\mathbf {D} \cdot (\mathbf {B} \times \mathbf {C} )}{|\mathbf {A} \,\mathbf {B} \,\mathbf {C} |}}\ \mathbf {A} +{\frac {\mathbf {D} \cdot (\mathbf {C} \times \mathbf {A} )}{|\mathbf {A} \,\mathbf {B} \,\mathbf {C} |}}\ \mathbf {B} +{\frac {\mathbf {D} \cdot (\mathbf {A} \times \mathbf {B} )}{|\mathbf {A} \,\mathbf {B} \,\mathbf {C} |}}\ \mathbf {C} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d890b0d229c5120ceb6d21c8f632d03dcd42ac8)
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:
![{\displaystyle (\mathbf {a\times b} )\mathbf {\cdot } (\mathbf {c\times d} )=(\mathbf {a\cdot c} )(\mathbf {b\cdot d} )-(\mathbf {a\cdot d} )(\mathbf {b\cdot c} )\ ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80a90640b0c3ba354b957793f93be2695fe66b15)
in conjunction with the relation for the magnitude of the cross product:
![{\displaystyle \|\mathbf {a\times b} \|=ab\sin \theta _{ab}\ ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e484cc61363a8c51ecc133887e61cea4afb28887)
and the dot product:
![{\displaystyle \mathbf {a\cdot b} =ab\cos \theta _{ab}\ ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4debac0acc72d3eee5263089daf49336b3675f92)
where a = b = 1 for the unit sphere, results in the identity among the angles attributed to Gauss:
![{\displaystyle \sin \theta _{ab}\sin \theta _{cd}\cos x=\cos \theta _{ac}\cos \theta _{bd}-\cos \theta _{ad}\cos \theta _{bc}\ ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68d9e5af6ab0b7b37e3d56cee36faefded04ecef)
where x is the angle between a × b and c × d, or equivalently, between the planes defined by these vectors.[2]
See also
Notes
References
- ^ a b Lyle Frederick Albright (2008). "§2.5.1 Vector algebra". Albright's chemical engineering handbook. CRC Press. p. 68. ISBN 978-0-8247-5362-7.
- ^ a b c Gibbs & Wilson 1901, pp. 77 ff
- ^ Francis Begnaud Hildebrand (1992). Methods of applied mathematics (Reprint of Prentice-Hall 1965 2nd ed.). Courier Dover Publications. p. 24. ISBN 0-486-67002-3.
- ^ a b Richard Courant, Fritz John (2000). "Areas of parallelograms and volumes of parallelepipeds in higher dimensions". Introduction to calculus and analysis, Volume II (Reprint of original 1974 Interscience ed.). Springer. pp. 190–195. ISBN 3-540-66569-2.
- ^ Gibbs & Wilson 1901, §42 of section "Direct and skew products of vectors", p.77
- ^ a b Gibbs & Wilson 1901, p. 76
- ^ Gibbs & Wilson 1901, p. 77
- ^ Gibbs & Wilson 1901, Equation 27, p. 77
- ^ Vidwan Singh Soni (2009). "§1.10.2 Vector quadruple product". Mechanics and relativity. PHI Learning Pvt. Ltd. pp. 11–12. ISBN 978-81-203-3713-8.
- ^ This formula is applied to spherical trigonometry by Edwin Bidwell Wilson, Josiah Willard Gibbs (1901). "§42 in Direct and skew products of vectors". Vector analysis: a text-book for the use of students of mathematics. Scribner. pp. 77ff.
- ^ "linear algebra - Cross-product identity". Mathematics Stack Exchange. Retrieved 2021-10-07.
- ^ Joseph George Coffin (1911). Vector analysis: an introduction to vector-methods and their various applications to physics and mathematics (2nd ed.). Wiley. p. 56.
Further reading
- Gibbs, Josiah Willard; Wilson, Edwin Bidwell (1901). Vector analysis: a text-book for the use of students of mathematics. Scribner.