格点多边形面积计算公式证明