查看“︁倍立方”︁的源代码

{{古希腊三大名题}}

[[File:Doubling the cube problem.PNG|thumb|250px|倍立方問題]]
'''倍立方'''是[[古希腊]]数学里[[尺规作图]]领域當中的著名问题，和[[三等分角]]、[[化圓為方]]問題被並列為古希臘尺规作图三大难题。尺规作图是古希腊人的数学研究课题之一，是对具体的[[直尺]]和[[圆规]]画图可能性的抽象化，研究是否能用规定的作图法在有限步内达到给定的目标。倍立方问题的内容是：

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

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

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

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

== 背景简介 ==
=== 相关传说 ===
传说中，这问题的来源，可追溯到公元前429年。一场瘟疫袭击了希腊[[提洛岛]]（Delos），造成四分之一的人口死亡。岛民们去神庙请示阿波罗的旨意，[[神谕]]说：要想遏止瘟疫，得将[[阿波罗神殿]]中那正立方的祭坛加大一倍。人们便把每边增长一倍，结果体积当然就变成了8倍，瘟疫依旧蔓延；接著人们又试著把体积改成原来的2倍，但形状却变为一个长方体……第罗斯岛人在万般无奈的情况下，只好鼓足勇气到[[雅典]]去求救於当时著名的学者[[柏拉图]]。<br />

开始，[[柏拉图]]和他的学生认为这个问题很容易。他们根据平时的经验，觉得利用[[尺规作图]]可以轻而易举地作一个正方形，使它的面积等于已知正方形的2倍，那么作一个正方体，使它的体积等于已知正方体体积的2倍，还会难吗?

