О плотнейшей решетчатой $8$-упаковке на плоскости

Решена задача нахождения плотнейшей решетчатой $8$-упаковки равных кругов на плоскости. Найдена максимальная плотность, равная
$$ \frac{3969\pi}{4\sqrt{220-2\sqrt{193}}\sqrt{449+32\sqrt{193}}}, $$
и показано, что имеется единственная решетчатая упаковка, обладающая такой плотностью.
Библиогр. 5.