向量 a×向量 b的核心定义与本质
在三维空间解析几何与线性代数中，向量 a×向量 b（读作“向量 a 叉乘向量 b"或“向量 a 外积向量 b"）是两个向量之间的一种二元运算。与数量积（点乘）不同，向量 a×向量 b的结果不是一个标量数值，而是一个新的向量。
模长定义
结果的模长（长度）定义为：
其中 为两向量夹角 ()。
方向定义
结果向量的方向必须同时垂直于向量 a 和向量 b。具体指向由右手定则确定：伸出右手，四指从 a 转向 b，大拇指指向即为结果方向。
理解向量 a×向量 b的关键在于把握其正交性。如果两个非零向量平行（ 或 ），则 ，此时向量 a×向量 b为零向量。这一性质常用于判断三点共线或三向量共面。
⚠️ 易错点警示
- 交换律不成立：向量 a×向量 b ≠ 向量 b×向量 a，而是 向量 a×向量 b = - (向量 b×向量 a)。
- 消去律失效：若 a×b = a×c，不能直接推出 b = c，因为可能存在 a 垂直于 (b-c) 的情况。
- 结合律不适用：(a×b)×c ≠ a×(b×c)。
向量 a×向量 b的坐标运算法则
在实际解题中，我们更多使用坐标形式进行计算。设 a = ，b = 。为了便于记忆和计算，通常采用行列式法或口诀法。
1. 行列式表示法
这是最标准且不易出错的计算方法，将单位向量 作为第一行：
a × b = | i j k |
| x1 y1 z1 |
| x2 y2 z2 |
按第一行展开可得：
即坐标结果为：。
2. 循环轮换口诀（记忆技巧）
为了避免符号错误，可以记住以下循环规律（x→y→z→x）：
- x 分量：取 y 和 z 的交叉积，即 （注意顺序，后减前）。
- y 分量：取 z 和 x 的交叉积，即 （注意中间项前面有负号，或者直接用正序写）。
- z 分量：取 x 和 y 的交叉积，即 。
| 分量 | 计算公式 | 对应子行列式 | 符号特征 |
|---|---|---|---|
| X 轴分量 | 正 (+) | ||
| Y 轴分量 | 负 (-) | ||
| Z 轴分量 | 正 (+) |
3. 实战示例
已知 ，，求 。
- X 分量：
- Y 分量：
- Z 分量：
故结果为 。
向量 a×向量 b的几何意义与应用
向量 a×向量 b不仅仅是一个代数运算，它在几何空间中具有极其直观的物理和几何解释。
1. 平行四边形面积
以向量 a 和 b 为邻边构成的平行四边形的面积 S，恰好等于 向量 a×向量 b 的模长。
若需要计算三角形面积，则为 。这在立体几何求截面面积时非常有用。
2. 法向量求解
在空间解析几何中，若已知平面上两个不共线的向量 a 和 b，那么 向量 a×向量 b 就是该平面的一个法向量（Normal Vector）。这对于求解平面方程 至关重要。
3. 体积计算（混合积）
对于三个向量 a, b, c，它们构成的平行六面体的体积 V 可以通过混合积计算：
这里先算 向量 a×向量 b 得到法向量，再与 c 做点乘，取绝对值即为体积。
应用场景 A：求点到平面距离
通过 向量 a×向量 b 找到法向量 ，再利用投影公式 计算距离。
应用场景 B：判断共面性
若 ，则说明 c 垂直于 a×b，即 c 在 a 和 b 构成的平面内，四点共面。
向量 a×向量 b在物理学中的核心地位
在经典力学中，向量 a×向量 b的形式无处不在。它描述了旋转、力矩等涉及垂直方向的物理量。
1. 力矩 (Torque)
当一个力 作用在物体上，相对于某一点的位矢为 时，产生的力矩 定义为：
这解释了为什么扳手越长（ 越大）越省力，以及为什么力的方向必须垂直于扳手才最有效（ 最大）。
2. 洛伦兹力 (Lorentz Force)
带电粒子在磁场中运动受到的力 与速度 和磁感应强度 有关：
这里 向量 v×向量 B 决定了力的方向始终垂直于速度和磁场构成的平面，导致粒子做螺旋运动而非直线加速。
3. 角动量 (Angular Momentum)
质点的角动量 定义为位置矢量与动量的叉乘：
角动量守恒定律是宇宙中行星轨道稳定性的基石，其数学表达完全依赖于 向量 a×向量 b 的性质。
4. 角速度与线速度
刚体转动时，线上任意一点的速度 与角速度 的关系：
历史沿革与高阶拓展
向量 a×向量 b的概念并非一蹴而就，它是数学史上从复数到四元数演进的产物。
哈密顿发现四元数
威廉·罗文·哈密顿（William Rowan Hamilton）在研究三维旋转时发明了四元数。四元数的乘法部分包含了现代向量积的雏形。他著名的感叹："Illuminated by the fact that there must be a product of two vectors which is not commutative..."（被事实照亮：两个向量的乘积必须是非交换的...）
吉布斯与亥维赛分离
约西亚·威拉德·吉布斯（Josiah Willard Gibbs）和奥利弗·亥维赛（Oliver Heaviside）将四元数分解为标量积（点乘）和向量积（叉乘），创立了现代向量分析体系，使得电磁学理论得以简洁表达。
外代数与楔积
在现代微分几何和外代数中，向量 a×向量 b被视为楔积（Wedge Product, ）的对偶。在二维空间中不存在真正的叉乘，但在高维空间中，楔积推广了“面积”的概念，而三维空间的叉乘只是楔积的一个特例（利用 Hodge 星算子映射回向量）。
扩展阅读：伪向量 (Pseudovector)
值得注意的是，向量 a×向量 b 的结果虽然在普通旋转下像向量一样变换，但在镜像反射（宇称变换）下，它的行为与普通向量相反。因此，严格来说，叉乘的结果被称为赝向量或轴矢量。例如，磁场 就是一个赝向量。
高频误区深度剖析
关于右手定则的误用
许多同学在使用右手定则时，习惯性地让四指从 b 指向 a，导致结果方向完全相反。请记住口诀：“先 a 后 b，四指弯曲，拇指指北”。
此外，左手定则通常用于判断安培力（受力方向），切勿混淆。叉乘的方向判定必须使用右手定则。
关于计算顺序与符号
在坐标计算中，最容易出错的是 Y 分量。公式是 ，而不是 。如果在行列式中直接展开，记得 Y 分量前面有个负号。
错误示范：。若算成 则是顺序反了。
关于二维向量的叉乘
在二维平面中，严格来说不存在向量积。但为了方便，常将二维向量视为 的三维向量，此时结果只有 Z 分量。这个 Z 分量实际上是一个标量，代表有向面积的大小（带符号）。
若 ，则 的模长（有向面积）为 。
网民关注的热门问题 (FAQ)
当 时，即 （两向量垂直）时，向量 a×向量 b 的模长达到最大值，等于 。
这是由叉乘的定义决定的。在三维空间中，给定两个不共线的向量，存在且仅存在一个方向（两个相反方向中的一个）同时垂直于这两个向量。叉乘正是为了构造这个唯一的法向量而定义的运算。
在 Python (NumPy) 中使用 `np.cross(a, b)`；在 MATLAB 中使用 `cross(a, b)`。这些内置函数会自动处理坐标运算，避免人工计算符号错误。
它们互为相反向量。即 。模长相等，方向相反。