К теореме Вороного о цилиндрических минимумах трехмерных решеток

Алгоритм Вороного для поиска единиц в комплексных кубических полях основан на геометрических свойствах трехмерных решеток. Ключевую роль в алгоритме играет теорема Вороного о цилиндрических минимумах решеток общего положения. В оригинальном доказательстве теоремы Вороного и ее переизложении, данном Делоне и Фаддеевым, часть содержательных случаев не была разобрана. В предлагаемой работе дается полное доказательство теоремы Вороного. Кроме того, теорема распространяется на случай произвольных решеток.