3. Задача о трисекции угла.

1

,

Задача свелась к построению уравнения

(1)

При , , поэтому уравнение (1) разрешимо в квадратных радикалах.

Если , то получим уравнение

, (2)

Это уравнение неразрешимо в квадратных радикалах, т.к. множество не имеет радикалов.

Дан угол . Построить .

Угол можно построить тогда и только тогда, когда число можно построить на основании заданного числа , но так как , то

Задача свелась к построению корней уравнения

,

когда задано число . Положим . Тогда и исходным полем является поле . Уравнение , как нетрудно проверить, не имеет радикальных корней, и потому многочлен неприводим над полем Q. Но тогда все его корни есть алгебраические числа степени 3 и один из них невозможно построить циркулем и линейкой. Значит, угол невозможно разделить на три равные части. Так как частный случай задачи неразрешим, то и сама задача неразрешима. Но в некоторых частных случаях (например, при , ) эта задача разрешима.

Укажем один достаточный признак разрешимости задач на построение.

Теорема 2. Если алгебраическое уравнение

(1)

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

Действительно, если уравнение (1) разрешимо в квадратных радикалах, то по теореме 1 § 9 все его корни принадлежат области рациональности или некоторому пифагорову расширению этого поля. Но так как является также исходным полем множества , то в силу теоремы § 10 все корни можно построить.

Упражнения.

1.Можно ли разделить на три равные части углы и ?

2.Можно ли построить циркулем и линейкой точки пересечения кривых:

a) и

б) и

Решение:

a) не приводим по критерию Эйзейштейна

б)

– биквадратное уравнение – можно

§ 12.Построение правильных многоугольников.

Задача о построении правильного -угольника равносильна задачи о делении окружности на равных частей. Если выбрать систему координат так, что начало координат, лежит в центре окружности, а точка (1,0) на окружности, то задача сводится к построению корней уравнения

,

причем исходным полем является поле рациональных чисел.

Построение правильных -угольников при =3,4,6 затруднений не вызывает. Ясно также, как построить правильный 2 -угольник, если задан или построен правильный -угольник; это задача сводится к делению дуги или хорды пополам.

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

Так как , то вопрос сводится к построению корней уравнения

(1)

Запишем это уравнение в виде

И положим . Тогда

и решение уравнения (1) сводится к последовательному решению уравнения

(2)

а затем квадратных уравнений

,

где – оба корня уравнения (2).

Отсюда видно, что уравнения (1) разрешимо в квадратных радикалах и согласно Т₂ § 11 все его корни можно построить циркулем и линейкой. Ясен также и путь построения: сначала построить корни

уравнения (2), а затем по имеющимся точкам и строить корни уравнений , .

Рассмотрим теперь случай . Здесь вопрос сводится к построению корней уравнения

(3)

Та же постановка дает

,

и решение уравнения (3) сводится к решению уравнения

, (4)

а затем к решению уравнений

(5)

где – корни уравнения (4).

Уравнение (4) не имеет рациональных корней; поэтому многочлен неприводим над полем - алгебраические числа степени 3. В силу теоремы 1 § 11, построить невозможно. Но тогда и корни уравнения (3) тоже построить невозможно. В самом деле, если бы удалось построить корень уравнения (3), то для одного из корней имели бы место

,

а это означало бы, что корень уравнения (4) тоже можно построить.

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

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

Доказательство. Если окружность разделена на равных частей, то построен угол . Но тогда можно построить угол , и тем самым разделить окружность на равных частей, а также угол и тем самым разделить окружность на равных частей.

Обратно, пусть окружность разделена и на ; и на – равных частей. Так как то существуют целые числа и , что

.

Отсюда или .

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

Мы рассматривали здесь некоторые частные случаи в задаче построения правильных многоугольников. Однако еще в начале прошлого века знаменитый математик К.ГАУСС дал полное решение этой задачи. Мы приведем его результаты без доказательства.

Все простые числа в последовательности , … называются простыми числами ФЕРМА. Сам Ферма показал, что все числа в этой последовательности являются простыми. Оказалось же, что уже при получается составное число. В настоящее время известно только 5 простых чисел Ферма, являющимися первыми пятью членами последовательности . Это число 3,5,17,257 и 65537. Одно из замечательных свойств простых чисел Ферма и составляет содержание основной теоремы Гаусса.

Теорема 2. Если - простое нечетное число, то правильный -угольник можно построить циркулем и линейкой тогда и только тогда, когда является простым числом Ферма. Правильный -угольник , где – простое число и построить невозможно. Из этой теоремы вытекает, например, возможность построения правильных -угольников при = 3,5,257,65537 и невозможность при =7,8,11,13,25,125 и т.д. и мы здесь его не приводим. На основании этой теоремы уже без труда доказывается более общий результат, который дает полное решение поставленной задачи.

Теорема 3. Правильный -угольник, можно построить циркулем и линейкой тогда и только тогда, когда разложение числа на простые сомножители имеет вид

,

где – различные простые числа Ферма.

Доказательство. Множитель в разложении числа не влияет на разрешимость задачи; поэтому достаточно доказать теорему 3 для нечетного числа .

Пусть _, где – различные простые числа Ферма. Согласно теореме 2 можно построить правильный -угольник при каждом . Но тогда в силу теоремы 1 можно построить и правильный - угольник.

Обратно, если можно построить правильные -угольники

,

где – нечетные простые числа, то в силу теоремы 1 можно построить правильный - угольник при каждом , а это означает согласно теореме 2, что при каждом имеем , – простое число Ферма.