===尺规作图法===
{{main|尺规作图}}
在叙述倍立方问题前，首先需要介绍[[尺规作图]]。尺规作图问题是从现实中具体的“直尺和圆规画图可能性”问题抽象出来的数学问题，将现实中的直尺和圆规抽象为数学上的设定，研究的是能不能在若干个具体限制之下，在有限的步骤内作出给定的图形、结构或其他目标的问题。在尺规作图中，直尺和圆规的定义是<ref name="clj"/>：
:直尺：一侧为无穷长的直线，没有刻度也无法标识刻度的工具。只可以让笔摹下这个直线的全部或一部分。
:圆规：由两端点构成的工具。可以在保持两个端点之间的距离不变的情况下，将两个端点同时移动，或者只固定其中一个端点，让另一个端点移动，作出圆弧或圆。两个端点之间的距离只能取已经作出的两点之间的距离，或者任意一个未知的距离。
定义了直尺和圆规的特性後，所有的作图步骤都可以归化为五种基本的步骤，称为作图公法<ref name="clj"/>：
* 通過兩個已知點，作一直線。
* 已知圓心和半徑，作一個圓。
* 若兩已知直線相交，确定其交點。
* 若已知直線和一已知圓相交，确定其交點。
* 若兩已知圓相交，确定其交點。
尺规作图研究的，就是是否能够通过以上五种步骤的有限次重复，达到给定的作图目标。尺规作图问题常见的形式是：“给定某某条件，能否用尺规作出某某对象？”比如：“给定一个圆，能否用尺规作出这个圆的圆心？”，等等。<ref name="clj"/>
===问题叙述===
倍立方问题的完整叙述是：
{{cquote|任意给定一个线段{{math|l}}，是否能够通过以上说明的五种基本步骤，于有限次内作出另一个长度的线段，使得以它为棱长的立方体的体积是以{{math|l}}为棱长的立方体的体积的2倍？}}
如果将给定线段的长度定为单位长度，则倍立方问题实质上就是要作出长度为单位长度的<math>\sqrt[3]{2}</math>倍的线段。<ref>{{cite web|author=康明昌|title=《古希臘幾何三大問題 》|url=http://episte.math.ntu.edu.tw|work=原載於數學傳播第八卷第二期、第八卷第三期分兩期刊出|publisher=http://episte.math.ntu.edu.tw|accessdate=2013-05-29|archive-date=2004-04-06|archive-url=https://web.archive.org/web/20040406190055/http://episte.math.ntu.edu.tw/|dead-url=no}}</ref>

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

== 不可能性的證明 ==
{{main|規矩數}}
{{hidden|以下內容已移至於[[規矩數]]|2=
尺规作图三大难题提出後，有許多基於平面幾何的論證和嘗試，但在十九世紀以前，一直沒有完整的解答。沒有人能夠給出倍立方问题的解法，但開始懷疑其可能性的人之中，也沒有人能夠證明這樣的解法一定不存在。直到十九世紀後，伽羅瓦和阿貝爾開創了以群論來討論有理係數多項式方程之解的方法，人們才認識到这三个問題的本質<ref name="clj">{{cite web|author=曹亮吉|title=《三等分任意角可能吗？》|url=http://episte.math.ntu.edu.tw/articles/sm/sm_09_04_1/index.html|work=原載於科學月刊第九卷第四期|publisher=http://episte.math.ntu.edu.tw|accessdate=2013-05-28|archive-date=2014-06-23|archive-url=https://web.archive.org/web/20140623211803/http://episte.math.ntu.edu.tw/articles/sm/sm_09_04_1/index.html|dead-url=no}}</ref> 。

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

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

另一个与尺规可作性相关的概念是规矩数。设{{math|H}}是从集合{{math|E<sub>0</sub>}}={(0,0), (0,1)}开始，尺规可作点的集合：<math>\mathrm{H} = C(\mathrm{E}_0),</math> 那么规矩数定义为{{math|H}}中的点的横坐标和纵坐标表示的数。
:定义：[[实数]]{{math|a}}和{{math|b}}是规矩数[[当且仅当]]{{math|(a, b)}}是{{math|H}}中的一个点。{{r|Warner|page1=522}}

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

===域的扩张与最小多项式===
以集合的观念来说，{{math|L}}与<math>\mathbb{Q}</math>、<math>\mathbb{C}</math>之间是子集与包含的关系。以抽象代数的观点来说，可以证明{{math|L}}是有理数域<math>\mathbb{Q}</math>的扩域，是实数域<math>\mathbb{C}</math>的子域。记作<math>\mathbb{Q} \subseteq \mathrm{L} \subseteq \mathbb{C}</math>。[[体 (数学)|域]]是抽象代数中的概念，是能够进行“加减乘除”运算的集合。从单位长度出发，很容易得到任何有理数长度的线段，所以直线{{math|OA}}（也就是实数轴）上所有的有理数坐标的点都是尺规可作点<ref name="clj"/>。如果平面上还有另一个尺规可作点（对应复数{{math|z}}），那么也能做出任意{{math|pz+q}}的点，甚至于任何形如：
::<math>\frac{P_1(z)}{P_2(z)}</math>
的点（其中{{math|P<sub>1</sub>}}和{{math|P<sub>2</sub>}}是两个多项式）。有理数域<math>\mathbb{Q}</math>和所有因为{{math|z}}而多出来的尺规可作点仍旧构成一个域，称为<math>\mathbb{Q}</math>关于{{math|z}}的扩张，记作<math>\mathbb{Q}(z)</math>。然而，<math>\mathbb{Q}(z)</math>中的元素并没有表面上那么“多”。一般来说，如果有一个多项式{{math|P}}使得{{math|P(z)}}=0，那么<math>\mathbb{Q}(z)</math>中的元素都可以写成{{math|λ<sub>1</sub>+λ<sub>2</sub>z+...+λ<sub>d</sub>z<sup>d-1</sup>}}的形式，其中{{math|d}}是{{math|P}}的阶数。这样的情况称为域<math>\mathbb{Q}</math>的[[有限扩张]]，因为<math>\mathbb{Q}(z)</math>可以看成关于<math>\mathbb{Q}</math>的有限维[[线性空间]]。为了确定这个线性空间的维数，需要为它找一个[[基底]]，也就是一个[[线性相关|线性无关]]的最小[[线性生成空间|生成集]]。为此，寻找使得{{math|m(z)}}=0的多项式中阶数最小的，并称{{math|m}}是{{math|z}}[[最小多项式]]。在最小多项式确定后，便可确定{{math|1,  z, ... , z<sup>d<sub>m</sub>-1</sup>}}是<math>\mathbb{Q}(z)</math>的一个基底，<math>\mathbb{Q}(z)</math>是一个{{math|d<sub>m</sub>}}维的<math>\mathbb{Q}</math>-线性空间（{{math|d<sub>m</sub>}}是{{math|m}}的阶数）{{r|Stewart|page1=68}}。这时候也称{{math|d<sub>m</sub>}}是域扩张<math>\mathbb{Q} \subseteq \mathbb{Q}(z)</math>的阶数，记作：
:<math>[ \mathbb{Q}(z) : \mathbb{Q} ] = \mathrm{d}_m </math>{{r|Warner|page1=512}}

===规矩扩张的阶数===
对任何一个尺规可作点，都可以考察它对应的域扩张的阶数。由于每个尺规可作点都是通过五种作图公法的有限次累加得到的，而其中生成新点（也就是新坐标）的只有後三种。所以只需考察这三种步骤得到的新点对应的域扩张的阶数。假设某个时刻，已知的所有尺规可作点构成的域是{{math|L}}，那么生成新点时的直线和圆的系数都在{{math|L}}里面。
:直线的方程是：<math>ax + by + c = 0, \quad a, b, c \in \mathrm{L},  \qquad \qquad \cdots \; \; (1)</math>
:圆的方程是：<math>(x -c_1)^2 + (y - c_2)^2  = r^2, \quad c_1, c_2, r \in \mathrm{L}.\qquad \qquad \cdots \; \; (2)</math>
无论是两个(1)类方程，两个(2)类方程，还是一个(1)类和一个(2)类方程联立求解，得到的{{math|x}}和{{math|y}}值都会是形同
:<math>
\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}
</math>
的数值。所以复规矩数{{math|z}}={{math|x+yi}}满足一个二次方程：
:<math>(z - (p_1 + p_2 i))^2 = t(q_1 + q_2 i)^2</math>
其中的{{math|p<sub>1</sub>+p<sub>2</sub>i}}、{{math|q<sub>1</sub>+q<sub>2</sub>i}}以及{{math|t}}都是{{math|L}}中的元素{{r|Warner|Stewart|page1=523|page2=78-79}}。这意味着，域扩张{{math|L⊆L(z)}}的阶数最多是2（最小多项式的阶数至多是2）<ref name="clj"/>。这又说明，从{{math|L}}开始，经过一系列（{{math|n}}次）基本步骤得到的尺规可作点，代表了{{math|n}}次域扩张：
:<math>\mathrm{L} \subseteq \mathrm{L}_1 \subseteq \cdots \subseteq \mathrm{L}_n.</math>
而每次域扩张的阶数：{{math|[L<sub>k</sub> : L<sub>k-1</sub>]}}都不超过2。因此，如果从基本的有理数域出发的话，就能得到如下的定理：{{r|Warner|page1=523-524}}<ref name="clj"/>
{{Squote|w=65%|
<center>任何复规矩数{{math|z}}对应的域扩张<math>\mathbb{Q} \subseteq \mathbb{Q}(z)</math>的阶数<math>[ \mathbb{Q}(z) : \mathbb{Q} ]</math>都是2的某个幂次：</center><br>
<center><math>[ \mathbb{Q}(z) : \mathbb{Q} ] = 2^s</math></center>
}}
其中的{{math|s}}是某个小于{{math|n}}的自然数（{{math|n}}是已知所有有理数坐标点时，作出{{math|z}}对应的点要经过的基本步骤数目）。
|headerstyle=background:#ccccff
|style=text-align:center;}}

===倍立方不可能性的证明===
证明使用[[反证法]]。倍立方问题是指已知单位长度1，要作出<math>\sqrt[3]{2}</math>的长度。反设<math>\sqrt[3]{2}</math>可以作出，说明它是一个规矩数。所以域扩张的阶数<math>[ \mathbb{Q}(\sqrt[3]{2}) : \mathbb{Q} ] </math>应该是2的幂次。然而，<math>z = \sqrt[3]{2}</math>的最小多项式是：
:<math>z^3 - 2 = 0</math>
这说明域扩张<math>\mathbb{Q} \subseteq \mathbb{Q}(\sqrt[3]{2})</math>的阶数是3，不是2的幂次，这与先前的结论矛盾。所以，用尺规方法无法作出一个立方体，使得它的体积是已知立方体的两倍。

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

===二刻尺作图===
[[File:DoublingTheCubeWithUnitRuler.png|thumb|用有刻度的直尺来进行倍立方]]

# 作一個邊長為 1 的等邊三角形 ABC。
# 把 AB 延長，作線 AD ，使得 BD = 1。
# 把 BC 延長，作線 BE。
# 把 D 和 C 相連並延長，作線 DF。
# 利用直尺上的刻度，作線 AGH，使得 GH = 1 ，其中 G 和 H 分別在 DF 和 BE 之上。
# AG 的長度就是<math>\sqrt[3]{2}</math>，作圖完畢 

====證明====
由
<math>\angle CBD=120^\circ ,\overline{BC}=\overline{BD}</math> 

得

:<math>\angle BCD=30^\circ ,\angle ACG=90^\circ</math>

又根據畢氏定理

<math>\overline{CD}=\sqrt{3}</math>

現在設<math>\overline{AG}=x</math>，則<math>\overline{CG}=\sqrt{x^2-1}</math>由[[孟氏定理]]

:<math>\frac{\overline{DB}}{\overline{BA}}\cdot\frac{\overline{AH}}{\overline{HG}}\cdot\frac{\overline{GC}}{\overline{CD}}=1</math>
可得
:<math>\frac{(x+1)\sqrt{x^2-1}}{\sqrt{3}}=1</math>
兩邊平方後整理
:<math>(x+1)^2(x^2-1)-3</math>

:<math>=x^4+2x^3-2x-4</math>

:<math>=(x+2)(x^3-2)=0</math>
此方程式有唯一正實根
:<math>x=\sqrt[3]{2}</math>

===折纸===
[[File:Delian origami.svg|thumb|通过折纸的方式求出2的立方根]]

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

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

设正方形连长为1以及AC长度为<math>x</math>，则有CP长度为<math>1-x</math>，AP长度通过[[勾股定理]]为<math>\sqrt{1-2x}</math>；另一方面PQ长度为<math>\frac13</math>，PD长度为<math>\frac23-\sqrt{1-2x}</math>。

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

:<math>\frac x{1-x}=\frac{\frac23-\sqrt{1-2x}}{\frac13}</math>

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

==相關條目==
*[[三等分角]]
*[[化圆为方]]
*[[蔓葉線]]

== 参考来源 ==
{{reflist
|refs=
<!--<ref name="Warner">{{cite book|author=Warner|title=''Modern algebra''|year=1990|publisher=Courier Dover Publications|language=en|isbn=9780486663418}}</ref> 
<ref name="Stewart">{{cite book | last = Stewart | first = Ian  | authorlink = 伊恩·史都华 | title = ''Galois Theory'' | publisher = Chapman and Hall Mathematics | year = 1989|language=en| isbn = 0-412-34550-1 }}</ref>-->
}}

<!---
<ref name="ud">{{cite book|author=Underwood Dudley|title=''The trisectors''|year=1994|publisher=Cambridge University Press|language=en|isbn=9780883855140}}</ref> 
--->

== 外部链接 ==
* [http://math.ntnu.edu.tw/~horng/letter/vol6no6b.htm HPM 通訊第6卷第6期, 3大作圖題] 介紹在較寬鬆的條件下（允許使用其他曲線）用尺規作圖，來求解倍立方問題。

{{代數數}}
{{古希臘數學}}

{{Authority control}}
[[Category:平面几何]]
[[Category:数学问题]]