叉积
一、叉积是什么
叉积(cross product) 是三维空间中两个向量的另一种乘法,结果仍是一个向量(区别于点积的标量):
v×w
几何意义:
- 方向:垂直于 v 和 w 所在的平面,由右手定则决定
- 长度:等于 v 和 w 张成的平行四边形的面积
∥v×w∥=∥v∥∥w∥sinθ
z
↑
│ ╱ v×w(垂直向上)
│ ↑
│ ╱ │
│ ╱ │
│╱θ │
┗━━━━━━━━━━→ y
x(向里/外)
v、w 张成的平行四边形
二、右手定则
用右手四指从 v 转向 w(转过较小角度),大拇指所指方向 = v×w 的方向。
右手四指:v → w(沿较小角度)
大拇指:指向 v×w
- ^×^=k^(x 轴 × y 轴 = z 轴)
- ^×k^=^
- k^×^=^
- 叉积反交换:v×w=−(w×v)
三、叉积的计算公式
三维叉积可以用”伪行列式”记忆:
v×w=^v1w1^v2w2k^v3w3
展开(按第一行):
v×w=v2w3−v3w2v3w1−v1w3v1w2−v2w1
例:v = (1, 0, 0),w = (0, 1, 0)
v×w = (0×0 − 0×1, 0×0 − 1×0, 1×1 − 0×0) = (0, 0, 1) = k ✓
验证长度公式:∥v∥=1,∥w∥=1,θ=90°,∥v×w∥=1×1×sin90°=1 ✓(单位正方形的面积)
四、二维叉积:一个有符号的数
在二维平面上,把两个向量看作 z 分量为 0 的三维向量,叉积只剩下 z 分量:
v1w2−v2w1
这个数(有符号)恰好等于这两个向量张成的平行四边形的有向面积!
例:v = (2, 1),w = (1, 3)
叉积 = 2×3 − 1×1 = 5(正,v 到 w 是逆时针)
与行列式的联系
二维叉积 = 以两向量为列的矩阵的行列式:
v1w2−v2w1=det(v1v2w1w2)
几何直觉:这正是行列式”面积缩放”意义在两向量上的体现。
二维叉积的有用判断:
| 符号 | 含义 |
|---|
| v1w2−v2w1>0 | v 到 w 是逆时针(左转) |
| <0 | v 到 w 是顺时针(右转) |
| =0 | 两向量共线(平行) |
这在几何算法里用来判断”点在线的哪一侧”。
五、叉积的应用
| 领域 | 应用 |
|---|
| 图形学 | 求平面法向量(两点叉积 = 平面法线) |
| 物理 | 力矩 τ=r×F;角动量 L=r×p |
| 几何算法 | 判断点在线段哪侧、多边形面积、碰撞检测 |
| 计算机图形学 | 光照计算、相机朝向计算 |
图形学例子:已知三角形三个顶点,取两条边的叉积即得三角形所在平面的法向量——法向量是光照计算的基础。
六、点积 vs 叉积
| 对比 | 点积 v·w | 叉积 v×w |
|---|
| 结果 | 标量(数) | 向量 |
| 依赖夹角 | cosθ(同向最大) | sinθ(垂直最大) |
| 交换性 | 对称 | 反交换 |
| 几何 | 投影长度 | 张成面积 |
| 垂直时 | 点积 = 0 | 叉积模最大 |
小结
- 叉积结果是与两向量都垂直的向量,长度 = 张成平行四边形面积
- 右手定则决定方向;^×^=k^
- 公式:v×w=(v2w3−v3w2, v3w1−v1w3, v1w2−v2w1)
- 二维叉积 v1w2−v2w1 = 有向面积 = 行列式
- 叉积用于法向量、力矩、几何判定等
下一章进入 特征值与特征向量,探索线性代数的深层结构。