计算几何初步

基本公式

正弦定理

$\frac{a}{\sin A}=\frac{b}{\sin B}=\frac{c}{\sin C}=2R$

余弦定理

$$\begin{gathered} a^2=b^2+c^2-2bc\cos A \\ {b}^2=a^2+c^2-2ac\cos B \\ {c}^2=a^2+b^2+2ab\cos C \end{gathered}$$

向量

基本概念

向量的模：有向线段$\overrightarrow{AB}$长度，记为$|\overrightarrow{AB}|$或$|\mathbf{a}|$。

向量的夹角：有向量$\mathbf{a},\mathbf{b}$，作$\overrightarrow{OA}=\mathbf{a}$，$\overrightarrow{OB}=\mathbf{b}$。$\theta$为向量$\mathbf{a}$与向量$\mathbf{b}$的夹角，记作$⟨\mathbf{a},\mathbf{b}⟩$。根据概念可得：若$\theta =0$，则两向量同向；若$\theta =\frac{\pi }{2}$，则两向量垂直，$\mathbf{a}\perp \mathbf{b}$；若$\theta =\pi$，则两向量反向。

运算

加减法

有向量$P=(x_1,y_1),Q=(x_2,y_2)$。

$P+Q=(x_1+x_2,y_1+y_2)$

$P-Q=(x_1-x_2,y_1-y_2)$

显然有，$P+Q=Q+P,P-Q=-(Q-P)$

点积

$\overrightarrow{AB}\cdot \overrightarrow{CD}=x_1{x}_2+y_1{y}_2$

$\overrightarrow{AB}\cdot \overrightarrow{CD}=|AB||CD|\cos \theta$

叉乘

$\overrightarrow{AB}\times \overrightarrow{CD}=x_1{y}_2-x_2{y}_1$

$\overrightarrow{AB}\times \overrightarrow{CD}=|AB||CD|\sin \theta$

旋转

逆时针旋转：$(x\cos \theta -y\sin \theta ,x\sin \theta -y\cos \theta )$

应用

多边形的面积：将多边形上的点逆时针标记为$p_1\dots p_n$，任选辅助点$O$，记向量$v_i=p_i-O$，得：
$$S=\frac{1}{2}|\sum _{i=1}^n{v}_i\times v_i\mathrm{m}\mathrm{o}\mathrm{d}{}_{n+1}|$$

三个距离

欧式距离

有点$A(x_1,y_1),B(x_2,y_2)$，则两点的欧氏距离为：
$$|AB|=\sqrt{(x_1-x_2{)}^2+(y_1-y_2{)}^2}$$
$n$维空间中的欧式距离公式：

$\overrightarrow{A}=(x_{1,1}\dots x_{1,n}),\overrightarrow{B}=(x_{2,1}\dots x_{2,n})$
$$|\overrightarrow{AB}|=\sqrt{\sum _{i=1}^n(x_{1,i}-x_{2,i}{)}^2}$$

曼哈顿距离

对于两点$A(x_1,y_1),B(x_2,y_2)$，其曼哈顿距离为：
$$d(A,B)=|x_1-x_2|+|y_1-y_2|$$
相关性质：

• $d(i,j)\ge 0$

• $d(i,i)=0$

• $d(i,j)=d(j,i)$

• $d(i,j)\le d(i,k)+d(k,j)$

切比雪夫距离

有点$A(x_1,y_1),B(x_2,y_2)$​，其切比雪夫距离为：
$$d(A,B)=max(|x_1-x_2|,|y_1-y_2|)$$

应用

切比雪夫距离与曼哈顿距离转换

点$(x,y)$的坐标变为$(x+y,x-y)$时，原坐标系中曼哈顿距离等于新坐标系中的切比雪夫距离。

点$(x,y)$的坐标变为$(\frac{x+y}{2},\frac{x-y}{2})$，原坐标系中的切比雪夫距离等于新坐标系中的曼哈顿距离。

判断

判断点是否在线段上

点$Q$，线段$P_1{P}_2$。

• $(Q-P_1)\times (P_2-P_1)=0$

• $Q$在以$P1,P2$为对角顶点的矩形内。

第一条满足$Q$在直线$P_1{P}_2$上，第二条满足$Q$不在线段$P_1{P}_2$的两端延长线上。

判断两线段是否相交

1. 快速排斥试验

   若以线段$P_1{P}_2$为对角线的矩形为$R$，以线段$Q_1{Q}_2$为对角线的矩形为$T$，若$R$与$T$不相交，则两线段不相交。

2. 跨立实验

   若两线段相交，则两线段必然相互跨立对方。

   若$P_1{P}_2$跨立$Q_1{Q}_2$，满足：
   $$(P_1-Q_1)\times (Q2-Q_1)\cdot (Q_2-Q_1)\times (P_2-Q_1)\ge 0$$

判断线段和直线是否相交

显然，若线段$P_1{P}_2$和直线$Q_1{Q}_2$相交，则$P_1{P}_2$跨立$Q_1{Q}_2$，式子同上。

判断点是否在多边形中

以点$L$为顶点，向左作射线，计算射线与多边形的交点。

• 对于多边形的水平边不做考虑。

• 若射线与多边形顶点相交，若该点是其边纵坐标较大的点，计数。

• 若$L$在多边形边上，直接判定$L$在多边形中。

时间复杂度：$O(n)$。