Math-Net.

Ru
Общероссийский математический портал

О. Н. Герман, Е. Л. Лакштанов, О многомерном обобще-

нии теоремы Лагранжа для цепных дробей, Изв. РАН.
Сер. матем., 2008, том 72, выпуск 1, 51–66
DOI: https://doi.org/10.4213/im1135

Использование Общероссийского математического портала Math-Net.Ru под-

разумевает, что вы прочитали и согласны с пользовательским соглашением
http://www.mathnet.ru/rus/agreement

Параметры загрузки:
IP: 158.250.33.69
28 октября 2019 г., 19:13:59
СЕРИЯ МАТЕМАТИЧЕСКАЯ Том 72, № 1, 2008

УДК 511.6+511.9

О. Н. Герман, Е. Л. Лакштанов

О многомерном обобщении
теоремы Лагранжа для цепных дробей

Доказан многомерный аналог классической теоремы Лагранжа о цеп-

ных дробях. В качестве многомерного обобщения цепных дробей исполь-
зованы полиэдры Клейна.
Библиография: 15 наименований.

§ 1. Введение

Теорема Лагранжа о цепных дробях заключается в следующем: число α

является квадратичной иррациональностью тогда и только тогда, когда его
разложение в цепную дробь периодично начиная с какого-то момента.
Дадим геометрическую интерпретацию этого факта. Рассмотрим две пря-
мые в R2 , порожденные векторами (1, α) и (1, β), α, β ∈ R \ Q, α ̸= β. Эти
прямые разбивают плоскость на четыре угла (которые мы будем называть
конусами согласно терминологии дальнейших многомерных обобщений). Во
внутренности каждого конуса рассмотрим выпуклую оболочку целочисленных
точек. Получившиеся четыре неограниченных выпуклых многоугольника на-
зываются полигонами Клейна. Имеет место замечательное соответствие между
неполными частными чисел α и β и ребрами полигонов Клейна (см. [1], [2]),
при котором целочисленные длины ребер полигонов Клейна и целочисленные
углы между соседними ребрами равны соответствующим неполным частным
чисел α и β. Целочисленной длиной отрезка с концами в Z2 называется ве-
личина, равная количеству точек решетки Z2 , содержащихся во внутренности
этого отрезка, плюс 1. Целочисленным углом между двумя такими отрезка-
ми с общей вершиной называется величина, равная отношению площади па-
раллелограмма, натянутого на них, к произведению их целочисленных длин.
В случае непараллельных отрезков целочисленный угол между ними, очевид-
но, равен индексу подрешетки, порожденной примитивными целочисленными
векторами, параллельными этим отрезкам. Описанная конструкция позволяет
сформулировать геометрический аналог теоремы Лагранжа (см. [2]).

Работа первого автора выполнена при финансовой поддержке РФФИ (грант

№ 06-01-00518), INTAS (грант № 03-51-5070) и Программы Президента РФ (грант
№ МК-6370.2006.1), работа второго автора – при поддержке Центра Centre for Research on
Optimization and Control (CEOC) из средств фонда “Fundação para a Ciência e a Tecnologia”
(FCT) и частично из средств фонда European Community Fund FEDER/POCTI.

⃝
c О. Н. Герман, Е. Л. Лакштанов, 2008
52 О. Н. ГЕРМАН, Е. Л. ЛАКШТАНОВ

Утверждение 1. Следующие два условия эквивалентны:

1) конус C инвариантен относительно действия некоторого оператора
из SL2 (Z) с различными действительными положительными собственными
значениями;
2) комбинаторная структура границы полигона Клейна, соответствующе-
го конусу C , оснащенная целочисленными длинами ребер и целочисленными
углами между соседними ребрами, периодична.
Несколько лет назад В. И. Арнольд предложил найти аналог этого утвер-
ждения для так называемых полиэдров Клейна – естественного многомерного
обобщения полигонов Клейна.
Определение 1. Пусть C ⊂ Rn – n-мерный симплициальный конус с вер-
шиной в начале координат 0. Выпуклая оболочка K ненулевых точек решет-
ки Zn , содержащихся в C , называется полиэдром Клейна, соответствующим
решетке Zn и конусу C .
Для обобщения утверждения 1 естественно рассматривать случай, когда ко-
нус C иррационален, т. е. когда в плоскостях граней конуса нет точек решетки,
кроме 0. Тогда, как показано в [3], полиэдр Клейна является обобщенным
многогранником, т. е. его пересечение с любым ограниченным многогранником
также будет многогранником. Стало быть, граница K в этом случае является
(n − 1)-мерной полиэдральной поверхностью, гомеоморфной Rn−1 и состоящей
из выпуклых (n − 1)-мерных (обобщенных) многогранников, среди которых,
вообще говоря, могут встретиться неограниченные. Однако в любом случае
каждая точка, лежащая на границе K, принадлежит лишь конечному числу
граней K.
Определение 2. Граница Π полиэдра Клейна K называется парусом.
Ввиду описанного выше соответствия можно рассматривать грани паруса
и реберные звезды его вершин как многомерные аналоги неполных частных.
В. И. Арнольд предположил, что существуют некоторые локальные аффинные
инварианты паруса, периодичность которых влечет существование неединич-
ного оператора из SLn (Z), оставляющего конус (а значит, и парус) на месте.
Вскоре после постановки задачи стали появляться результаты в этом направле-
нии (см. [4]–[8]). Особенно интересен результат работы [5], в которой предложен
(без доказательства) многомерный аналог утверждения 1, имеющий, однако,
неточность в формулировке. Настоящая работа посвящена точной формули-
ровке и доказательству соответствующей теоремы из [5].

§ 2. Формулировка основного результата

Если v – вершина паруса Π, то ее реберную звезду, т. е. объединение всех

ребер паруса, инцидентных этой вершине, мы будем обозначать Stv .
Упорядоченный набор (конечный или бесконечный) вершин паруса Π такой,
что любые две подряд идущие вершины соединены ребром, будем называть
цепочкой вершин паруса Π. Рассмотрим множество Vk (Π) всех цепочек дли-
ны k вершин паруса Π. Рассмотрим граф Gk (Π), вершинами которого являют-
ся точки множества Vk (Π), а ребрами – такие пары (V, W ) ∈ Vk (Π) × Vk (Π),
 О МНОГОМЕРНОМ ОБОБЩЕНИИ ТЕОРЕМЫ ЛАГРАНЖА ДЛЯ ЦЕПНЫХ ДРОБЕЙ 53

