倍立方

尺规作图三大难题
	三等分角
	化圆为方
	倍立方

倍立方是古希腊数学里尺规作图领域当中的著名问题，和三等分角、化圆为方问题被并列为古希腊尺规作图三大难题。尺规作图是古希腊人的数学研究课题之一，是对具体的直尺和圆规画图可能性的抽象化，研究是否能用规定的作图法在有限步内达到给定的目标。倍立方问题的内容是：

倍立方问题

“能否用尺规作图的方法作出一立方体的棱长，使该立方体的体积等于一给定立方体的两倍？”

倍立方问题的实质是能否通过尺规作图从单位长度出发作出 ${\sqrt[{3}]{2}}$ 的问题。

三大难题提出后，在漫长的两千余年中，曾有众多的尝试，但没有人能够给出严格的答案。随着十九世纪群论和域论的发展，法国数学家皮埃尔·汪策尔（英语：Pierre Wantzel）首先利用伽罗瓦理论证明，三等分角问题的答案是否定的。运用类似的方法，可以证明倍立方问题的答案同样是否定的。具体来说，给定单位长度后，所有能够经由尺规作图达到的长度值被称为规矩数，而如果能够作出 ${\sqrt[{3}]{2}}$ ，那么就能做出不属于规矩数的长度，从而反证出通过尺规作图作出给定立方体体积两倍的立方体是不可能的。

如果不将手段局限在尺规作图法中，放宽限制或借助更多的工具的话，作出给定立方体体积两倍的立方体是可行的。

背景简介

尺规作图法

在叙述倍立方问题前，首先需要介绍尺规作图。尺规作图问题是从现实中具体的“直尺和圆规画图可能性”问题抽象出来的数学问题，将现实中的直尺和圆规抽象为数学上的设定，研究的是能不能在若干个具体限制之下，在有限的步骤内作出给定的图形、结构或其他目标的问题。在尺规作图中，直尺和圆规的定义是^[1]：

直尺：一侧为无穷长的直线，没有刻度也无法标识刻度的工具。只可以让笔摹下这个直线的全部或一部分。

圆规：由两端点构成的工具。可以在保持两个端点之间的距离不变的情况下，将两个端点同时移动，或者只固定其中一个端点，让另一个端点移动，作出圆弧或圆。两个端点之间的距离只能取已经作出的两点之间的距离，或者任意一个未知的距离。

定义了直尺和圆规的特性后，所有的作图步骤都可以归化为五种基本的步骤，称为作图公法^[1]：

通过两个已知点，作一直线。
已知圆心和半径，作一个圆。
若两已知直线相交，确定其交点。
若已知直线和一已知圆相交，确定其交点。
若两已知圆相交，确定其交点。

尺规作图研究的，就是是否能够通过以上五种步骤的有限次重复，达到给定的作图目标。尺规作图问题常见的形式是：“给定某某条件，能否用尺规作出某某对象？”比如：“给定一个圆，能否用尺规作出这个圆的圆心？”，等等。^[1]

问题叙述

倍立方问题的完整叙述是：

“

任意给定一个线段

l

，是否能够通过以上说明的五种基本步骤，于有限次内作出另一个长度的线段，使得以它为棱长的立方体的体积是以

l

为棱长的立方体的体积的2倍？

”

如果将给定线段的长度定为单位长度，则倍立方问题实质上就是要作出长度为单位长度的 ${\sqrt[{3}]{2}}$ 倍的线段。^[2]

倍平方

与倍立方问题相比，倍平方问题要简单得多。给定一个单位长度的线段，只需做一个以它为边长的正方形，以正方形的对角线为边长的正方形，面积就是2. 也即是说，尺规作图可以作出长度为单位长度的 ${\sqrt {2}}$ 倍的线段。然而， ${\sqrt[{3}]{2}}$ 和 ${\sqrt {2}}$ 虽然形状相近，却有本质性的区别。数学家们直到十九世纪后，才从群论和域论的工具中了解了这个区别。

