本文共 4004 字，大约阅读时间需要 13 分钟。
向量叉积是向量运算中一个非常重要的概念，它不仅在数学理论中占有重要地位，还在实际应用中发挥着广泛的作用。本文将从几何意义、计算公式、实际应用等方面深入探讨向量叉积的相关知识。
向量叉积的几何意义是两个向量所构成的平行四边形的面积。根据正弦定理，向量叉积的结果可以表示为两个向量的模长乘以夹角的正弦值。具体公式为：
[\vec{a} \times \vec{b} = |\vec{a}| \cdot |\vec{b}| \cdot \sin\theta]
在二维坐标系中，向量叉积的计算公式可以简化为：
[(x_1, y_1) \times (x_2, y_2) = x_1 y_2 - x_2 y_1]
这个公式揭示了向量叉积的面积贡献，能够帮助我们判断向量之间的相对位置关系。
线段交点计算
向量叉积可以用来计算线段的交点位置。设线段ACD和BCD的面积比例为ω₁:ω₂，则交点O的坐标可以通过以下公式计算：[(x_o, y_o) = \vec{O} = \frac{\omega_2 \vec{A} + \omega_1 \vec{B}}{\omega_1 + \omega_2}]
这种方法避免了传统方法中繁琐的方程求解过程。
向量旋转
向量旋转可以通过向量叉积来实现。设向量(\vec{a} = (x, y))的倾角为θ，长度为(l = \sqrt{x^2 + y^2})，则旋转α角后的向量为：[\vec{b} = (l \cos(\theta + \alpha), l \sin(\theta + \alpha))]
通过三角函数展开，可以得到：
[\vec{b} = (x \cos\alpha - y \sin\alpha, x \sin\alpha + y \cos\alpha)]
三角剖分
三角剖分是一种通过将多边形分解为三角形来计算面积的方法。对于任意多边形，其面积可以通过叉积计算相邻顶点与原点的向量叉积之和的一半来求得：[S_{ABCDEF} = \frac{1}{2} (\vec{OA} \times \vec{OB} + \vec{OB} \times \vec{OC} + \dots)]
这种方法在计算复杂多边形面积时具有显著优势。
线段相交判断
向量叉积可以用于判断线段是否相交。设线段1的端点为A和B，线段2的端点为C和D，交点O的位置可以通过叉积计算得出。若交点O在线段内部，则线段1和线段2严格相交。旋转卡壳算法
旋转卡壳算法用于求凸多边形的直径。通过枚举每条边，找到其对应的对踵点，并利用向量叉积计算对踵点之间的距离，从而更新直径的最大值。半平面交操作
半平面交用于求多个线段的交集区域。通过对线段按极角排序，并使用双端队列维护线段，逐步插入并剪裁线段，得到最终的半平面交区域。以下是半平面交相关代码示例：
#include#include #include #include using namespace std;struct vec { double x, y; vec(double X = 0, double Y = 0) : x(X), y(Y) {} vec operator - (vec b) { return vec(x - b.x, y - b.y); } double operator* (vec b) { return x * b.y - b.x * y; }};double cross(vec a, vec b) { return a.x * b.y - b.x * a.y; }int read() { int x = 0, f = 1; char c; while ((c = getchar()) < '0' || c > '9') { if (c == '-') f = -1; } while (c >= '0' && c <= '9') { x = (x < 3 ? x < 1 ? x : x : (x < 3 ? x < 1 ? x : x : 0)) + (c - '0'); c = getchar(); } return x * f;}int n, m, k, st, en;double ans;struct vec { double x, y; vec(double X = 0, double Y = 0) : x(X), y(Y) {} };struct line { vec a, b; double k; line(vec A, vec B) : a(A), b(B) { k = atan2(b.y, b.x); } };vec get_line_intersection(const line& a, const line& b) { vec a1(a.a.x, a.a.y), a2(a.b.x, a.b.y); vec b1(b.a.x, b.a.y), b2(b.b.x, b.b.y); double ab_cross = cross(a1, a2), bc_cross = cross(b1, b2); double denominator = ab_cross + bc_cross; if (fabs(denominator) < eps) { return vec(0.5 * (a.a.x + b.a.x), 0.5 * (a.a.y + b.a.y)); } double t = (cross(a1, b1) + cross(a1, b2)) / denominator; double u = (cross(b1, a1) + cross(b1, a2)) / denominator; return vec(a.a.x + t * (a.b.x - a.a.x), a.a.y + t * (a.b.y - a.a.y));}void half_plane_intersection() { st = 1; en = 1; for (int i = 2; i <= n; ++i) { while (en <= st && cross(s[en - 1], p[i].a) < eps) ++en; while (en <= st && cross(s[st], p[i].a) >= eps) ++st; if (en > st) continue; line current_line = line(p[i].a, p[i].b); if (cross(current_line.a, current_line.b) == 0) continue; if (cross(s[en - 1], current_line.a) < eps || cross(s[st], current_line.a) < eps) continue; if (cross(s[en], current_line.a) < eps || cross(s[st], current_line.a) < eps) continue; if (cross(s[en - 1], s[st]) < eps) { if (cross(s[en], s[st]) < eps) { if (cross(current_line.a, s[en]) < eps) s[en] = current_line.a; } else { s[en] = current_line.a; } } else { if (cross(s[en], s[st]) < eps) { s[en] = current_line.a; } else { s[st] = current_line.a; } } } if (en > st) { vec p1 = s[st], p2 = s[en]; if (cross(p1, p2) < eps) { vec p3 = (p1 + p2) / 2; ans = 0.5 * (p3.x * p3.y - 0.5 * (p1.x * p2.y - p2.x * p1.y)); } else { vec p3 = p1; ans = 0.5 * (p3.x * p3.y); } }}
向量叉积在几何学中具有广泛的应用范围，其简单的计算公式却隐藏着深刻的数学意义。通过向量叉积，我们可以高效地解决线段交点、向量旋转、三角剖分、线段相交等复杂问题。通过合理运用叉积，我们能够在实际应用中大大简化计算过程，提高效率。
转载地址：http://tnozz.baihongyu.com/