图形几何——三角形：判断点是否在三角形内（重心坐标法, Barycentric coordinates）

判断点是否在三角形内（重心坐标法, Barycentric coordinates）

从矢量的角度理解重心坐标的定义

对于任意三个非共线点，附近有任何一个点，都能满足以下条件
$$\begin{array}{c}\begin{array}{r}P=A+\beta \overrightarrow{AC}+\gamma \overrightarrow{AB}\end{array}\end{array}$$
其几何意义解释为，从点$A$出发，沿着$\overrightarrow{AC}$方向走一个长度$\beta |\overrightarrow{AC}|$，再沿着$\overrightarrow{AB}$方向走一个长度$\gamma |\overrightarrow{AB}|$，则能够得到任意点$P$的坐标（如果$\beta 或\gamma$为负，则表示为$\overrightarrow{AC}$或$\overrightarrow{AB}$的反方向）
如果我们将矢量操作还原为点操作，则上式还原为
$$\begin{array}{c}\begin{array}{rl}P=& A+\beta (C-A)+\gamma (B-A)\\ & =A+\beta C-\beta A+\gamma B-\gamma A\\ & =A-\beta A-\gamma A+\beta C+\gamma B\\ & =(1-\beta -\gamma )A+\beta C+\gamma B\end{array}\end{array}$$

从面积的角度理解三角形重心坐标的定义

在图形几何学中，重心坐标是一种表示一个点相对于三角形顶点的线性组合的方式。对于三角形$\Delta ABC$的点$P$，根据上面的推导结果，重心坐标`P$同样可以用矢量或者点的形式表示，写作
$$\begin{array}{c}\begin{array}{rl}P& =A+\beta \overrightarrow{AC}+\gamma \overrightarrow{AB}\\ & =\alpha A+\beta B+\gamma C\end{array}\end{array}$$
其中$\alpha =1-\beta -\gamma$。也就是说，三角形内部任意一点$P$都能由任意一个端点，向另外两个端点的矢量方向的移动（即矢量的系数不能为负）组合表示，有
$$\begin{array}{c}\begin{array}{r}\alpha +\beta +\gamma =1\end{array}\end{array}$$
即对于三角形中的任意点$P$，其重心坐标表示为各顶点的加权和，其中$\alpha +\beta +\gamma =1$，且$\alpha ,\beta ,\gamma$均为非负数，因此我们可以使用重心坐标来判断点是否在三角形内
而从三角形面积角度出发，如果$P$点在三角形的内部，那么它必定满足以下条件
$$\begin{array}{c}\begin{array}{rl}{S}_{\Delta ABP}+S_{\Delta BCP}+S_{\Delta ACP}& =S_{\Delta ABC}\\ \frac{S_{\Delta ABP}}{S_{\Delta ABC}}+\frac{S_{\Delta BCP}}{S_{\Delta ABC}}+\frac{S_{\Delta ACP}}{S_{\Delta ABC}}& =1\end{array}\end{array}$$
从这里可以看出，它们的定义是等效的，即
$$\begin{array}{c}\{\begin{array}{l}\alpha =\frac{S_{\Delta ABP}}{S_{\Delta ABC}}=1-\beta -\gamma \\ \beta =\frac{S_{\Delta BCP}}{S_{\Delta ABC}}\\ \gamma =\frac{S_{\Delta ACP}}{S_{\Delta ABC}}\end{array}\end{array}$$
所以我们只需要计算$\beta$以及$\gamma$的值。展开如下
$$\begin{array}{c}\begin{array}{r}\beta =\frac{S_{\Delta ACP}}{S_{\Delta ABC}}\\ \gamma =\frac{S_{\Delta ABP}}{S_{\Delta ABC}}\end{array}\end{array}$$
省略展开的计算步骤，后可得
$$\begin{array}{c}\{\begin{array}{l}\beta =\frac{(y_a-y_b)x_p+(x_b-x_a)y_p+x_a{y}_b-x_b{y}_a}{(y_a-y_b)x_c+(x_b-x_a)y_c+x_a{y}_b-x_b{y}_a}\\ \gamma =\frac{(y_a-y_c)x_p+(x_c-x_a)y_p+x_a{y}_c-x_c{y}_a}{(y_a-y_c)x_c+(x_c-x_a)y_b+x_a{y}_c-x_c{y}_a}\\ \alpha =1-\beta -\gamma \end{array}\end{array}$$
上面这个写法过于抽象，一般写作矢量表达结果，如下
$$\begin{array}{c}\{\begin{array}{l}\beta =\frac{\overrightarrow{AC}\times \overrightarrow{AP}}{\overrightarrow{AB}\times \overrightarrow{AC}}\\ \gamma =\frac{\overrightarrow{AB}\times \overrightarrow{AP}}{\overrightarrow{AB}\times \overrightarrow{AC}}\\ \alpha =1-\beta -\gamma \end{array}\end{array}$$
如果我们需要判断点是否在三角形内部，只需要根据上式计算出$\alpha ,\beta$以及$\gamma$的值之后再判断即可，判断条件总结为
{ S Δ A B C > 0 ， 保证三个点能组成三角形 ∀ { α , β , γ } ∈ [ 0 , 1 ] , 等于 0 或 1 的情况表示 P 在三角形的边上 \begin{equation} \begin{cases} S_{\Delta ABC} > 0， &保证三个点能组成三角形 \\ \forall \{\alpha, \beta, \gamma\} \in [0,1],&等于0或1的情况表示P在三角形的边上 \end{cases} \end{equation} {SΔABC​>0，∀{α,β,γ}∈[0,1],​保证三个点能组成三角形等于0或1的情况表示P在三角形的边上​​​