1、阿契塔的作图不是在平面上而是在三维空间中完成的,因而是倍立方问题的所有理论解法中最引人注目的。 图 4-2-10 图 4-2-11如图4-2-10所示,设AC、AB是两条已知线段,我们要在它们之间求两个比例中项。设AC是圆的直径而AB是圆的一条弦。以AC为直径作垂直于圆ABC所在平面的半圆,将所作半圆绕过A且垂直于平面ABC的直线旋转一周,得内径为零的半圆环曲面。接着以半圆ABC为底作一直立半圆柱,交半圆环曲面于某条曲线。最后,设圆ABC在C点处的切线交AB延长线于D。将绕AC轴旋转,得一圆锥,同时B点在旋转过程中在与平面ABC垂直的平面上画出了半圆BQE,直径BE AC。于是圆锥面与半圆环曲
2、面和半圆柱面的交线相交于某点P。设APC 为旋转半圆的相应位置,AC 交圆ABC于M。作PM 平面ABC,易知它必与圆ABC相交。设AP交半圆BQE于Q,AC 交BE于N。连PC 、QM、QN。因QN是垂直于平面ABC的两个半圆的交线,因而QN 平面ABC,从而得QN BE。因此 ,故 AQM但 APC ,因而MQ C P。 C A:APAP:AMAM:AQ,或即 AC:AB。于是,AM、AP就是所求的AB和AC之间的两个比例中项。若以AC为x轴,平面ABC上过A且垂直于AC的直线为y轴,过A且平行于PM的直线为z轴,ACa,ABb,则三曲面方程分别是 (i)(圆锥面), (ii)(圆柱面),
3、 (iii)(圆环面)。不难由(i)、(ii)和(iii)得交点P的坐标满足:这就是AC:当AC2AB时就有,从而解决倍立方问题。图4-2-12是该作图法的几何模型。图 4-2-12阿契塔的学生、大数学家欧多克斯(Eudoxus,约公元前40355)将他老师的作图法作了改进,得到平面上的作图法(图4-2-11)。欧多克斯所用曲线即是阿契塔作图法中的圆锥面和圆环面交线在平面ABC上的投影。用我们的语言来说,它就是以A为极点,AC为极轴,则其极坐标方程是设曲线与圆ABC的交点为M,则AM就是AB和AC间的第一个比例中项,或即 阿契塔和欧多克斯的解法并不容易,希腊人当然不会满足于此。欧多克斯的学生、
4、柏拉图学派的数学家梅内克缪斯(Menaechmus,鼎盛于公元前4世纪中叶)为在两已知线段间得两个比例中项而发现了圆锥曲线。梅氏给出了两种解法。如图4-2-13,设AO、OB是两条给定线段,AOOB。假设它们之间的两个比例中项为在BO和AO延长线上截得的OM和ON。作矩形OMPN,因AO:OMOM:ONON:OB,故得:;因此点P在以下三条圆锥曲线上: (i)以O为顶点,OM为对称轴,OB长为正焦弦的抛物线; (ii)以OM、ON为渐近线的双曲线(过该曲线上任一点作渐近线的垂线所得矩形与矩形AB等积);(iii)以O为顶点,ON为对称轴,OA长为正焦弦的抛物线。梅氏的第一种方法是作出曲线(i)
5、和(ii)得交点P,而第二种方法是作出曲线(i)和(iii)得交点P,从而各得AO和OB间的两个比例中项OM和ON。图 4-2-13图 4-2-14梅氏的解法给了希腊人一个启示。因OA:OB,故 AMN MNBRt 。因此,若给定线段AO和OB(OAOB),问题就转化为:在BO、AO延长线上确定M、N两点,使 AMN MNBRt 。希腊人为此发明了一种机械方法,如图4-2-14所示。FGH是木匠用的木制坚硬直角尺,KL是固定在可沿GF滑动的JK杆上的杆子,移动时始终保持与FG垂直。现移动FGH,使GH边(内侧)经过B点KL杆(朝GH的一侧)经过A点;顶点G位于AO延长线上,而KL与FG内侧所成
6、角的顶点位于BO延长线上。这时,两内侧直角顶点M和N就是所求的点。后人把上述方法归功于柏拉图或他的学园里的某个几何学家。亚历山大时期,阿基米德的朋友、数学家埃拉托色尼(Eratosthenes)又创新的机械方法,如图4-2-15所示。AX和EY是两平行直尺,构成一个框架,其上刻有槽。三个直角三角形AMF、MNG和NQH各有一边AM、MN和NQ与一顶点F、G和H位于两直尺的槽内,它们能彼此通过。三个直角三角形初始位置如图(1)所示。在图(2)中,我们要在AE和DH之间求两个比例中项。固定,将RtNQH平移到N QH的位置,使QH经过D;将RtMNG平移(1)(2)图 4-2-15到M NG的位置
7、,使MF和M G及NG和N H的交点B和C与A,D共线。设AD和EH交于K。则有 EK:KFAK:KBFK:KGBK:KCGK:KH,但EK:KFAE:BF,FK:KGBF:CG,GK:KHCG:DH,故AE:BFBF:CGCG:DH。于是BF和CG即为所求。埃拉托色尼的上述方法受到蚌线发明者尼可米德的嘲笑。尼可米德认为,埃氏的方法既不是几何的,也没有什么实用性。而他自己利用蚌线不仅解决了三等分角问题,也解决了倍立方问题,方法大大优于埃氏的。尼可米德引以为豪的方法如下。如图4-2-16,AB和BC是两条已知线段,我们要在它们之间求两个比例中项。作平行四边形ABCD,等分AB、BC于E、F,连D
8、E并延长,交CB的延长线于H。作FGBC,使CGAE,连HG。作CIHG,以G为极点,CI为直尺,AE长为距离作蚌线,交HC的延长线于K。连GK交CI于I。由蚌线性质知IKAECG。连KD并延长,交BA延长线于M。则 MA:ABMD:DKBC:CK。因AB2AE,BCCH/2,故有MA:AEHC:CKGI:IK。因此ME:AEGI:IK,而由作图知AEIK,故得MEGK。又因,两边同加上得,图 4-2-16图 4-2-17而,因此,但CGAE,故有,或CK:MABM:BK。 BM:BKCD:CKMA:AD,所以 CD:CKCK:MAMA:此即 AB:BC。尼可米德的解法的关键是找出图4-2-1
9、6中的K和M两点使这又给希腊人一个启示。能否用别的方法求得K和M两点呢?亚历山大时期另一位大数学家阿波罗尼斯(Apollonius, 约前262前190)找到了这样一个方法,如图4-2-17所示。仍设AB,BC是两条给定线段,ABBC,作矩形ABCD,设O是对角线角点。以O为心,OA为半径作矩形的外接圆,又以O为圆心作圆交BC,BA的延长线于K、M,使得K、D、M三点共线。则可以证明阿波罗尼斯之后研究倍立方问题的希腊人中,最著名的莫过于数学家丢克莱(Diocles,约鼎盛于公元前2世纪末1世纪初)了。丢克莱为在两已知线段间求得两个比例中项而发明了一种因形状而得名的新曲线,今称蔓叶线。如图4-2
10、-12,AB、CD是圆O的两条相互垂直的直径。E、F分别是四分之一圆周BD、BC上满足BEBF的任意两点。作EG、FH与CD垂直,连CE交FH于P,则P点的轨迹即为丢克莱蔓叶线。易知:DH:HFHF:CH,CG:GECH:HP,CGDH,GEHF。CHCH:HP图 4-2-18现在,假设我们要在线段a和b之间求两个比例中项。在OB上取点K,使DO:OKa:b,连DK并延长,交蔓叶线于Q,过Q作LMDC。则由蔓叶线性质知DM:MLML:MCMC:MQ,但DM:MQDO:b,设DMak,MQbk,则即为所求。 亚历山大晚期,帕普斯的同代人斯波勒(Sporus)重新研究丢克莱的上述解法,得到不需借助
11、蔓叶线的等价方法。如图4-2-18,设DO、OK是两条给定线段(DOOK),现要在它们之间求两个比例中项。以O为心,OD为半径作圆,连DK并延长,交圆O于I。设想有一直尺过C点,绕C转动直尺使它与DI、OB及圆周的交点Q、T和R满足QTTR,作QM、RN垂直于CD。帕普斯给出了一个很好的证明。连RO并延长交圆于S,连DS,SC。因ROOS,RTTQ,故S、M、Q,共线。今OK,MC:MQCO:OTDO:OT,故知17世纪,比利时数学家圣文森特给出如下解法:设OAa,OBb是给定两线段(OAOB),作矩形OACB,并作其外接圆;过C作以OA,OB为渐近线的双曲线,与圆交于D,过D作OA,OB的垂线DE,DF(图4-2-13),则 OA:DEDE:DFDF:OB 在圣文森特后十几年,法国大数学家笛卡尔(R. Descartes, 15961650)则以OA为轴,a为正焦弦作抛物线以代替格雷戈里的双曲线来得到交点D,从而同样获得了OA、OB之间的两个比例中项。不难看出,圣文森特和笛卡尔的作法与梅内克缪斯的作法等价。 图 4-2-19 4-2-2016世纪,法国著名数学家韦达(F. Vieta, 15401603)给出一种作图法:设AB是一给定线段, ABM90 , ABN120 ,作ACD分别交BM、BN于C、D,使CDAB,则(图4-2-20)。一百多年后,牛顿也给出了同样的作图法。
copyright@ 2008-2022 冰豆网网站版权所有
经营许可证编号:鄂ICP备2022015515号-1