格点多边形面积公式的探索教学设计