что V ∪ W ∈ Vk+1 (Π). Очевидно, граф Gk+1 (Π) изоморфен реберному графу
графа Gk (Π). Как и в случае с вершинами паруса, упорядоченный набор (ко-
нечный или бесконечный) вершин графа Gk (Π) такой, что любые две подряд
идущие вершины соединены ребром, будем называть цепочкой вершин гра-
фа Gk (Π). Очевидно, что любой цепочке длиной l > 2 вершин графа Gk (Π)
можно естественным образом поставить в соответствие цепочку длиной l − 1
вершин графа Gk+1 (Π). В частности, любой цепочке длиной l вершин паруса Π
при каждом k 6 l соответствует цепочка длиной l + 1 − k в Gk (Π).
Рассмотрим группу целочисленных аффинных операторов Aff n (Z) и неко-
торое ее подмножество A. Определим A-раскраску графа Gk (Π) следующим
образом. Две различные вершины V и W этого графа раскрашиваем
S Sв один и
тот же цвет, если существует оператор из A, переводящий v∈V Stv в v∈W Stv .
Отметим, что при этом мы не требуем, чтобы этот оператор сохранял порядок
вершин паруса.
Определение 3. Пусть {vi }i∈Z – цепочка вершин паруса Π. Пусть любые
n − 1 подряд идущие вершины аффинно независимы (т. е. не лежат ни в ка-
кой (n − 3)-мерной плоскости) и принадлежат некоторой (n − 1)-мерной грани
паруса. Пусть образы этой цепочки в Gn (Π) и в Gn+1 (Π) имеют периодич-
ные A-раскраски, причем для любых двух различных операторов A, B ∈ A,
“осуществляющих” раскраску, оператор AB −1 также принадлежит A. Тогда
цепочку {vi }i∈Z вершин паруса Π будем называть A-периодической.
Обозначим через A0 множество таких аффинных операторов A, что A : x 7→
A(x) + a, A ∈ SLn (Z), a ∈ Zn , и A удовлетворяет следующим двум свойствам:
(P1) все собственные значения оператора A отличны от единицы;
(P2) если α ∈ C\R – собственное значение оператора A, то все остальные соб-
ственные значения, кроме комплексно-сопряженного к α, отличны по модулю
от α.
Следующие ниже теоремы (особенно теоремы 1, 4 и 5) уточняют результат
работы [5].
Теорема 1. Пусть парус Π соответствует решетке Zn и иррациональ-
ному конусу C ⊂ Rn . Тогда следующие два условия эквивалентны:
1) существует неединичный оператор A ∈ SLn (Z) такой, что A(C ) = C ;
2) существует неограниченная в обе стороны (как подмножество в Rn )
A0 -периодическая цепочка {vi }i∈Z вершин паруса Π.
Импликация 1)⇒2) очевидна, поскольку если A(C ) = C , то A(Π) = Π. Им-
пликация 2)⇒1) следует из теорем 2 и 3, которые и доказываются в настоящей
работе.
Теорема 2. Пусть A – произвольное подмножество группы Aff n (Z), и
пусть {vi }i∈Z – A-периодическая цепочка вершин паруса Π ⊂ Rn . Тогда суще-
ствует
S оператор из A, осуществляющий нетривиальный сдвиг множества
i∈Z Stvi вдоль себя.

Определение 4. Оператор A ∈ SLn (Z) называется гиперболическим, если

его характеристический многочлен неприводим над Q и все его корни суть
положительные вещественные числа.
54 О. Н. ГЕРМАН, Е. Л. ЛАКШТАНОВ

Теорема 3. Пусть {vi }i∈Z – неограниченная в обе стороны (как подмно-

жество в Rn ) последовательность (не обязательно являющаяся цепочкой)
вершин паруса Π, соответствующего решетке Zn и некоторому иррациональ-
ному конусу C ⊂ Rn . Пусть существует оператор A ∈ A0 такой, что
A(Stvi ) = Stvi+1 . Тогда A = A ∈ SLn (Z) и A(C ) = C . Кроме того, если
собственные значения оператора A попарно различны, то A – гиперболиче-
ский оператор.
Замечание 1. Из доказательства теоремы 3 видно, что если оператор, осу-
ществляющий сдвиг цепочки, линеен, то можно ограничиться требованием вы-
полнения для него свойства (P2), а выполнения свойства (P1) не требовать.
Если обозначить через A1 множество таких операторов из A0 , что линейная
компонента каждого из них имеет попарно различные собственные значения,
то получим еще одну теорему, также являющуюся следствием теорем 2 и 3.
Теорема 4. Пусть парус Π соответствует решетке Zn и иррациональ-
ному конусу C ⊂ Rn . Тогда следующие два условия эквивалентны:
1) существует гиперболический оператор A ∈ SLn (Z) такой, что справед-
ливо соотношение A(C ) = C ;
2) существует неограниченная в обе стороны (как подмножество в Rn )
A1 -периодическая цепочка {vi }i∈Z вершин паруса Π.
Отметим, что импликация 1)⇒2) в теореме 4 в силу гиперболичности опе-
ратора A следует, помимо прочего, из теоремы Дирихле об алгебраических
единицах (см. [9] и [10]). Отметим также, что в теореме 1 нельзя оставить A0
и при этом добавить требование гиперболичности в п. 1). Для четных n легко
придумать такой оператор A ∈ SLn (Z), для которого существует иррациональ-
ный инвариантный (симплициальный) конус, но при этом его характеристиче-
ский многочлен равен, например, квадрату неприводимого над Q многочлена
с целыми коэффициентами и положительными вещественными корнями. Так,
при n = 4 можно взять оператор с матрицей
 
2 1 0 0
1 1 0 0
A=0 0 2 1 .


0 0 1 1

Этот оператор имеет две инвариантные иррациональные двумерные плоскости,

в которых можно выбрать по два вектора так, чтобы они задавали иррацио-
нальный конус C , инвариантный для оператора A, но не инвариантный ни для
какого гиперболического целочисленного оператора.
С другой стороны, нельзя добавить требование гиперболичности в условии 1)
теоремы 1, заменив лишь свойство (P2) на свойство операторов иметь попарно
различные собственные значения. Это видно из следующего примера, любезно
предоставленного Е. И. Коркиной (Павловской).
Пример. Рассмотрим квадратное уравнение λ2 − pλ + 1 = 0 с целым
p > 3. Оно имеет два различных действительных иррациональных положи-
тельных корня λ1 и λ2 . Заменив λ на µ3 , получим уравнение 6-й степени:
 О МНОГОМЕРНОМ ОБОБЩЕНИИ ТЕОРЕМЫ ЛАГРАНЖА ДЛЯ ЦЕПНЫХ ДРОБЕЙ 55

µ6 − pµ3 + 1 = 0. Рассмотрим расширение поля Q корнем этого уравнения.

