【总结】pick定理&Farey序列

pick定理及其证明

---

pick定理

结论

在一个平面直角坐标系内，以整点为顶点的简单多边形，设其内部整点数为$a$，边上(包括顶点)的整点数为$b$，则它的面积$S=a+\frac{b}{2}-1$

证明

三角形

• 对于一个最简单的三角形(只有三个顶点在格点上，边上和内部都没有点的一个三角形)如下图，面积为$S=\frac{3}{2}-1=\frac{1}{2}$
  

• 所有面积$>\frac{1}{2}$的三角形均在边上或内部有点
  证明：
  通过平移及轴对称将三角形的一个顶点移至原点，另外两个点位于$x$轴或第一象限内。
  设三角形$\Delta OAB$,$O(0,0),A(a,c),B(b,d)$，其中$\frac{c}{a}<\frac{d}{b}$，面积$S=\frac{ad-bc}{2}$。

  • $c=0,a>1$时，$OA$边上存在整点，得证
  • $c=0,a=1,b=1$时，