Построения циркулем и линейкой: правила и критерий

Построения циркулем и линейкой выглядят школьным упражнением: провели две дуги, соединили точки, получили середину отрезка. Но за этим упражнением стоит одна из самых красивых теорем математики. Оказывается, список доступных инструментам операций настолько жёсткий, что его можно перевести на язык алгебры и заранее сказать, какая задача решится, а какая не решится никогда, сколько бы дуг вы ни провели. Калькулятор ниже проверяет это для правильных многоугольников: задайте число сторон и посмотрите, попадает ли оно в список построимых.

Правила игры: что именно разрешают циркуль и линейка

Классические инструменты работают по короткому и строгому регламенту. Линейка не имеет делений: ею разрешено провести прямую через две уже построенные точки, и ничего больше. Измерять ею длины, откладывать отрезки по меткам или подгонять положение на глаз нельзя. Циркуль строит окружность с центром в построенной точке и радиусом, равным расстоянию между двумя построенными точками. Всё.

Из этого следует главное: новые точки не берутся ниоткуда. Они появляются ровно в трёх случаях: на пересечении двух прямых, на пересечении прямой и окружности, на пересечении двух окружностей. Любое построение циркулем и линейкой, даже на сотню шагов, разбирается в такую цепочку элементарных пересечений.

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

Пять базовых построений, из которых собирается всё остальное

Практически любая задача на построение сводится к комбинации пяти приёмов. Серединный перпендикуляр к отрезку: две дуги равного радиуса из концов отрезка, прямая через две точки их пересечения. Заодно получаем середину отрезка. Биссектриса угла: дуга из вершины отсекает на сторонах равные отрезки, из этих точек засекаем ещё две дуги, вершина и их пересечение задают биссектрису. Перпендикуляр из точки к прямой: окружность с центром в точке пересекает прямую в двух точках, дальше строим серединный перпендикуляр к полученному отрезку. Перенос угла: дуга одинакового радиуса в старом и новом месте плюс циркульный «замер» хорды. Деление отрезка на равные части: луч под произвольным углом, на нём циркулем откладываются равные отрезки, дальше работает теорема Фалеса.

Почему эти приёмы дают ровно то, что обещают, видно из свойства равноудалённости. Обе точки пересечения дуг одинакового радиуса лежат на равных расстояниях от концов отрезка, а множество таких точек и есть серединный перпендикуляр. Тот же аргумент работает для биссектрисы, разобранный подробно в материале про биссектрису как геометрическое место точек.

Рассчитать для своей задачи

Именно поэтому в учебниках не указывают конкретный радиус: годится любой, лишь бы дуги пересеклись, то есть лишь бы раствор был больше половины отрезка. Обратите внимание на исследование задачи: при растворе ровно в половину отрезка дуги касаются и точка пересечения всего одна, прямую через неё уже не проведёшь, а при меньшем растворе решения нет вовсе. Перпендикуляр из точки строится одинаково и для точки на прямой, и для точки вне её, а из тех же кирпичиков собираются деление отрезка в заданном отношении, построение среднего геометрического через высоту прямоугольного треугольника и вписанная в треугольник окружность. Этот же приём лежит в основе чертёжных построений вроде сопряжения двух окружностей дугой.

Какие длины достижимы: алгебраический критерий построимости

Переведём геометрию в координаты. Пусть даны две точки, объявим их $(0,0)$ и $(1,0)$. Прямая через построенные точки задаётся линейным уравнением, окружность - квадратным. Пересечение двух прямых решает линейную систему: координаты новой точки выражаются через старые четырьмя арифметическими действиями. Пересечение прямой с окружностью или двух окружностей приводит к квадратному уравнению: добавляется извлечение квадратного корня, и только оно.

Значит, каждое построение порождает цепочку числовых полей

$\mathbb{Q} = K_0 \subset K_1 \subset \dots \subset K_m, \qquad K_{i+1} = K_i(\sqrt{a_i}), \quad a_i \in K_i,$

где каждый шаг либо ничего не меняет, либо удваивает степень расширения. Отсюда критерий: число $\alpha$ построимо тогда и только тогда, когда оно лежит в таком поле $K_m$, а степень его минимального многочлена над $\mathbb{Q}$ обязана быть степенью двойки:

$[\mathbb{Q}(\alpha):\mathbb{Q}] = 2^m.$

Рассчитать для своей задачи

Условие необходимое, но не достаточное: бывают числа степени 4, которые всё равно не строятся, потому что их группа Галуа не разрешима в квадратичных расширениях. Полную картину даёт основная теорема теории Галуа. Но для отбраковки критерий работает мгновенно: увидели степень 3, 5, 6, 7 - построения нет.

Теорема Гаусса-Ванцеля: какие правильные многоугольники строятся

Построить правильный $n$-угольник значит построить угол $2\pi/n$, то есть число $\cos(2\pi/n)$. Степень соответствующего кругового расширения равна значению функции Эйлера:

$[\mathbb{Q}(\zeta_n):\mathbb{Q}] = \varphi(n).$

