计算几何（二维），定理及证明（持续更新中..）

注：定理来自这篇博客，本文注重证明

向量基本运算

加法

向量 $\vec{a}=\left(x_1,y_1\right),\vec{b}=\left(x_2,y_2\right)$ 则 $\vec{a}+\vec{b}=(x_1+x_2,y_1+y_2)$
向量在加法中可以理解为一种移动效果，所以向量加法可以理解为下图：

叉积

叉积的计算

向量 $\vec{a}=\left(x_1,y_1\right),\vec{b}=\left(x_2,y_2\right)$ 则 $\vec{a}\times \vec{b}=x_1{y}_2-x_2{y}_1$，证明如下：
首先，根据叉积的定义：$\vec{a}\times \vec{b}=\left|\vec{a}\right|\cdot |\vec{b}|\cdot \sin \left(\theta \right)$（$\left|\vec{a}\right|$表示 $\vec{a}$ 的模长，也就是长度，$\theta$ 表示从 $\vec{a}$ 旋转到 $\vec{b}$ 经过的角度，顺时针为正，逆时针为负）
定义 $arctan2(x,y)$ 表示从 $(1,0)$ 顺时针旋转至 $(x,y)$ 经过的角度（返回弧度，取值为 $0\sim 2\pi$）
则原式可以表示为 $\sqrt{x_1^2+y_1^2}\cdot \sqrt{x_2^2+y_2^2}\cdot \sin \left(arctan2\left(x_2,y_2\right)-arctan2(x_1,y_1)\right)$
根据 $\sin (a-b)=\sin (a)\cos (b)-\cos (a)\sin (b)$ 可得： $$原式=\sqrt{x_1^2+y_1^2}\cdot \sqrt{x_2^2+y_2^2}\cdot \left(\sin (arctan2(x_2,y_2))\cos (arctan2(x_1,y_1))-\cos (arctan2(x_2,y_2))\sin (arctan2(x_1,y_1))\right)$$
由于每个表示为 $(x,y)$ 的向量放到平面直角坐标系上后实际上为：

通过 $arctan2(x_2,y_2)$ 我们得到了 $\angle BAD$ 所以 $\sin (arctan2(x_2,y_2))=\sin (\angle BAD)=\frac{BD}{AB}=\frac{y}{\sqrt{x^2+y^2}},\cos (arctan2(x_2,y_2))=\cos (\angle BAD)=\frac{AD}{AB}=\sqrt{x^2+}$