二维计算几何基础

图形的记录

点

在平面直角坐标系下，点用坐标表示，比如点 (5,2) ，点 (-1,0) 什么的。

我们记录其横纵坐标值即可。用 pair 或开结构体记录均可。

在极坐标系下，用极坐标表示即可。记录其极径与极角。

向量

由于向量的坐标表示与点相同，所以只需要像点一样存向量即可（当然点不是向量）。

在极坐标系下，与点同理。

线

直线与射线

一般在解数学题时，我们用解析式表示一条直线。有一般式 $Ax+By+C=0$，还有斜截式 $y=kx+b$ ，还有截距式 $\frac{x}{a}+\frac{y}{b}=1$ ……用哪种？

这些式子最后都逃不过最后的结果——代入解方程求值。

解方程什么的最讨厌了，有什么好一点的方法吗？

考虑我们只想知道这条直线在哪，它的倾斜程度怎么样。于是用直线上的一个点先大致确定位置，用一个向量表示它的倾斜程度，好了，这条直线确定了。

因此我们记录的是：直线上一点和直线的方向向量。

线段

线段很好记录：只需要记录左右端点即可。

在极坐标系下，记录线是比较麻烦的，因此大多数直线问题都在平面直角坐标系下解决。

多边形

开数组按一定顺序记录多边形的每个顶点即可。

特殊地，如果矩形的各边均与某坐标轴平行的话，我们只记录左下角和右上角的顶点即可。

曲线

一些特殊曲线，如函数图像等一般记录其解析式。对于圆，直接记录其圆心和半径即可。

基本公式

正弦定理

在三角形$△$ABC中，若角A，B，C所对应边分别为a，b，c，则有：
$$\frac{a}{sinA}=\frac{b}{sinB}=\frac{c}{sinC}=2R$$
其中，R为$△$ABC的外接圆半径。

余弦定理

在三角形$△$ABC中，若角A，B，C所对应边分别为a，b，c，则有：
$$a^2=b^2+c^2-2bccosA$$$$b^2=a^2+c^2-2accosB$$$$c^2=a^2+b^2-2abcosC$$
上述公式的证明略。均为人教版高中数学 A 版必修五内容。

基本操作

判断一个点在直线的哪边

我们有直线上的一点 P 的直线的方向向量 v ，想知道某个点 Q 在直线的哪边

我们利用向量积的性质，算出$\overrightarrow{PQ}\times v$，如果向量积为负，则 Q 在直线上方，如果向量积为 0，则 Q 在直线上，如果向量积为正，则 Q 在直线下方。

可以画一下图，用右手定则感受一下。

快速排斥实验与跨立实验

我们现在想判断两条线段是否相交。

首先特判一些特殊情况。如果两线段平行，自然不能相交。这种情况通过判断线段所在直线的斜率是否相等即可。

当然，如果两线段重合或部分重合，只需要判断是否有三点共线的情况即可。

如果两线段的交点为其中一条线段的端点，仍然判断是否有三点共线的情况即可。

还有些显然不相交的情况，我们口头上称之为「两条线段离着太远了」。可什么是「离着远」，怎么判断它呢？

规定「一条线段的区域」为以这条线段为对角线的，各边均与某一坐标轴平行的矩形所占的区域，那么可以发现，如果两条线段没有公共区域，则这两条线段一定不相交。

比如有以下两条线段：

它们占用的区域是这样的：

于是可以快速地判断出来这两条线段不相交。

这就是 快速排斥实验。上述情况称作 未通过快速排斥实验 。

未通过快速排斥实验是两线段无交点的 充分不必要条件 ，我们还需要进一步判断。

因为两线段 a, b相交， b 线段的两个端点一定分布在 a 线段所在直线两端；同理，a 线段的两个端点一定分布在 b 线段所在直线两端。我们可以直接判断一条线段的两个端点相对于另一线段所在直线的位置关系，如果不同，则两线段相交，反之则不相交。我们可以利用 3.1 中的知识帮助我们判断直线与点的位置关系。

这就是 跨立实验 ，如果对于两线段 a ，b 线段的两个端点分布在 a 线段所在直线的两侧， 且 a 线段的两个端点分布在 b 线段所在直线的两侧，我们就说 a, b 两线段 通过了跨立实验 ，即两线段相交。

注意到当两条线段共线但不相交时也可以通过跨立实验，因此想要准确判断还需要与快速排斥实验结合。

判断一点是否在任意多边形内部

光线投射算法

我们先特判一些特殊情况，比如「这个点离多边形太远了」。考虑一个能够完全覆盖该多边形的最小矩形，如果这个点不在这个矩形范围内，那么这个点一定不在多边形内。这样的矩形很好求，只需要知道多边形横坐标与纵坐标的最小值和最大值，坐标两两组合成四个点，就是这个矩形的四个顶点了。

还有点在多边形的某一边或某顶点上，这种情况十分容易判断。

我们考虑以该点为端点引出一条射线，如果这条射线与多边形有奇数个交点，则该点在多边形内部，否则该点在多边形外部，我们简记为 奇内偶外 。这个算法同样被称为奇偶规则。

这条射线每次与多边形的一条边相交，就切换一次与多边形的内外关系，所以统计交点数的奇偶即可。

这样的射线怎么取？可以随机取这条射线所在直线的斜率，建议为无理数以避免出现射线与多边形某边重合的情况。

使用的是记录多边形的数组中最后一个点作为射线上一点，这样统计时，如果出现射线过多边形某边或某顶点时，可以规定射线经过的点同在射线一侧，进而做跨立实验即可。

回转数算法

回转数是数学上的概念，是平面内闭合曲线逆时针绕过该点的总次数。很容易发现，当回转数等于 0 的时候，点在曲线外部。这个算法同样被称为非零规则

如何计算呢？我们把该点与多边形的所有顶点连接起来，计算相邻两边夹角的和。注意这里的夹角是 有方向的 。如果夹角和为 0 ，则这个点在多边形外，否则在多边形内。

求两条直线的交点

首先，我们需要确定两条直线相交，只需判断一下两条直线的方向向量是否平行即可。如果方向向量平行，则两条直线平行，交点个数为 0 。进一步地，若两条直线平行且过同一点，则两直线重合。

那么，问题简化为我们有直线 AB,CD 交于一点，想求出交点 E 。

如果两直线相交，则交点只有一个，我们记录了直线上的一个点和直线的方向向量，所以我们只需要知道这个点与交点的距离 L ，再将这个点沿方向向量平移 L 个单位长度即可。

考虑构造三角形，利用正弦定理求解 L ，可以利用向量积构造出正弦定理。

由上图可知，|$a\ast b$| = |a||b| $sin\beta$，|$u\ast b$| = |u||b|$sin\theta$。

作商得：
$$T=\frac{|u\ast b|}{|a\ast b|}=\frac{|u|sin\theta }{|a|sin\beta }$$

可以看出，$|\frac{|u|sin\theta }{sin\beta }|=l$。若绝对值内部式子取值为正，代表沿 a 方向平移，反之则为反方向。

同时，我们将 $T$ 直接乘上 a，就自动出现了直线的单位向量，不需要进行其他消去操作了。

于是，只需要将点 $P$ 加上 $Ta$ 即可得出交点。

求任意多边形的周长

直接计算即可，简洁即美德。

求任意多边形的面积

考虑向量积的模的几何意义，我们可以利用向量积完成。

将多边形上的点逆时针标记为 $p1,p2,...,pn$，再任选一个辅助点 $O$，记向量 $v_i=p_i-O$，那么这个多边形面积 $S$ 可以表示为：
$$S=\frac{1}{2}|\sum _{i=1}^n{v}_i\ast v_{imodn+1}$$

求直线与圆的交点

首先判断直线与圆的位置关系。如果直线与圆相离则无交点，若相切则可以利用切线求出切点与半径所在直线，之后转化为求两直线交点。

若有两交点，则可以利用勾股定理求出两交点的中点，然后沿直线方向加上半弦长即可。

求两圆的交点

首先我们判断一下两个圆的位置关系，如果外离或内含则无交点，如果相切，可以算出两圆心连线的方向向量，然后利用两圆半径计算出平移距离，最后将圆心沿这个方向向量进行平移即可。

如果两圆相交，则必有两个交点，并且关于两圆心连线对称。因此下面只说明一个交点的求法，另一个交点可以用类似方法求出。

我们先将一圆圆心与交点相连，求出两圆心连线与该连线所成角。这样，将两圆心连线的方向向量旋转这个角度，就是圆心与交点相连形成的半径的方向向量了。

最后还是老套路——沿方向向量方向将圆心平移半径长度。