皮克定理怎么推导的

皮克定理怎么推导过程：

皮克定理是指一个计算点阵中顶点在格点上的多边形面积公式，该公式可以表示为S=a+b÷2－1，其中a表示多边形内部的点数，b表示多边形落在格点边界上的点数，S表示多边形的面积。这个公式是皮克(Pick)在1899年给出的，是一个实用而有趣的定理。