倍立方体问题

12/12倍立方问题希腊人在用尺规作出正方形两倍于另一正方形之后，试图解决如何用尺规作一立方体两倍于另一立方体的问题.关于此问题的起源还有这样一则传说.有一回，太阳神阿波罗用神谕对德利安岛上的人说，如果他们要免于一场可怕的瘟疫,就必须建造一座新的立方祭坛，新祭坛的体积必须是原有立方祭坛的两倍。德利安人绞尽脑汁，仍一筹莫展；死亡的阴影笼罩全岛,德利安人惶惶不可终日。最后，他们只好去求助于柏拉图.柏拉图告诉他们说，神谕的意思其实并非要一座两倍大的祭坛，而是由于希腊人忽视数学，鄙视几何,故想借这一难题来羞辱他们。实际上，倍立方问题的产生比传说要早。柏拉图以前的巧辩学派已致力于对它的研究，他们苦苦探求，却和德利安人一样一无所成。第一个给黑暗的困境带来希望的曙光的是数学家希波克拉底(Hippocratｅ，公元前５世纪）。他原是商人，因商途遭劫,身无分文，故来到当时的商业中心、美丽繁华的亚典谋生.在亚典期间(约公元前450～４３0)，他于哲人为伍，渐通几何。当时,三大难题是数学家们研究的焦点，希波克拉底自然被它们吸引住了。他发现，若在ａ,b两线段之间能找到两个比例中项x，ｙ使得ａ：x=x：ｙ＝y：b,那么就有。当b＝2ａ时即可得.于是希波克拉底将倍立方问题转化为在两已知线段之间求两个比例中项一成连比例问题。第一个在理论上取得巨大成功的是柏拉图之友、毕达哥拉斯学派的数学家、哲学家和政治家阿契塔（Ａrcｈyｔaｓ，鼎盛时期为公元前400～3６5)。阿契塔的作图不是在平面上而是在三维空间中完成的,因而是倍立方问题的所有理论解法中最引人注目的。

图4-2-10

图4—2－１1如图4-2—10所示，设ＡC、AB是两条已知线段,。我们要在它们之间求两个比例中项。设ＡＣ是圆的直径而AB是圆的一条弦。以AＣ为直径作垂直于圆ABC所在平面的半圆，将所作半圆绕过A且垂直于平面ＡBC的直线旋转一周，得内径为零的半圆环曲面。接着以半圆AＢC为底作一直立半圆柱,交半圆环曲面于某条曲线.最后，设圆ABC在Ｃ点处的切线交AＢ延长线于D。将绕AC轴旋转，得一圆锥,同时B点在旋转过程中在与平面ＡＢC垂直的平面上画出了半圆BＱE，直径ＢＥAC。于是圆锥面与半圆环曲面和半圆柱面的交线相交于某点Ｐ.设APC为旋转半圆的相应位置，AC交圆ABC于M。作PM平面ABC，易知它必与圆ABC相交。设AＰ交半圆BQＥ于Q，AC交BE于N。连PC、QM、QN.因QＮ是垂直于平面ABＣ的两个半圆的交线,因而QN平面AＢC,从而得QＮBE。因此

,故AQＭ＝。但APＣ=,因而ＭQCP。因此

CA：AP＝ＡP：ＡM=AM:AQ,或即

AC：ＡP=AＰ:AM＝AＭ:AB。于是，AM、ＡＰ就是所求的AB和AC之间的两个比例中项.若以ＡC为x轴，平面ABC上过A且垂直于ＡC的直线为y轴，过Ａ且平行于PM的直线为z轴，ＡC＝ａ,AB=b，则三曲面方程分别是

（ｉ)（圆锥面），

（ｉi）（圆柱面)，

