Классический результат комбинаторной геометрии и геометрии чисел, согласно которому площадь многоугольника с целочисленными вершинами равна
В + Г / 2 − 1,
где В — количество целочисленных точек внутри многоугольника, а Г — количество целочисленных точек на границе многоугольника.