皮克定理：
用于计算点阵中顶点在格点上的多边形的面积；
公式表达为2S= 2a + b - 2.
S表示多边形的面积，a表示多边形内部的点数，b表示多边形边界上的点数。
假设有一个直角三角形，它的两条直角边上的点数分别为x、y，那么它的斜边上的点数等于gcd（x，y）；
验证：