Это будет 6-мерное векторное пространство M над Q с базисом 1, µ, . . . , µ5 .
Рассмотрим SL6 (Z)-оператор A, действующий на M умножением на µ. Вло-
жим естественным образом M в R6 и расширим действие оператора A с образа
пространства M на всё R6 . √ √ √ √
√ Оператор √ A имеет шесть собственных значений: 3 λ1 , ζ 3 λ1 , ζ 2 3 λ1 и 3 λ2 ,
ζ 3 λ2 , ζ 2 3 λ2 , где ζ = e2πi/3 . Для каждого i = 1, 2 обозначим через Vi трехмер-
6
ное A-инвариантное подпространство √ √ √пространства R , соответствующее соб-
3 3 2 3
ственным значениям λi , ζ λi , ζ λi , и рассмотрим произвольный вектор
ω i ∈ Vi , не лежащий ни в каком одно- или двумерном инвариантном подпро-
странстве оператора A. Положим ω 0i = ω i , ω 1i = Aω i , ω 2i = A2 ω i . Векторы ω 01 ,
ω 11 , ω 21 , ω 02 , ω 12 , ω 22 , очевидно, линейно независимы. Рассмотрим натянутый на
них конус C . Его трехмерные грани, задаваемые первыми тремя и последними
тремя векторами, инвариантны относительно действия оператора A, поскольку
Aω 2i = A3 ω 0i = λi ω 0i и λi > 0. Стало быть, и конус C , и парус, ему соответ-
ствующий, инвариантны относительно действия оператора A, однако оператор
A не гиперболический. Более того, мы можем выбрать векторы ω 1 и ω 2 таким
образом, чтобы они задавали трансцендентные направления, и тогда конус C
не будет инвариантным ни для какого гиперболического целочисленного опе-
ратора.
Для n = 3 можно доказать несколько более сильное утверждение, чем теоре-
мы 1 и 4, а именно можно A0 заменить на Aff 3 (Z) и при этом оставить условие
гиперболичности. При этом ясно, что для n = 3 и A = Aff 3 (Z) технические
условия определения 3 автоматически выполняются и Aff 3 (Z)-периодичность
цепочки вершин означает в точности периодичность Aff 3 (Z)-раскраски образов
этой цепочки в Gn (Π) и в Gn+1 (Π).
Теорема 5. Пусть парус Π соответствует решетке Z3 и иррационально-
му конусу C ⊂ R3 . Тогда следующие два условия эквивалентны:
1) существует гиперболический оператор A ∈ SL3 (Z) такой, что справед-
ливо соотношение A(C ) = C ;
2) существует неограниченная в обе стороны (как подмножество в R3 )
Aff 3 (Z)-периодическая цепочка {vi }i∈Z вершин паруса Π.

§ 3. Доказательство теоремы 2

