探索空间几何的核心运算 · 从物理应用到线性代数基石
在三维向量的运算体系中，除了我们熟知的点乘（Dot Product）外，叉乘（Cross Product）是另一个至关重要的运算工具。如果说点乘衡量的是两个向量在方向上的“重合度”，那么叉乘衡量的则是它们所张成的“面积”以及由此产生的“旋转力矩”。
设 A 和 B 是两个三维向量，它们的叉乘记作 C = A × B。这个运算结果具有两个关键属性：
值得注意的是，叉乘不满足交换律，即 A × B ≠ B × A。相反，它满足反交换律：A × B = -(B × A)。这一特性在后续的物理力学分析中具有决定性作用。
如何从抽象的定义转化为具体的代数计算？这是所有学习者必须跨越的门槛。我们将通过行列式展开法和基向量分解法两种路径，为您揭示三维向量叉乘公式的诞生过程。
假设标准正交基为 i, j, k，它们分别指向 x, y, z 轴。根据叉乘的性质：
设 A = Ax i + Ay j + Az k，B = Bx i + By j + Bz k。将两者相乘并展开：
A × B = (Ax i + Ay j + Az k) × (Bx i + By j + Bz k)
= Ax i × (Bx i + By j + Bz k)
利用分配律展开后，剔除零项，保留非零项：
= AxBy(i×j) + AxBz(i×k)
代入基向量关系（如 i×j=k, i×k=-j 等）：
= AxBy k - AxBz j
最后合并同类项（按 i, j, k 分组）：
= (AyBz - AzBy)i + (AzBx - AxBz)j + (AxBy - AyBx)k
这便是三维向量叉乘公式的最终代数表达形式。
为了便于记忆和快速计算，数学家引入了 3x3 行列式的概念。虽然这并非严格的行列式运算（因为第一行是向量而非数字），但它能完美对应上述推导结果。
| 步骤 | 操作说明 | 示例结果 |
|---|---|---|
| 第一步 | 写出单位向量行：i, j, k | | i j k | | Ax Ay Az | | Bx By Bz | |
| 第二步 | 写下向量 A 的分量 | |
| 第三步 | 写下向量 B 的分量 |
展开该行列式（按第一行展开）：
|Ay Az; By Bz| → AyBz - AzBy|Ax Az; Bx Bz| → AxBz - AzBx。注意：此处需加负号，故结果为 -(AxBz - AzBx) = AzBx - AxBz|Ax Ay; Bx By| → AxBy - AyBx最终结果：(AyBz - AzBy, AzBx - AxBz, AxBy - AyBx)。
公式只是表象，理解其背后的几何意义才是掌握三维向量叉乘的关键。让我们通过几个维度来剖析。
叉乘的模长 |A × B| 直接等于由向量 A 和 B 构成的平行四边形的面积。如果我们需要计算三角形 ABC 的面积，只需计算 AB × AC 的模长的一半即可。这在计算机图形学（CG）中用于计算光照模型和曲面法线至关重要。
若 A × B = 0（零向量），则意味着 A 与 B 平行（共线）。这是因为 sinθ=0。反之，若 A 与 B 垂直，则 |A × B| 达到最大值 |A||B|。这一性质常用于判断空间直线的相对位置。
方向是如何确定的？伸出你的右手，让四指指向 A 的方向，然后弯曲四指指向 B 的方向（转角小于 180°），此时大拇指所指的方向就是 A × B 的方向。这个方向构成了右手坐标系。
在物理学领域，三维向量叉乘几乎是描述旋转和场论现象的标准语言。没有它，经典力学和电磁学将无法成立。
当一个力 F 作用在距离支点 r 的位置时，产生的转动效果（力矩 τ）定义为：τ = r × F。这里不仅涉及力的大小，更取决于力的作用点和方向。如果力沿着 r 方向作用，叉乘为零，物体不会转动。
带电粒子在磁场中运动受到的力 F = q(v × B)。速度 v 与磁感应强度 B 的叉乘决定了受力方向。由于叉乘结果垂直于 v 和 B，所以洛伦兹力永远不做功，只改变粒子的运动方向，使其做圆周或螺旋运动。
质点的角动量 L = r × p（p 为动量）。角动量守恒定律是宇宙中最基本的守恒律之一，解释了从陀螺仪稳定到星系形成的广泛现象。
在学习过程中，许多同学容易陷入以下思维陷阱，导致计算错误或理解偏差。
真相：叉乘不满足交换律，而是反交换律。A × B = -(B × A)。这意味着如果你交换了向量的顺序，结果向量的方向会完全相反（翻转 180°），但模长不变。在物理公式（如力矩、角动量）中，顺序错误会导致整个物理图像崩塌。
真相：叉乘不满足结合律。左边的结果向量垂直于 A×B 和 C，右边的结果向量垂直于 B 和 B×C。通常情况下，这两个向量甚至不在同一个平面上，绝不相等。正确的恒等式是 拉格朗日公式：
(A × B) × C = (A·C)B - (B·C)A。
真相：这是消去律失效的典型例子。如果 A × B = A × C，只能推出 A × (B - C) = 0。这说明 (B - C) 与 A 平行，即 B - C = kA。所以 B = C + kA，B 和 C 不一定相等，只要它们在垂直于 A 的方向上投影相同即可。
严格来说，标准的叉乘定义仅存在于三维（以及七维）空间中。但在二维平面中，我们可以将向量视为 z=0 的三维向量，此时叉乘的结果是一个只有 z 分量的向量（即垂直于平面的向量）。有时人们会将这个 z 分量的值称为二维叉乘的“伪标量”，它代表了两向量构成的平行四边形面积的有向值。
这源于行列式展开的代数规则。在计算行列式时，元素 a_ij 的代数余子式符号为 (-1)^(i+j)。对于 j 分量（即第一行第二列的元素），i=1, j=2，所以符号因子是 (-1)^3 = -1。因此，在展开式中，j 分量的系数必须加上负号。
有一个非常有效的验证方法：垂直性检验。计算出的结果向量 C = A × B，应当满足 C · A = 0 且 C · B = 0。你可以用点乘公式简单验算一下，如果结果不为 0，说明计算有误。