Глава 3. Конструктивность как достижимость степенью 2; греческие невозможности

Где стоит глава

Главы 11.1 и 11.2 дали два понятия. Степень — это ярус: высота расширения над $Q$ (11.1). Минимальный многочлен — это правило, приручающее процесс приближения и фиксирующее ярус; рациональный корневой тест решает по делимости, закроется ли процесс в $Q$ (11.2). Настоящая глава разворачивает эти два понятия в геометрию.

Тысячелетние «греческие невозможности» — удвоение куба, трисекция угла, построение правильного семиугольника — классика подаёт как задачи, которые «не удалось решить циркулем и линейкой». ToS переописывает их в той же оптике, что Часть X применяла к сильным аксиомам: это не нехватка инструментов, а теоремы о ярусе. Циркуль и линейка достигают ровно ярус-2-башню; задачи, требующие яруса 3, лежат вне неё структурно. Невозможность здесь — положительный факт о потолке квадратичной башни, а не отсутствующее умение.

Конструктивность — роль достижимости ярусом 2 (квадратичной башней). Греческие невозможности — не нехватка инструментов, а теоремы о ярусе: они требуют яруса 3, который структурно вне квадратичной башни.

Конструктивность как достижимость степенью 2

Что умеют циркуль и линейка? Пересекать прямые с прямыми, прямые с окружностями, окружности с окружностями. Алгебраически это — решать линейные и квадратные уравнения: каждый новый построенный отрезок добывается извлечением квадратного корня из уже построенного. Значит каждый шаг построения поднимает ярус ровно на множитель $2$, а вся доступная область — квадратичная башня

$$Q=K_0\subset K_1\subset \dots \subset K_m,[K_{i+1}:K_i]=2.$$

Число конструктивно тогда и только тогда, когда лежит в такой башне; а отсюда необходимое условие: его степень над $Q$ есть степень двойки $2^k$. Это классический критерий Гаусса–Ванцеля; ToS читает его как определение роли: «конструктивно» значит «достижимо ярусом $2^k$».¹

Положительная сторона: правильный пятиугольник строится. Нужная величина — $2\cos 72^{\circ }=\frac{\sqrt{5}-1}{2}$ — лежит в $Q[\sqrt{5}]$, то есть на ярусе 2, достижимом одним квадратичным шагом. Она не рациональна (требует $\sqrt{5}$), но и не выше яруса 2.² Пятиугольник — предельный «лёгкий» случай: квадратичная башня его достаёт.

Циркуль и линейка решают квадратные уравнения — каждый шаг удваивает ярус, область — квадратичная башня ($2^k$). «Конструктивно»$=$роль достижимости ярусом $2^k$. Пятиугольник ($Q[\sqrt{5}]$, ярус 2) достижим.

Греческие невозможности как теоремы о ярусе

Три знаменитые задачи рушатся об один и тот же потолок: они требуют яруса 3, а квадратичная башня даёт только ярусы вида $2^k$.

Удвоение куба (Делийская задача). Ребро куба вдвое большего объёма есть $\sqrt[3]{2}$ — ярус 3. Уже первый квадратичный шаг его не достаёт: доказано, что $\sqrt[3]{2}\notin Q[\sqrt{2}]$.³ Любая построимая величина имеет над $Q$ степень, делящую некоторую степень двойки $2^n$; степень $3$ такой быть не может — значит $\sqrt[3]{2}$ вне любой квадратичной башни. Куб не удваивается.

Трисекция угла. Разделить $60^{\circ }$ на три — значит построить $2\cos 20^{\circ }$, корень кубического уравнения $q^3=3q+1$ (из $\cos 60^{\circ }=4{\cos }^{3}20^{\circ }-3\cos 20^{\circ }$). Этот кубик не имеет рационального корня; а кубик без рационального корня неприводим над $Q$, так что $2\cos 20^{\circ }$ — ярус 3, вне квадратичной башни.⁴ Уже $60^{\circ }$ не трисектируется циркулем и линейкой — значит общей процедуры для произвольного угла нет (отдельные углы, скажем $90^{\circ }$, трисектируются).

Правильный семиугольник. Он требует $2\cos \frac{2\pi }{7}$ — корня кубического уравнения $q^3=-q^2+2q+1$, снова без рационального корня, снова ярус 3.⁵ Семиугольник не строится циркулем и линейкой.

