三角形的定向（符号）面积

三角形的定向（符号）面积

给定三点 $p_1$ 、 $p_2$ 和 $p_3$ ，请计算它们所组成的三角形的定向（符号）面积。面积的符号以下列方式确定：想象你站在平面内的 $p_1$ 点，面对 $p_2$ 。你走到 $p_2$ ，如果 $p_3$ 在你的右边（那么我们说三个向量呈 "顺时针"排列），面积的符号为负，否则为正。如果这三个点是相邻的，面积就是零。

使用这个有符号区域，我们既可以得到常规的无符号区域（作为有符号区域的绝对值），也可以确定点是按指定顺序顺时针还是逆时针排列（例如，在凸包算法中很有用）。

计算

我们可以利用如下定理：一个 $2\times 2$ 矩阵的行列式等于该矩阵的列（或行）向量所跨越的平行四边形的有符号面积。这类似于二维中交叉积的定义。通过将这个面积除以 $2$ ，我们可以得到我们需要的三角形的面积。我们将使用 $\overrightarrow{p_1{p}_2}$ 和 $\overrightarrow{p_2{p}_3}$ 作为列向量，并计算出 $2\times 2$ 的行列式。

$$2S=\left|\begin{array}{cc}{x}_2-x_1& x_3-x_2\\ y_2-y_1& y_3-y_2\end{array}\right|=(x_2-x_1)(y_3-y_2)-(x_3-x_2)(y_2-y_1)$$

---

实现

int signed_area_parallelogram(point2d p1, point2d p2, point2d p3) {
    return cross(p2 - p1, p3 - p2);
}

double triangle_area(point2d p1, point2d p2, point2d p3) {
    return abs(signed_area_parallelogram(p1, p2, p3)) / 2.0;
}

bool clockwise(point2d p1, point2d p2, point2d p3) {
    return signed_area_parallelogram(p1, p2, p3) < 0;
}

bool counter_clockwise(point2d p1, point2d p2, point2d p3) {
    return signed_area_parallelogram(p1, p2, p3) > 0;
}