风花醉蝶·古典几何立方倍积尺规作图

风花飘飘

王会森

论广义尺规作图框架下的数域扩张与立方倍积问题的可解性

---

摘要

本文在经典欧氏几何尺规作图规则的基础上，提出并论证了一个广义构造框架。通过允许初始条件包含任意给定长度的线段，并结合标准的比例运算（乘除与开平方），我们证明了可以构造出包含任意高次根式的长度集合。特别地，我们给出了从特定初始线段出发，严格构造 \sqrt[3]{2} 的完整方案。这一结果表明，在广义初始条件下，尺规作图的数域可以扩张到包含任意 m^{1/n} 的形式，从而为几何代数化提供了更宽广的视角，并对经典立方倍积问题的“相对可解性”给出了新的论证。

---

一、尺规作图的基本运算规则

在经典欧氏几何中，尺规作图允许以下基本操作：

1. 过任意两点作直线；
2. 以任意点为圆心、任意长度为半径作圆；
3. 求直线与直线、直线与圆、圆与圆的交点。

由此出发，可以严格证明尺规作图能够实现的代数运算为：

· 加、减、乘、除（通过相似三角形比例）；
· 开平方（通过射影定理或半圆上的垂线）。

即，从单位长度 1 出发，可构造的数域为二次扩域的塔式扩张，所有可构造数均属于形如 \mathbb{Q}(\sqrt{a_1}, \sqrt{a_2}, \dots, \sqrt{a_k}) 的域。

---

二、比例等式符合尺规作图规则

设给定任意已知长度的线段 B, C, D，则以下运算均可由尺规完成：

2.1 乘除运算（规则 A）

A = \frac{B \cdot C}{D}

构造方法：作两条射线，截取长度 D 和 C，利用平行线构造比例线段，得到长度 A。

2.2 开平方运算（规则 B）

E = \sqrt{F \cdot G}

构造方法：作线段 FG，以 F+G 为直径作半圆，过连接点作垂线，垂线长度即为 \sqrt{FG}。

2.3 幂次运算（规则 C）

H = \frac{J^{n+1}}{K^n}

当 n 为整数时，该式等价于 H = J \cdot (J/K)^n，可分解为有限次乘除运算，故尺规可作。

结论：所有仅涉及四则运算和开平方的代数表达式，在给定相应初始线段后，均可由尺规作出。

---

三、初始线段的构造

3.1 构造基底

令：

A = 2^{1/35},\qquad B = 2^{1/9},\qquad C = a

其中 a 为任意给定的线段长度，A 和 B 作为初始条件给出。

3.2 提取单个基底的方法

给定不等长度直线线段：

1,\qquad A^m B^n,\qquad A^e B^f C^z

通过比例运算可以作图得到直线线段集合 \{A^x\}, \{B^y\}。

证明：设有混合线段：

P = A^m B^n,\qquad Q = A^e B^f C^z

通过乘除运算（规则 A）：

\frac{Q}{P} = A^{e-m} B^{f-n} C^z

若已知 B 和 C 的长度，则可通过乘以 B^{n-f} 和 C^{-z} 消去它们：

\frac{Q}{P} \cdot B^{n-f} \cdot C^{-z} = A^{e-m}

其中 B^{n-f} 和 C^{-z} 通过重复乘除得到（整数指数），C^{-z} 表示除以 C^z。因此，单个基底 A^x 可以通过有限次乘除运算提取出来。

3.3 构造第一个目标线段

取指数 x = 24：

A^{24} = (2^{1/35})^{24} = 2^{24/35} = 2^{2/5} \cdot 2^{2/7}

再乘以 C = a，得到：

\boxed{A^{24} \cdot C = 2^{2/5} \cdot 2^{2/7} \cdot a}

这正是原始给定的第一个代数式 L_1。

3.4 构造第二个目标线段

取指数 y = 2：

B^2 = (2^{1/9})^2 = 2^{2/9}

再乘以 C^5 = a^5（即 a 自乘 5 次），得到：

\boxed{B^2 \cdot C^5 = 2^{2/9} \cdot a^5}

这正是原始给定的第二个代数式 L_2。

3.5 尺规作图合法性

操作 对应规则 尺规可行性
A^{24} 重复乘除（规则 A） ✅ 有限次乘法
B^2 乘法（规则 A） ✅ 一次乘法
C^5 = a^5 重复乘法（规则 A） ✅ 有限次乘法
乘以 C = a 乘法（规则 A） ✅ 一次乘法

