计算几何初步

前置知识#

前置知识点#

1. $\pi =\arccos (-1)$

2. 余弦定理 $c^2=a^2+b^2-2\times a\times b\times \cos (t)$

浮点数的比较#

const double eps = 1e-8;
int sign(double x)  // 符号函数
{
    if (fabs(x) < eps) return 0;
    if (x < 0) return -1;
    return 1;
}
int cmp(double x, double y)  // 比较函数
{
    if (fabs(x - y) < eps) return 0;
    if (x < y) return -1;
    return 1;
}

向量#

向量的加减法和数乘运算

内积（点积）

$$A·B=|A||B|\cos (C)$$

1. 几何意义：向量A在向量B上的投影与B的长度的乘积。

2. 代码实现。

    double dot(Point a, Point b)
    {
        return a.x * b.x + a.y * b.y;
    }

外积（叉积）

$$A\times B=|A||B|\sin (C)$$

1. 几何意义：向量A与B张成的平行四边形的有向面积。B在A的逆时针方向为正。

2. 代码实现

    double cross(Point a, Point b)
    {
        return a.x * b.y - b.x * a.y;
    }

常用函数

• 取模

    double get_length(Point a)
    {
        return sqrt(dot(a, a));
    }

• 计算向量夹角

    double get_angle(Point a, Point b)
    {
        return acos(dot(a, b) / get_length(a) / get_length(b));
    }

• 计算两个向量构成的平行四边形有向面积

    double area(Point a, Point b, Point c)
    {
        return cross(b - a, c - a);
    }

• 向量A顺时针旋转C的角度：

    Point rotate(Point a, double angle)
    {
        return Point(a.x * cos(angle) + a.y * sin(angle), -a.x * sin(angle) + a.y * cos(angle));
    }

点与线#

直线定理

1. 一般式 $ax+by+c=0$
2. 点向式 $p0+vt$
3. 斜截式 $y=kx+b$

常用操作

1. 判断点在直线上 $A\times B=0$

2. 两直线相交

    // cross(v, w) == 0则两直线平行或者重合
    Point get_line_intersection(Point p, Vector v, Point q, vector w)
    {
        vector u = p - q;
        double t = cross(w, u) / cross(v, w);
        return p + v * t;
    }

3. 点到直线的距离

    double distance_to_line(Point p, Point a, Point b)
    {
        vector v1 = b - a, v2 = p - a;
        return fabs(cross(v1, v2) / get_length(v1));
    }

4. 点到线段的距离

    double distance_to_segment(Point p, Point a, Point b)
    {
        if (a == b) return get_length(p - a);
        Vector v1 = b - a, v2 = p - a, v3 = p - b;
        if (sign(dot(v1, v2)) < 0) return get_length(v2);
        if (sign(dot(v1, v3)) > 0) return get_length(v3);
        return distance_to_line(p, a, b);
    }

5. 点在直线上的投影

    Point get_line_projection(Point p, Point a, Point b)
    {
        Vector v = b - a;
        return a + v * (dot(v, p - a) / dot(v, v));
    }

6. 点是否在线段上

    bool on_segment(Point p, Point a, Point b)
    {
        return sign(cross(p - a, p - b)) == 0 && sign(dot(p - a, p - b)) <= 0;
    }

7. 判断两线段是否相交

    bool segment_intersection(Point a1, Point a2, Point b1, Point b2)
    {
        double c1 = cross(a2 - a1, b1 - a1), c2 = cross(a2 - a1, b2 - a1);
        double c3 = cross(b2 - b1, a2 - b1), c4 = cross(b2 - b1, a1 - b1);
        return sign(c1) * sign(c2) <= 0 && sign(c3) * sign(c4) <= 0;
    }

多边形#

三角形

面积

1. 叉积

2. 海伦公式

$$p=(a+b+c)÷2$$

$$S=\sqrt{p\times (p-a)\times (p-b)\times (p-c)}$$

三角形四心

1. 外心：外三边中垂线交点。到三角形三个顶点的距离相等

2. 内心：内角平分线交点，到三边距离相等

3. 垂心：三条垂线交点

4. 重心：三条中线交点（到三角形三顶点距离的平方和最小的点，三角形内到三边距离之积最大的点）

普通多边形

通常按逆时针存储所有点

1. 定义

• 多边形：由在同一平面且不再同一直线上的多条线段首尾顺次连接且不相交所组成的图形叫多边形。

• 简单多边形：简单多边形是除相邻边外其它边不相交的多边形。

• 凸多边形：过多边形的任意一边做一条直线，如果其他各个顶点都在这条直线的同侧，则把这个多边形叫做凸多边形。

  任意凸多边形外角和均为 $360°$。

  任意凸多边形内角和为 $(n-2)\times 180°$。

2. 常用函数

• 求多边形面积（不一定是凸多边形）

  我们可以从第一个顶点除法把凸多边形分成n − 2个三角形，然后把面积加起来。

    double polygon_area(Point p[], int n)
    {
        double s = 0;
        for (int i = 1; i + 1 < n; i ++ )
            s += cross(p[i] - p[0], p[i + 1] - p[i]);
        return s / 2;
    }

• 判断点是否在多边形内（不一定是凸多边形）

  a. 射线法，从该点任意做一条和所有边都不平行的射线。交点个数为偶数，则在多边形外，为奇数，则在多边形内。

  b. 转角法

• 判断点是否在凸多边形内
  只需判断点是否在所有边的左边（逆时针存储多边形）。

皮克定理

皮克定理是指一个计算点阵中顶点在格点上的多边形面积公式该公式可以表示为:

$$S=a+b÷2-1$$

其中 $a$ 表示多边形内部的点数，$b$表示多边形边界上的点数，$S$表示多边形的面积。

三维几何#

1. 三维向量表示 $(x,y,z)$。

2. 向量加减法、数乘运算，与二维相同。

3. 模长 $|A|=sqrt(x\times x+y\times y+z\times z)$。

4. 点积

   • 几何意义：$A·B=|A|\ast |B|\ast cos(C)$。
   • 代数求解：$(x1,y1,z1)·(x2,y2,z2)=(x1\times x2,y1\times y2,z1\times z2)$。

5. 叉积

   • 几何意义：$A\times B=|A|\ast |B|\ast sin(C)$，方向：右手定则。
   • 代数求解：$A\times B=(y1\times z2-z1\times y2,z1\times x2-x1\times z2,x1\times y2-x2\times y1)$。

6. 如何求平面法向量

   任取平面上两个不共线的向量 $A、B$：$A\times B$。

   几何意义：垂直于此平面的向量。

7. 判断点 $D$ 是否在平面里

   任取平面上两个不共线的向量 $A、B$：先求法向量 $C=A\times B$，然后求平面上任意一点到 $D$ 的向量 $E$ 与 $C$ 的点积，判断点积是否为$0$。

8. 求点 $D$ 到平面的距离

   任取平面上两个不共线的向量 $A、B$：先求法向量 $C=A\times B$。然后求平面上任意一点到 $D$ 的向量 $E$ 在 $C$ 上的投影长度即可。即：$E·C÷|C|$。

9. 多面体欧拉定理

   $\mathrm{顶}\mathrm{点}\mathrm{数}-\mathrm{棱}\mathrm{长}\mathrm{数}+\mathrm{表}\mathrm{面}\mathrm{数}=2$。