线段的叉乘

叉乘的定义和几何含义

定义 ：定义点$a(x_1,y_1),b(x_2,y_2)$的叉乘为
$$\left|\begin{array}{cc}{x}_1& y_1\\ x_2& y_2\end{array}\right|=x_1{y}_2-x_2{y}_1$$
假定$p_0（0,0）$为原点，该值得绝对值表示$\overrightarrow{p_{0}a},\overrightarrow{p_{0}b}$为邻边的平行四边形的面积。
如果该值为正，那么代表$\vec{p_0b}处于\vec{p_0a}的逆时针方向，为零则共线，为负则处于顺时针方向。

一个非常重要的事：一般在几何中应当尽量避免使用除法和三角函数，因为这些操作往往会损失精度。

叉乘的几个相关操作

1. 给定三个点的坐标$p_1,p_2,p_3$,判断当沿着$p_1,p_2,p_3$的顺序行走，在$p_2$是是否需要左转亦或是右转。根据定义我们显然有如下伪代码。我们相当于将$p_1$点看做原点。这份代码实际上能够让我们判断一个顶点位于一条直线的左侧或是右侧。

Direction(p1,p2p3):
    let x =  cross(p2-p1,p3-p1)
    if x>0 :
    	turn left
    else if x < 0 :
    	turn right
    else if x==0:
    	move along

2. 给定两条分别有端点指定的线段$p_1{p}_2,p_3{p}_4$，判断这两条直线是否相交。事实上线段只存在以下四种情况。橡胶的情况事实上只有两种

边界情况：一个顶点位于另一条线段上
一般情况：对于任意线段的两个端点，他们分别位于另一条线段的两端

Segment_Intersect(p1,p2,p3,p4):
	d1 = Direction(p3,p4,p1)
	d2 = Direction(p3,p4,p2)
	d3 = Direction(p1,p2,p3)
	d4 = Direction(p1,p2,p4)
	if d1*d2 < 0 and d3*d4 < 0 :
		return true   //解决一般情况
	else if d1*d2*d3*d4 == 0:
		先判断是哪一个点
		其次，通过限定横纵坐标范围判断是否在线段上。

• 给定n个点$p_1,p_2,p_3...p_n$，按照逆时针对n个点进行排序。即按照极角对这n个点进行排序。很显然，我们可以通过叉乘的正负来进行比较任意两个点之间的极角的大小，然后调用排序即可。

案例

1. 在$O(n^2\log n)$的时间复杂度判断，在给定n的点中，是否存在三点共线的情况。
2. 给定n个点，判断该n个点的组成的多边形是否为凸多边形。
3. 给定n个顶点构成的多边形，给定一个点$p_0$,判断$p_0$是否在此多边形内部（$p_0$不处于多边形边界）
4. 给定n个点构成的多边形，求面积。
   以上给定的都是点的坐标

参考思路

1. 使用极角解决，以每一个点为圆心，计算极角，排序（mod $\pi$）
2. 首先需要排除共线情况。然后对点按照极角排序，一个多边形是凸多边形当且仅当沿着顺序行走，只会向一个方向转弯。及对于所有相邻点的d值正负都应该一致。
3. 以该点引一条射线，如果该射线与多边形的交点为奇数，则处于内部，否则处于外部。
4. 涉及到数学知识，即所有相邻三个点的叉乘之和的绝对值（not 绝对值之和）。