-# 定理陈述
+
+
+# Pick定理
Pick 定理:给定顶点座标均是整点(或正方形格子点)的简单多边形,皮克定理说明了其面积${\displaystyle A}$和内部格点数目 ${\displaystyle i}$、边上格点数目${\displaystyle b}$的关系:${\displaystyle A=i+{\frac {b}{2}}-1}$。
- 高维推广:Ehrhart 多项式
- 皮克定理和**欧拉公式**(${\displaystyle V-E+F=2}$)等价。
- # 一道例题 (POJ 1265)
+# 一道例题 (POJ 1265)
- ## 题目大意
+## 题目大意
- 给一个平面上的简单多边形,求边上的点,多边形内的点,多边形面积。
+给一个平面上的简单多边形,求边上的点,多边形内的点,多边形面积。
- ## Solution
+## Solution
- 这道题目其实用了以下三个知识:
+这道题目其实用了以下三个知识:
- 以格子点为顶点的线段,覆盖的点的个数为$\gcd(dx,dy)$,其中,$dx,dy$分别为线段横向占的点数和纵向占的点数。如果$dx$或$dy$为$0$,则覆盖的点数为$dy$**或**$dx$。
- Pick 定理:平面上以格子点为顶点的简单多边形的面积 = 边上的点数 / 2 + 内部的点数 + 1。
- 任意一个多边形的面积等于按顺序求相邻两个点与原点组成的向量的叉积之和(这个也可以通过顺时针定积分求得)。
于是这题就愉快地做完了
- ```C++
- #include <cmath>
- #include <cstdio>
- #include <iostream>
- using namespace std;
- const int MAXN = 110;
- struct node {
- int x, y;
- } p[MAXN];
- inline int gcd(int x, int y) { return y == 0 ? x : gcd(y, x % y); }
- inline int area(int a, int b) { return p[a].x * p[b].y - p[a].y * p[b].x; }
- ```
+```Cpp
+#include <cmath>
+#include <cstdio>
+#include <iostream>
+using namespace std;
+const int MAXN = 110;
+struct node {
+ int x, y;
+} p[MAXN];
+inline int gcd(int x, int y) { return y == 0 ? x : gcd(y, x % y); }
+inline int area(int a, int b) { return p[a].x * p[b].y - p[a].y * p[b].x; }
int main()
{
int t, ncase = 1;
int n, dx, dy, x, y, num = 0, sum = 0;
scanf("%d", &n);
p[0].x = 0, p[0].y = 0;
- for (int i = 1; i <= n; i++)
+ for (int i = 1; i < = n; i++)
{
scanf("%d%d", &x, &y);
p[i].x = x + p[i - 1].x, p[i].y = y + p[i - 1].y;
}
```
-
-```