更新时间:2024-03-08 18:59
倍立方问题是古希腊数学里尺规作图领域当中的著名问题,和三等分角、化圆为方问题被并列为古希腊尺规作图三大难题。尺规作图是古希腊人的数学研究课题之一,是对具体的直尺和圆规画图可能性的抽象化,研究是否能用规定的作图法在有限步内达到给定的目标。倍立方问题的内容是:
“能否用尺规作图的方法作出一立方体的棱长,使该立方体的体积等于一给定立方体的两倍?”
倍立方问题的实质是能否通过尺规作图从单位长度出发作出的问题。
三大难题提出后,在漫长的两千余年中,曾有众多的尝试,但没有人能够给出严格的答案。随着十九世纪群论和域论的发展,法国数学家皮埃尔·汪策尔首先利用伽罗瓦理论证明,三等分角问题的答案是否定的。运用类似的方法,可以证明倍立方问题的答案同样是否定的。具体来说,给定单位长度后,所有能够经由尺规作图达到的长度值被称为规矩数,而如果能够作出,那么就能做出不属于规矩数的长度,从而反证出通过尺规作图作出给定立方体体积两倍的立方体是不可能的。
如果不将手段局限在尺规作图法中,放宽限制或借助更多的工具的话,作出给定立方体体积两倍的立方体是可行的。
传说中,这问题的来源,可追溯到公元前429年。一场瘟疫袭击了希腊提洛岛(Delos),造成四分之一的人口死亡。岛民们去神庙请示阿波罗的旨意,神谕说:要想遏止瘟疫,得将阿波罗神殿中那正立方的祭坛加大一倍。人们便把每边增长一倍,结果体积当然就变成了8倍,瘟疫依旧蔓延;接着人们又试著把体积改成原来的2倍,但形状却变为一个长方体……第罗斯岛人在万般无奈的情况下,只好鼓足勇气到雅典去求救于当时著名的学者柏拉图。
开始,柏拉图和他的学生认为这个问题很容易。他们根据平时的经验,觉得利用尺规作图可以轻而易举地作一个正方形,使它的面积等于已知正方形的2倍,那么作一个正方体,使它的体积等于已知正方体体积的2倍,还会难吗?
在叙述倍立方问题前,首先需要介绍尺规作图的意思。尺规作图问题是从现实中具体的“直尺和圆规画图可能性”问题抽象出来的数学问题,将现实中的直尺和圆规抽象为数学上的设定,研究的是能不能在若干个具体限制之下,在有限的步骤内作出给定的图形、结构或其他目标的问题。在尺规作图中,直尺和圆规的定义是:
定义了直尺和圆规的特性后,所有的作图步骤都可以归化为五种基本的步骤,称为作图公法:
1) 通过两个已知点,作一直线;
2) 已知圆心和半径,作一个圆;
3) 若两已知直线相交,确定其交点;
4) 若已知直线和一已知圆相交,确定其交点;
5) 若两已知圆相交,确定其交点。
尺规作图研究的,就是是否能够通过以上五种步骤的有限次重复,达到给定的作图目标。尺规作图问题常见的形式是:“给定某某条件,能否用尺规作出某某对象?”比如:“给定一个圆,能否用尺规作出这个圆的圆心?”,等等。
倍立方问题的完整叙述是:
任意给定一个线段l,是否能够通过以上说明的五种基本步骤,于有限次内作出另一个长度的线段,使得以它为棱长的立方体的体积是以l为棱长的立方体的体积的2倍?
如果将给定线段的长度定为单位长度,则倍立方问题实质上就是要作出长度为单位长度的倍的线段。
与倍立方问题相比,倍平方问题要简单得多。给定一个单位长度的线段,只需做一个以它为边长的正方形,以正方形的对角线为边长的正方形,面积就是2. 也即是说,尺规作图可以作出长度为单位长度的倍的线段。然而,和虽然形状相近,却有本质性的区别。数学家们直到十九世纪后,才从群论和域论的工具中了解了这个区别。
如果使用有刻度的直尺,则倍立方问题求解是有可能的。作一个边长为的等边三角形,并在的延长线上取一点,使得。现在,取一把直尺,使它经过点,与的延长线相交于,与的延长线相交于,且使。则的长度就是。
由得
又根据余弦定理
现在设,则由孟氏定理
可得
两边平方后整理
此方程式有唯一正实根