Pick's theorem
From Academic Kids

Pick_theorem.png
polygon constructed on a grid of equaldistanced grid points
Given a simple polygon constructed on a grid of equaldistanced points (i.e., points with integer coordinates) such that all the polygon's vertices are grid points, Pick's theorem provides a simple formula for calculating the area A of this polygon in terms of the number i of interior points located in the polygon and the number b of boundary points placed on the polygon's perimeter:
 A = i + ½b − 1.
In the example shown, we have i = 39 and b = 14, so the area is A = 39 + ½(14) − 1 = 39 + 7 − 1 = 45 (square units).
This formula so simple that it has been correctly used by firstgrade children, drawing figures on square tiles on floor or wall, or stretching strings from pegs in pegboard. They learn how to add, along with subtraction as "take away". They learn to "halve" by a onetoone correspondence between counters.
Note that the theorem as stated above is only valid for simple polygons, i.e. ones that consist of a single piece and do not contain "holes". For more general polygons, the "− 1" of the formula has to be replaced with "− χ(P)", where χ(P) is the Euler characteristic of P.
The result was first described by Georg Alexander Pick in 1899. It can be generalized to three dimensions and higher by Ehrhart polynomials. The formula also generalizes to surfaces of polyhedra.
Proof
Consider a polygon P and a triangle T, with one edge in common with P. Assume Pick's theorem is true for P; we want to show that it is also true to the polygon PT obtained by adding T to P. Since P and T share an edge, all the boundary points along the edge in common are merged to interior points, except for the two endpoints of the edge, which are merged to boundary points. So, calling the number of boundary points in common c, we have i_{PT} = (i_{P} + i_{T}) + (c − 2) and b_{PT} = (b_{P} + b_{T}) − 2(c − 2) − 2.
From the above follows (i_{P} + i_{T}) = i_{PT} − (c − 2) and (b_{P} + b_{T}) = b_{PT} + 2(c − 2) + 2.
Since we are assuming the theorem for P and for T separately,
 A_{PT} = A_{P} + A_{T}
 = i_{P} + ½b_{P} − 1 + i_{T} + ½b_{T} − 1
 = (i_{P} + i_{T}) + ½(b_{P} + b_{T}) − 2
 = i_{PT} − (c − 2) + ½(b_{PT} + 2(c − 2) + 2) − 2
 = i_{PT} + ½b_{PT} − 1.
Therefore, if the theorem is true for polygons constructed from n triangles, the theorem is also true for polygons constructed from n+1 triangles. To finish the proof by mathematical induction, it remains to show that the theorem is true for triangles. The verification for this case can be done in these short steps:
 directly check that the formula is correct for any rectangle with sides parallel to the axes;
 verify from that case that it works for rightangled triangles obtained by cutting such rectangles along a diagonal;
 now any triangle can be turned into a rectangle by attaching (at most three) such right triangles; since the formula is correct for the right triangles and for the rectangle, it also follows for the original triangle.
The last step uses the fact that if the theorem is true for the polygon PT and for the triangle T, then it's also true for P; this can be seen by a calculation very much similar to the one shown above.
To prove, we shall first show that Pick's theorem has an additive character. Suppose our polygon has more than 3 vertices. Then we can divide the polygon P into 2 polygons P_{1} and P_{2} such that their interiors do not meet. Both have fewer vertices than P. We claim that the validity of Pick's theorem for P is equivalent to the validity of Pick's theorem for P_{1} and P_{2}.
Denote the area, number of interior lattice points and number of boundary lattice points for P_{k} by A_{k}, I_{k} and O_{k}, respectively, for k = 1, 2.
Clearly <math>A = A_1 + A_2.<math>
Also, if we denote the number of lattice points on the edges common to P_{1} and P_{2} by L, then
 <math>I = I_1 + I_2 + L  2<math>
and
 <math>O = O_1 + O_2 2L + 2.<math>
Hence
 <math>I + \frac{1}{2}O  1 = I_1 + I_2 + L  2 + \frac{1}{2}O_1 + \frac{1}{2}O_2  L + 1  1<math>
 <math>= I_1 + \frac{1}{2}O_1 1 + I_2 + \frac{1}{2}O_2 1.<math>
This proves the claim. Therefore we can triangulate P and it suffices to prove Pick's theorem
External links
 Pick's Theorem (Java) (http://www.cuttheknot.org/ctk/Pick.shtml)de:Satz von Pick