# Counting Parallel Segments: New Variants of Pick’s Area Theorem

Pick’s area theorem provides a simple and unexpected formula for calculating the area of simple polygons whose vertices lie on lattice points. Consider the standard square lattice \({\mathbb{Z}}^2\) consisting of points with integer coordinates. A simple lattice polygon *P* is the region bounded by a simple (i.e., nonintersecting) closed polygonal chain whose vertices belong to \({\mathbb{Z}}^2\) (in other words, the vertices have integer coordinates). It is convenient for us to consider the boundary of *P* to be part of the polygon.

*P*containing

*B*lattice points on its boundary and

*I*lattice points in its interior is given by

A common approach to proving Pick’s area theorem consists in subdividing the polygon *P* into elementary parts for which (1) can be easily verified. Then an invocation of the additive property of the right-hand side of (1) (formally, \(I+B/2-1\) is a valuation on the set of lattice polygons [5]) proves the theorem.

*P*we assume that (a) the boundary of

*P*, \(\partial P\), may consist of several disconnected components; (b) if two edges of \(\partial P\) intersect, the intersection point is a lattice point; (c) every boundary segment separates the interior of

*P*from the exterior of

*P*. Figure 1 presents examples of nonsimple lattice polygons.

*P*and \(\partial P\). Figure 1 also presents examples of area calculations using (2).

An elegant result like (1) deserves an elegant proof, and one such proof for Pick’s area theorem was proposed in [4]. The idea is to assume that at time 0, a unit of heat is concentrated at each lattice point. Then at time \(\infty \), heat is uniformly distributed over the whole plane, and a simple analysis shows that the amount of heat contained within polygon *P* is given by the right-hand side of (1).

In the following, abusing terminology, the term *polygon* will mean a nonsimple lattice polygon.

Our approach is inspired by the heat conduction proof of [4]. However, instead of units of heat concentrated at the lattice points, we deal with a family of parallel lattice segments (e.g., the vertical lattice segments). A lattice segment is the segment connecting two lattice points belonging to the lattice graph and containing no other lattice points. We assume that each lattice segment situated, possibly without its endpoints, in the interior of *P*, a *whole segment*, contains a unit amount of heat.

Then we expect that each *boundary segment*, a lattice segment belonging to \(\partial P\), contains half of the unit amount of heat. It remains to estimate the contribution of the remaining incomplete lattice segments situated in the interior of *P*. We call a lattice segment *partial* if it crosses \(\partial P\) and its intersection with the interior of *P* is not empty. Our formula for the area of *P* includes the numbers of whole, boundary, and partial segments. Namely, let *w*, *b*, and *p* denote the numbers of whole, boundary, and partial segments. We have the following result.

### Theorem 1.

*The area of a lattice polygon via parallel lattice segments is given by the following formula*:

*P*is decomposed into two lattice polygons \(P_1\) and \(P_2\) if \(P=P_1\cup P_2\) and the interiors of \(P_1\) and \(P_2\) have empty intersection. Then

*a*(

*P*) is a valuation. This completes the proof of (3). Figure 4 illustrates the proof visually.

**Counting radial segments.**One can consider radial segments instead of parallel ones, as seen in Figure 6. Given a lattice polygon, let us consider a lattice point and draw a ray passing through the point and each lattice point of the polygon.

If the origin of the rays is located outside the polygon, as shown in Figure 6(a), then we count the intersection segments in exactly the same way as when the segments are parallel.

If the origin of the rays is situated in the interior of the polygon, we think of the origin as being excluded from the polygon.

So each ray segment belonging to the polygon and connecting the origin to a polygon lattice point and containing no other lattice points is considered a partial segment, which contributes only 1/2 to the area of the polygon. Similarly, each ray segment connecting the origin to a lattice point outside the polygon and containing no other lattice points is excluded from the area computation. See Figure 6(b) for examples.

Finally, if the origin is a boundary vertex of the polygon, we also think of it as being excluded from the polygon, and in addition, we assign only 1/4 to a boundary lattice segment connecting the origin to its neighboring boundary vertex, as demonstrated in Figure 6(c) (alternatively, we could introduce partial boundary segments, each of which contributes 1/4 to the area).

One can observe that if a simple lattice polygon is star-shaped with respect to a ray-emitting origin situated at an internal lattice point of the polygon, then our approach reproduces Pick’s original formula (1).

## The 3D Case