不可能性的证明

以下内容已移至于规矩数

尺规作图三大难题提出后，有许多基于平面几何的论证和尝试，但在十九世纪以前，一直没有完整的解答。没有人能够给出倍立方问题的解法，但开始怀疑其可能性的人之中，也没有人能够证明这样的解法一定不存在。直到十九世纪后，伽罗瓦和阿贝尔开创了以群论来讨论有理系数多项式方程之解的方法，人们才认识到这三个问题的本质^[1] 。

尺规可作性和规矩数

在研究各种尺规作图问题的时候，数学家们留意到，能否用尺规作出特定的图形或目标，本质是能否作出符合的长度。引进直角坐标系和解析几何以后，又可以将长度解释为坐标。比如说，作出一个圆，实际上是作出圆心的位置（坐标）和半径的长度。作出特定的某个交点或某条直线，实际上是找出它们的坐标、斜率和截距。为此，数学家引入了尺规可作性这一概念。假设平面上有两个已知的点 $O$ 和 $A$ ，以 $OA$ 为单位长度，射线 $OA$ 为 $x$ -轴正向可以为平面建立一个标准直角坐标系，平面中的点可以用横坐标和纵坐标表示，整个平面可以等价于 $\mathbb {R} ^{2}$ 。

设 $E$ 是 $\mathbb {R} ^{2}$ 的一个非空子集。如果某直线 ${\mathcal {l}}$ 经过 $E$ 中不同的两点，就说 ${\mathcal {l}}$ 是 $E$ -尺规可作的，简称 $E$ -可作。同样地，如果某个圆 ${\mathcal {C}}$ 的圆心和圆上的某个点是 $E$ 中的元素，就说 ${\mathcal {C}}$ 是 $E$ -可作的。进一步地说，如果 $\mathbb {R} ^{2}$ 里的某个点 $P$ 是某两个 $E$ -可作的直线或圆的交点（直线－直线、直线－圆以及圆－圆），就说点 $P$ 是 $E$ -可作的。这样的定义是基于五个基本步骤得来的，包括了尺规作图中从已知条件得到新元素的五种基本方法。如果将所有 $E$ -尺规可作的点的集合记作 $s(E)$ ，那么当 $E$ 中包含超过两个点的时候， $E$ 肯定是 $s(E)$ 的真子集。从某个点集 $E 0$ 开始，经过一步能作出的点构成集合 $E 1$ = $s(E)$ ，经过两步能作出的点就是 $E 2$ = $s(E 1)$ ，……以此类推，经过 $n$ 步能作出的点集就是 $E n$ = $s(E n-1)$ 。而所有从 $E$ 能尺规作出的点集就是：

C(\mathrm {E} _{0})=\bigcup _{n\in \mathbb {N} }\mathrm {E} _{n}.

^[3]^:521

另一个与尺规可作性相关的概念是规矩数。设 $H$ 是从集合 $E 0$ ={(0,0), (0,1)}开始，尺规可作点的集合： $\mathrm {H} =C(\mathrm {E} _{0}),$ 那么规矩数定义为 $H$ 中的点的横坐标和纵坐标表示的数。

定义：实数

a

和

b

是规矩数当且仅当

(a, b)

是

H

中的一个点。^[3]^:522

可以证明，有理数集 $\mathbb {Q}$ 是所有规矩数构成的集合 $K$ 的子集，而 $K$ 又是实数集 $\mathbb {R}$ 的子集。另外，为了在复数集 $\mathbb {C}$ 内讨论问题，也会将平面 $\mathbb {R} ^{2}$ 看作复平面 $\mathbb {C}$ ，同时定义一个复数 $a+bi$ 是（复）规矩数当且仅当点 $(a, b)$ 是 $H$ 中的一个点。所有复规矩数构成的集合 $L$ 也包含 $\mathbb {Q}$ 作为子集，并且是复数集 $\mathbb {C}$ 的子集。从尺规可作性到解析几何下的规矩数，尺规作图问题从几何问题转成了代数的问题。^[3]^:522

