pick定理
结论
在一个平面直角坐标系内,以整点为顶点的简单多边形,设其内部整点数为 a a a,边上(包括顶点)的整点数为 b b b,则它的面积 S = a + b 2 − 1 S = a+\frac b2-1 S=a+2b−1
证明
三角形
-
对于一个最简单的三角形(只有三个顶点在格点上,边上和内部都没有点的一个三角形)如下图,面积为 S = 3 2 − 1 = 1 2 S=\frac 32 -1=\frac 12 S=23−1=21
-
所有面积 > 1 2 >\frac 12 >21的三角形均在边上或内部有点
证明:
通过平移及轴对称将三角形的一个顶点移至原点,另外两个点位于 x x x轴或第一象限内。
设三角形 Δ O A B \Delta OAB ΔOAB, O ( 0 , 0 ) , A ( a , c ) , B ( b , d ) O(0,0),A(a,c),B(b,d) O(0,0),A(a,c),B(b,d),其中 c a < d b \frac ca<\frac db ac<bd,面积 S = a d − b c 2 S=\frac{ad-bc}{2} S=2ad−bc。- c = 0 , a > 1 c=0,a>1 c=0,a>1时, O A OA OA边上存在整点,得证
- c = 0 , a = 1 , b = 1 c=0,a=1,b=1 c=0,a=1,b=1时,