顶点为 (x_1, y_1), (x_2, y_2), (x_3, y_3) 的三角形面积：。