Теория Эрхарта: обзор и примеры

Рассмотрим многогранник с вершинами в целочисленной решетке и посчитаем число точек решетки внутри его. Само по себе это число мало что говорит о многограннике, даже о его объеме. В начале 1960-х годов французский математик Эрхарт предложил считать точки во всех многогранниках, получающихся растяжением исходного в целое число k раз. Результат оказался многочленом от k (называемом теперь многочленом Эрхарта), обладающим целым рядом замечательных свойств.