Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
185
Добавлен:
14.05.2015
Размер:
1.85 Mб
Скачать
Угловыми точками симплекса являются его вершины и только они.
v0, v1, . . . , vk называется ñèì-
аффинно независимыми, åñëè

Дополнение к лекции 13

47.1Аффинная независимость

Точки v0, v1, . . . , vk â n-мерном пространстве называются

векторы v1 v0, . . . , vk v0 линейно независимы. Равносильное симметричное определение: векторы v0, . . . , vk аффинно независимы, если из равенств α0v0 + . . . + αkvk = 0, α0 +. . .+αk = 0 вытекает, что α0 = . . . = αk = 0. В самом деле, из этих равенств находим α1(v1 − v0) + . . . + αk(vk − v0) = 0, при этом необходимость условий α1 = . . . = αk = 0

равносильна линейной независимости векторов v1 − v0, . . . , vk − v0. О точках аффинно независимой системы часто говорят также, что они находятся в общем положении.

Задача. Докажите, что в любой аффинно независимой системе с числом векторов k + 1 можно выбрать линейно независимую подсистему с числом векторов k.

Выпуклая оболочка аффинно независимых векторов

плексом размерности k. Точки v0, . . . , vk называются вершинами симплекса. Согласно определению, размерность симплекса не зависит от размерности пространства V . Ðàç-

мерностью произвольного выпуклого множества называют максимальную размерность принадлежащих ему симплексов.

Среди точек в выпуклом множестве M особый интерес представляют его угловые точки так называются точки из M, не являющиеся внутренней точкой ни для одного

отрезка, лежащего в M. Например, круг на плоскости является выпуклым множеством, а его угловые точки это точки граничной окружности.

Утверждение.

Доказательство. Пусть v0, . . . , vk вершины заданного симплекса M. Докажем, что vj является угловой точкой. От противного: пусть vj = tx + (1 − t)y ïðè 0 < t < 1 è

x 6= y:

k

 

k

k

k

 

 

 

x = αivi, y = βivi,

=0

αi = βi = 1, αi, βi ≥ 0.

 

 

=0

i=0

i=0

 

 

 

Xi

X

Xi

X

 

Отсюда

 

 

 

 

 

 

 

(tαi + (1 − t)βi)(vi − vj) = 0 tαi + (1 − t)βi = 0 αi = βi = 0.

1

i ≤ n, i 6= j

 

 

 

 

 

 

X

 

 

 

 

 

Èòàê, x = y, а мы исходили из того, что x 6= y.

 

 

Пусть теперь x

 

M произвольная точка симплекса, отличная от его вершин. Это

 

 

k

 

 

 

 

значит, что x =

tivi è 0 < tj < 1 хотя бы для одного j. Не ограничивая общности,

 

 

=0

 

 

 

 

 

 

iP

 

 

 

k

предположим, что 0 < t0 < 1. Тогда x = t0v0+(1−t0)w, ãäå w =

=1(ti/(1t0))vi M. 2

 

 

 

 

 

 

 

iP

287

288

Лекция 47

 

 

В действительности для широкого класса выпуклых множеств имеет место элегантный и глубокий факт, к доказательству которого мы пока не готовы: любая точка в них является выпуклой комбинацией конечного числа угловых точек. 1

47.2Линейные неравенства и минимизация

Большое число прикладных задач (составление расписаний, управление производством, оптимизация диеты, портфеля инвестиций и т. п.) связано с минимизацией (максимизацией) вещественной функции f(x) îò x = [x1, . . . , xn]> Rn âèäà

f(x) = c>x = c1x1 + . . . + cnxn, ci R, c = [c1, . . . , cn]> 6= 0,

на множестве точек M, заданном линейными неравенствами

a11 x1 + . . . + a1nxn

b1,

. . .

am1x1 + . . . + amnxn

bm.

ßñíî, ÷òî M есть пересечение конечного числа полупространств. Предположим до-

полнительно, что координаты точек из M ограничены. В таких случаях M называют

выпуклым многогранником. Интуитивно понятно, что можно говорить о гранях детали важны, но это предмет отдельного курса.

Уравнение f(x) = b при любом фиксированном b определяет гиперплоскость. Оче- видно, f(x + tc) > f(x) ïðè t > 0. Более того, f(x + td) > f(x) ïðè t > 0, åñëè c>d > 0 (докажите!). Отсюда можно вывести, что минимум f(x) должен достигаться в óãëî-

вых точках множества M (возможно, не только в них). Простая геометрическая идея

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