We deal now with the three-dimensional case of lattice polyhedra. Let us define a polyhedron as a bounded region in 3D space whose boundary consists of a finite number of polygonal faces, each pair of which either are disjoint or have a common edge or common single vertex. In addition, we consider polyhedra without self-crossings and assume that each boundary point of a polyhedron has a surface neighborhood homeomorphic to an open disk. A lattice polyhedron is a polyhedron whose vertices are situated on the cubic lattice \({\mathbb{Z}}^3\) (thus the vertex coordinates are integers). As in the 2D case, the boundary of a lattice polyhedron *P* is considered a part of *P*. We also assume that the polyhedra we deal with can be decomposed into primitive tetrahedra, where a primitive tetrahedron [8, Theorem 4.2] is a tetrahedron in \({\mathbb{R}}^3\) that does not contain any lattice points in its interior or on its boundary other than its vertices (lattice points are the points of the lattice \({\mathbb{Z}}^3\)).

*r*), where

*r*is a positive integer (see Figure 7 for examples of Reeve tetrahedra for \(r=2,3,4\)). The tetrahedron has volume equal to

*r*/6 but contains no lattice points in its interior, and the only boundary lattice points are its vertices.

*P*, his idea is to consider a sublattice \({\mathbb{Z}}^3/n\), where

*n*is a positive integer, and construct a formula that takes into account boundary and interior vertices of

*P*in both the original lattice \({\mathbb{Z}}^3\) and the sublattice. Equivalently, one can consider an inflated polyhedron

*nP*and take into account the numbers of interior and boundary vertices for both the original polyhedron

*P*and its inflated version

*nP*. The resulting formula for the volume \({\rm Vol}(P)\) is given by

*I*(respectively \(I_n\)) is the number of lattice vertices in the interior of

*P*(respectively

*nP*) and

*B*(\(B_n\)) is the number of boundary lattice vertices of

*P*(

*nP*) [13, 15]. A variety of similar formulas can be obtained if several sublattices, or equivalently, several inflated versions of

*P*, are simultaneously considered [14].

*P*, we consider its inflated version. Namely, let us denote by \(w_{\rm I}\) the number of whole vertical lattice segments contained, possibly without their endpoints, in the interior of

*P*(inner segments), by \(p_{\rm I}\) the number of partial vertical lattice segments in the interior of

*P*, by \(w_{\rm B}\) the number of whole vertical lattice segments contained by \(\partial P\), and by \(p_{\rm B}\) the number of partial vertical lattice segments contained by \(\partial P\). Here a vertical lattice segment is called a partial interior/boundary segment if it belongs to the lattice, contains no other lattice points except its endpoints, and one of its endpoints belongs to the interior/boundary of

*P*, while another endpoint is situated outside of

*P*. See Figure 8 for a visual explanation of these different types of segments.

*P*is given by

Similar to the 2D case, let us say that a lattice polyhedron *P* is decomposed into two lattice polyhedra \(P_1\) and \(P_2\) if \(P=P_1\cup P_2\) and the interiors of \(P_1\) and \(P_2\) have empty intersection.

*P*into two lattice polyhedra \(P_1\) and \(P_2\), then we have

*nP*, where

*n*is a positive integer. We claim that

*c*(

*P*) is a coefficient that depends on the polyhedron

*P*. First, let us show that the leading coefficient of

*v*(

*nP*) is \({\rm Vol}(P)\). Indeed, \(w_{\rm B}(nP)\), \(p_{\rm B}(nP)\), and \(p_{\rm I}(nP)\) are \(O(n^2)\). Each lattice point in the interior of

*nP*contributes to two vertical segments for which the vertex is an endpoint. So the difference between \(I_n\), the total number of lattice points in the interior of

*nP*, and \(w_{\rm I}(nP)\) is also \(O(n^2)\). On the other hand, (5) implies that \(I_n={\rm Vol}(P)n^3+O(n^2)\). Thus \(w_{\rm I}(nP)={\rm Vol}(P)n^3+O(n^2)\). Second, one can see that

*v*(

*nP*) is an odd function with respect to

*n*:

*z*-axis). This leads us to (8).

Now (8) implies (7) and suggests also the following more general result.

### **Conjecture**

*We conjecture that*

*where*

*P*

*is a lattice polyhedron*,

*v*(

*P*)

*is defined by*(6),

*and*\(n>1\)

*is an integer*.

