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