Обозначим через {Vi }i∈Z и {Wi }i∈Z образы цепочки {vi }i∈Z в Gn (Π) и
Gn+1 (Π) соответственно. Будем считать, что V0 \ V1 = W0 \ W1 = {v0 }. Пусть
[ [
Vei = Stv , W
fi = Stv .
v∈Vi v∈Wi

Положив t равным наименьшему общему кратному периодов раскрасок гра-

фов Gn (Π) и Gn+1 (Π), получаем, что существуют операторы A, B, C ∈ A такие,
что
A(Ve0 ) = Vet , B(Ve1 ) = Vet+1 , C(W
f0 ) = W
ft .
Предположим, что оператор A меняет порядок вершин, т. е. A(vi ) = vt+n−1−i
для всех i = 0, 1, . . . , n − 1. Тогда либо оператор A′ , такой что A′ (Vet ) = Ve2t ,
56 О. Н. ГЕРМАН, Е. Л. ЛАКШТАНОВ

либо оператор A′ A (для которого, очевидно, A′ A(Ve0 ) = Ve2t ) сохраняет поря-

док вершин. Поэтому мы можем считать, что оператор A сохраняет порядок
вершин, удвоив, если необходимо, t или сдвинув все индексы на t.
Предположим теперь, что оператор B меняет порядок вершин. Тогда, как
легко видеть, либо оператор C, либо оператор BC−1 AC−1 B переводит Ve1
в Vet+1 , не меняя при этом порядок вершин. Поэтому мы можем считать, что
оператор B также сохраняет порядок вершин.
В предположении, что операторы A и B сохраняют порядок вершин, рас-
смотрим оператор B−1 A. Очевидно, B−1 A(vi ) = vi и B−1 A(Stvi ) = Stvi для
каждого i = 1, 2, . . . , n − 1. Обозначим через r0 сумму векторов, задающих
ребра звезды Stv1 , и положим ri = vi+1 − vi для i = 1, 2, . . . , n − 2. Ясно,
что B−1 A(v1 + ri ) = v1 + ri для каждого i = 0, 1, . . . , n − 2. Из условия
следует, что векторы r1 , . . . , rn−2 линейно независимы и параллельны неко-
торой (n − 1)-мерной грани, инцидентной вершине v1 . Стало быть, векторы
r0 , r1 , . . . , rn−2 также линейно независимы. Следовательно, аффинная оболоч-
ка точек v1 , v1 + r0 , v1 + r1 , . . . , v1 + rn−2 является (n − 1)-мерной инвариант-
ной плоскостью оператора B−1 A. Эта плоскость делит ребра звезды Stv1 на
два инвариантных подмножества, так как B−1 A сохраняет ориентацию. Обо-
значим через r′0 и r′′0 суммы векторов, задающих ребра этих двух подмно-
жеств. Тогда точки v1 + r′0 и v1 + r′′0 остаются на месте при действии опе-
ратора B−1 A и хотя бы одна из них не лежит в аффинной оболочке точек
v1 , v1 + r0 , v1 + r1 , . . . , v1 + rn−2 . Получаем n + 1 точек, не лежащих ни в какой
n-мерной плоскости и инвариантных относительно действия оператора B−1 A.
Следовательно, B−1 A – тождественный оператор, и B = A.
Продолжая это рассуждение в обе S стороны цепочки {vi }i∈Z , получаем, что
оператор A сдвигает цепочку звезд i∈Z Stvi вдоль себя.

§ 4. Теорема о звезде и целочисленном расстоянии

Настоящий параграф посвящен формулировке и доказательству теоремы 6,

утверждающей, что точка решетки Zn , из которой “виден” некоторый выпук-
лый целочисленный многогранник, не может находиться слишком “далеко” от
него, причем оценка сверху “расстояния” полностью определяется комбинатор-
но-целочисленной структурой реберных звезд многогранника. Мы воспользу-
емся этой теоремой для доказательства теоремы 3, а также в конце работы –
для переформулировки гипотезы Оппенгейма.
Будем через conv(M ) и aff(M ) обозначать соответственно выпуклую и аф-
финную оболочки множества M ⊂ Rn .
Определение 5. Многогранник (обобщенный), все вершины которого при-
надлежат решетке Zn , называется целочисленным.
Определение 6. Пусть в вершине v целочисленного выпуклого n-мерного
(обобщенного) многогранника P сходятся m ребер. Обозначим через r1 , . . . , rm
примитивные векторы решетки Zn , параллельные этим ребрам. Тогда детер-
минантом реберной звезды Stv вершины v будем называть величину
X
det Stv = | det(vi1 , . . . , vin )|.
16i1 <···<in 6m
 О МНОГОМЕРНОМ ОБОБЩЕНИИ ТЕОРЕМЫ ЛАГРАНЖА ДЛЯ ЦЕПНЫХ ДРОБЕЙ 57

Иными словами, величину det Stv можно определять как объем суммы Мин-
ковского отрезков [0, r1 ], . . . , [0, rm ].
Определение 7. Пусть F ⊂ Rn – (n − 1)-мерный целочисленный много-
гранник и a ∈ Zn . Индекс минимальной (по включению) подрешетки Zn , со-
держащей множество Zn ∩ aff(F ) − a, называется целочисленным расстоянием
от F до a и обозначается ρint (F, a).
Теорема 6. Пусть P ⊂ Rn – n-мерный целочисленный выпуклый много-
гранник, не содержащий 0. Пусть v – вершина P , содержащаяся во внутрен-
ности множества conv(P ∪ {0}), пусть v инцидентна m ребрам P , и пусть
F – (n − 1)-мерная грань P , инцидентная вершине v. Пусть также

Zn ∩ conv(P ∪ {0}) \ P = {0}.

Тогда
ρint (F, 0) < (nm)4n! det Stv .

На самом деле в доказательстве теоремы 3 мы воспользуемся не самой тео-

ремой 6, а ее следствием.
Следствие 1. Пусть v – вершина паруса Π и F – (n − 1)-мерная грань Π,
инцидентная вершине v. Тогда

ρint (F, 0) < (n det Stv )8n! .

Отметим еще одно следствие теоремы 6, полезное для явного описания гра-
ней полиэдров Клейна, хотя в настоящей работе мы им пользоваться не будем.
Следствие 2. Пусть P ⊂ ∆ ⊂ Rn – n-мерный целочисленный выпук-
лый многогранник, содержащийся в произвольном многограннике ∆ (напри-
мер, симплексе), и
k
\
P = {x ∈ Rn | ⟨x, fi ⟩ > Di },
i=1

где fi – примитивные векторы решетки Zn . Пусть в каждой вершине P

сходится не более чем m ребер, пусть D – константа, ограничивающая де-
терминанты всех реберных звезд P , и
k
\
Zn ∩ x ∈ Rn | ⟨x, fi ⟩ > Di − D(nm)4n! = Zn ∩ P.

i=1

Тогда Zn ∩ ∆ = Zn ∩ P .
Для доказательства теоремы 6 нам понадобится несколько вспомогательных
утверждений.
Лемма 1. Пусть n – натуральное и V , A, B – действительные числа та-
кие, что V > 0, A > V /n, 0 < B < 1. Пусть f (x) = A(B − x)n−1 (1 − x) − x.
Тогда f (x) > 0 при любом x таком, что 0 6 x 6 B n−1 n−1 (1 + V −1 )−1 .
58 О. Н. ГЕРМАН, Е. Л. ЛАКШТАНОВ

Доказательство. Корень уравнения касательной к f (x) в нуле равен

AB n−1 B n−1
>
1 + AB n−2 (n − 1 + B) n(1 + V −1 )

и дает оценку снизу минимального положительного корня многочлена f (x).

Лемма 2. Пусть Λ – n-мерная решетка в Rn с определителем, равным 1.
Пусть ∆ ⊂ Rn – n-мерный симплекс с вершинами v0 ∈ Rn и v1 , . . . , vn ∈ QΛ.
Пусть точка v ∈ Λ лежит в его внутренности. Обозначим через ∆0 сим-
плекс с вершинами v, v1 , . . . , vn . Пусть константа V такова, что отноше-
ние k-мерного объема любой k-мерной грани симплекса ∆0 к определителю
k-мерной (аффинной) решетки, состоящей из точек решетки Λ, содержащих-
ся в аффинной оболочке этой грани, не меньше чем V при любом k ∈ {1, . . . , n}.
Пусть также
   /
voln (∆0 )
Zn ∩ v0 + 1 − (∆ − v0 ) {v, v0 } = ∅
voln (∆)

(т. е. гиперплоскость, проходящая через точку v и параллельная плоскости

aff(v1 , . . . , vn ), отсекает от ∆ симплекс, в котором нет точек решетки, за
исключением v и, быть может, v0 ). Тогда
n
Y n! (n−1)!
voln (∆) 6 voln (∆0 ) k k! (1 + V −1 ) (k−1)! .
k=1

Доказательство. Положим
n
Y n! (n−1)!
cn (V ) = k k! (1 + V −1 ) (k−1)!
k=1

и применим индукцию по n. При n = 1 утверждение леммы очевидно. Пусть

в размерности n − 1 утверждение леммы выполнено. Докажем его для размер-
ности n. При этом ввиду аффинности задачи достаточно доказать утверждение
леммы для случая, когда векторы v1 − v0 , . . . , vn − v0 попарно ортогональны
и равны по абсолютной величине некоторому числу l.
Не ограничивая общности, считаем, что среди точек v1 , . . . , vn точка vn яв-
ляется самой далекой от v. Это значит, что среди граней conv({v0 , v1 , . . . , vn }\
{vi }) грань conv(v0 , v1 , . . . , vn−1 ) является ближайшей к v. Пусть u ∈
conv(v0 , v1 , . . . , vn−1 ) – ближайшая к v точка такая, что вектор u − v паралле-
лен плоскости π = aff(v1 , . . . , vn ). Тогда во множестве

Ω = conv({v0 } ∪ (π ∩ B|u−v| (v))),

где B|u−v| (v) – шар радиуса |u − v| с центром в v, нет точек решетки Λ, за

исключением v и, быть может, v0 . Следовательно, объем Ω по теореме Мин-
ковского о выпуклом теле обязан быть не больше чем 2n−1 , т. е.

|u − v|n−1
 
voln (∆0 ) l vol (∆ )
1− √ 6 2n−1 n 0 . (1)
n voln (∆) n V
 О МНОГОМЕРНОМ ОБОБЩЕНИИ ТЕОРЕМЫ ЛАГРАНЖА ДЛЯ ЦЕПНЫХ ДРОБЕЙ 59

Положим

∆′0 = conv(v, v1 , . . . , vn−1 ),

∆′ = aff(∆′0 ) ∩ ∆.

Вершинами симплекса ∆′ будут точки v1 , . . . , vn−1 и некоторая точка v0′ из

отрезка [v0 , vn ]. По предположению индукции имеем voln−1 (∆′ ) 6 cn−1 (V ) ×
voln−1 (∆′0 ), откуда, пользуясь элементарными геометрическими соображения-
ми, получаем
√
 
l voln (∆0 ) l
|u − v| > n c−1
n−1 (V ) √ − √ . (2)
n−1 voln (∆) n − 1

Комбинируя неравенства (1), (2) и тот факт, что voln (∆) = ln /n!, получаем
√ n−1 
V (n − 1)!( n − 1)n−1 −1
 
voln (∆0 ) voln (∆0 ) voln (∆0 )
√ √ c n−1 (V ) − 1 − − 6 0.
2n−1 n( n − 1)n−1 voln (∆) voln (∆) voln (∆)

Стало быть, в силу леммы 1 имеем

voln (∆0 ) c1−n

n−1 (V )
> = c−1
n (V ).
voln (∆) n(1 + V −1 )

Лемма доказана.
Будем обозначать через int P и ext P соответственно относительную внут-
ренность и множество вершин многогранника P . Если M ⊂ Rn – конечное
множество и каждой точке x ∈ M соответствует положительная масса νx , то
для любого подмножества M ′ ⊆ M мощностью ♯(M ′ ) будем обозначать че-
рез c(M ′ ) точку ( x∈M ′ νx x)/♯(M ′ ), т. е. центр масс точек множества M ′ .
P

Лемма 3. Пусть P – произвольный (n − 1)-мерный многогранник с произ-

вольными положительными массами в вершинах. Пусть T – произвольное
разбиение (относительной) границы P на (замкнутые) симплексы с вершина-
ми из ext P . Тогда
[
int P = int(conv(∆ ∪ {c(ext P \ ext ∆)})).
Δ∈T

Доказательство. Пусть x ∈ int P . Тогда, очевидно, существует та-

кой симплекс ∆ ∈ T, что x ∈ conv(∆ ∪ {c(P )}). Остается заметить, что
множество conv(∆ ∪ {c(P )}) ∩ int P содержится во внутренности множества
conv(∆ ∪ {c(ext P \ ext ∆)}).
Доказательство теоремы 6. Пусть r1 , . . . , rm – примитивные векторы
решетки Zn , параллельные ребрам, инцидентным вершине v. Возьмем произ-
вольные положительные числа k1 , . . . , km такие, что точки r′i = ki ri лежат на
одной гиперплоскости, и положим P = conv(r′1 , . . . , r′m ). Рассмотрим такое λ,
что λv ∈ P .
Припишем точкам ri′ массы ki−1 . Тогда по лемме 3 мы можем перенуме-
ровать векторы r1 , . . . , rm (перенумеровывая соответственно числа k1 , . . . , km
60 О. Н. ГЕРМАН, Е. Л. ЛАКШТАНОВ

и векторы r′1 , . . . , r′m ) таким образом, чтобы выполнялись равенства λv =

λ′0 r′0 + · · · + λ′n−1 r′n−1 с r′0 = (rn + · · · + rm )/(m − n + 1) и строго положительны-
ми λ′i . Положив r0 = r′0 , λ0 = λ′0 и λi = ki λ′i для i = 1, . . . , n − 1, получаем, что
λv = λ0 r0 + · · · + λn−1 rn−1 со строго положительными λi . Следовательно, v
содержится во внутренности симплекса ∆ с вершинами 0, v + r0 , . . . , v + rn−1 .
Из определения r0 следует, что отношение k-мерного объема любой k-мерной
грани симплекса ∆0 = conv(v, v + r0 , . . . , v + rn−1 ) к определителю k-мерной
решетки точек из Zn , содержащихся в аффинной оболочке этой грани, не мень-
ше чем n−1 (m − n + 1)−1 при любом k ∈ {1, . . . , n}. Кроме того, легко ви-
деть, что гиперплоскость, проходящая через точку v и параллельная плоскости
aff(v+r0 , . . . , v+rn−1 ), является опорной для многогранника P и, следователь-
но, отсекает от ∆ симплекс, в котором нет целых точек, кроме 0 и v. Стало
быть, условие леммы 2 для симплексов ∆ и ∆0 выполнено, откуда следует, что
имеют место неравенства
n
Y n! (n−1)!
voln (∆) 6 voln (∆0 ) k k! (mn − n2 + n + 1) (k−1)!
k=1
n
n!
Y
< voln (∆0 ) (nmk) k! < (nm)4n! voln (∆0 ).
k=1

Следовательно,

ρint (F, 0) 6 n voln (conv(F ∪ {0})) < n voln (∆) < (nm)4n! det Stv .

Теорема доказана.

§ 5. Доказательство теоремы 3

Для доказательства теоремы 3 нам также понадобится следующий факт,

который ввиду его простоты мы оставим без доказательства.
Лемма 4. Пусть A ∈ GLn (R) – n-мерная жорданова клетка с собствен-
ным значением λ. Пусть e ∈ Rn – вектор, i-я координата которого равна 1, а
все остальные – нулю. Пусть h ∈ Rn – вектор с ненулевыми координатами.
Тогда ⟨Am h, e⟩ ≍ λm mn−i при m → +∞.
Доказательство теоремы 3. В силу условия (P1) оператор E−A обратим.
Положим b = (E − A)−1 a. Тогда b ∈ Zn и A(b + x) = b + A(x), т. е. мы можем
считать, что вместо аффинного оператора A действует линейный оператор A,
но вершина конуса C находится в точке −b.
Если F – произвольная (n − 1)-мерная грань паруса Π, инцидентная v0 ,
то в силу следствия 1 целочисленное расстояние от Am (F ) до −b при любом
m ∈ Z ограничено некоторой константой, не зависящей от m. Следовательно,
если ⟨hF , · ⟩ – такая линейная форма, что aff(F ) = {x ∈ Rn | ⟨hF , x⟩ = 1}, то

max |⟨(A∗ )m hF , −b⟩| < ∞. (3)

m∈Z

Рассмотрим жорданов базис E = {e1 , . . . , en } оператора A и линейную фор-

му ⟨h, · ⟩ такую, что ни одна из компонент вектора h в базисе E ∗ , двойственном
 О МНОГОМЕРНОМ ОБОБЩЕНИИ ТЕОРЕМЫ ЛАГРАНЖА ДЛЯ ЦЕПНЫХ ДРОБЕЙ 61

базису E , не равна нулю, и такую, что плоскость πh = {x ∈ Rn | ⟨h, x⟩ = 1}

пересекает ребра звезды Stv0 во внутренних точках. Из (3) следует, что

max |⟨(A∗ )m h, −b⟩| < ∞.

m∈Z

Отсюда, применяя лемму 4 для m → +∞ и m → −∞, получаем

|A(b)| = |b|. (4)

С другой стороны, из того, что плоскость πh пересекает ребра звезды Stv0

во внутренних точках, следует, что

inf voln (conv(−b, C ∩ Am (πh ))) > 0. (5)

m∈Z

Обозначим через ω 1 , . . . , ω n единичные векторы, задающие направления ре-

бер конуса C . Тогда

Am (πh ∩ aff(−b, −b + ω i )) = −b + λω i | ⟨(A∗ )−m h, −b + λω i ⟩ = 1


1 + ⟨(A∗ )−m h, b⟩
 
= ωi . (6)
⟨(A∗ )−m h, ω i ⟩
Значит, неравенство (5) равносильно неравенству
n
Y 1 + ⟨(A∗ )−m h, b⟩
inf > 0,
m∈Z
i=1
⟨(A∗ )m h, ω i ⟩

из которого в силу (4) следует, что

n
Y
sup ⟨(A∗ )m h, ω i ⟩ < ∞. (7)
m∈Z i=1

Будем считать, что ei соответствует собственному значению λi и что

|λ1 | 6 · · · 6 |λn |. Обозначим через µ1 < · · · < µk , k 6 n, набор модулей
этих собственных значений и для каждого i ∈ {1, . . . , k} обозначим через Mi
собственное подпространство оператора A, соответствующее µi . Получаем гра-
дуировку: Rn = M1 ⊕ · · · ⊕ Mk .
Докажем следующие два утверждения:
(i) Mi содержит ровно dim Mi ребер конуса C ;
(ii) матрица оператора A не имеет нетривиальных жордановых клеток.
Для этого положим
i
M k
M
Li = Mj , L′i = Mj .
j=1 j=i

Получаем фильтрации Rn = Lk ⊃ Lk−1 ⊃ · · · ⊃ L1 = M1 и Rn = L′1 ⊃

L′2 ⊃ · · · ⊃ L′k = Mk . Положим также ri = min{r : ω i ∈ Lr }. Тогда по лемме 4
для каждого i ∈ {1, . . . , n} существует такое li ∈ Z, li > 0, что

⟨(A∗ )m h, ω i ⟩ ≍ µm li
ri m , m → +∞. (8)
62 О. Н. ГЕРМАН, Е. Л. ЛАКШТАНОВ

Стало быть,
n n
Y n
 Y  n
Y n
m  Y 
Y µri
⟨(A∗ )m h, ω i ⟩ ≍ µm
ri mli = mli , m → +∞.
i=1 i=1 i=1 i=1
|λi| i=1
(9)
Не ограничивая общности, можно считать, что r1 6 r2 6 · · · 6 rn . Тогда
i 6 dim Lri и, следовательно, µri > |λi |, причем равенство достигается лишь
в том случае, когда i > dim Lri −1 . Таким образом, из (7) и (9) следует, что для
каждого i ∈ {1, . . . , n}
dim Lri −1 < i 6 dim Lri .
Отсюда получаем, что для любого j ∈ {1, . . . , k} и любого i 6 dim Lj

dim Lri −1 < i 6 dim Lj ,

т. е. ri 6 j. Следовательно, если i 6 dim Lj , то ω i ∈ Lj . Это значит, что Lj

содержит ровно dim Lj векторов ω i . Значит, если A∗ имеет нетривиальную
жорданову клетку, то найдется такое i, что в (8) будет li > 0, что в силу (9)
противоречит (7). Значит, нетривиальных жордановых клеток ни A, ни A∗ не
имеют, и утверждение (ii) доказано.
Положим теперь ri′ = min{r : ω i ∈ L′r }. Тогда

⟨(A∗ )−m h, ω i ⟩ ≍ µ−m

r′ , m → +∞.
i

Переупорядочив, если нужно, ω i , будем считать, что r1′ 6 r2′ 6 · · · 6 rn′ . Рас-
суждая так же, как в случае с Lj , получим, что каждое L′j содержит ровно
dim L′j векторов ω i . Но Lj ∩ L′j = Mj и dim Lj + dim L′j = n + dim Mj , стало
быть, Mj содержит ровно dim Mj векторов ω i . Утверждение (i) доказано.
Если b ̸= 0, то в силу свойств (P1), (P2) и соотношения (4) точка b содержит-
ся в некотором Mj0 , соответствующем ровно двум комплексно-сопряженным
собственным значениям, равным по модулю 1. При этом из (i) следует, что Mj0
содержит также некоторые ω i1 и ω i2 , т. е. Mj0 содержит некоторую двумерную
грань F конуса C . Но поскольку ⟨(A∗ )m h, v−m ⟩ = ⟨h, v0 ⟩ для всех m ∈ Z,
то либо ⟨(A∗ )m h, x⟩ > ⟨h, v0 ⟩ для всех x ∈ K, m ∈ Z и i ∈ {1, . . . , n}, либо
⟨(A∗ )m h, x⟩ 6 ⟨h, v0 ⟩ для всех x ∈ K, m ∈ Z и i ∈ {1, . . . , n}. Следовательно,
все величины ⟨(A∗ )m h, ω i ⟩ при m ∈ Z и i ∈ {1, . . . , n} должны иметь одинако-
вые знаки. Но это не выполняется, поскольку ограничение оператора A на Mj0
есть оператор вращения, отличный от единичного. Следовательно, b = 0.
В силу утверждения (ii) и свойства (P2) каждому пространству Mj соответ-
ствует либо чисто вещественное λ, и тогда все векторы, содержащиеся в Mj ,
суть собственные, либо пара комплексно-сопряженных λ и λ. Если λ не явля-
ется положительным вещественным числом, то, рассуждая так же, как и в слу-
чае с Mj0 , приходим к противоречию с тем, что все величины ⟨(A∗ )m h, ω i ⟩ при
m ∈ Z и i ∈ {1, . . . , n} имеют одинаковые знаки. Стало быть, все собственные
значения оператора A суть положительные вещественные числа, а векторы ω i
суть собственные, т. е. A(C ) = C . Если характеристический многочлен опера-
тора A приводим, то оператор A имеет нетривиальное инвариантное целочис-
ленное подпространство. В случае, когда собственные значения оператора A
 О МНОГОМЕРНОМ ОБОБЩЕНИИ ТЕОРЕМЫ ЛАГРАНЖА ДЛЯ ЦЕПНЫХ ДРОБЕЙ 63

попарно различны, это противоречит иррациональности конуса C . Значит,

если собственные значения оператора A попарно различны, то A – гиперболи-
ческий оператор.

§ 6. Трехмерный случай

В настоящем параграфе поясняется, как из теорем 2 и 3 в случае n = 3

получить теорему 5.
Импликация 1)⇒2) в теореме 5 так же, как и в теоремах 1 и 4, очевидна.
Пусть выполнено условие 2) теоремы 5. Тогда по теореме 2 существу-
ет оператор A ∈ Aff n (Z), осуществляющий нетривиальный сдвиг множества
S
i∈Z Stvi вдоль себя. Для доказательства выполнения условия 1) достаточ-
но показать, что A ∈ A0 и что собственные значения линейной составляющей
оператора A попарно различны, а затем применить теорему 3.
Пусть A : x 7→ A(x) + a, A ∈ SLn (Z), a ∈ Zn , и A либо не удовлетворяет
свойству (P1), либо не удовлетворяет свойству (P2), либо имеет два одинако-
вых собственных значения. Тогда, как легко видеть, все собственные значения
оператора A должны быть равны по модулю 1, т. е. в жордановом базисе мат-
рица оператора A записывается одним из следующих способов:
   