значение f(x). Формализация данной идеи привела в свое время к так называемому

симплекс-методу. До сих пор это один из основных методов решения задач с линейными ограничениями и линейной целевой функцией f(x) такие задачи относятся к

задачам линейного программирования. Другой эффективный класс методов использует внутренние точки множества M и получил общее название методов внутренней

точки. Конечно, весь этот круг вопросов составляет отдельную и обширную область с развитым математическим аппаратом и многочисленными приложениями.

1Достаточно потребовать, чтобы выпуклое множество было ограниченным и замкнутым строгие определения будут в лекциях второго семестра.

Дополнение к лекции 14

48.1Квадратные уравнения

Рассмотрим произвольное квадратное уравнение z2 + az + b = 0 с комплексными коэффициентами a, b. После выполнения традиционных преобразований

 

a

 

 

a

 

2

 

a

 

 

2

 

 

a

 

2

 

a2

 

z2 + az + b = z2

+ 2

 

z +

 

 

 

+

b −

 

 

 

=

z +

 

 

 

+ b −

 

 

2

2

2

 

2

 

4

получаем равносильное уравнение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

2

 

 

 

 

 

 

a2

 

 

 

 

 

 

 

 

z +

 

 

 

 

 

= D,

D ≡

 

 

− b.

 

 

 

 

 

 

 

2

 

 

4

 

 

 

 

 

 

Åñëè D = 0, то единственное решение имеет вид z = a/2. В этом и только в этом случае квадратный трехчлен z2 + az + b является квадратом линейного двучлена:

z2 + az + b = z +

a

 

2

 

 

 

.

2

 

Åñëè D = |D|(cos φ+i sin φ) 6= 0, то в общем случае получаем пару комплексных решений

z± = −2

± p|D|

cos 2

+ i sin 2

.

 

a

 

 

φ

 

φ

 

48.2 Кубические уравнения

Произвольное кубическое уравнение

z3 + a2z2 + a1z + a0 = 0

с помощью замены z = x − a2/3 приводится к виду

x3 + px + q = 0. ( )

Будем искать x â âèäå x = u + v. Тогда

u3 + 3u2 + 3uv2 + v3 + p(u + v) + q = (u3 + v3 + q) + (3uv + p)(u + v) = 0.

Очевидно, x = u + v будет решением уравнения ( ), åñëè

 

uv

=

−p/3.

 

u3v3

=

−p3/27.

u3

+ v3

=

−q,

 

u3 + v3

=

−q,

289

290 Лекция 48

Два комплексных числа u3 è v3 с заданной суммой и заданным произведением находятся как корни квадратного уравнения

w2 + qw − 27 = 0

w2

= v3

=

q/2

p

 

 

 

 

q2

/4 + p3

/27.

 

p3

w1

= u3

=

 

q/2 + q2

/4 + p3

/27,

 

 

 

 

 

 

1

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В результате получается следующая формула Кардано:

 

 

 

 

 

 

q q

p p

x = 3 −q/2 + q2/4 + p3/27 + 3 −q/2 − q2/4 + p3/27.

При применении формулы Кардано следует иметь в виду, что для каждого из куби- ческих корней существуют три комплексных значения, которые нельзя выбирать неза-

висимо: их произведение uv должно быть равно −p/3. Даже в случае вещественных

корней формула Кардано, как правило, дает их представление с использованием комплексных значений кубических корней.

48.3 Уравнения четвертой степени

Общее уравнение четвертой степени

z4 + a3z3 + a2z2 + a1z + a0 = 0

с помощью замены z = x − a3/4 приводится к виду

x4 + px2 + qx + r = 0. ( )

Данное уравнение может быть сведено к кубическому. Наиболее простой способ для этого был предложен итальянским математиком Феррари. Идея состоит в том, чтобы

представить левую часть уравнения ( ) как разность двух квадратов:

x4 + px2 + qx + r = (x2 + y/2)2 − ((y − p)x2 − qx + (y2/4 − r)).

Квадратный трехчлен ax2 + bx + c является квадратом двучлена αx + β в том и только

том случае, когда его дискриминант равен нулю. Поэтому потребуем, чтобы y был решением кубического уравнения

q2 − 4(y − p)(y2/4 − r) = 0.

Тогда для некоторых α, β

x4 + px2 + qx + r = (x2 + y/2)2 − (αx + β)2 = (x2 + y/2 + αx + β)(x2 + y/2 − αx − β).

