In geometry, Pick's theorem provides a formula for the area of a simple polygon with integer vertex coordinates, in terms of the number of integer points within it and on its boundary. The result was first described by Georg Alexander Pick in 1899. It was popularized in English by Hugo Steinhaus in the 1950 edition of his book Mathematical Snapshots. It has multiple proofs, and can be generalized to formulas for certain kinds of non-simple polygons.

Formula

Suppose that a polygon has integer coordinates for all of its vertices. Let  be the number of integer points interior to the polygon, and let  be the number of integer points on its boundary (including both vertices and points along the sides). Then the area  of this polygon is:

The example shown has  interior points and  boundary points, so its area is  square units.

Proofs

Via Euler's formula
One proof of this theorem involves subdividing the polygon into triangles with three integer vertices and no other integer points. One can then prove that each subdivided triangle has area exactly . Therefore, the area of the whole polygon equals half the number of triangles in the subdivision. After relating area to the number of triangles in this way, the proof concludes by using Euler's polyhedral formula to relate the number of triangles to the number of grid points in the polygon.

The first part of this proof shows that a triangle with three integer vertices and no other integer points has area exactly , as Pick's formula states. The proof uses the fact that all triangles tile the plane, with adjacent triangles rotated by 180° from each other around their shared edge. For tilings by a triangle with three integer vertices and no other integer points, each point of the integer grid is a vertex of six tiles. Because the number of triangles per grid point (six) is twice the number of grid points per triangle (three), the triangles are twice as dense in the plane as the grid points. Any scaled region of the plane contains twice as many triangles (in the limit as the scale factor goes to infinity) as the number of grid points it contains. Therefore, each triangle has area , as needed for the proof. A different proof that these triangles have area  is based on the use of Minkowski's theorem on lattice points in symmetric convex sets.

This already proves Pick's formula for a polygon that is one of these special triangles. Any other polygon can be subdivided into special triangles: add non-crossing line segments within the polygon between pairs of grid points until no more line segments can be added. The only polygons that cannot be subdivided in this way are the special triangles considered above; therefore, only special triangles can appear in the resulting subdivision. Because each special triangle has area , a polygon of area  will be subdivided into  special triangles.

The subdivision of the polygon into triangles forms a planar graph, and Euler's formula  gives an equation that applies to the number of vertices, edges, and faces of any planar graph. The vertices are just the grid points of the polygon; there are  of them. The faces are the triangles of the subdivision, and the single region of the plane outside of the polygon. The number of triangles is , so altogether there are  faces. To count the edges, observe that there are  sides of triangles in the subdivision. Each edge interior to the polygon is the side of two triangles. However, there are  edges of triangles that lie along the polygon's boundary and form part of only one triangle. Therefore, the number of sides of triangles obeys the equation , from which one can solve for the number of edges, . Plugging these values for , , and  into Euler's formula  gives

Pick's formula is obtained by solving this linear equation for . An alternative but similar calculation involves proving that the number of edges of the same subdivision is , leading to the same result.

It is also possible to go the other direction, using Pick's theorem (proved in a different way) as the basis for a proof of Euler's formula.

Other proofs
Alternative proofs of Pick's theorem that do not use Euler's formula include the following.
One can recursively decompose the given polygon into triangles, allowing some triangles of the subdivision to have area larger than 1/2. Both the area and the counts of points used in Pick's formula add together in the same way as each other, so the truth of Pick's formula for general polygons follows from its truth for triangles. Any triangle subdivides its bounding box into the triangle itself and additional right triangles, and the areas of both the bounding box and the right triangles are easy to compute. Combining these area computations gives Pick's formula for triangles, and combining triangles gives Pick's formula for arbitrary polygons.
Alternatively, instead of using grid squares centered on the grid points, it is possible to use grid squares having their vertices at the grid points. These grid squares cut the given polygon into pieces, which can be rearranged (by matching up pairs of squares along each edge of the polygon) into a polyomino with the same area.
Pick's theorem may also be proved based on complex integration of a doubly periodic function related to Weierstrass elliptic functions.
Applying the Poisson summation formula to the characteristic function of the polygon leads to another proof.

Pick's theorem was included in a 1999 web listing of the "top 100 mathematical theorems", which later became used by Freek Wiedijk as a benchmark set to test the power of different proof assistants. , Pick's theorem had been formalized and proven in only one of the ten proof assistants recorded by Wiedijk.

Generalizations

Generalizations to Pick's theorem to non-simple polygons are more complicated and require more information than just the number of interior and boundary vertices. For instance, a polygon with  holes bounded by simple integer polygons, disjoint from each other and from the boundary, has area

It is also possible to generalize Pick's theorem to regions bounded by more complex planar straight-line graphs with integer vertex coordinates, using additional terms defined using the Euler characteristic of the region and its boundary, or to polygons with a single boundary polygon that can cross itself, using a formula involving the winding number of the polygon around each integer point as well as its total winding number.

The Reeve tetrahedra in three dimensions have four integer points as vertices and contain no other integer points, but do not all have the same volume. Therefore, there does not exist an analogue of Pick's theorem in three dimensions that expresses the volume of a polyhedron as a function only of its numbers of interior and boundary points. However, these volumes can instead be expressed using Ehrhart polynomials.

Related topics
Several other mathematical topics relate the areas of regions to the numbers of grid points. Blichfeldt's theorem states that every shape can be translated to contain at least its area in grid points. The Gauss circle problem concerns bounding the error between the areas and numbers of grid points in circles. The problem of counting integer points in convex polyhedra arises in several areas of mathematics and computer science.
In application areas, the dot planimeter is a transparency-based device for estimating the area of a shape by counting the grid points that it contains. The Farey sequence is an ordered sequence of rational numbers with bounded denominators whose analysis involves Pick's theorem.