域的扩张与最小多项式

以集合的观念来说， $L$ 与 $\mathbb {Q}$ 、 $\mathbb {C}$ 之间是子集与包含的关系。以抽象代数的观点来说，可以证明 $L$ 是有理数域 $\mathbb {Q}$ 的扩域，是实数域 $\mathbb {C}$ 的子域。记作 $\mathbb {Q} \subseteq \mathrm {L} \subseteq \mathbb {C}$ 。域是抽象代数中的概念，是能够进行“加减乘除”运算的集合。从单位长度出发，很容易得到任何有理数长度的线段，所以直线 $OA$ （也就是实数轴）上所有的有理数坐标的点都是尺规可作点^[1]。如果平面上还有另一个尺规可作点（对应复数 $z$ ），那么也能做出任意 $pz+q$ 的点，甚至于任何形如：

{\frac {P_{1}(z)}{P_{2}(z)}}

的点（其中 $P 1$ 和 $P 2$ 是两个多项式）。有理数域 $\mathbb {Q}$ 和所有因为 $z$ 而多出来的尺规可作点仍旧构成一个域，称为 $\mathbb {Q}$ 关于 $z$ 的扩张，记作 $\mathbb {Q} (z)$ 。然而， $\mathbb {Q} (z)$ 中的元素并没有表面上那么“多”。一般来说，如果有一个多项式 $P$ 使得 $P(z)$ =0，那么 $\mathbb {Q} (z)$ 中的元素都可以写成 $λ 1 +λ 2 z+...+λ d z d-1$ 的形式，其中 $d$ 是 $P$ 的阶数。这样的情况称为域 $\mathbb {Q}$ 的有限扩张，因为 $\mathbb {Q} (z)$ 可以看成关于 $\mathbb {Q}$ 的有限维线性空间。为了确定这个线性空间的维数，需要为它找一个基底，也就是一个线性无关的最小生成集。为此，寻找使得 $m(z)$ =0的多项式中阶数最小的，并称 $m$ 是 $z$ 最小多项式。在最小多项式确定后，便可确定 $1, z, ... , z d m -1$ 是 $\mathbb {Q} (z)$ 的一个基底， $\mathbb {Q} (z)$ 是一个 $d m$ 维的 $\mathbb {Q}$ -线性空间（ $d m$ 是 $m$ 的阶数）^[4]^:68。这时候也称 $d m$ 是域扩张 $\mathbb {Q} \subseteq \mathbb {Q} (z)$ 的阶数，记作：

[\mathbb {Q} (z):\mathbb {Q} ]=\mathrm {d} _{m}

^[3]^:512

规矩扩张的阶数

对任何一个尺规可作点，都可以考察它对应的域扩张的阶数。由于每个尺规可作点都是通过五种作图公法的有限次累加得到的，而其中生成新点（也就是新坐标）的只有后三种。所以只需考察这三种步骤得到的新点对应的域扩张的阶数。假设某个时刻，已知的所有尺规可作点构成的域是 $L$ ，那么生成新点时的直线和圆的系数都在 $L$ 里面。

直线的方程是：

ax+by+c=0,\quad a,b,c\in \mathrm {L} ,\qquad \qquad \cdots \;\;(1)

圆的方程是：

(x-c_{1})^{2}+(y-c_{2})^{2}=r^{2},\quad c_{1},c_{2},r\in \mathrm {L} .\qquad \qquad \cdots \;\;(2)

无论是两个(1)类方程，两个(2)类方程，还是一个(1)类和一个(2)类方程联立求解，得到的 $x$ 和 $y$ 值都会是形同