1 0 0 1 0 0
1) A = 0 1 0 ; 5) A = 0 λ 0 ;
0 0 1 0 0 λ−1
   
1 0 0 1 0 0
2) A = 0 1 1 ; 6) A = 0 cos ϕ sin ϕ  ;
0 0 1 0 − sin ϕ cos ϕ
   
1 1 0 −1 0 0
3) A = 0 1 1 ; 7) A =  0 cos ϕ sin ϕ  .
0 0 1 0 − sin ϕ cos ϕ
 
1 0 0
4) A = 0 −1 1  ;
0 0 −1

Очевидно, что vm = Am (v0 ) = Am (v0 ) + (Am−1 + · · · + A + E)a. Пользуясь

этим соотношением, для каждого случая несложно выписать асимптотику ко-
ординат точек vm и прийти к противоречию либо с иррациональностью конуса
C , либо с тем фактом, что точки vi лежат во внутренности конуса C и при
i → ±∞ стремятся к его границе. Единственная сложность данного рассужде-
ния – перебор, поэтому это рассуждение мы здесь приводить не будем.

§ 7. Связь с гипотезами Оппенгейма и Литтлвуда

Следующие две гипотезы являются классическими.

Гипотеза Литтлвуда. Если α, β ∈ R, то inf m∈N m∥mα∥ ∥mβ∥ = 0, где
через ∥ · ∥ обозначено расстояние до ближайшего целого.
64 О. Н. ГЕРМАН, Е. Л. ЛАКШТАНОВ

