【ACM】向量的叉乘（求面积）

在直角坐标系，假设$\vec{i},\vec{j}, \vec{k}$分别是x轴，y轴，z轴上的单位向量。叉乘积的方向垂直于这两个向量构成的平面，大小表示这两个向量构成的平行四边形的面积。

假设

$$\vec{OP_1}=(x_1,y_1,z_1)，\vec{OP_2}=(x_2,y_2,z_2) \\ \vec{OP_1} * \vec{OP_2} = (y_1z_2-y_2z_1) \vec{i} + (x_2z_1-x_1z_2)\vec{j} + (x_1y_2-x_2y_1)\vec{k}$$

因此叉乘的模为

$$|\vec{OP_1} * \vec{OP_2}| = （y_1z_2-y_2z_1）+(x_2z_1-x_1z_2)+(x_1y_2-x_2y_1)$$

三角形面积
假设三角形的三个顶点是$A(x_0,y_0,z_0),B(x_1,y_1,z_1),C(x_2,y_2,z_2)$，我们将三角形的两条边AB，AC看成是向量，然后以A为原点，进行坐标平移，得到向量$OB(x_1-x_0,y_1-y_0,z_1-z_0)，OC(x_2-x_0,y_2-y_0,z_2-z_0)$ 。
三角形的面积为叉乘模的$\frac{1}{2}$。

①三维坐标

$$|\vec{OB} * \vec{OC} |= ((y_1-y_0) * (z_2-z_0) + (z_1-z_0) * (x_2-x_0) + (x_1-x_0) * (y_2-y_0)) - ((y_2-y_0) * (z_1-z_0) + (z_2-z_0) * (x_1-x_0) + (x_2-x_0) * (y_1-y_0))$$

②二维坐标
在二维的情况下，取平面$z=0$，即$z_1=z_2=0$ 。

$$|\vec{OB}*\vec{OC} |=(x_1-x_0) * (y_2-y_0) - (x_2-x_0) * (y_1-y_0)$$

交叉相乘相减。