{
  "id": "cross-product",
  "title": "Cross Product",
  "lang": "en",
  "source_lang": "en",
  "summary": "A vector operation in oriented three-dimensional Euclidean space whose result is perpendicular to both inputs and has magnitude equal to their spanned parallelogram’s area.",
  "category": "mathematics",
  "subcategory": "geometry",
  "type": "concept",
  "aliases": [
    "Vector product",
    "Vector cross product"
  ],
  "generated_at": "2026-10-05",
  "model": "pro/gpt-6.1-sol",
  "url": "https://aiwiki.page/en/cross-product/",
  "translations": {
    "zh-Hans": {
      "url": "https://aiwiki.page/zh/cross-product/",
      "json": "https://aiwiki.page/zh/cross-product.json"
    }
  },
  "sections": [
    {
      "heading": "",
      "text": "The cross product is a binary operation on vectors in an oriented three-dimensional Euclidean space. Written \\(\\mathbf a\\times\\mathbf b\\), it produces a vector perpendicular to both inputs, with magnitude equal to the area of the parallelogram they span and direction determined by the right-hand rule. Unlike the dot product, which produces a scalar, the cross product produces a vector. It is widely used in geometry and physics to describe oriented areas, perpendicular directions, and rotational quantities. (ocw.mit.edu)"
    },
    {
      "heading": "Geometric definition",
      "text": "For nonzero vectors \\(\\mathbf a\\) and \\(\\mathbf b\\) making an angle \\(\\theta\\in[0,\\pi]\\), the cross product has magnitude\n\n\\[\\|\\mathbf a\\times\\mathbf b\\| =\\|\\mathbf a\\|\\,\\|\\mathbf b\\|\\sin\\theta.\\]\n\nWhen the vectors are not parallel, its direction is fixed by the right-hand rule: curling the fingers of the right hand from \\(\\mathbf a\\) toward \\(\\mathbf b\\) through the smaller angle makes the thumb point along \\(\\mathbf a\\times\\mathbf b\\). Equivalently, the ordered triple \\((\\mathbf a,\\mathbf b,\\mathbf a\\times\\mathbf b)\\) is positively oriented. The magnitude is the parallelogram’s base times its height. (web.mit.edu)\n\nIf either input is zero, or the inputs are parallel or antiparallel, their cross product is zero. Thus\n\n\\[\\mathbf a\\times\\mathbf b=\\mathbf0 \\quad\\Longleftrightarrow\\quad \\mathbf a,\\mathbf b\\text{ are linearly dependent}.\\]\n\nThis includes the zero-vector cases; a zero cross product has no direction. For fixed input magnitudes, perpendicular inputs give the greatest possible cross-product magnitude. (openstax.org)"
    },
    {
      "heading": "Coordinate formula",
      "text": "In a positively oriented orthonormal basis \\((\\mathbf e_1,\\mathbf e_2,\\mathbf e_3)\\), let\n\n\\[\\mathbf a=(a_1,a_2,a_3), \\qquad \\mathbf b=(b_1,b_2,b_3).\\]\n\nThen\n\n\\[\\mathbf a\\times\\mathbf b = (a_2b_3-a_3b_2,\\; a_3b_1-a_1b_3,\\; a_1b_2-a_2b_1).\\]\n\nThe basis vectors obey\n\n\\[\\mathbf e_1\\times\\mathbf e_2=\\mathbf e_3,\\qquad \\mathbf e_2\\times\\mathbf e_3=\\mathbf e_1,\\qquad \\mathbf e_3\\times\\mathbf e_1=\\mathbf e_2.\\]\n\nReversing either pair changes the sign, while crossing a basis vector with itself gives zero. (ocw.mit.edu)\n\nA common computational mnemonic is the formal determinant\n\n\\[\\mathbf a\\times\\mathbf b = \\begin{vmatrix} \\mathbf e_1&\\mathbf e_2&\\mathbf e_3\\\\ a_1&a_2&a_3\\\\ b_1&b_2&b_3 \\end{vmatrix}.\\]\n\nHere the first row contains vectors rather than scalar entries: the notation means to expand along that row, using the alternating cofactor signs. It is not an ordinary scalar-valued determinant. (ocw.mit.edu)\n\nFor example, direct substitution gives\n\n\\[(1,2,3)\\times(4,5,6)=(-3,6,-3).\\]\n\nThe result is perpendicular to both inputs, as verified by\n\n\\[(1,2,3)\\cdot(-3,6,-3)=0, \\qquad (4,5,6)\\cdot(-3,6,-3)=0.\\]"
    },
    {
      "heading": "Algebraic properties",
      "text": "The cross product is bilinear: it is linear in each input separately. For real scalars \\(\\alpha,\\beta\\),\n\n\\[(\\alpha\\mathbf a+\\beta\\mathbf b)\\times\\mathbf c = \\alpha(\\mathbf a\\times\\mathbf c) +\\beta(\\mathbf b\\times\\mathbf c),\\]\n\nwith an analogous identity in the second input. It is also alternating and anticommutative:\n\n\\[\\mathbf a\\times\\mathbf a=\\mathbf0, \\qquad \\mathbf a\\times\\mathbf b=-\\mathbf b\\times\\mathbf a.\\]\n\nConsequently, multiplication order matters. (web.mit.edu)\n\nThe cross product is not associative. Its nested products instead satisfy the vector triple-product identities\n\n\\[\\mathbf a\\times(\\mathbf b\\times\\mathbf c) = \\mathbf b(\\mathbf a\\cdot\\mathbf c) -\\mathbf c(\\mathbf a\\cdot\\mathbf b),\\]\n\n\\[(\\mathbf a\\times\\mathbf b)\\times\\mathbf c = \\mathbf b(\\mathbf a\\cdot\\mathbf c) -\\mathbf a(\\mathbf b\\cdot\\mathbf c).\\]\n\nParentheses therefore cannot generally be omitted from repeated cross products. Its magnitude and the dot product are related by Lagrange’s identity:\n\n\\[\\|\\mathbf a\\times\\mathbf b\\|^2 = \\|\\mathbf a\\|^2\\|\\mathbf b\\|^2 -(\\mathbf a\\cdot\\mathbf b)^2.\\]\n\nThis identity expresses the squared area spanned by two vectors entirely in terms of their lengths and dot product. (openstax.org)"
    },
    {
      "heading": "Triple products and geometric applications",
      "text": "The scalar triple product combines a dot product with a cross product:\n\n\\[\\mathbf a\\cdot(\\mathbf b\\times\\mathbf c) = \\det \\begin{pmatrix} a_1&b_1&c_1\\\\ a_2&b_2&c_2\\\\ a_3&b_3&c_3 \\end{pmatrix}.\\]\n\nIt is the signed volume of the parallelepiped generated by the three vectors; its absolute value is the ordinary volume. Cyclically permuting the inputs leaves it unchanged, while exchanging two inputs reverses its sign. A zero scalar triple product means that the three vectors are linearly dependent. (ocw.mit.edu)\n\nFor noncollinear points \\(A,B,C\\), set\n\n\\[\\mathbf u=B-A,\\qquad \\mathbf v=C-A.\\]\n\nThen \\(\\mathbf u\\times\\mathbf v\\) is normal to their plane, and the triangle’s area is\n\n\\[\\operatorname{Area}(ABC) =\\frac12\\|\\mathbf u\\times\\mathbf v\\|.\\]\n\nA unit normal is\n\n\\[\\mathbf n = \\frac{\\mathbf u\\times\\mathbf v} {\\|\\mathbf u\\times\\mathbf v\\|}.\\]\n\nChanging the order of the points reverses the normal without changing the area. This construction fails for collinear points because its denominator is zero. (openstax.org)"
    },
    {
      "heading": "Orientation and transformation behavior",
      "text": "The cross product requires both a Euclidean inner product and a choice of orientation. Its usual coordinate formula assumes a right-handed orthonormal basis; reversing the chosen orientation reverses the product’s sign. (cs.cmu.edu)\n\nFor an orthogonal transformation \\(Q\\), its transformation law is\n\n\\[(Q\\mathbf a)\\times(Q\\mathbf b) = \\det(Q)\\,Q(\\mathbf a\\times\\mathbf b).\\]\n\nThus it transforms like an ordinary vector under rotations, for which \\(\\det(Q)=1\\), but acquires an extra sign under orientation-reversing transformations. When the inputs are ordinary polar vectors, their cross product is consequently called an axial vector or pseudovector. In particular, spatial inversion changes both inputs’ signs but leaves their cross product unchanged:\n\n\\[(-\\mathbf a)\\times(-\\mathbf b)=\\mathbf a\\times\\mathbf b.\\]\n\nThis distinction concerns transformation behavior, not whether the result belongs to a vector space. (sites.science.oregonstate.edu)"
    },
    {
      "heading": "Uses in mechanics",
      "text": "In classical mechanics, cross products encode the direction and magnitude of rotational quantities. The torque exerted by a force \\(\\mathbf F\\) about a chosen origin is\n\n\\[\\boldsymbol\\tau=\\mathbf r\\times\\mathbf F,\\]\n\nwhere \\(\\mathbf r\\) runs from that origin to the force’s application point. A particle’s angular momentum about the same origin is\n\n\\[\\mathbf L=\\mathbf r\\times\\mathbf p,\\]\n\nwhere \\(\\mathbf p\\) is its linear momentum. Both depend on the reference point. Their axial directions represent the orientation of rotational effects rather than a direction of translational motion. (feynmanlectures.caltech.edu)\n\nFor a rigid body rotating with angular velocity \\(\\boldsymbol\\omega\\), the velocity relative to a point on its fixed rotation axis is\n\n\\[\\mathbf v=\\boldsymbol\\omega\\times\\mathbf r.\\]\n\nThe sine factor in the cross-product magnitude automatically selects the perpendicular distance to the axis. (feynmanlectures.caltech.edu)"
    },
    {
      "heading": "Higher-dimensional generalizations",
      "text": "The exterior product provides a related operation in any dimension. For vectors \\(\\mathbf a,\\mathbf b\\), the wedge product \\(\\mathbf a\\wedge\\mathbf b\\) is a bivector representing an oriented area, rather than generally another vector. In oriented three-dimensional Euclidean space, the Hodge star identifies bivectors with vectors:\n\n\\[\\mathbf a\\times\\mathbf b = \\star(\\mathbf a\\wedge\\mathbf b).\\]\n\nIn dimension \\(n\\), however, the Hodge star sends bivectors to \\((n-2)\\)-vectors. This construction produces a vector only when \\(n=3\\). (cs.cmu.edu)\n\nThere is nevertheless a different seven-dimensional binary cross product, constructed by identifying \\(\\mathbb R^7\\) with the imaginary octonions:\n\n\\[\\mathbf a\\times\\mathbf b = \\frac12(\\mathbf a\\mathbf b-\\mathbf b\\mathbf a).\\]\n\nIt is bilinear and anticommutative and retains the perpendicularity and area-magnitude properties. Its symmetry structure differs from the three-dimensional case, and it does not satisfy all the same nested-product identities. Similarly, identifying \\(\\mathbb R^3\\) with imaginary quaternions recovers the ordinary cross product through the same half-commutator formula. (math.ucr.edu)"
    },
    {
      "heading": "Historical development",
      "text": "The cross product’s algebraic background lies in nineteenth-century quaternion methods, which combined scalar and vector parts within a single multiplication. Modern vector notation separated dot and cross products into distinct operations. Josiah Willard Gibbs and Oliver Heaviside were central to this development and to its adoption in mathematical physics. Gibbs’s vector-analysis pamphlet was printed around 1881–1884; Heaviside received a copy in June 1888 and annotated it extensively. (math.ucr.edu)"
    }
  ],
  "links": [
    "euclidean-space",
    "inner-product",
    "norm-mathematics",
    "orthonormal-basis",
    "determinant",
    "orthogonal-matrix",
    "classical-mechanics",
    "torque",
    "force",
    "angular-momentum",
    "momentum",
    "rigid-body"
  ],
  "sources": [
    {
      "title": "5 The Vector Product",
      "url": "https://www.ocw.mit.edu/ans7870/18/18.013a/textbook/HTML/chapter04/section05.html"
    },
    {
      "title": "World Web Math: Vector Calculus: Cross Product",
      "url": "https://web.mit.edu/wwmath/vectorc/3d/crossp.html"
    },
    {
      "title": "4 The Cross Product — Calculus Volume 3",
      "url": "https://openstax.org/books/calculus-volume-3/pages/2-4-the-cross-product"
    },
    {
      "title": "MIT 3.016 Fall 2005 — Lecture 11",
      "url": "https://ocw.mit.edu/courses/3-016-mathematics-for-materials-scientists-and-engineers-fall-2005/24516dca3729b9f373330a6e513cf428_lecture_11.pdf"
    },
    {
      "title": "Geometry of Differential Forms — Pseudovectors and Pseudoscalars",
      "url": "https://sites.science.oregonstate.edu/physics/coursewikis/GDF/_export/raw/book/gdf/pseudo"
    },
    {
      "title": "Discrete Differential Geometry",
      "url": "https://www.cs.cmu.edu/~kmcrane/Projects/DDG/paper.pdf"
    },
    {
      "title": "The Octonions",
      "url": "https://math.ucr.edu/home/baez/octonions/octonions.pdf"
    },
    {
      "title": "Back to the Roots of Vector and Tensor Calculus. Heaviside versus Gibbs",
      "url": "https://arxiv.org/abs/2010.09679"
    }
  ],
  "license": "https://creativecommons.org/licenses/by/4.0/"
}