Гипотеза Оппенгейма. Если n > 3 и ⟨L1 , · ⟩, . . . , ⟨Ln , · ⟩ – n линейно неза-

висимых линейных форм на Rn таких, что
inf |⟨L1 , x⟩ . . . ⟨Ln , x⟩| > 0,
x∈Zn \{0}

то решетка (⟨L1 , x⟩, . . . , ⟨Ln , x⟩) | x ∈ Zn алгебраическая (т. е. подобна по
модулю действия диагональных (n × n)-матриц решетке полного модуля чи-
сто вещественного алгебраического расширения Q степени n).
Известно (см. [11]), что из трехмерной гипотезы Оппенгейма следует гипо-
теза Литтлвуда. В работах [12] и [13] была предпринята попытка доказать
гипотезу Оппенгейма, однако в доказательстве имеется весьма существенный
пробел. По этой причине обе гипотезы остаются недоказанными.
Результаты, полученные в настоящей работе, вместе с результатами из ра-
бот [14] и [15] позволяют переформулировать гипотезу Оппенгейма в терминах
полиэдров Клейна. В работах [14] и [15] наряду с понятием детерминанта ребер-
ной звезды (см. определение 6) рассматривается понятие детерминанта грани.
Определение 8. Пусть F – произвольная (n − 1)-мерная грань паруса Π ⊂
n
R , и пусть v1 , . . . , vm – вершины F . Тогда детерминантом грани F будем
называть величину
X
det F = | det(vi1 , . . . , vin )| .
16i1 <···<in 6m