{\begin{cases}x=p_{1}+q_{1}{\sqrt {t}}&p_{1},\;q_{1},\;t\;\in \mathrm {L} \\y=p_{2}+q_{2}{\sqrt {t}}&p_{2},\;q_{2}\;\in \mathrm {L} \end{cases}}

的数值。所以复规矩数 $z$ = $x+yi$ 满足一个二次方程：

(z-(p_{1}+p_{2}i))^{2}=t(q_{1}+q_{2}i)^{2}

其中的 $p 1 +p 2 i$ 、 $q 1 +q 2 i$ 以及 $t$ 都是 $L$ 中的元素^[3]^:523^[4]^:78-79。这意味着，域扩张 $L\subseteqL(z)$ 的阶数最多是2（最小多项式的阶数至多是2）^[1]。这又说明，从 $L$ 开始，经过一系列（ $n$ 次）基本步骤得到的尺规可作点，代表了 $n$ 次域扩张：

\mathrm {L} \subseteq \mathrm {L} _{1}\subseteq \cdots \subseteq \mathrm {L} _{n}.

而每次域扩张的阶数： $[L k : L k-1]$ 都不超过2。因此，如果从基本的有理数域出发的话，就能得到如下的定理：^[3]^:523-524^[1]

任何复规矩数

z

对应的域扩张

\mathbb {Q} \subseteq \mathbb {Q} (z)

的阶数

[\mathbb {Q} (z):\mathbb {Q} ]

都是2的某个幂次：

[\mathbb {Q} (z):\mathbb {Q} ]=2^{s}

其中的

s

是某个小于

n

的自然数（

n

是已知所有有理数坐标点时，作出

z

对应的点要经过的基本步骤数目）。

倍立方不可能性的证明

证明使用反证法。倍立方问题是指已知单位长度1，要作出 ${\sqrt[{3}]{2}}$ 的长度。反设 ${\sqrt[{3}]{2}}$ 可以作出，说明它是一个规矩数。所以域扩张的阶数 $[\mathbb {Q} ({\sqrt[{3}]{2}}):\mathbb {Q} ]$ 应该是2的幂次。然而， $z={\sqrt[{3}]{2}}$ 的最小多项式是：

z^{3}-2=0

这说明域扩张 $\mathbb {Q} \subseteq \mathbb {Q} ({\sqrt[{3}]{2}})$ 的阶数是3，不是2的幂次，这与先前的结论矛盾。所以，用尺规方法无法作出一个立方体，使得它的体积是已知立方体的两倍。

倍立方的方法

如果放宽条件，比如使用有刻度的直尺（二刻尺）或折纸等，则倍立方是有可能的：

二刻尺作图

用有刻度的直尺来进行倍立方

作一个边长为 1 的等边三角形 ABC。
把 AB 延长，作线 AD ，使得 BD = 1。
把 BC 延长，作线 BE。
把 D 和 C 相连并延长，作线 DF。
利用直尺上的刻度，作线 AGH，使得 GH = 1 ，其中 G 和 H 分别在 DF 和 BE 之上。
AG 的长度就是 ${\sqrt[{3}]{2}}$ ，作图完毕

证明

由 $\angle CBD=120^{\circ },{\overline {BC}}={\overline {BD}}$

得

\angle BCD=30^{\circ },\angle ACG=90^{\circ }

又根据余弦定理

${\overline {CD}}={\sqrt {{\overline {BC}}^{2}+{\overline {BD}}^{2}-2{\overline {BC}}\cdot {\overline {BD}}cos\angle CBD}}={\sqrt {3}}$

现在设 ${\overline {AG}}=x$ ，则 ${\overline {CG}}={\sqrt {x^{2}-1}}$ 由孟氏定理

{\frac {\overline {DB}}{\overline {BA}}}\cdot {\frac {\overline {AH}}{\overline {HG}}}\cdot {\frac {\overline {GC}}{\overline {CD}}}=1

可得