We formulate it as a conjecture, since our derivation of (8) and (9) (and its particular case (7)) is not complete: we don’t have a proof that *v*(*nP*) is a polynomial in *n*.

Below we present results of our calculation of (8) for several polyhedra:

**Unit cube**: \(v(nP)=n^3+n\).

**Reeve tetrahedron** (\(r=2\)): \(v(nP)=1/3 n^3 - 1/3 n\).

**Hexahedron from Figure** **9**: \(v(nP)=3 n^3 + 5/2 n\).

**Toroidal polyhedron from Figure** **10**: \(v(nP)= 24n^3\).

While (6) was used with vertical lattice segments in the examples in Figures 8–10, as in the 2D case, (6) can be used with any family of parallel lattice segments (not only vertical ones).

## Final Remarks

Our main contribution in this paper was the use of parallel lattice segments for calculating the area of lattice polygons and the volume of 3D lattice polyhedra. These result in formulas (3) and (9).

Although (7) and (9) look simple and elegant, more formulas can be derived from (8) if, for example, several dilated versions of the original polyhedron *P* are considered. It would be interesting to see how our results follow from [5], where a general study of valuations of lattice polygons and polytopes is given.

We have not presented any practical applications of our approach in this paper (obviously there are much more efficient ways to compute the area of a polygon and the volume of a polyhedron [16]). On the other hand, we hope that just as Pick’s area theorem led to a number of interesting mathematical results [3, 5], our approach may inspire some new developments in discrete and computational geometry.

## Notes

### Acknowledgments

We would like to thank the reviewer of this paper for insightful comments, suggestions, and questions.

## References

- [1]M. Aigner and G. M. Ziegler.
*Proofs from the BOOK*, 6th edition. Springer, 2018.Google Scholar - [2]C. Alsina and R. B. Nelsen.
*Charming Proofs: A Journey into Elegant Mathematics*. MAA, 2010.Google Scholar - [3]M. Beck and S. Robins.
*Computing the Continuous Discretely*. Springer, 2007.Google Scholar - [4]C. Blatter. Another proof of Pick’s area theorem.
*Mathematics Magazine*70:3 (1997), 200.Google Scholar - [5]K. J. Böröczky and M. Ludwig. Valuations on lattice polytopes. In E. B. V. Jensen and M. Kiderlen, editors,
*Tensor Valuations and Their Applications in Stochastic Geometry and Imaging*, pp. 213–234. Springer, 2017.Google Scholar - [6]E. Ehrhart. Sur les polyèdres rationnels homothétiques à \(n\) dimensions.
*C. R. Acad. Sci. Paris*, 254 (1962), 616–618.Google Scholar - [7]P.M. Gruber.
*Convex and Discrete Geometry*, 4th edition. Springer, 2007.Google Scholar - [8]M. R. Khan. A counting formula for primitive tetrahedra in \(Z^3\).
*American Mathematical Monthly*106:4 (1999), 525–533.Google Scholar - [9]R. Klette and A. Rosenfeld.
*Digital Geometry: Geometric Methods for Digital Picture Analysis*. Elsevier, 2004.Google Scholar - [10]I. G. MacDonald. The volume of a lattice polyhedron.
*Proc. Cambridge Philos. Soc.*, 59 (1963), 719–726.Google Scholar - [11]T. S. Michael.
*How to Guard an Art Gallery and Other Discrete Mathematical Adventures*. JHU Press, 2009.Google Scholar - [12]G. Pick. Geometrisches zur Zahlenlehre.
*Sitzenber. Lotos (Prague)*19 (1899), 311–3192.Google Scholar - [13]J. E. Reeve. On the volume of lattice polyhedra.
*Proceedings of the London Mathematical Society*3:1 (1957), 378–395.Google Scholar - [14]J. E. Reeve. A further note on the volume of lattice polyhedra.
*Journal of the London Mathematical Society*1:1 (1959), 57–62.Google Scholar - [15]P. R. Scott. The fascination of the elementary.
*American Mathematical Monthly*94:8 (1987), 759–768.Google Scholar - [16]A. Van Gelder. Efficient computation of polygon area and polyhedron volume. In A. W. Paeth, editor,
*Graphics Gems V*, pp. 35–41. Academic Press, 1995.Google Scholar - [17]D. E. Varberg. Pick’s theorem revisited.
*American Mathematical Monthly*92:8 (1985), 584–587.Google Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.