计算机图形学：多边形交点及实现

一、原理推导和公式说明

1.1 两条线段求交的数学原理

设有两条线段 $AB$ 和 $CD$，它们的端点坐标分别为$A(x_a,y_a)$, $B(x_b,y_b)$ 和 $C(x_c,y_c)$, $D(x_d,y_d)$。要找出这两条线段是否相交，我们可以使用参数方程和行列式的概念。

首先，

• 线段 $AB$ 的方程：
  $$\{\begin{array}{l}x=x_a+t(x_b-x_a)\\ y=y_a+t(y_b-y_a)\end{array}$$
  其中，$t$在 $[0,1]$ 范围内变化，表示从点 $A$ 到点 $B$ 的相对位置。

• 线段 $CD$ 的方程：
  $$\{\begin{array}{l}x=x_c+u(x_d-x_c)\\ y=y_c+u(y_d-y_c)\end{array}$$
  其中，$u$ 在 $[0,1]$ 范围内变化，表示从点 $C$ 到点 $D$ 的相对位置。

要使两个方程组表示同一个点，则交点的参数应满足：

{ x a + t ( x b − x a ) = x c + u ( x d − x c ) y a + t ( y b −