Таким образом, получение решений для ( ) сводится к решению одного кубического и

нескольких квадратных уравнений.

В начале 19-го века Руффини и Абель независимо друг от друга доказали, что для общего алгебраического уравнения n-й степени при n ≥ 5 формулы, выражающей

корни через радикалы, не существует. В 1830 г. Эварист Галуа создал теорию, позволяющую выяснить разрешимость или неразрешимость в радикалах любого конкретного

уравнения n-й степени (см. дополнительную часть Лекции 18).

1Это тот самый Кардано, который известен автомобилистам как изобретатель способа передачи вращения с одного вала на другой. Данная формула опубликована им в 16-м веке, но известно, что она была открыта другими итальянскими математиками. Ученики Кардано нашли также способ решения уравнений 4-й степени.

Мультипликативная группа поля вычетов является циклической.

Дополнение к лекции 16

49.1Мультипликативная группа поля вычетов

Утверждение о том, что многочлен степени n ≥ 1 не может иметь более n корней,

никак не опирается на результаты о существовании корней! В отличие от последних, оно вполне элементарно. Но очень полезно например, для доказательства следующего примечательного свойства полей вычетов.

Теорема.

Доказательство. Обозначим через x1, . . . , xp−1 ненулевые вычеты по простому модулю p и предположим, что xi имеет порядок mi. Пусть m наименьшее общее кратное чисел m1, . . . , mp−1. Тогда можно доказать, что найдется вычет порядка m. Для этого разложим m в произведение простых чисел

m = q1s1 ...qksk с попарно различными q1, . . . , qk.

 

 

Каждый множитель qjsj

является делителем хотя бы одного из чисел m1, ..., mp−1. Обозначим это

число через mi,

i = i(j). Ïðè ýòîì mi = niqjsj , ãäå mi è ni взаимно просты. Несложно проверить,

что вычет xni

 

 

qsj

α = xni(1)

...xni(k)

i имеет порядок

j , а произведение вычетов

i(1)

i(k) есть элемент порядка

q1s1 ...qksk = m. Порядок элемента является делителем порядка группы

p − 1 делится на m

m ≤ p − 1.

 

 

 

 

 

В то же время, вычеты x1, . . . , xp−1 являются корнями многочлена xm − 1 над полем вычетов Zp. В силу того, что многочлен степени m не может иметь более m различных корней, находим p − 1 ≤ m

m = p − 1. 2

49.2 Результант

Пусть даны многочлены

f(x) = a0 + ... + amxm = am(x − α1) . . . (x − αm),

am 6= 0,

g(x) = b0 + ... + bnxn = bn(x − β1) . . . (x − βn),

bn 6= 0.

Оказывается, f è g имеют общий корень тогда и только тогда, когда равно нулю число, называемое результантом многочленов f è g это определитель матрицы порядка m + n следующего вида:

 

 

a0

a1

... am

...

...

 

 

n строк

 

 

0

... ...

 

 

 

 

a

a1 ...

am

 

 

 

 

 

 

 

 

 

 

 

 

am

 

 

R(f, g) =

 

 

a0

a1

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b0 b1

... bn

an

 

 

 

 

строк

 

 

 

b0

b1 ...

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b0

b1

...

bn

 

 

 

 

 

 

 

... ...

...

...

 

 

 

 

 

 

 

 

 

 

 

291

292

Лекция 49

 

 

m n

Утверждение. det R(f, g) = (am)n (bn)m Q Qj − αi).

i=1 j=1

Доказательство. Ограничимся случаем, когда корни каждого из многочленов попарно различны. Пусть V (x1, . . . , xk) обозначает матрицу Вандермонда порядка k для чисел x1, . . . , xk. Âçÿâ W =

V (α1, . . . , αm, β1, . . . , βn), находим

R(f, g) W > =

0

 

W >D

 

 

,

W2>×D2

0m×n

 

 

n m

1

1

 

 

ãäå

W1 = V (β1, . . . , βn), D1 = diag{f(β1), . . . , f(βn)}, W2 = V (α1, . . . , αm), D2 = diag{g(α1), . . . , g(αm)}.

Символ diag{...} обозначает диагональную матрицу с диагональными элементами, указанными в фи-

гурных скобках. Используя уже известную нам формулу для вычисления определителя Вандермонда, получаем

mn

1≤ Y

k − αi)

Y Y

j − αk)

Y

l − βj)

=

det R(f, g)

i=1 j=1

 

 

 

i<k m

1

 

j<l

 

n

 

1≤ Y

 