В тех же работах доказывается следующая

Теорема 7. Пусть ⟨L1 , · ⟩, . . . , ⟨Ln , · ⟩ – n линейно независимых иррацио-
нальных линейных форм на Rn и
C = x ∈ Rn | ⟨Li , x⟩ > 0, i = 1, . . . , n .


Тогда следующие два условия эквивалентны:

1) inf x∈Zn \{0} |⟨L1 , x⟩ . . . ⟨Ln , x⟩| > 0;
2) детерминанты граней и детерминанты реберных звезд вершин паруса Π,
соответствующего решетке Zn и конусу C , равномерно ограничены.
В силу следствия 1 условие 2) теоремы 7 равносильно тому, что парус Π
имеет не более чем конечное число различных аффинных типов полных звезд
вершин (полной звездой вершины называется объединение всех граней, инци-
дентных этой вершине).
Пользуясь теоремой 4, получаем следующую переформулировку гипотезы
Оппенгейма.
Переформулировка гипотезы Оппенгейма. Пусть ⟨L1 , · ⟩, . . . , ⟨Ln , · ⟩ –
n линейно независимых иррациональных линейных форм на Rn , n > 3, и
C = x ∈ Rn | ⟨Li , x⟩ > 0, i = 1, . . . , n .


Пусть парус Π, соответствующий решетке Zn и конусу C , имеет не бо-

лее чем конечное число различных аффинных типов полных звезд вершин.
Тогда существует неограниченная в обе стороны (как подмножество в Rn )
A1 -периодическая цепочка {vi }i∈Z вершин паруса Π.
 О МНОГОМЕРНОМ ОБОБЩЕНИИ ТЕОРЕМЫ ЛАГРАНЖА ДЛЯ ЦЕПНЫХ ДРОБЕЙ 65