Единый диагноз⁶: все три — попытки закрыть кубический процесс квадратичными средствами. Невозможность здесь — не «греки чего-то не нашли», а теорема о ярусе: ярус 3 структурно недостижим квадратичной башней. Тот самый рациональный корневой тест из 11.2 здесь работает геометрическим запретом.

Удвоение куба ($\sqrt[3]{2}$), трисекция ($2\cos 20^{\circ }$), семиугольник ($2\cos \frac{2\pi }{7}$) — все требуют яруса 3 (неприводимый кубик), вне квадратичной башни. Невозможность — теорема о ярусе, а не нехватка инструментов.

Кристаллографическое ограничение: то же правило в симметрии

Тот же тип правила — алгебраическая характеристика запрещает конфигурацию — управляет симметриями решёток. Поворот порядка $n$, сохраняющий плоскую решётку, в её целочисленном базисе имеет матрицу со следом $2\cos \frac{2\pi }{n}$; но след целочисленной матрицы — целое число. Значит $2\cos \frac{2\pi }{n}\in Z$, что выполнено лишь при $n\in \{1,2,3,4,6\}$.⁷ Порядков $5$ и $\ge 7$ у решёточной симметрии не бывает — знаменитый запрет пятой оси.

И снова свидетелем запрета выступает алгебра яруса 2. Для порядка $5$ величина $2\cos 72^{\circ }=\frac{\sqrt{5}-1}{2}$ иррациональна (золотая), а потому следом целочисленной матрицы быть не может.⁸ То же $\sqrt{5}$, что разрешало пятиугольник (ярус 2 достижим циркулем), запрещает пятую ось решётки (иррациональный след). Один и тот же алгебраический факт — одна геометрия его пускает, другая запрещает, смотря какое правило-критерий приложено (степень-двойки против целого следа).

Кристаллографическое ограничение — тот же тип правила: целочисленность следа допускает лишь порядки $\{1,2,3,4,6\}$. Порядок 5 запрещён иррациональностью $2\cos 72^{\circ }$ (золотая). Алгебраический факт о $\sqrt{5}$ пятиугольник разрешает, пятую ось — запрещает.

E/R/R-разбор

Соберём структуру главы в порождающем порядке.

Слой	Содержание
Rules (L5)	критерий конструктивности (каждый шаг — степень $2$; конструктивно $\iff$ ярус $2^k$; Гаусс–Ванцель); рациональный корневой тест (неприводимый кубик $\Rightarrow$ ярус 3, вне башни); правило целочисленности следа ($2\cos \frac{2\pi }{n}\in Z\Rightarrow n\in \{1,2,3,4,6\}$)
Roles (L4)	«конструктивно»$=$роль достижимости ярусом $2^k$; греческая невозможность$=$роль, требующая яруса 3 (вне башни); порядок симметрии$=$роль под правилом целого следа
Elements (L1$+$P4)	на каждой стадии — конечные данные: построенные точки/координаты шага, координаты пентагона в $Q[\sqrt{5}]$, коэффициенты кубиков, целые следы матриц поворота; «множество всех конструктивных чисел» как завершённый объект — не Элемент

Корректность. Построение корректно, когда каждый шаг — расширение степени $2$ (пересечение прямых/окружностей); невозможность корректна как теорема о ярусе (ярус $3$ не делит $2^k$); запрет симметрии корректен как нарушение целочисленности следа. Каждый компонент — ровно одной E/R/R-категории.

Что даёт. Пятиугольник — достижимость яруса 2 ($Q[\sqrt{5}]$). Удвоение куба, трисекция, семиугольник — неконструктивность как ярус 3 (неприводимые кубики). Запрет пятой оси — иррациональность $2\cos 72^{\circ }$. Единый механизм: алгебраический ярус (или целочисленность) разрешает или запрещает геометрию.

Диагностика. Корневая ошибка — «греческие задачи как нерешённые построения» (нехватка умения). ToS возвращает категорию: это теоремы о ярусе — правило о достижимой степени, а не дефицит инструментов.

Честные границы. Полный критерий Гаусса–Ванцеля (конструктивно $\iff$ $2^k$) и теория построений в общем виде здесь не формализованы — формализованы конкретные достижимость (пентагон в $Q[\sqrt{5}]$) и обструкции (кубики без рационального корня; $\sqrt[3]{2}\notin Q[\sqrt{2}]$), а также кристаллографическое ограничение. Это конкретные тени общего критерия, а не сам критерий.

