叉积

在数学和向量代数领域，外积（external product）又称叉积（cross product）、叉乘、向量积（vector product），是对三维空间中的两个向量的二元运算，使用符号formula_1。与点积不同，它的运算结果是向量。对于线性无关的两个向量formula_2和formula_3，它们的外积写作formula_4，是formula_2和formula_3所在平面的法线向量，与formula_2和formula_3都垂直。外积被广泛运用于数学、物理、工程学、计算机科学领域。
如果两个向量方向相同或相反（即它们没有线性无关的分量），亦或任意一个的长度为零，那么它们的外积为零。推广开来，外积的模长和以这两个向量为边的平行四边形的面积相等；如果两个向量成直角，它们外积的模长即为两者长度的乘积。
外积和点积一样依赖于欧几里德空间的度量，但与点积之不同的是，外积还依赖于定向或右手定则。
叉积的名称源自表示叉积运算的叉乘号（formula_9），读作codice_1，向量积的叫法则是在强调其运算结果为向量而非标量。向量的另一种乘法是点积（formula_10），读作codice_2，其结果为标量，称为点积或数量积或标量积。
定义.
两个向量formula_2和formula_3的外积仅在三维空间中有定义，写作formula_4。在物理学中，外积有时也被写成formula_14，但在数学中formula_14是外代数中的外积。
外积formula_4是与formula_2和formula_3都垂直的向量formula_19。其方向由右手定则决定，范数等于以两个向量为边的平行四边形的面积。
外积可以定义为：
其中formula_21表示formula_2和formula_3在它们所定义的平面上的夹角（formula_24）。formula_25和formula_26是向量formula_2和formula_3的模长，而formula_29则是一个与formula_2、formula_3所构成的平面垂直的单位向量，方向由右手定则决定。根据上述公式，当formula_2与formula_3平行（即formula_21为0°或180°）时，它们的外积为零向量formula_35。
按照惯例，向量formula_29的方向由右手定则决定：将右手食指指向formula_2的方向、中指指向formula_3的方向，则此时拇指的方向即为formula_29的方向。使用这一定则意味着外积满足反交换律，formula_40：将右手食指指向formula_3、中指指向formula_2，那么拇指就必定指向相反方向，即翻转了外积的符号。
由此可以看出，使用外积需要考虑坐标系的利手性（Handedness），如果使用的是左手坐标系，向量formula_29的方向需要使用左手定则决定，与右手坐标系中的方向相反。
这样就会带来一个问题：参照系的变换不应该影响formula_29的方向（例如从右手坐标系到左手坐标系的镜像变换）。因此，两个向量的外积并不是（真）向量，而是赝向量。
计算.
坐标表示.
右手坐标系中，基向量formula_45、formula_46、formula_47满足以下等式：
根据反交换律可以得出：
根据外积的定义可以得出：
根据以上等式，结合外积的分配律和线性关系，就可以确定任意向量的外积。
向量formula_51和formula_52可以定义为平行于基向量的三个正交元素之和：
两者的外积formula_54可以根据分配律展开：
即把formula_54分解为九个仅涉及formula_45、formula_46、formula_47的简单外积之和。九个外积各自所涉及的向量，要么相互平行、要么相互正交。将最前面所述的几个等式带入其中，然后合并同类项，可以得到：
即结果向量formula_61的三个标量元素为：
也可以记作列向量的形式：
矩阵表示.
外积可以表达为这样的行列式：
这个行列式可以使用萨吕法则或拉普拉斯展开计算。使用萨吕法则可以展开为：
使用拉普拉斯展开可以沿第一行展开为：
都可以直接得到结果向量。
性质.
代数性质.
对于任意三个向量formula_2、formula_3、formula_19，
一般来说，向量外积不遵守约简律，即formula_79不表示formula_80。此外，formula_81不表示formula_82或formula_83。
但对于两个非零向量formula_2和formula_3，
几何意义.
如果以向量formula_2和formula_3为边构成一个平行四边形，那么这两个向量外积的范数与这个平行四边形的正面积相等（如图1）：
同时，如果以向量formula_2、formula_3、formula_19为棱构成一个平行六面体，那么这个平行六面体的体积formula_95也可以通过外积和点积的组合得到，这种积称作标量三重积（如图2）：
因为标量三重积可能为负，平行六面体的体积需要取其绝对值：
因为外积的模长与其参数夹角的正弦有关，可以认为外积是「垂直度」的度量，正如点积是「平行度」的度量一样。对于任意两个单位向量，外积为1意味着它们互相垂直，外积为0意味着它们互相平行。点积则相反：点积为0意味着它们互相垂直。
单位向量还能带来两个特性：两个单位向量的点积是它们夹角的余弦（可正可负）；它们外积的模长则为夹角的正弦（始终为正）。
向量微分.
对于实数formula_98和两个向量值函数formula_99、formula_100，乘积法则成立：
三维坐标.
给定直角坐标系的单位向量formula_45，formula_46，formula_47满足下列等式：
通过这些规则，两个向量的外积的坐标可以方便地计算出来，不需要考虑任何角度：设
则
外积也可以用四元数来表示。注意到上述formula_45、formula_46、formula_47之间的外积满足四元数的乘法。一般而言，若将向量["a"1, "a"2, "a"3]表示成四元数"a"1"i" + "a"2"j" + "a"3"k"，两个向量的外积可以这样计算：计算两个四元数的乘积得到一个四元数，并将这个四元数的实部去掉，即为结果。更多关于四元数乘法，向量运算及其几何意义请参见四元数与空间旋转。
高维情形.
七维向量的外积可以通过八元数得到，与上述的四元数方法相同。
七维外积具有与三维外积相似的性质：
应用.
另外，在物理学力学、电磁学、光学和计算机图形学等理工学科中，外积应用十分广泛。例如力矩、角动量、洛伦兹力等矢量都可以由向量的外积求解。在进行这些物理量的计算时，往往可以借助右手定则辅助判断方向。
历史.
1773年，约瑟夫·拉格朗日引入了点积和叉积的概念来研究三维空间中的四面体。1843年，威廉·哈密顿引入了四元数乘法，同时区分了“向（矢）量”和“标量”的概念。给定两个四元数\cdot \mathbf{v},\mathbf{u}\times\mathbf{v}</math>的形式。詹姆斯·克拉克·麦克斯韦在四元数的基础建立了著名的麦克斯韦方程组。四元数因此（同时也因为其他方面的）应用，在很长一段时间内都是物理学教育的必备内容。
在1878年威廉·金顿·克利福德在发表的《》中将两个向量的叉积的范数定义为以这两个向量为边的平行四边形的面积，且在在方向上垂直于它们所确定的平面。
四元数方法通常需要提取结果中的标量和矢量部分的信息，因此奥利弗·亥维赛和乔赛亚·威拉德·吉布斯都认为其过于冗长。于是在四元数乘法被引入约四十年后，他们在激烈的反对声中引入了点积和叉积以作为替代方案。新方法在效率上的便捷最终得到了一致认可，使得亥维赛可以将麦克斯韦方程组由最初的20个减为今天常见的4个。
在很大程度上独立于这种发展，而且当时基本上不受欢迎，赫尔曼·格拉斯曼发明了一种与二维和三维空间无关几何代数，外积在其中起着中心作用。在1853年，与格拉斯曼同时代的人奥古斯丁·路易·柯西发表了一篇关于代数键的文章。代数键可用于求解方程，且和叉积有着相同的乘法特性。克利福德将哈密顿和格拉斯曼的代数结合起来，创建了克利福德代数。在三维矢量的情况下，由两个矢量产生的双向量二重化为一个矢量，从而产生叉积。
交叉符号和“叉积”这个名字是从乔赛亚·威拉德·吉布斯开始的，它们最初出现在1881年给他的学生的私人出版笔记中，叫做《向量分析的元素》。吉布斯的符号以及“叉乘”这个名字后来通过他以前的学生编写的教科书《向量分析》()获得了广泛的读者。威尔逊从吉布斯的课件中重新组织了材料，以及Heaviside，Föpps和Hamilton出版的材料。他把向量分析分为下列三个部分：
定义了两个主要的向量乘法，称为：
还研究了几种三重积和三重以上向量的乘积。还包括上述的三重积扩展。