(ｉiｉ)（圆环面）。不难由（i)、（ii）和(iii）得交点P的坐标满足:

这就是AC:ＡＰ=AP：AＭ=AＭ：AB.当AC=2AB时就有，从而解决倍立方问题。图4－2－1２是该作图法的几何模型。图４－２—１２阿契塔的学生、大数学家欧多克斯(Ｅｕｄoｘus，约公元前40~355）将他老师的作图法作了改进,得到平面上的作图法（图4－２-11)。欧多克斯所用曲线即是阿契塔作图法中的圆锥面和圆环面交线在平面ABC上的投影。用我们的语言来说，它就是

以A为极点,ＡＣ为极轴，则其极坐标方程是

设曲线与圆ABC的交点为Ｍ,则AM就是ＡB和AC间的第一个比例中项,或即

阿契塔和欧多克斯的解法并不容易，希腊人当然不会满足于此.欧多克斯的学生、柏拉图学派的数学家梅内克缪斯（Ｍenaｅcｈmus，鼎盛于公元前4世纪中叶)为在两已知线段间得两个比例中项而发现了圆锥曲线。梅氏给出了两种解法.如图４—２-13，设AO、OB是两条给定线段,，ＡO⊥OB.假设它们之间的两个比例中项为在BO和ＡO延长线上截得的OM和ON。作矩形OMＰN，因AO：ＯM＝OM：ＯＮ＝ON:OB，故得:

（i）;

（ii）；

（iiｉ).因此点P在以下三条圆锥曲线上:

（i）以O为顶点，OM为对称轴,OB长为正焦弦的抛物线;

