化圆为方问题化圆为方是三大问题中最具魅力的,它的产生很早,在公元前五世纪后半叶的雅 典,它已广为流传,妇孺皆知了与该问题相联系的第一个人是为献身科学而放弃财产、因天体学说而身陷囹圄的爱 奥尼亚学派优秀数学家阿那克萨哥拉(Anaxagoras,公元前500 428)他在铁窗里 仍醉心于该问题的研究,但他获得什么成就我们不得而知阿那克萨哥拉的同代人希波克拉底在屡经尺规作图的失败后, 不无遗憾地意识到:光靠直尺和圆规是不能解决化圆为方问题的然而,他似乎并不甘心,虽未能实现 化圆为方,却获得了化弓月形或弓月形与圆之和为方的结果,希氏研究了好几种弓月形第一种弓月形如图4-2-21所示,它是由等腰直角三角形ABC的外接半圆和一条腰AC上的半圆所围成的因一 ,故有半圆肿—^二工.一,即担力迅半欧叫同减去公共部分,即得弓月形厨处妣AOC,而我们很容易作一正方形与二 上匚「等积,因此弓月形AECF就被化为正方形第二种弓月形如图4-2-22所示CE EF、FD是以CD为直径的圆的内接正六边形 的三条邻边取AB等于该圆半径,分别以AB CE EF、FD为直径作半圆不难证明,三 个弓月形CGEM EHFN和FKDP与半圆ALB?的面积之和图 4-2-21 图 4-2-22等于梯形CEFD勺面积。
希波克拉底的这个结果给人一个印象,似乎化圆为方问题 已被解决因为由前面的结果,三个弓月形CGEM EHFN FKDP可化为正方形,于是 从梯形CEF"减去这些正方形,所余直线形所化成的正方形,即与半圆ALB等面积然 而,这不过是海市蜃楼而已问题是:第二种弓月形与第一种并不一样不能化为正方形希波克拉底还研究了第三种弓月形如图4-2-23,两同心圆,大圆直径的平方是小 圆直径平方的6倍,正六边形ABCDE内接于小圆,GH HI是大圆内接正六边形的两邻 边以J为圆心JG为半径作圆弧GKI,它与JHI?围成弓月形易知弓形GKI、GMH 和APB是相似弓形(所对圆心角相等),故其面积图 4-2-23之比等于底平方之比但Gl = 3GH而GH= 6AB,因此弓形GKI= 2(弓形GMH +6(弓形APB,于是得△ GHI =弓月形GH\K+小圆内所有弓形, 因此:△ GH+正六边形ABCDEF弓月形GHIK+/J、圆由于等式左边可化方,故右边也可化方在化圆为方的历史上,苏格拉底的同代人,亚典巧辩学派的辩士、安提丰(Antiphon)是值得注意的第二人安提丰从圆内接正三角形出发,在各边上作等腰三 角形,得圆内接正六边形。
在正六边形各边上重复同样的作法,得圆内接正十二边形 继续这个过程,安提丰说在某个时侯我们将得到一个圆内接正多边形,其边长细微到与圆 周重合由于任一多边形都可化方,因此我们就能化圆为方安提丰不过是透过“无穷”的迷雾看到一座空中楼阁而已他当然没能真正实现化 圆为方不过他的通过不断倍增圆内接正多边形边数来穷竭圆面积的思想对后来的希腊数 学产生深刻的影响它是欧多克斯穷竭法的基础,阿基米德的圆周率求法正体现了它的 实际价值和三等分角、倍立方问题一样,要彻底解决化圆为方问题,就得使用直线和圆以外 的其它曲线由于圆面积等于圆周长为底、半径为高的Rt △的面积,而Rt △又很容易 化方,因而化圆为方问题就转化为圆周求长问题前已介绍过,希皮亚斯利用他的割圆曲线来三等分角后来,梅内克缪斯的弟弟、 欧多克斯的学生迪诺斯特拉图(Dinostratus,公元前4世纪中叶)又用它来化圆为方 如图4-2-24所示,BG为一割圆曲线,迪诺斯特拉图获得如下结果:■.AB = AB:AG图 4-2-24 图 4-2-25迪氏的证明如下:假设…二.一.」「,则一么一上二〕,其中AK?要么大于AG要 么小于AG(i)假设・•・(图4-2-24 ),以A为圆心、AK为半径作圆弧KFL交割圆曲线于F,交AB于L。
连AF并延长,交山作FPUAD于Ho由假设,…二一二上 < 一,因此得一'又由割圆曲线的性质,.二-F:尺二应::农-J云这是不可能的故 AK不能大于AG(ii )假设上」(图4-2-25 )以A为圆心,AK为半径作圆弧 过?K作KF X AD交割圆曲线于F,连AF,分别交两圆弧于M E则与(i )- 样可证」]由割圆曲线的性质,AB. F _工二融盍二窟初 MK -因此二「,这是不可能的故 AK也不能小于AG因此命题得证于是我们求得…】■■之长,从而求得整个圆周之长 ?这样,化圆为方问题被解决与希皮亚斯割圆曲线相类似, 阿基米德螺线不但可以用来三等分角, 也可以 用来化圆为方不过,后者也是阿基米德自己完成的如图4-2-26,螺线「-川的极点为 0,第一圈终于点A以0为圆心,a为半径作圆,则圆周长等于二OA这样,阿基米德轻 易解决化圆为方问题图 4-2-26 图 4-2-27稍迟于阿基米德的阿波罗尼斯用圆柱螺线解决了化圆为方问题,如图4-2-27所示设圆0是一直圆柱之底面,A是螺旋线之起始点螺旋线在其上任一点P 处的切线交底所在平面于T则PT在底平面上的投影BT与AB相等因此,当P点恰 好为A点所在母线上离A最近的点时,TB与圆周长相等。
从而化圆为方问题得以解 决在阿波罗尼斯之后,机械师卡普斯(Carpus)也解过化圆为方问题他所用的“双 重运动曲线”今已失传,据数学史家唐内里(P.Tannery,1843 1904)推测,它是摆 线,亦即卡普斯是通过将圆沿直线滚动一周获得圆周长的(图 4-2-28)图 4-2-28 图 4-2-29文艺复兴时期,意大利著名艺术大师达芬奇(L.de Vin ci,1452 1519)为化圆为方问题所吸引,并获巧妙方法如图 4-2-29,设圆半径为R以圆为底作高为1的圆柱,然后将圆柱在平面上滚动一周,得矩形 ,将矩形化方,即完成化圆为方以上我们看到,希腊人很早就意识到(但未能证明)三大难题不能以尺规在有限步 骤内完成但它们看似如此简单,以至希腊人未能抵制诱惑;他们不断寻求尺规以外的 方法,结果导致圆锥曲线、害圆曲线、蚌线、蔓叶线和螺线等高次曲线和超越曲线的相 继发现三大难题使一代又一代希腊数学家显示了非凡的聪明才智,并深刻影响了希腊 几何的整个发展过程三大难题的魅力并未随希腊文明的沦亡而消失事实上,从希腊以后特别是欧洲文 艺复兴时期以来直到本世纪,对于它们的研究从停止过1837年,年轻的法国数学家万采尔(P.L.Wantzel,1814 1848)证明了三等分 角和倍立方尺规作图之不可能性。
1882年,德国数学家林德曼(C.L in dema nn ,1852 1938)证明了 n的超越性,从而证明了化圆为方的尺规作 图之不可能性以后数学家们又还建立了两条一般定理:定理1任何可用尺规由已知单位长度作出的量必为代数数; 定理2若一有理系数三次方程没有有理根,则它的根不可能用尺规由一给定单位长 度作出或许你会说,迷恋于这三大难题的人至此总该死心塌地了 然而,事实完全不是这样许许多多人依然故我,乐此不疲一方面,一些人受希腊人以及后世的韦 达、帕斯卡、笛卡尔、牛顿等名家的启示,并且也受三大难题魅力驱使,继续探求尺规 以外的解法如本世纪又有人成功地发明所谓“角线”来三等分角,从而给三大难题的 历史添上新的一页;另一方面,确有一些人抵制不住诱惑,继续盲目地寻求三大难题的 尺规作图法,成为三大难题历史上新的失败者在美国,一些数学杂志社每年总要收到 许多三等分角或化圆为方的稿件, 且在报纸上常见到“某某人成功解决三等分角问题”之类的新闻在我国,情况颇相类似1938年,汪联松在《北平晨报》发表文章,声称自己苦心 研究14载终于解决三等分角问题;1946年,吴佑之在四川省立科学馆的《科学月刊》 上发表了一个错误的三等分角尺规作图法; 1948年,上海《大陆报》刊登了一则杨嘉如解决三等分角的新闻,,解放后,盲目的尝试者仍有增无减,三 等分角问题的稿件源源不绝。
《中国数学杂志》(《数学通报》的前身)编委会不得不 在第一卷第三期(1952年8月)刊登如下启事:本会截至现在为止,收到关于“三等分角”问题的稿件是相当多的,可见目前 尚有很多人去追求这个古老的问题这个几何三大问题之一的问题,若许用圆规直尺 以外的器械或曲线去作图,早在纪元前就已解决了;如果只限用圆规、直尺(就是初 等几何的方法),到十九世纪的时候已经证实不能作图(参阅《科学通报》第三卷第 六期华罗庚同志的三分角问题一文)所以这个问题现在实是不成问题的问题了有 些人因为见它的表面很简单,总不相信不能作图;也有人以为“目前虽不能,将来说 不定还可能”;所以便为它的表面简单而迷惑,为将来的可能而醉心这种研究精 神,用再其他事物上是很可钦佩的,但用在这个问题上,却是徒劳无功的事希望这 些人放 弃这个企图吧!我们对于以上的投稿者都一一答覆了,今特在这里作一个总声明,请读者以后再 勿投这类的稿件来,以免浪费人力物力然而,关于三等分角的稿件仍然源源而来为此,《数学通报》不得不在1953年1-2月号再次刊登上述启事然而,让编委会始料不及的是,三等分角的稿件还是源源而 来于是,编委会又在《数学通报》 1957年1月号刊出题为“再告企图用规尺三等分角的同志”的启事:用规尺三等分任意角”这一个不成问题的问题,本通报已经登过几次启事说明这 是一个已经证明“不能”的问题,忠告一些同志不要浪费宝贵的精神企图“能” 了。
启事登了以后,“三等分角”的稿件还是源源而来,我们虽然对每一稿都作了答复, 但认为对这样的问题彼此白费了许多精力和时间,殊不只值得就来稿的情况看:有 些同志是不知道这个问题已经证明“不可能” 了 ;也有人明知道了而偏不相信;还 有人想了一个方法,他自己认为是对的,但是不会证;更有人对于他想的方法并没有 信心,认为是“十不离九”,万一不对的话,也是近似的;等等这样,我们敢大胆 地说一句话:这些同志还没有彻底了解前人对于这个问题的证明现在我们再一次奉 劝企图用规尺三等分任意角的同志细读前任的证明这样的证明,数学界公认为是对 的已经多年了,如果还有人怀疑,就请先把它驳倒了再研究三等分法,幸勿先想方 法,不管前人研究的成果,而自寻苦恼因此,我们愿意和企图用规尺三等分任意角 的同志相约:如来稿系前人的证明加以辩难,我们一定参加讨论;如来稿没有驳倒前 人证明的文章,仅说方法如何如何,恕我们不付审查特此郑重声明关于前述的证明,中文书籍如苏联数学家乌兹科夫等所著“代数” (丁寿田 译),德人韦柏著“数学全书”第二册(郑太朴译),日人林鹤一著“初等几何学作 图不能问题”(仁诚等译)中均载之,请查阅在没有看或没有看懂以前,不必妄想 打破记录!至于“近似”的问题,我们以为现在已无研讨的必要,因为近似分法, “初等几何学作图不能问题”及“近代数学概观”第二册中已载了一些,况且在实用 上如果必须三等分一个角,可以用直线及员以外的曲线(“初等几何学作图不能问 题”中载有数种方法)或用他种棋局如单位直尺(见本通报1953年1 — 2月号所载“单位直尺作图的问题”文)来 作,何必非用规尺二者作近似的不可呢!事实证明,不了解历史、不尊重历史而盲目地沉缅于数学难题的求解,永远希冀不会来到的奇迹发生,最终势必劳而无获、虚掷光阴、抱撼终生。