Конструктивность — роль достижимости ярусом $2^k$; греческая невозможность — теорема о требуемом ярусе 3; кристаллографический запрет — то же правило в симметрии. Содержательное ядро — алгебраический ярус как разрешитель и запретитель геометрии.

Итог и переход

Глава развернула степень-ярус в геометрию. Циркуль и линейка достигают ровно квадратичную башню (ярусы $2^k$); пятиугольник в ней лежит, а удвоение куба, трисекция и семиугольник — нет, ибо требуют неприводимого кубика (ярус 3). Греческие невозможности оказались не нерешёнными задачами, а теоремами о ярусе — прямым следствием рационального корневого теста из 11.2. Кристаллографическое ограничение показало тот же тип правила в симметрии: целочисленность следа допускает лишь порядки $\{1,2,3,4,6\}$, а $\sqrt{5}$ одним и тем же фактом пятиугольник разрешает, пятую ось запрещает.

Дальше — глава 11.4: от запретов ярусов к положительным структурам конечного порядка. Группы симметрии над $Q$ (порядки $\{1,2,3,4,6\}$ как кристаллографически допустимые), норменные формы и башня Гурвица ($1,2,4,8$ — размерности с мультипликативной нормой), элементы-роли конечного порядка ($i,\omega$), и конечные поля ${\mathbb{F}}_p$. От «какой ярус недостижим» мы перейдём к «какая конечная структура мультипликативно устойчива».

Циркуль и линейка$=$квадратичная башня; конструктивно$=$ярус $2^k$; греческие невозможности$=$теоремы о ярусе 3; кристаллографический запрет$=$целочисленность следа. Алгебраический ярус правит геометрией — разрешая пятиугольник и запрещая удвоение куба, трисекцию, семиугольник и пятую ось. Такова рамка перед переходом к конечным группам и норменным формам.

---

---

Часть: Часть XI. Алгебра, поля, Галуа · Том: «Математика»

Навигация: ← Глава 2. Алгебраическое число как роль-предел; минимальный многочлен · Глава 4. Группы симметрии над Q; норменные формы; конечные поля →

Footnotes

1. Полный критерий Гаусса–Ванцеля (конструктивно $\iff$ степень есть $2^k$, через башню квадратичных расширений) в репозитории как общая теорема не формализован; формализованы конкретные достижимости и обструкции (ниже). Это согласуется с дисциплиной книги: теория ведёт, репозиторий подтверждает конкретные случаи. ↩

2. stdlib/ConstructiblePolygons.v: $Q[\sqrt{5}]$ моделируется парами, pentagon_in_Qsqrt5 помещает пентагонную величину в $Q[\sqrt{5}]$, а pentagon_no_rational ($\neg \exists q\in Q,q^2+q-1=0$) показывает, что рационально она недостижима — нужен ровно ярус 2. ↩

3. cbrt2_not_in_Qsqrt2 (stdlib/CubicRoleLimit.v): ни один $a+b\sqrt{2}$ не даёт в кубе $2$. ext_degree_cbrt2_is_3 (FieldExtension.v) фиксирует степень опорного полинома $x^3-2$; собственно степень $3$ числа $\sqrt[3]{2}$ читается вместе с отсутствием рационального корня (кубик без него неприводим, см. 11.2). ↩

4. trisection_no_rational (stdlib/AngleTrisection.v): $\neg \exists q\in Q,q^3=3q+1$. Связка «кубик без рационального корня $\Rightarrow$ неприводим $\Rightarrow$ ярус 3» (см. 11.2) даёт неконструктивность. ↩

5. heptagon_no_rational (stdlib/AngleTrisection.v): $\neg \exists q\in Q,q^3=-q^2+2q+1$. ↩

6. greek_impossibilities (stdlib/AngleTrisection.v) — синтез: все три невозможности как факты об отсутствии рационального корня соответствующих кубиков. ↩

7. stdlib/CrystallographicRestriction.v: crystallographic_restriction (условие целочисленности следа) и realizable_orders (ровно $\{1,2,3,4,6\}$). ↩

8. order5_forces_golden и no_rational_order5 (stdlib/CrystallographicRestriction.v): порядок $5$ вынуждает золотую (иррациональную) величину следа. ↩