(ii）以ＯＭ、OＮ为渐近线的双曲线（过该曲线上任一点作渐近线的垂线所得矩形与矩形AB等积);（iiｉ)以O为顶点，ON为对称轴，ＯA长为正焦弦的抛物线。梅氏的第一种方法是作出曲线（i）和（ｉi）得交点P，而第二种方法是作出曲线(i）和(iii）得交点Ｐ，从而各得AＯ和OB间的两个比例中项OＭ和ON.

图

４－２－13

图4-2—１4梅氏的解法给了希腊人一个启示。因OA:OM＝OM：OＮ=OＮ：ＯB,故AＭN＝MNB＝Rｔ.因此,若给定线段AO和OB(OＡ⊥OB）,问题就转化为：在BO、AO延长线上确定Ｍ、N两点,使ＡＭN＝MNB=Rｔ。希腊人为此发明了一种机械方法,如图4—２—14所示。FGH是木匠用的木制坚硬直角尺，KL是固定在可沿ＧF滑动的JK杆上的杆子，移动时始终保持与ＦG垂直.现移动ＦＧH,使ＧH边（内侧）经过B点KL杆(朝GH的一侧)经过Ａ点；顶点Ｇ位于AＯ延长线上,而ＫL与FG内侧所成角的顶点位于ＢO延长线上。这时,两内侧直角顶点Ｍ和N就是所求的点.后人把上述方法归功于柏拉图或他的学园里的某个几何学家。亚历山大时期,阿基米德的朋友、数学家埃拉托色尼(Ｅｒaｔosthenes)又创新的机械方法,如图4—2-15所示。ＡX和ＥY是两平行直尺，构成一个框架，其上刻有槽。三个直角三角形AMＦ、MＮG和NＱH各有一边AM、MN和ＮQ与一顶点F、G和H位于两直尺的槽内，它们能彼此通过。三个直角三角形初始位置如图（１）所示。在图(２)中,我们要在ＡE和DH之间求两个比例中项。固定，将RtΔNＱH平移到NQH的位置，使QH经过Ｄ;将RｔΔMNG平移

（1）

（2）图

4－２-１5到MNＧ的位置,使MF和ＭＧ及NG和NＨ的交点B和C与A，D共线.设AD和EH交于Ｋ.则有

ＥK:KF=AK：KＢ＝ＦＫ：KG＝BK：ＫC＝GK：ＫＨ,但EＫ：ＫF=ＡE：BF，FK:KG=BF:CG，ＧK:KH=CG：DH，故

ＡＥ:BF＝BF：CG=ＣG:DＨ。于是ＢF和ＣG即为所求。埃拉托色尼的上述方法受到蚌线发明者尼可米德的嘲笑.尼可米德认为，埃氏的方法既不是几何的,也没有什么实用性.而他自己利用蚌线不仅解决了三等分角问题，也解决了倍立方问题,方法大大优于埃氏的。尼可米德引以为豪的方法如下。如图4—２—１6，AB和BＣ是两条已知线段,我们要在它们之间求两个比例中项.作平行四边形ＡBCD，等分ＡＢ、BC于E、F,连DE并延长，交CB的延长线于H。作FＧ⊥BC,使CG=AＥ,连HG。作CI⊥HＧ,以G为极点,ＣI为直尺,AE长为距离作蚌线,交HC的延长线于Ｋ。连GK交CI于I.由蚌线性质知IK＝AE＝CG。连KD并延长,交ＢA延长线于Ｍ。则MA：AＢ=MD：DK=BC：CＫ。因ＡB＝2AE，BC=CＨ/2，故有MA：AE=HC：ＣK＝ＧI:IK.因此MＥ：AE=ＧI:IK，而由作图知AE=IK，故得ME＝GK.又因，两边同加上得

，

图4-２—16

图4—２-17而，因此,

。但CG＝AE,故有，或CK:MA=BM：BK。而

ＢＭ：ＢK=CD:ＣK＝MＡ：ＡD,所以

ＣＤ:CK＝CK：MA=MA：AD，此即

AB：CK=CK：MＡ=ＭA：ＢC。尼可米德的解法的关键是找出图4—２-16中的K和M两点使。这又给希腊人一个启示。能否用别的方法求得K和Ｍ两点呢？亚历山大时期另一位大数学家阿波罗尼斯（Ａｐolｌonius，约前2６2～前1９0）找到了这样一个方法，如图4-２－１7所示。仍设AB，ＢC是两条给定线段,AB⊥BC，作矩形ABＣD，设O是对角线角点。以Ｏ为心,OＡ为半径作矩形的外接圆,又以O为圆心作圆交BＣ,BＡ的延长线于Ｋ、Ｍ,使得Ｋ、D、M三点共线。则可以证明。阿波罗尼斯之后研究倍立方问题的希腊人中，最著名的莫过于数学家丢克莱(Dioｃleｓ，约鼎盛于公元前2世纪末1世纪初）了.丢克莱为在两已知线段间求得两个比例中项而发明了一种因形状而得名的新曲线，今称蔓叶线.如图4-2-12,ＡB、CD是圆Ｏ的两条相互垂直的直径.E、F分别是四分之一圆周BD、BC上满足BE=ＢF的任意两点。作EG、FH与CD垂直,连CＥ交FＨ于P，则Ｐ点的轨迹即为丢克莱蔓叶线。易知：DH：ＨF=HF：CH，CG:GE=CＨ：HP,CＧ=DH，GE＝HF.因此DＨ：HF＝HF:CH=CH：HP图4—2－18现在,假设我们要在线段a和ｂ之间求两个比例中项。在OＢ上取点K,使ＤO：OK=a：ｂ，连DＫ并延长，交蔓叶线于Ｑ,过Q作LM⊥ＤC.则由蔓叶线性质知DＭ:ML=ML：MC=MC:MQ，但DＭ:ＭQ＝DO：OK=a：ｂ,设DM=ak,MQ＝bk，则，即为所求。

亚历山大晚期，帕普斯的同代人斯波勒（Ｓporus）重新研究丢克莱的上述解法，得到不需借助蔓叶线的等价方法.如图4—2-18,设DＯ、OK是两条给定线段(DO⊥OK）,现要在它们之间求两个比例中项。以O为心,OD为半径作圆,连DK并延长，交圆Ｏ于I。设想有一直尺过C点,绕C转动直尺使它与DＩ、ＯB及圆周的交点Q、T和R满足QＴ=TＲ，作QM、RＮ垂直于CＤ。则有.帕普斯给出了一个很好的证明。连RO并延长交圆于S，连DＳ，ＳＣ。因RO=OS，RT=TQ,故Ｓ、Ｍ、Q，共线。今，所以

但DM:MQ＝ＤO：OK，MＣ:MQ＝ＣO:OＴ＝DO：ＯT,故知

17世纪,比利时数学家圣文森特给出如下解法:设OA＝ａ，OＢ＝b是给定两线段（OA⊥ＯB)，作矩形OACＢ，并作其外接圆；过C作以ＯＡ，OB为渐近线的双曲线,与圆交于D，过Ｄ作OＡ,OB的垂线DE，DF（图4—2-１３），则

OA：DＥ=DE:DＦ＝DＦ：OＢ

在圣文森特后十几年，法国大数学家笛卡尔（R。Dｅscarteｓ,１596～１650）则以OＡ为轴，a为正焦弦作抛物线以代替