关于三角形面积的公式与格点多边形面积计算算法的讨论

已知三角形三点坐标求三角形面积公式

公式：
即S=1/2[(x1y2-x2y1)+(x2y3-x3y2)+(x3y1-x1y3)]
证明过程：此链接

格点三角形求面积或求三角形里格点（整点）个数[皮克定理]

一张方格纸上，上面画着纵横两组平行线，相邻平行线之间的距离都相等，这样两组平行线的交点，就是所谓格点。如果取一个格点做原点O，如图1，取通过这个格点的横向和纵向两直线分别做横坐标轴OX和纵坐标轴OY，并取原来方格边长做单位长，建立一个坐标系。这时前面所说的格点，显然就是纵横两坐标都是整数的那些点。如图1中的黑点都是格点。由于这个缘故，我们又叫格点为整点。