Y

 

m

n

 

m

n

k − αi)

 

Y Y

 

Y Y

(−1)mn(am)n (bn)m

 

l − βj)

 

 

j − αi)

i − βj).

i<k m

1

j<l n

i=1 j=1

 

i=1 j=1

В силу принятого ограничения доказательство завершается очевидным образом. 2

Задача. Докажите утверждение в случае комплексных коэффициентов и корней без предположения о том, что корни многочленов попарно различны.

Задача. Докажите, что степень наибольшего общего делителя многочленов f(x) степени m è g(x)

степени n равна m + n − rankR(f, g).

49.3Построения циркулем и линейкой

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

построить ребро куба, объем которого в два раза больше объема заданного куба (задача об удвоении куба);

построить правильный n-угольник, вписанный в заданную окружность.

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

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

Не ограничивая общности, можно считать, что ребро заданного куба и радиус заданной окружности равны 1. Опираясь на теорему Фалеса, мы можем построить с

помощью циркуля и линейки любой отрезок рациональной длины.

Пусть алгоритм построения представляет собой последовательность из m шагов. На начальном (нулевом) шаге мы имеем любые точки с координатами из поля Q0 = Q. Далее предположим, что к началу i-го шага мы имеем любые точки с координатами из некоторого поля Qi−1. Тогда на i-м шаге выполняется одно из трех допустимых

построений:

Е. Е. Тыртышников

293

 

 

(a)пересечение двух прямых, проходящих через точки с координами из Qi−1;

(b)пересечение прямой и окружности в предположении, что прямая проходит через пару точек с координатами из Qi−1, центр окружности есть точка с координатами из Qi−1, а сама окружность проходит через точку с координатами из Qi−1 (отсюда ясно, что квадрат радиуса есть число из Qi−1);

(c)пересечение двух окружностей с тем же предположением относительно центра и радиуса.

Не очень трудно убедиться в том, что каждое из допустимых построений дает точки, координаты которых принадлежат полю Qi−1 либо некоторому его расширению

Qi = Qi−1i), ãäå θi / Qi−1, íî Di ≡ θi2 Qi−1.

Перенумеруем подряд только те поля, которые не совпадают с предыдущим полем. После этого получаем цепочку из k ≤ m расширений вида

Q = Q0 Q1

. . . Qk−1 Qk,

(1)

Qi = Qi−1i), θi / Qi−1,

Di = θi2 Qi, i = 1, . . . , k.

(2)

Теперь мы в состоянии доказать, например, следующий результат.

Теорема. Задача об удвоении куба неразрешима с помощью циркуля и линейки .

Доказательство. В данном случае цель построений отрезок длины 21/3. Åñëè ïî-

строение возможно, то существует такая цепочка расширений, в которой 21/3 Qk, íî 21/3 / Qk−1. Следовательно,

21/3 = a + bθk, a, b Qk−1, b 6= 0.

Возводя в куб, находим

2 = a3 + 3a2θk + 3ab2 Dk + b3Dk θk 2 − a3 − 3ab2 Dk = (3a2 + b2Dk)b θk.

Учитывая, что b 6= 0 è 3a2 + b2Dk > 0, получаем

θ

k

=

2 − a3 − 3ab2Dk

Qk−1

,

(3a2 + b2Dk)b

 

 

 

что противоречит нашим предположениям. 2

Исследование вопроса о построении правильных n-угольников менее элементарно.

Тем не менее, мы находимся буквально в двух шагах, например, от доказательства невозможности построения правильного 7-угольника. Один из этих шагов связан с изу-

чением расширений полей как линейных пространств и включает легко доказываемую теорему о размерностях этих пространств. Другой шаг эквивалентен доказательству неразложимости над полем рациональных чисел многочлена f(x) = 1 + x + . . . + xn−1

при простом n.

образуют базис в линейном пространстве для всех i, j. Следовательно, размерность
конечным расширением

294

Лекция 49

 

 

49.4Конечные расширения полей

Предположим, что поле P вложено в поле F . Тогда элементы из F можно рассмат-

ривать как векторы. Суммой векторов можно назвать их сумму как элементов поля F . Умножение векторов (элементов F ) на числа (элементы P ) можно определить ес-

тественным образом как умножение двух элементов: один (вектор) из поля F , другой (число) из поля P . Все аксиомы линейного пространства, как легко проверить, выполнены. Поэтому F можно рассматривать как линейное пространство над полем P .

