The Daily Reckoning
Can You Measure a Polygon by Counting Dots?
Pick’s theorem turns the interior and boundary points of a lattice polygon into its exact area.
- Difficulty
- Foundational
- Area
- Geometry and topology
- Reading time
- 9 minutes
- Prerequisites
- Counting · Area of rectangles and triangles · Coordinate grids
Stretch a loop of string around pegs on a square board. The string may form a lopsided pentagon or bite inward to form a cove. How much board lies inside the loop?
One answer would cut the shape into rectangles and triangles. A stranger answer ignores most lengths and counts pegs instead. Count the pegs strictly inside the string. Count the pegs touched by the string. Those two numbers determine the area exactly.
The rule hidden in the pegboard
A lattice point is a point whose horizontal and vertical coordinates are both integers, such as . A lattice polygon has every corner at a lattice point. The polygon must also be simple: its boundary does not cross itself, and the polygon has no holes.
The interactive diagram below classifies lattice points in four polygons. Green circles lie inside a polygon. Blue squares lie on its boundary. The shapes and colors carry the same distinction, so the diagram does not depend on color alone.
Interactive lattice survey
Change the coast; recount the dots
Let be the area of a simple lattice polygon, measured in square grid units. Let be the number of lattice points strictly inside it, and let be the number of lattice points on its boundary. Pick’s theorem says
Every interior point contributes one unit. Every boundary point contributes half a unit. The subtraction of one applies once to the whole polygon.
Boundary points include more than corners. The line segment from to passes through , so all three points lie on that edge. Missing a point along an edge produces the wrong area.
Worked example: survey the harbor flag
Choose Harbor flag in the interactive diagram and show its coordinates. Starting at the lower-left corner and moving counterclockwise, the five vertices are
The diagram marks interior points, so . We can count the boundary without counting any vertex twice. On each edge, include the starting point and omit the finishing point:
- From to : points.
- From to : points.
- From to : points, because the edge also passes through .
- From to : point. No other lattice point lies along that slant.
- From back to : points.
Therefore,
Substitute both counts into Pick’s formula:
The polygon has area square units.
Now check the result without Pick’s theorem. The polygon fits inside a rectangle units wide and units high, whose area is . Two triangular pieces of the rectangle lie outside the polygon. One triangle has base and height , while the other has base and height :
The independent subtraction agrees with the dot count.
Why half a boundary point?
Pick’s formula behaves well when a lattice polygon is cut into pieces. The diagram below shows two -by- rectangles joined along a vertical edge. Each small rectangle has area ; the joined rectangle has area .
Why the count survives a cut
A shared boundary changes jobs when two pieces are glued
Before the pieces are joined, the four points on the shared edge belong to both boundaries. After joining, the two middle points become interior points, while the two endpoints remain on the outer boundary. The two copies of “minus one,” one from each small rectangle, also become one copy for the joined rectangle. The changes cancel in exactly the proportions needed for area to add.
A standard proof pushes that observation further. It establishes two facts:
- Every lattice polygon can be divided into primitive lattice triangles, triangles whose only lattice points are their three vertices.
- Every primitive lattice triangle has area .
For one primitive triangle, and , so Pick’s formula gives
Glue enough primitive triangles together and the internal edges disappear from the boundary count just as the seam disappeared in the rectangle. The University of California, Davis presents a full triangulation proof. One version counts the triangles, vertices, and edges with Euler’s planar relation; the earlier Reckoning on Euler trails shows a different way that local counts can govern an entire figure.
Try it yourself
Problem 1
A -by- rectangle has corners at lattice points. Find , find , and use Pick’s theorem to recover its area.
Reveal the solution
Four interior columns and two interior rows produce
The bottom and top edges each contribute boundary intervals; the left and right edges each contribute . Counting around the perimeter without repeating corners gives
Pick’s theorem gives
The ordinary rectangle calculation confirms that .
Problem 2
A simple lattice polygon has area square units and boundary lattice points. How many lattice points lie strictly inside it?
Reveal the solution
Start with Pick’s formula and solve for :
The polygon contains interior lattice points.
Georg Pick’s eight-page paper
Georg Alexander Pick published the theorem in Prague in 1899. His eight-page German paper was titled Geometrisches zur Zahlenlehre, or “Geometric Contributions to Number Theory.” The title supplies the safest answer to why he developed the formula: Pick was studying how a geometric quantity, area, relates to arithmetic properties of a lattice. No surviving anecdote is needed to turn the work into a puzzle story.
Pick called the grid intersections “reticular points” and polygons built from them “reticular polygons.” The MacTutor History of Mathematics biography records that the paper received little attention until the Polish mathematician Hugo Steinhaus included the result in the 1969 edition of Mathematical Snapshots.
Pick’s career was much larger than one formula. He published 67 papers, became a professor and dean at the German University of Prague, supervised about 20 doctoral students, and helped secure Albert Einstein’s appointment to a chair of mathematical physics in Prague in 1911.
His life ended under Nazi persecution. Pick was born into a Jewish family. After Nazi Germany annexed Austria in 1938, he left Vienna for Prague. German forces occupied Prague in 1939; the Nazi regime expelled Pick from the Czech Academy of Sciences and Arts. On July 13, 1942, the Nazis deported the 82-year-old mathematician to Theresienstadt, where he died two weeks later.
Theresienstadt was not a benign retirement settlement, despite Nazi propaganda designed to create that impression. The United States Holocaust Memorial Museum describes it as both a transit ghetto and a so-called “ghetto for the elderly.” About 140,000 Jews passed through it; roughly 34,000 died there, and Nazi authorities deported about 88,000 others to ghettos, camps, and killing sites.
Pick’s formula survived because books and mathematicians carried it forward. Pick himself did not survive the Nazi state that stripped away his institutional membership, freedom, and life because he was Jewish.
Where the dot count goes to work
Pick’s theorem is exact only for simple lattice polygons, but that setting occurs naturally in tiled designs, pixel-like plans, and mathematical models built on integer coordinates. The Institute of Mathematics and its Applications uses a large square-tile mosaic as a physical example: when the design’s corners land at tile intersections, the theorem gives the painted area from point counts. A digital map snapped to a square grid would obey the same mathematics. That map example is hypothetical; geographic boundaries seldom cooperate with a coarse lattice without approximation.
The theorem also became a tool inside mathematics. Results about lattice points connect geometry with number theory, while extensions of Pick’s formula appear in algebraic, discrete, and computational geometry. An open-access survey in The Mathematical Intelligencer develops variants for shapes with holes and more complicated boundaries, cases where the original formula no longer works unchanged.
In 2024, Sage Binder and Katherine Kosaian reported a formal proof of Pick’s theorem in the Isabelle/HOL theorem prover. Their formalization paper explains why an elementary-looking picture becomes difficult for software: the machine needs explicit definitions of polygon, boundary, interior, area, and valid cuts. Pick’s theorem therefore serves as both geometry and a stress test for the libraries that let computers verify geometry.
One idea to remember
For a simple polygon whose corners lie on a square lattice, count interior points once, boundary points by halves, then subtract one:
Natural next directions are the shoelace formula, which computes polygon area directly from coordinates, and Ehrhart theory, which counts lattice points as a polygon is enlarged.
Sources
- Georg Pick, Geometrisches zur Zahlenlehre, 1899; publication details and biography via the MacTutor History of Mathematics.
- University of California, Davis, “Pick’s Theorem”, triangulation proof.
- Alexander Belyaev and Pierre-Alain Fayolle, “Counting Parallel Segments: New Variants of Pick’s Area Theorem”, The Mathematical Intelligencer, 2019.
- Peter Rowlett, “Connecting the Dots with Pick’s Theorem”, Institute of Mathematics and its Applications, 2018.
- Sage Binder and Katherine Kosaian, “Formalizing Pick’s Theorem in Isabelle/HOL”, 2024.
- United States Holocaust Memorial Museum, “The Theresienstadt (Terezín) Ghetto”, updated May 14, 2026.