{\frac {(x+1){\sqrt {x^{2}-1}}}{\sqrt {3}}}=1

两边平方后整理

(x+1)^{2}(x^{2}-1)-3

=x^{4}+2x^{3}-2x-4

=(x+2)(x^{3}-2)=0

此方程式有唯一正实根

x={\sqrt[{3}]{2}}

折纸

通过折纸的方式求出2的立方根

将一张正方形纸折三等份留下痕迹之后，点P折向正方形的边AB，并且点P的位置要使得左三等分点Q折到与右三等分线重合。此时有 ${\frac {\overline {PB}}{\overline {AP}}}={\sqrt[{3}]{2}}$ 。

证明

将图中左边被折的点命名为C，以及AB边上右三等分点命名为D。

设正方形连长为1以及AC长度为 $x$ ，则有CP长度为 $1-x$ ，AP长度通过勾股定理为 ${\sqrt {1-2x}}$ ；另一方面PQ长度为 ${\frac {1}{3}}$ ，PD长度为 ${\frac {2}{3}}-{\sqrt {1-2x}}$ 。

根据相似三角形（ $\triangle ACP\sim \triangle DPQ$ ），可以得到方程：

{\frac {x}{1-x}}={\frac {{\frac {2}{3}}-{\sqrt {1-2x}}}{\frac {1}{3}}}

取其正根解得 $x={\frac {2}{3}}-{\frac {1}{3{\sqrt[{3}]{2}}}}$ ，又由于PB长度为 $1-{\sqrt {1-2x}}$ ，于是代入 $x={\frac {2}{3}}-{\frac {1}{3{\sqrt[{3}]{2}}}}$ 得 ${\frac {1-{\sqrt {1-2x}}}{\sqrt {1-2x}}}={\sqrt[{3}]{2}}$ ，证毕。

参考来源

^ ^1.0 ^1.1 ^1.2 ^1.3 ^1.4 ^1.5 ^1.6 曹亮吉. 《三等分任意角可能吗？》. 原载于科学月刊第九卷第四期. http://episte.math.ntu.edu.tw. [2013-05-28]. （原始内容存档于2014-06-23）. 外部链接存在于|publisher= (帮助)
^ 康明昌. 《古希臘幾何三大問題》. 原载于数学传播第八卷第二期、第八卷第三期分两期刊出. http://episte.math.ntu.edu.tw. [2013-05-29]. （原始内容存档于2004-04-06）. 外部链接存在于|publisher= (帮助)
^ ^3.0 ^3.1 ^3.2 ^3.3 ^3.4 ^3.5 引用错误：没有为名为Warner的参考文献提供内容
^ ^4.0 ^4.1 引用错误：没有为名为Stewart的参考文献提供内容

外部链接

HPM 通讯第6卷第6期, 3大作图题介绍在较宽松的条件下（允许使用其他曲线）用尺规作图，来求解倍立方问题。

[clj-1] 1.0 ^1.1 ^1.2 ^1.3 ^1.4 ^1.5 ^1.6 曹亮吉. 《三等分任意角可能吗？》. 原载于科学月刊第九卷第四期. http://episte.math.ntu.edu.tw. [2013-05-28]. （原始内容存档于2014-06-23）. 外部链接存在于|publisher= (帮助)

[2] 康明昌. 《古希臘幾何三大問題》. 原载于数学传播第八卷第二期、第八卷第三期分两期刊出. http://episte.math.ntu.edu.tw. [2013-05-29]. （原始内容存档于2004-04-06）. 外部链接存在于|publisher= (帮助)

[Warner-3] 3.0 ^3.1 ^3.2 ^3.3 ^3.4 ^3.5 引用错误：没有为名为Warner的参考文献提供内容

[Stewart-4] 4.0 ^4.1 引用错误：没有为名为Stewart的参考文献提供内容

[1]

[2]

[3]

[4]

倍立方

目录