{
  "id": "cross-product",
  "title": "叉积",
  "lang": "zh-Hans",
  "source_lang": "en",
  "summary": "定向三维欧几里得空间中的向量运算，结果垂直于两个输入向量，模长等于它们张成的平行四边形面积。",
  "category": "mathematics",
  "subcategory": "geometry",
  "type": "concept",
  "aliases": [
    "向量积",
    "向量叉积"
  ],
  "generated_at": "2026-10-05",
  "model": "pro/gpt-6.1-sol",
  "url": "https://aiwiki.page/zh/cross-product/",
  "translations": {
    "en": {
      "url": "https://aiwiki.page/en/cross-product/",
      "json": "https://aiwiki.page/en/cross-product.json"
    }
  },
  "sections": [
    {
      "heading": "",
      "text": "叉积是定向三维欧几里得空间中向量的一种二元运算，记作 \\(\\mathbf a\\times\\mathbf b\\)。其结果是一个向量，垂直于两个输入向量，模长等于它们张成的平行四边形面积，方向则由右手定则确定。与结果为标量的点积不同，叉积的结果是向量。它广泛用于几何学和物理学，用来描述有向面积、垂直方向和旋转量。(ocw.mit.edu)"
    },
    {
      "heading": "几何定义",
      "text": "对于夹角为 \\(\\theta\\in[0,\\pi]\\) 的非零向量 \\(\\mathbf a\\) 和 \\(\\mathbf b\\)，它们的叉积的模长为\n\n\\[\\|\\mathbf a\\times\\mathbf b\\| =\\|\\mathbf a\\|\\,\\|\\mathbf b\\|\\sin\\theta.\\]\n\n当两个向量不平行时，其方向由右手定则确定：右手手指从 \\(\\mathbf a\\) 朝 \\(\\mathbf b\\) 沿较小角度弯曲时，拇指所指方向就是 \\(\\mathbf a\\times\\mathbf b\\) 的方向。等价地说，有序三元组 \\((\\mathbf a,\\mathbf b,\\mathbf a\\times\\mathbf b)\\) 是正向定向的。其模长等于平行四边形的底乘以高。(web.mit.edu)\n\n如果任一输入为零，或者两个输入平行或反平行，它们的叉积就是零。因此\n\n\\[\\mathbf a\\times\\mathbf b=\\mathbf0 \\quad\\Longleftrightarrow\\quad \\mathbf a,\\mathbf b\\text{ are linearly dependent}.\\]\n\n这也包括零向量的情形；零叉积没有方向。在输入向量模长固定时，互相垂直的输入向量所产生的叉积模长最大。(openstax.org)"
    },
    {
      "heading": "坐标公式",
      "text": "在正向定向的标准正交基 \\((\\mathbf e_1,\\mathbf e_2,\\mathbf e_3)\\) 中，设\n\n\\[\\mathbf a=(a_1,a_2,a_3), \\qquad \\mathbf b=(b_1,b_2,b_3).\\]\n\n则\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\n基向量满足\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\n调换任意一对向量的顺序会改变结果的符号，而基向量与自身作叉积则得到零。(ocw.mit.edu)\n\n一种常见的计算记忆法是形式上的行列式\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\n这里第一行的元素是向量，而非标量；这种记法表示沿第一行展开，并使用交替的余子式符号。它不是通常意义上取标量值的行列式。(ocw.mit.edu)\n\n例如，直接代入可得\n\n\\[(1,2,3)\\times(4,5,6)=(-3,6,-3).\\]\n\n通过点积可以验证，结果同时垂直于两个输入向量：\n\n\\[(1,2,3)\\cdot(-3,6,-3)=0, \\qquad (4,5,6)\\cdot(-3,6,-3)=0.\\]"
    },
    {
      "heading": "代数性质",
      "text": "叉积是双线性的：它分别对每个输入线性。对于实数标量 \\(\\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\n对第二个输入也有类似的等式。叉积还是交替的，并且反交换：\n\n\\[\\mathbf a\\times\\mathbf a=\\mathbf0, \\qquad \\mathbf a\\times\\mathbf b=-\\mathbf b\\times\\mathbf a.\\]\n\n因此，乘法顺序很重要。(web.mit.edu)\n\n叉积不满足结合律。嵌套叉积满足以下向量三重积恒等式：\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\n因此，连续进行叉积运算时通常不能省略括号。叉积的模长与点积之间满足拉格朗日恒等式：\n\n\\[\\|\\mathbf a\\times\\mathbf b\\|^2 = \\|\\mathbf a\\|^2\\|\\mathbf b\\|^2 -(\\mathbf a\\cdot\\mathbf b)^2.\\]\n\n这个恒等式完全用两个向量的长度和点积表示它们所张成面积的平方。(openstax.org)"
    },
    {
      "heading": "三重积与几何应用",
      "text": "标量三重积将点积与叉积结合起来：\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\n它表示由三个向量生成的平行六面体的有向体积；其绝对值就是通常所说的体积。对输入向量作循环置换，标量三重积保持不变；交换任意两个输入，则其符号反转。标量三重积为零，意味着这三个向量线性相关。(ocw.mit.edu)\n\n对于不共线的点 \\(A,B,C\\)，令\n\n\\[\\mathbf u=B-A,\\qquad \\mathbf v=C-A.\\]\n\n则 \\(\\mathbf u\\times\\mathbf v\\) 垂直于它们所在的平面，三角形面积为\n\n\\[\\operatorname{Area}(ABC) =\\frac12\\|\\mathbf u\\times\\mathbf v\\|.\\]\n\n单位法向量为\n\n\\[\\mathbf n = \\frac{\\mathbf u\\times\\mathbf v} {\\|\\mathbf u\\times\\mathbf v\\|}.\\]\n\n改变点的顺序会反转法向量的方向，但不改变面积。若这些点共线，则分母为零，此构造便不适用。(openstax.org)"
    },
    {
      "heading": "定向与变换性质",
      "text": "叉积既需要欧几里得内积，也需要选定一种定向。通常的坐标公式以右手标准正交基为前提；反转所选定向会使叉积的符号反转。(cs.cmu.edu)\n\n对于正交变换 \\(Q\\)，叉积的变换规律为\n\n\\[(Q\\mathbf a)\\times(Q\\mathbf b) = \\det(Q)\\,Q(\\mathbf a\\times\\mathbf b).\\]\n\n因此，叉积在旋转下像普通向量一样变换，因为旋转满足 \\(\\det(Q)=1\\)；而在反转定向的变换下，叉积会额外多出一个负号。当输入是普通极向量时，它们的叉积因此称为轴向量或赝向量。特别地，空间反演会同时改变两个输入向量的符号，却不改变它们的叉积：\n\n\\[(-\\mathbf a)\\times(-\\mathbf b)=\\mathbf a\\times\\mathbf b.\\]\n\n这种区别涉及变换性质，而不是结果是否属于某个向量空间。(sites.science.oregonstate.edu)"
    },
    {
      "heading": "在力学中的应用",
      "text": "在经典力学中，叉积用来表示旋转量的方向和大小。相对于某一选定原点，力 \\(\\mathbf F\\) 产生的转矩为\n\n\\[\\boldsymbol\\tau=\\mathbf r\\times\\mathbf F,\\]\n\n其中 \\(\\mathbf r\\) 是从该原点指向力作用点的向量。粒子相对于同一原点的角动量为\n\n\\[\\mathbf L=\\mathbf r\\times\\mathbf p,\\]\n\n其中 \\(\\mathbf p\\) 是粒子的线动量。二者都取决于参考点。它们的轴向方向表示旋转效应的定向，而不是平动的方向。(feynmanlectures.caltech.edu)\n\n对于以角速度 \\(\\boldsymbol\\omega\\) 旋转的刚体，相对于其固定转轴上某一点的速度为\n\n\\[\\mathbf v=\\boldsymbol\\omega\\times\\mathbf r.\\]\n\n叉积模长中的正弦因子会自动选取到转轴的垂直距离。(feynmanlectures.caltech.edu)"
    },
    {
      "heading": "高维推广",
      "text": "外积在任意维数中都提供了一种相关运算。对于向量 \\(\\mathbf a,\\mathbf b\\)，楔积 \\(\\mathbf a\\wedge\\mathbf b\\) 是表示有向面积的双向量，而通常并不是另一个向量。在定向三维欧几里得空间中，霍奇星算子将双向量与向量对应起来：\n\n\\[\\mathbf a\\times\\mathbf b = \\star(\\mathbf a\\wedge\\mathbf b).\\]\n\n然而，在 \\(n\\) 维空间中，霍奇星算子会将双向量映射为 \\((n-2)\\) 向量。只有当 \\(n=3\\) 时，这种构造才会得到向量。(cs.cmu.edu)\n\n不过，七维空间中还存在另一种二元叉积，它是通过将 \\(\\mathbb R^7\\) 与虚八元数对应起来构造的：\n\n\\[\\mathbf a\\times\\mathbf b = \\frac12(\\mathbf a\\mathbf b-\\mathbf b\\mathbf a).\\]\n\n这种叉积是双线性的、反交换的，并保留了垂直性和面积模长性质。它的对称结构不同于三维情形，也不满足所有相同的嵌套积恒等式。同样，将 \\(\\mathbb R^3\\) 与虚四元数对应起来，可以通过同一个半交换子公式得到通常的叉积。(math.ucr.edu)"
    },
    {
      "heading": "历史发展",
      "text": "叉积的代数背景源自十九世纪的四元数方法。四元数方法在同一个乘法中结合了标量部分和向量部分。现代向量记法则将点积和叉积分离为两种不同运算。乔赛亚·威拉德·吉布斯和奥利弗·亥维赛德在这一发展及其在数理物理中的应用方面发挥了重要作用。吉布斯的向量分析小册子约于 1881 至 1884 年间印行；亥维赛德于 1888 年 6 月收到一册，并在上面作了大量批注。(math.ucr.edu)"
    }
  ],
  "links": [
    "euclidean-space",
    "inner-product",
    "norm-mathematics",
    "orthonormal-basis",
    "determinant",
    "orthogonal-matrix",
    "classical-mechanics",
    "force",
    "torque",
    "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/"
}