Теорема Пика

Многоугольник без самопересечений называется решётчатым, если все его вершины находятся в точках с целочисленными координатами (в декартовой системе координат)

Пусть дан некоторый решётчатый многоугольник, с ненулевой площадью.

Обозначим его площадь через ; количество точек с целочисленными координатами, лежащих строго внутри многоугольника — через ; количество точек с целочисленными координатами, лежащих на сторонах многоугольника — через .

Тогда справедливо соотношение, называемое формулой Пика: