三角形三点求面积

标准问题

坐标轴中有$A,B,C$三点，坐标为$(0,0),(x_B,y_B),(x_C,y_C)$，求由这三点围成的三角形面积。

解法

可以从点$B$作垂线，与$AC$交于$E$点。再从点$A$作$AD\perp BE$于$D$点，从点$C$作$CF\perp BE$于$F$点。

这样可以推出
$$\begin{array}{rl}{S}_{\Delta ABC}& =S_{\Delta ABE}+S_{\Delta BCE}\\ & =\frac{1}{2}AD\cdot BE+\frac{1}{2}CF\cdot BE\\ & =\frac{1}{2}BE(AD+CF)\\ & =\frac{1}{2}{x}_C(y_B-y_E)\end{array}$$
由$y_E=\frac{y_C}{x_C}{x}_B$，可以得出
$$\begin{array}{rl}{S}_{\Delta ABC}& =\frac{1}{2}{x}_C(y_B-\frac{y_C}{x_C}{x}_E)\\ & =\frac{1}{2}(x_C\cdot y_B-x_B\cdot y_C)\end{array}$$

问题变形

坐标轴上有$A,B,C$三点，坐标为$(x_A,y_A),(x_B,y_B),(x_C,y_C)$，求由这三点围成的三角形面积。

像这样的问题可以被转化为一个标准问题：
坐标轴中有$A,B,C$三点，坐标为$(0,0),(x_B-x_A,y_B-y_A),(x_C-x_A,y_C-y_A)$，求由这三点围成的三角形面积。
把上面的公式转换一下，就成了
$$S_{\Delta ABC}=\frac{1}{2}(|x_C-x_A|\cdot |y_B-y_A|-|x_B-x_A|\cdot |y_C-y_A|)$$

代码

double square(double xa,double ya,double xb,double yb,double xc,double yc){
    return 0.5 * ((xc - xa) * (yb - ya) + (xb - xa) * (yc - ya));
}