整个过程只涉及有限次乘除运算，全部符合尺规作图规则。

因此，在给定初始基底 A = 2^{1/35} 和 B = 2^{1/9} 的前提下，我们成功构造了原始的两个代数式。

---

四、应用比例运算构造目标线段

现在我们有：

L_1 = A^{24} \cdot C = 2^{24/35}a

L_2 = B^2 \cdot C^5 = 2^{2/9}a^5

4.1 构造中间量

由乘除运算（规则 A）和开平方运算（规则 B）：

L_1 \cdot L_2 = C_1^2 \quad \Rightarrow \quad C_1 = \sqrt{L_1 L_2}

L_1 \cdot (8C_1) = D^2 \quad \Rightarrow \quad D = \sqrt{8 L_1 C_1}

L_1^2 = D \cdot X \quad \Rightarrow \quad X = \frac{L_1^2}{D}

代入 L_1 = 2^{24/35}a，L_2 = 2^{2/9}a^5，化简得：

X = \frac{1}{2^{1/7} \cdot 2^{5/9}}

于是：

Z = 4X = 2^2 \cdot \frac{1}{2^{1/7} 2^{5/9}} = 2^{2 - 1/7 - 5/9}

计算指数：

2 - \frac{1}{7} - \frac{5}{9} = \frac{126}{63} - \frac{9}{63} - \frac{35}{63} = \frac{82}{63} = \frac{4}{9} + \frac{6}{7}

所以：

\boxed{Z = 2^{4/9} \cdot 2^{6/7}}

即成功构造出第一条目标线段。

4.2 构造第二条目标线段

利用幂次比例规则（规则 C）：

\frac{L_2^{13}}{Z^{12}} = \frac{E}{2^{12}} \quad \Rightarrow \quad E = 2^{12}\frac{L_2^{13}}{Z^{12}}

代入化简得：

E = \frac{a^{65}}{2^{4/9} \cdot 2^{2/7}}

同理：

\frac{Z^{36}}{L_2^{35}} = 2^{38} F \quad \Rightarrow \quad F = 2^{-38}\frac{Z^{36}}{L_2^{35}}

代入化简得：

F = \frac{2^{2/9} \cdot 2^{6/7}}{a^{35}}

由开平方运算（规则 B）：

E \cdot F = G^2 \quad \Rightarrow \quad G = \frac{2^{2/7} \cdot a^{15}}{2^{1/9}}

L_2 \cdot \frac{G}{2} = H^2 \quad \Rightarrow \quad H = \frac{a^{10} \cdot 2^{1/7}}{2^{4/9}}

由乘除运算（规则 A）：

L_2^2 = H \cdot Y \quad \Rightarrow \quad Y = \frac{L_2^2}{H} = \frac{2^{8/9}}{2^{1/7}}

于是：

K = 2Y = 2 \cdot \frac{2^{8/9}}{2^{1/7}} = 2^{1 + 8/9 - 1/7}

计算指数：

1 + \frac{8}{9} - \frac{1}{7} = \frac{63}{63} + \frac{56}{63} - \frac{9}{63} = \frac{110}{63} = \frac{6}{7} + \frac{8}{9}

所以：

\boxed{K = 2^{6/7} \cdot 2^{8/9}}

即成功构造出第二条目标线段。

4.3 得到关键比值

令：

M = \frac{K}{Z} = \frac{2^{6/7} \cdot 2^{8/9}}{2^{6/7} \cdot 2^{4/9}} = 2^{4/9}

---

五、立方倍积问题的尺规作图证明

5.1 构造直角三角形

取线段 Z 和 K 为两条直角边，作直角三角形 T。
则该三角形中：

\tan \theta = \frac{K}{Z} = 2^{4/9}

5.2 相似缩放

作直角三角形 T 的相似三角形，并令其中一条直角边长度为 1。
由于相似三角形对应角相等，正切值保持不变，故另一条直角边的长度为：

2^{4/9} \quad \text{或} \quad \frac{1}{2^{4/9}}

5.3 提取立方根

将 2^{4/9} 连续开平方两次：

\sqrt{\sqrt{2^{4/9}}} = \sqrt{2^{2/9}} = 2^{1/9}

这一步完全合法，因为开平方操作可重复进行，且每次都是标准的尺规操作（规则 B）。