Напомним, что для n = 3 (а это самый интересный случай, поскольку из

трехмерной гипотезы Оппенгейма следует гипотеза Литтлвуда) множество A1
можно заменить на Aff 3 (Z). Это позволяет переформулировать гипотезу Оп-
пенгейма в случае n = 3 следующим образом.
Сначала определим граф G (Π): в качестве вершин возьмем множество пар
(F, v), где F – грань паруса Π и v – вершина F ; две различные вершины
(F, v) и (G, w) графа G (Π) соединяем ребром, если, во-первых, отрезок [v, w]
является общим ребром граней F и G и, во-вторых, обход грани F от v к w
является положительным (относительно внешней нормали к полиэдру Клейна).
Очевидно, что граф G (Π) планарный и в любой его вершине сходятся ровно
три ребра.
Теперь определим раскраску графа G (Π). Окрашиваются, в отличие от рас-
сматриваемых выше раскрасок графов Gk (Π), и вершины, и ребра. Пусть (F, v)
и (G, w) – произвольные вершины графа G (Π). Пусть a и b – соседние с v вер-
шины грани F , а c и d – соседние с w вершины грани G. Пусть существует опе-
ратор из Aff 3 (Z), отображающий объединение граней паруса Π, инцидентных
хотя бы одной из вершин a, v и b, на объединение граней паруса Π, инцидент-
ных хотя бы одной из вершин c, w и d. Тогда (F, v) и (G, w) окрашиваем в один
и тот же цвет. Аналогично поступаем и с ребрами. Пусть ((F1 , v1 ), (F2 , v2 )) и
((G1 , w1 ), (G2 , w2 )) – произвольные ребра графа G (Π). Пусть a1 – соседняя
с v1 и отличная от v2 вершина грани F1 , a2 – соседняя с v2 и отличная от v1
вершина грани F2 , b1 – соседняя с w1 и отличная от w2 вершина грани G1 ,
b2 – соседняя с w2 и отличная от w1 вершина грани G2 . Пусть существует
оператор из Aff 3 (Z), отображающий объединение граней паруса Π, инцидент-
ных хотя бы одной из вершин a1 , v1 , v2 , a2 , на объединение граней паруса Π,
инцидентных хотя бы одной из вершин b1 , w1 , w2 , b2 . Тогда ((F1 , v1 ), (F2 , v2 ))
и ((G1 , w1 ), (G2 , w2 )) окрашиваем в один и тот же цвет.
Из теоремы 5 следует, что существование цепочки вершин паруса Π, об-
разы которой в G2 (Π) и G3 (Π) имеют периодичные Aff 3 (Z)-раскраски, равно-
сильно существованию цепочки вершин графа G (Π), имеющей периодическую
“вершинно-реберную” раскраску. Поэтому для n = 3 гипотезу Оппенгейма
можно переформулировать следующим образом.
Переформулировка трехмерной гипотезы Оппенгейма. Пусть за-
даны линейно независимые иррациональные линейные формы ⟨L1 , · ⟩, ⟨L2 , · ⟩,
⟨L3 , · ⟩ на пространстве R3 и

C = x ∈ Rn | ⟨Li , x⟩ > 0, i = 1, 2, 3 .


Пусть раскраска графа G (Π) паруса Π, соответствующего решетке Z3 и кону-

су C , имеет лишь конечное число цветов. Тогда существует неограниченная
в обе стороны (в естественной метрике графа G (Π)) периодически раскрашен-
ная цепочка вершин графа G (Π).

Список литературы

1. P. Erdős, P. M. Gruber, J. Hammer, Lattice points, Pitman Monogr. Surveys Pure

Appl. Math., 39, Longman Scientific & Technical, Harlow; Wiley, New York, 1989.

3 Серия математическая, № 1
66 О. Н. ГЕРМАН, Е. Л. ЛАКШТАНОВ

2. Е. И. Коркина, “Двумерные цепные дроби. Самые простые примеры”, Тр. МИАН,

209, Наука, М., 1995, 143–166; англ. пер.: E. I. Korkina, “Two-dimensional continued
fractions. The simplest examples”, Proc. Steklov Inst. Math., 209 (1995), 124–144.
3. J.-O. Moussafir, “Convex hulls of integral points”, Теория представлений, динами-
ческие системы, комбинаторные и алгоритмические методы, 5, Записки науч.
сем. ПОМИ, 266, ред. А. М. Вершик, ПОМИ, СПб., 2000, 188–217; J.-O. Moussafir,
“Convex hulls of integral points”, J. Math. Sci. (N. Y.), 113:5 (2003), 647–665.
4. G. Lachaud, “Polyèdre d’Arnol’d et voile d’un c^ one simplicial: analogues du théorème
de Lagrange [The Arnold polyhedron and the sail of a simplicial cone: analogues of
the Lagrange theorem]”, C. R. Acad. Sci. Paris Sér. I Math., 317:8 (1993), 711–716.
5. E. Korkina, “La périodecité des fractions continues multidimensionnelles [The period-
icity of multidimensional continued fractions]”, C. R. Acad. Sci. Paris Sér. I Math.,
319:8 (1994), 777–780.
6. G. Lachaud, “Sails and Klein polyhedra”, Number theory, Proceedings of the interna-
tional conference on discrete mathematics and number theory (Tiruchirapalli, 1996),
Contemp. Math., 210, ed. V. K. Murty, 1998, 373–385.
7. V. I. Arnold, “Higher dimensional continued fractions”, Regul. Chaotic Dyn., 3:3
(1998), 10–17.
8. G. Lachaud, Voiles et Polyèdres de Klein, Act. Sci. Ind., Hermann, Paris, 2002.
9. З. И. Боревич, И. Р. Шафаревич, Теория чисел, Наука, М., 1964; англ. пер.:
Z. I. Borevich, I. R. Shafarevich, Number theory, Pure Appl. Math., 20, Academic
Press, New York–London.
10. H. Tsuchihashi, “Higher-dimensional analogues of periodic continued fractions and
cusp singularities”, Tohoku Math. J. (2), 35:4 (1983), 607–639.
11. J. W. S. Cassels, H. P. F. Swinnerton-Dyer, “On the product of three homogeneous
linear forms and indefinite ternary quadratic forms”, Philos. Trans. Roy. Soc. London
Ser. A, 248:940 (1955), 73–96.
12. Б. Ф. Скубенко, “Минимумы разложимой кубической формы от трех перемен-
ных”, Записки научн. сем. ЛОМИ, 168 (1988), 125–139; англ. пер.: B. F. Skubenko,
“Minimum of a decomposable cubic form of three variables”, J. Soviet Math., 53:3
(1991), 302–310.
13. Б. Ф. Скубенко, “Минимумы разложимых форм степени n от n переменных при
n > 3”, Модулярные функции и квадратичные формы. 1, Записки науч. сем.
ЛОМИ, 183, ред. А. Н. Андрианов, В. А. Гриценко, Наука, Л., 1990, 142–154; ан-
гл. пер.: B. F. Skubenko, “Minima of decomposable forms of degree n in n variables
for n > 3”, J. Soviet Math., 62:4 (1992), 2928–2935.
14. О. Н. Герман, “Паруса и норменные минимумы решеток”, Матем. сб., 196:3
(2005), 31–60; англ. пер.: O. N. German, “Sails and norm minima of lattices”, Sb.
Math., 196:3 (2005), 337–365.
15. O. N. German, “Klein polyhedra and lattices with positive norm minima”, J. Théor.
Nombres Bordeaux, 19 (2007), 175–190.

О. Н. Герман (O. N. German) Поступило в редакцию

Московский государственный университет 12.07.2006
им. М. В. Ломоносова,
механико-математический факультет
E-mail : german@mech.math.msu.su
Е. Л. Лакштанов (E. L. Lakshtanov)
University of Aveiro, Portugal
E-mail : lakshtanov@rambler.ru