Another simple method for calculating the area of a polygon is the shoelace formula. It gives the area of any simple polygon as a sum of terms computed from the coordinates of consecutive pairs of its vertices. Unlike Pick's theorem, the shoelace formula does not require the vertices to have integer coordinates.

References

External links

 Pick's Theorem by Ed Pegg, Jr., the Wolfram Demonstrations Project.
 Pi using Pick's Theorem by Mark Dabbs, GeoGebra

Digital geometry
Lattice points
Euclidean plane geometry
Area
Theorems about polygons
Articles containing proofs
Analytic geometry
픽의 정리()는 격자점 위의 단순 다각형에서 그 내부, 외부의 격자 수와 그 다각형의 넓이 사이의 관계를 설명하는 정리로, 이 정리는 오스트리아의 게오르그 픽(Georg Alexander Pick)에 의해 1899년에 만들어졌다. 모든 꼭짓점이 격자점 위에 존재하는 단순 다각형의 넓이를 , 격자 다각형의 내부에 있는 점의 수를 , 변 위에 있는 점의 수를 라고 하면, 이들 사이에 다음의 식이 성립한다는 것이 알려져 있다.
이 내용이 "픽의 정리"이다.

오른쪽 그림에서는 의 값은 9이고 의 값은 13이다. 픽의 정리를 사용하면 이 다각형의 넓이는 14.5임을 알 수 있다.

증명 

이 증명을 위해서는 두 개의 보조정리가 필요하다.
격자점을 꼭짓점으로 하는 삼각형 중에서 =0, =3인 경우 그 넓이는 항상 이다. 이것을 기본 삼각형이라고 부른다.
격자점을 꼭짓점으로 하는 모든 다각형을 기본 삼각형으로 분할할 수 있다.

격자점을 꼭짓점으로 하는 다각형 를 개의 기본 삼각형으로 나눈다. 증명전략은 개의 기본삼각형의 내각의 합을 서로 다른 방법으로 구하여, 연립하는 것이다.

여기에서 모든 기본 삼각형들의 내각의 합 를 나타내는 방법은 두 가지이다.

첫째로 삼각형의 내각의 합은 이므로 로 나타낼 수 있다.

둘째로는 각 점에서 생기는 각의 크기를 모두 더하는 방법이 있다.

 내부의 점 에서 만나는 기본 삼각형들의 각의 크기의 합은 이고, 따라서 모든 점 에서 만들어지는 각들의 합은 이다.

또, 꼭짓점이 아닌 변 위의 점 에서 만나는 기본 삼각형들의 각의 크기의 합은 이다.   가 각형이라고 했을때, 모든 점 에서 만들어지는 각들의 합은 이다.

마지막으로, 의 내각의 크기의 합은 이다.

이므로, 정리하면 모든 기본 삼각형의 내각의 합은 라고 나타낼 수 있다.

와 를 연립하면 다음과 같다.

여기서 양변을 로 나누면

가 된다.

두 번째 보조정리에서 격자점을 꼭짓점으로 하는 모든 다각형은 기본 삼각형으로 분할할 수 있다고 했으므로 이 유도된다. 따라서

이므로 픽의 정리가 성립함을 알 수 있다.

오일러 지표와의 관계 
픽의 정리는 오일러 지표로부터 유도될 수 있다. 이 관계를 알기 위해서는 "edge theorem"이라는 보조 정리가 필요하다.

"edge theorem"에 의하면 임의의 다각형에서 내부와 경계선 위의 점들을 연결하여 기본 삼각형들로 분할했을 때 생기는 변의 개수를 , 내부에 있는 점의 수를 , 변 위에 있는 점의 수를 라고 할 때 다음이 성립한다.

=3이고  =0이면 삼각형이 만들어지면서 의 값은 언제나 3이고 위 등식을 만족한다. 이 삼각형 내부에 점을 한 개 추가하면(=1) 모서리의 수는 3만큼 늘어난다(=6). 이 경우 역시 위 등식을 만족한다. 변 위에 있는 점을 한 개 추가하는 상황에서  개의  변 위에 있는 점들이 내부에 있는 점으로 바뀐다고 하면, 값은 (+2)개 증가, 값은 (-1)개 감소한다. 이 내용을 위 등식에 대입하면 마찬가지로 등식을 만족하게 된다. 따라서 값과 값에 변동이 있어도 위 등식은 항상 성립함을 알 수 있다.

오일러 지표에 의하면  평면 그래프에서 가 꼭짓점의 개수이고, 가 모서리의 개수이고, 가 모서리들로 나누어진 면의 개수일 때 다음이 성립한다.

이 등식을 이용하기 위해 꼭짓점이 격자점 위에 있는 격자다각형을 기본 삼각형들로 분할하고, 그 도형을 평면 그래프라고 생각한다. 그러면 삼각형 내부의 점과 변 위의 점을 합한 것이 의 값이므로 이고, 'edge theorem'에 의해 임을 알 수 있다. 이것을 위 등식에 대입하면

마지막으로 면의 수 의 경우, 평면 그래프의 관점에서는 넓이가 무한한 면 한 개가 포함되어 있기 때문에 실제 면의 수는 기본 삼각형들의 수보다 하나 더 많다. 따라서 주어진 다각형을 분할하는 기본 삼각형의 수는 이고, 각 기본 삼각형의 넓이는 이므로 주어진 다각형의 넓이는 가 된다. 이 식을 앞에서 구한 식과 연립하면 다음과 같이 픽의 정리가 유도된다.

각주 

기하학
다각형
기하학 정리
격자점