Отсюда критерий, который называют теоремой Гаусса-Ванцеля: правильный $n$-угольник строится циркулем и линейкой тогда и только тогда, когда

$n = 2^k \cdot p_1 p_2 \dots p_s,$

где $p_i$ - различные простые числа Ферма, то есть простые вида $2^{2^m}+1$. Известны всего пять таких чисел: 3, 5, 17, 257, 65537. Эквивалентная формулировка: $\varphi(n)$ должна быть степенью двойки, и именно её считает калькулятор выше.

Рассчитать для своей задачи

Историю теоремы стоит помнить. Достаточность условия доказал девятнадцатилетний Гаусс в 1796 году, построив правильный 17-угольник: $\varphi(17) = 16$, и косинус угла выражается через вложенные квадратные корни. Необходимость доказал Пьер Ванцель в 1837 году. Практические следствия просты: семиугольник не строится ($\varphi(7) = 6$), девятиугольник не строится ($\varphi(9) = 6$, тройка входит в квадрате), а пятнадцатиугольник строится, потому что $15 = 3 \cdot 5$ и $\varphi(15) = 8$.

Пятнадцатиугольник удобно строить приёмом, который показывает механику критерия. Правильный треугольник даёт дугу $1/3$ окружности, правильный пятиугольник - дугу $1/5$, а их разность равна

$\frac{1}{3} - \frac{1}{5} = \frac{2}{15},$

то есть двум пятнадцатым. Разделив полученную дугу пополам (а это циркуль умеет всегда), получаем нужную $1/15$ и дальше просто откладываем её по окружности. Тот же трюк работает для любого произведения разных простых Ферма: взаимная простота множителей позволяет собрать нужную дугу из уже построенных. Кстати, 257-угольник действительно построил Фридрих Ришело в 1832 году, а Иоганн Гермес потратил десять лет на построение 65537-угольника; рукопись хранится в Гёттингене.

Три задачи древности, которые не поддались

Тот же критерий закрывает три знаменитые задачи. Удвоение куба требует построить $\sqrt[3]{2}$: минимальный многочлен $x^3 - 2$ неприводим, степень 3 не является степенью двойки, построение невозможно. Трисекция угла в общем случае сводится к кубическому уравнению $4t^3 - 3t = \cos\varphi$; для угла $60^\circ$ оно неприводимо, значит угол $20^\circ$ недостижим, хотя отдельные углы (например, $90^\circ$) делятся на три части без труда. Квадратура круга требует отрезок длиной $R\sqrt{\pi}$, а число $\pi$ вообще не алгебраическое, что в 1882 году доказал Линдеман; подробный разбор - в статье про задачу о квадратуре круга.

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

Частые ошибки

• Считать приближённое построение решением. Конструкция с ошибкой в пятом знаке - не построение: требуется точное равенство, а не совпадение на чертеже.
• Пользоваться делениями линейки. Отложенный по миллиметровой шкале отрезок выводит задачу за пределы классических правил и обесценивает доказательство.
• Путать необходимое и достаточное условия: степень, равная степени двойки, обязательна, но сама по себе построение не гарантирует.
• Забывать про квадраты простых Ферма. Число 9 состоит из «правильного» множителя 3, но входит он дважды, и построение исчезает.
• Проверять построимость числа $n$ по «простоте» вместо $\varphi(n)$: составные 15, 30, 48 строятся, а простые 7, 11, 13 нет.

FAQ

Можно ли построить угол в 1 градус? Нет. Угол $1^\circ$ равносилен правильному 360-угольнику, а $360 = 2^3 \cdot 3^2 \cdot 5$ содержит тройку в квадрате, поэтому $\varphi(360) = 96$ не является степенью двойки. А вот угол $3^\circ$ строится: $120 = 2^3 \cdot 3 \cdot 5$ и $\varphi(120) = 32$.

Почему нельзя разделить угол на три части, если пополам делится легко? Деление пополам сводится к квадратному уравнению, а деление на три - к кубическому. Циркуль и линейка умеют извлекать только квадратные корни, поэтому шаг степени 3 для них недоступен.

Правда ли, что одним циркулем можно построить всё то же самое? Да. По теореме Мора-Маскерони любая точка, достижимая циркулем и линейкой, достижима одним циркулем (прямые при этом не проводятся, но их точки пересечения находятся). Зеркальный факт: теорема Понселе-Штейнера разрешает одну линейку, если на плоскости уже нарисована окружность с отмеченным центром.

Коротко

Циркуль и линейка дают новые точки только тремя пересечениями, и это переводится в алгебру: координаты получаются из рациональных чисел арифметикой и квадратными корнями, поэтому степень любого построимого числа равна степени двойки. Отсюда все базовые построения (середина, биссектриса, перпендикуляр, параллель), критерий Гаусса-Ванцеля для правильных многоугольников через функцию Эйлера и невозможность трисекции угла, удвоения куба и квадратуры круга. Проверка конкретной задачи начинается с одного вопроса: какова степень нужного числа над полем рациональных.