已知三点坐标,求围成的三角形面积的一个公式