Ïîëå F называется поля P , если оно является конечномерным как линейное пространство над полем P . Размерность данного линейного пространства называется степенью расширения и обозначается (F : P ).

Предположим, что поле P вложено в поле F , à F вложено в поле H: P F H. Тогда можно рассматривать следующие три расширения:

P F, F H, P H. ( )

Теорема. Из конечности первых двух расширений вида ( ) вытекает конечность

третьего расширения, а из конечности третьего конечность первых двух расширений. При этом степени расширений связаны соотношением

(H : P ) = (H : F ) (F : P ).

Доказательство. Предположим конечность расширений P F è F H. Пусть a1, . . . , am элементы поля F , образующие базис линейного пространства F над полем P . Аналогично, пусть b1, . . . , bn элементы поля H, образующие базис линейного пространства H над полем F . Очевидно, любой элемент h H можно представить в

âèäå

!bj =

=1 j=1 sij(aibj), sij P.

h = j=1 i=1 sijai

n m

 

m

n

X X

 

Xi

X

Таким образом, любой элемент h H представим в виде линейной комбинации mn элементов поля H линейное пространство H над полем P конечномерно и его

размерность не выше mn.

Остается доказать линейную независимость элементов (векторов)

aibj, 1 ≤ i ≤ m, 1 ≤ j ≤ n.

Пусть h = 0. Тогда, поскольку b1, . . . , bn есть базис линейного пространства H íàä

полем F , находим

m

X

sijai = 0, 1 ≤ j ≤ m.

i=1

Поскольку элементы (векторы) a1, . . . , am F над полем P , отсюда получаем sij = 0

линейного пространства H над полем P в точности равна mn.

Теперь предположим, что расширение P H конечно. Пусть a1, ..., am линейно независимые векторы линейного пространства F над полем P , à b1, ..., bn линейно независмые векторы линейного пространства H над полем F . Повторяя предыдущее

1Вообще можно доказать, что многочлен с целочисленными коэффициентами разложим над

Е. Е. Тыртышников

295

 

 

рассуждение, мы можем установить линейную независимость векторов aibj êàê ýëå- ментов линейного пространства H над полем P . Значит, mn ≤ (H : P ). Поэтому оба расширения P F è F H конечны. 2

Следствие. Степень расширения Q Qk, получаемого в цепочке расширений (1), (2), равна 2k.

Доказательство. Согласно теореме о минимальном θ-расширении, каждое из расширений Qi−1 Qi в цепочке (1), (2) имеет степень 2. 2

49.5Круговые многочлены простой степени

Речь идет о многочленах f(x) = 1 + x + . . . + xn−1 = xn−1

при простом

n.

x−1

 

Теорема. Многочлен f(x) при простом n неразложим над полем рациональных чисел.

Доказательство. Легко доказывается, что разложимость f(x) íàä Q равносильна возможности его представления в виде f(x) = g(x)h(x), где ненулевые многочлены g(x)

è h(x) имеют целочисленные коэффициенты. 1

Заменив каждый из коэффициентов на порождаемый им вычет по простому модулю n, получим многочлены fn(x), gn(x), hn(x) над полем Zn и равенство fn(x) = gn(x)hn(x).

Используя разложение для бинома Ньютона, несложно получить следующее равенство многочленов над Zn: xn − 1 = (x − 1)n. Поэтому в поле Zn справедливы разложения

fn(x) = (x − 1)n−1, gn(x) = (x − 1)m1 , hn(x) = (x − 1)m2 , m1 + m2 = n − 1.

Следовательно, каждое из целых чисел g(1) è h(1) делится на n f(1) = g(1)h(1) делится на n2. Но это невозможно, так как f(1) = n. 2

Еще один (пожалуй, даже более простой) подход: вывести неразложимость f(x) из неразложимости многочлена f(x + 1).

Признак Эйзенштейна. Путь дан многочлен F (x) = a0 + . . . + anxn с целыми коэффициентами, в котором a0, . . . , an−1 делятся на некоторое простое число p > 1 è ïðè ýòîì a0 не делится на p2.

Åñëè an не делится на p, òî F (x) нельзя представить в виде произведения мсногочленов с целыми коэффициентами.

Доказательство. Запишем F (x) = (b0 + . . . + bkxk)(c0 + . . . + cmxm). Тогда b0c0 = a0 делится на p, íî íå íà p2. Поэтому одно и только одно из чисел b0, c0 делится на p. Пусть это будет c0. Среди