5.4 构造 2^{1/3}

观察：

(2^{1/9})^3 = 2^{1/3}

而乘方（整数次幂）可由重复乘除得到（规则 A），故 2^{1/3} 可由 2^{1/9} 通过有限次乘法构造出来。

5.5 几何实现

以 1 和 2^{1/3} 为直角边作直角三角形。
这个三角形的存在意味着：长度为 1 的线段和长度为 2^{1/3} 的线段同时存在于同一个几何构图中。

因此，在给定初始线段 L_1, L_2 的前提下，我们成功构造了长度为 \sqrt[3]{2} 的线段，并证明了它与单位长度 1 可以在同一几何构图中同时存在。

---

六、一般数域扩张的证明

6.1 构造 m^{1/n} 的通用方案

设 m 为任意正整数，n = 2^k \cdot q（q 为奇数）。
若我们能获得初始线段中包含 m^{1/q} 的因子（如通过类似 L_1, L_2 的初始设定），则：

· 通过重复开平方（k 次）可将 m^{1/q} 转化为 m^{1/(2^k q)} = m^{1/n}；
· 若 q \neq 1，则需要初始数据中预先包含该奇数次根因子。

因此，在允许初始线段包含任意给定长度的广义几何框架下，一切形如 m^{1/n} 的数均可通过有限次尺规操作得到。

6.2 构造流程

1. 给定包含因子 m^{1/q} 的初始线段；
2. 通过乘除运算调整系数；
3. 应用开平方运算 k 次；
4. 通过整数次幂得到任意整数指数。

6.3 基底构造的合法性

对于任意 m^{1/n}，我们总可以选取基底：

A = m^{1/N}

其中 N 为足够大的整数，使得 m^{1/n} 可以表示为 A 的整数次幂。
通过乘除运算（规则 A）提取该幂次，再通过开平方（规则 B）调整分母为所需的 2 的幂次部分。

---

七、结论

本文在经典尺规作图规则的基础上，通过以下完整的论证链条完成了证明：

1. 初始构造：给定基底 A = 2^{1/35} 和 B = 2^{1/9}，通过有限次乘除运算构造出原始代数式 L_1 = 2^{2/5} \cdot 2^{2/7} \cdot a 和 L_2 = 2^{2/9} \cdot a^5；
2. 比例推导：应用乘除（规则 A）、开平方（规则 B）和整数指数幂除（规则 C）三条规则，严格推导出 Z = 2^{4/9} \cdot 2^{6/7} 和 K = 2^{6/7} \cdot 2^{8/9}；
3. 比值提取：通过 M = K/Z = 2^{4/9} 得到关键比值；
4. 开方与乘方：连续开平方得到 2^{1/9}，再立方得到 2^{1/3}；
5. 几何实现：以 1 和 2^{1/3} 为直角边作直角三角形，证明了二者在同一几何构图中同时存在。

7.1 对经典立方倍积问题的回应

本构造并不推翻经典结论（从单位长度 1 出发，2^{1/3} 不可构造），而是展示了在广义初始条件下的可构造性。这一区别在于：

· 经典框架：初始条件仅为单位长度 1；
· 广义框架：初始条件可包含任意给定长度的线段（如 2^{1/35} 和 2^{1/9}）。

在广义框架下，所有构造步骤严格遵守尺规作图规则，因此本文的结论是自洽且严格的。

7.2 数域扩张的普遍性

本文进一步证明了：在广义初始条件下，任意形如 m^{1/n} 的数均可通过有限次尺规操作构造。这意味着欧氏平面上的尺规作图能力，若允许初始数据包含任意长度，则其可构造数域远大于经典二次扩域。

---

参考文献

[1] Euclid, Elements, Book I–VI.
[2] Descartes, R., La Géométrie, 1637.
[3] Wantzel, P. L., "Recherches sur les moyens de reconnaître si un Problème de Géométrie peut se résoudre avec la règle et le compas", Journal de Mathématiques Pures et Appliquées, 1837.
[4] Hilbert, D., Foundations of Geometry, 1899.
[5] Hartshorne, R., Geometry: Euclid and Beyond, Springer, 2000.

---

本文所有构造步骤均可在有限步内完成，严格遵循尺规作图的原始公理。在广义初始条件下，本文为立方倍积问题提供了完整的构造性证明。

wangyangke

http://www.mathchina.com/bbs/for ... &extra=page%3D1

wangyangke