коэффициентов c0, . . . , cm должен быть не делящийся на p (иначе an делится на p). Пусть ci первый такой коэффициент. Тогда ai = b0ci + (b1ci−1 + . . . bic0) не делится на p (число в скобках делится на p, а произведение b0ci не делится на p). Отсюда i = n ≤ m m = n. 2

Остается заметить, что в случае f(x) = 1 + x + . . . + xn−1 при простом n многочлен F (x) = f(x + 1)

имеет старший коэффициент 1, а все остальные коэффициенты делятся на n.

Q тогда

и только тогда, когда он разложим в произведение двух многочленов с целочисленными коэффициентами. Это можно вывести из следующей леммы.

Лемма Гаусса. Для любых целочисленных многочленов f(x) = a0 +. . .+amxm è g(x) = b0 +. . .+bnxn наибольший общий делитель C всех коэффициентов произведения f(x)g(x) = c0 + . . . + cm+nxm+n

равен произвдению наибольшего общего делителя A всех коэффициентов f(x) и наибольшего общего делителя B всех коэффициентов g(x).

Доказательство. ßñíî, ÷òî C делится на AB. Поэтому, не ограничивая общности, можно считать, что A = B = 1. Пусть C делится на простое число p > 1. Хотя бы один из коэффициентов a0, . . . , am и хотя бы один из коэффициентов b0, . . . , bn не делится на p. Обозначим через ar è bs первые из коэффициентов, не делящиеся на p. Тогда cr+s = arbs + (ar−1bs+1 + . . . + ar+1bs−1 + . . .). Число в скобках делится на p. Поэтому cr+s не может делиться на p. 2

296

Лекция 49

 

 

49.6Правильные n-угольники

Теперь мы готовы к тому, чтобы доказать, например, что правильный 7-угольник с помощью циркуля и линейки построить нельзя. Более того, для возможности постро-

ения правильного n-угольника мы выведем некоторое необходимое условие. (Оно же является и достаточным, но мы докажем только необходимость.)

Будем исходить из того, что вершины вписанного в единичную окружность правильного n-угольника располагаются на корнях из единицы степени n. Предположим, что n

простое число. Пусть существует цепочка вида (1), (2), в которой поле Qk содержит координаты всех корней из единицы степени n. Ясно, для минимальной цепочки

θ Qk, θ / Qk−1, ãäå θ = ε + ε−1 = 2 cos

 

2n

,

ε = cos

 

2n

+ i cos

 

2n .

 

 

π

 

 

 

π

 

 

π

Далее, рассмотрим расширение Qk Qk(ε). Поскольку ε является корнем квадрат-

ного уравнения

x2 − θx + 1 = 0

с коэффициентами из поля Q(θ) Qk, степень расширения Qk Qk(ε) равна 2. Как мы уже знаем, степень расширения Q Qk равна 2k. Поэтому степень расширения Q Qk(ε) равна

(Qk(ε) : Q) = (Qk(ε) : Qk) (Qk : Q) = 2k+1.

В то же время, Q Q(ε) Qk(ε). При простом n степень расширения Q Q(ε)

 

кругового многочлена) и является

равна n−1 (òàê êàê ε корень неразложимого над Qk+1

 

L для некоторого

делителем степени расширения Q Qk(ε), равной 2

 

n − 1 = 2

L. Таким образом, мы доказали следующее утверждение.

 

Лемма. Для возможности построения правильного n-угольника в случае простого n необходимо, чтобы n имело вид n = 2L + 1.

Из нашего рассуждения вытекает, что L = k + 1. Заметим, что если число n = 2L + 1 простое, то L должно иметь вид L = 2m (если L = MN при нечетном M, то число (2N )M − 1 делится на 2N − 1 и поэтому не может быть простым).

Следствие. Построение правильного 7-угольника с помощью циркуля и линейки невозможно.

Доказательство. 7 6= 2L + 1. 2

Теорема. Для возможности построения правильного n-угольника необходимо, чтобы любой нечетный простой сомножитель числа n имел вид 2L + 1.

Доказательство. Достаточно заметить, что если n-угольник строится с помощью цир-

куля и линейки, то строится также любой правильный многоугольник с числом сторон, равным любому делителю числа n. Случай простых нечетных делителей сводится к

применению доказанной выше леммы. 2

Исследование вопроса о построении правильных n-угольников одно из самых ран-

них достижений Гаусса. В отличие от нас, он сосредоточился на доказательстве достаточности полученного выше условия. В частности, Гаусс описал конкретный алгоритм

Соседние файлы в папке лИТЕРАТУРА