阿基米德的求圆面积定理.docx

1、阿基米德的求圆面积定理第四章阿基米德的求圆面积定理（公元前约225年）阿基米德生平从欧几里得到我们将要介绍的下一位伟大数学家叙拉占城举世无双的阿基米徳（公元前 287-212年）之间，经历了两三代人之久。阿基米徳在其辉煌的数学生涯中，将数学掘界从欧几 里得时代向前推进了一大步。实际上此后将近两千年.数学界再没有出现过像阿基米徳这样伟 大的数学家。我们有幸解一些阿基米德的生平，但因为历经沧桑，其细节的真伪往往受到怀疑。同时， 他的一些数学著作也有幸流传下來.而且有他自己的注解所有这些资料.为我们描绘了这位曾 经统治占代数学界.受人尊敬.但又有点儿古怪的数学天才的一生。阿基米徳出生于西西里岛的叙拉

2、占城。据说，他的父亲是一位天文学家，阿基米徳从小就萌 发了研究宇宙的兴趣，终生乐此不疲。阿基米徳青年时代也曾到过埃及求学，并在亚历山大图书 馆学习。这里曾是欧几里得治学之处.阿基米徳自然也会受到欧几里得的影响，这一点在阿基米 徳的数学著作中可以很清楚地看出。据说，阿基米徳在尼罗河谷期间.曾发明J所谓“阿基米徳螺旋水午”，这种装置可以用來 把水从低处提到商处有趣的是.这一发明.直至今日仍在使用。他的发明证明了阿基米徳的双 重天才：他既可以脚踏实地地研尤实际问题.又能够在最抽彖、最微妙的领域中探索。亚历山大 显然适合发挥他的才干.但阿基米徳还是返回他的故乡叙拉古城.据我们所知，就在那里度过 他的后

3、半生。叙拉古城虽然十分闭塞.但阿基米徳一直保持着与全希腊，特别是与亚历山大学 者们的通信联系。这种书信往來，使得阿基米徳的许藝著作得以保存。阿基米徳能够在一段时间里非常专注地研究任何问题，更加提尚他令人敬仰的数学才能c 他在进行研究时，常常会忽略日常的生活问題。我们从普卢塔克的着作中得知.阿基米徳“忘记了吃饭，甚至忘记了他自己的存在.有时，人们会强制他洗浴或敷汕，他都浑然 不知他会在火烧过的灰烬中，甚至在身上涂的油膏中寻找几何图形.完全进入了一种忘我的境 界，更确切些说，他已如醉如痴地沉浸在对科学的热爱之中。”这一段文字描绘了这位数学家心不在焉的形象.对于阿基米徳來说.整洁似乎已与他无关。 、

4、勺然.有关阿基米徳“心不在焉”的故爭.最著名的还是关于叙拉古城国王希伦的王冠的故事。 国王怀疑金匠用一些合金偷换了他王冠上的黄金，就请阿基米徳來测定王冠的真正含金虽。正如 故爭所说.阿基米徳一直解不开这道难題.有一天（在他少有的一次洗浴时）他忽然找到了答 案。他兴奋得从浴盆里跳出來.跑到叙拉古城的大街上，边跑边欢呼：“我找到啦！我找到啦！” 但遗憾的是，他完全沉浸在他的新发现之中，竞然忘记了还没穿衣服。很难想彖街上的人们看见 他一丝不挂地招摇过市.会说些什么。这个故爭也许是杜撰的，但阿基米徳发现流体静力学的基木原理却是干真万确的。他留给我 们一篇題为论浮体的论文，阐述他在这一方面的思想。除此以

5、外.他还发展了光学，创立 r机械学他不仅发明r水泵，而且还发现了杠杆、滑轮和复式滑轮的工作原理。普卢塔克记叙 过这样一个故事：篡疑的希伦国王怀疑这些直里机雄装宜的能力.就请阿基米徳实际演习一下。 阿基米徳以一种戏剧般的方式满足了国王的要求.他选择了国王一艘最大的船只，如果不花费巨大人力，是无法把这艘大船拖离船坞的，况且船上还满载乘客和货物。 阿基米徳坐得远远的，于里只握住滑轮的一端,不慌不忙地慢慢拉动绳索，船就平平稳稳地向前 滑动.就像在大海里航行一样。”不用说.国王对此留下了深刻印象。或许他从这件爭中察觉了这位天才科学家的某种宝贵 才能.遇有危难关头，这样的工程天才可以派上用场。公元前212

6、年，罗马人在马塞卢斯率领下， 进攻叙拉古城，危难关头來临。面对罗马的威胁，阿基米德奋起保卫自己的家园，他设讣了许女 杀伤力很强的武器。他的这项爭业，或许只能称为个体军丄企业。我们继续引用普卢塔克的马塞卢斯生平一书，这木书是这位伟大的罗马传记作家在爭件 发生后约300年时写的。普卢塔克虽然是在为马塞卢斯作传，但他对阿基米徳的钦敬心情却显而 易见。这些描述使我们看到了一个非常引人.栩栩如生的阿基米徳形象c“马塞卢斯率领大军向叙拉古城进发.普卢塔克写道.“并在离城不远处安营扎寨，又派 使者进城劝降。”但叙拉古城人拒绝投降.马塞卢斯便凭借陆上的兵士和海上60艘装备精良的战 船猛扑叙拉古城。马塞卢斯“有

7、备而來.历年征战.声威赫赫” 但爭实却证明他敌不过阿 基米徳和他凶狠的守城器械。据普卢塔克记载，罗马军团进逼城垣.自信战无不胜“但是，阿基米徳开始摆弄他的器械，他对地面部队启动幹种弹射武器.无数大小石块带着 惊人的呼啸，猛烈地倾泻下來：乱石之中.无人能够站立，士兵乱了阵脚.纷纷被击中.成堆倒 下。”而罗马水师的情况也不见佳，“从城墙上伸岀了长长的杆子，在船上方投下重物.将一些船只击沉：而其他船只则被 一只只饮臂或铁钩钩住船头提升起來然后又船尾朝下.投入海底：同时.另一些船只在其 引率的拖动下.团团乱转.最后撞碎在城下突起的尖峭岩石上，船上的士兵死伤惨重。这种巨大的伤亡，用普卢塔克的话说，是“一

8、件可怕的事情”，人们不会不同总他的说法。在这种情况下.马塞卢斯认为最好还是先撤退。他撤回了他的地面和海上部队.重新部署。罗马 人经过认真研尤，决定进行夜袭。他们以为，只要在夜幕掩盖下贴近城墙，阿基米德的武濡就 没有用武之地了。然而.罗马人再次遭到诙外的打击。原來.不知疲倦的阿基米徳已经为应付 这种偷袭作好了充分的安排。罗马士兵一靠近城防.“石头就劈头盖脸地砸下來.同时.城内又 射出飞箭结果.罗马人失魂落魄.不得不再次撤退，但又受到阿基米徳远程武器的攻击“损 兵折将” O这次，自负的罗马军团“看到无形的武器给他们造成的重大伤亡，开始以为他们是在 与诸神作战。或许说马塞卢斯的军臥士气低落亦不为过。

9、他希望他这支受到重创的军队能够重振勇气， 继续进攻.但是，以前自认为无敌于天下的罗马人却不愿再打了。相反，士兵们“只要看到城墙 上伸出一小段绳索或一片木头，就立时大哗，以为阿基米徳又对他们使用什么贰器了并转身落 荒而逃C ”马塞卢斯明白，小心即大勇，于是他放弃了直接进攻。马塞卢斯想以断粮逼迫叙拉古城人投降.所以.罗马军团开始长期圉困叙拉古城。时间一天 天过去，军爭态势没有什么变化。后來，在狄安娜节日期间.叙拉古城居民“完全放松r警惕. 他们纵酒狂欢”，松懈下來。一直在窥测时机的罗马人乘其不备.一举攻破了防守懈怠的一段城 防，怀着一腔怨祷涌入叙拉古城。据说.马塞卢斯环视着这座英丽的城市.为他的士

10、兵不可避免 地要对叙拉古城泄怒施暴雨落下了眼泪。的确.据历史记载，罗马人对叙拉古城人的做法完全不 亚于他们在66年后对迦太基人的暴行。但是，阿基米徳的死使马塞卢斯极为悲伤因为他对这位天才的对手至为尊敬。据普卢塔克 记载：“也许是命该如此，邙可基米徳）正在专心研尤几何图形，他全神贯注地思考.完全没 有注总到罗马人的入侵.也没有注慰到城市的陷落。正在他聚精会神地研尤和思考的时候，没想 到一个士兵前來，命令他立刻去见马塞卢斯：但阿基米徳在没有解出他的几何证明题之前，拒绝 跟他走。士兵大怒.拔出佩剑，一剑刺死了阿基米徳。”就这样阿基米徳走完他的一生，他死了.像他活着时一样，执着于他所喜爱的数学。我 们

11、可以认为他是一位科学研尤的殉难者.也可以认为他是自己无暇它顾的牺牲者。总之.古往今 來，数学家不知有多少.但像阿基米徳这样结局者.却是绝无仅有的。阿基米徳尽管发明r许女利器和丄具.但他真正喜爱的还是纯数学。与他发现的英妙定理相 比.他的杠杆、曲和石弩都不过是雕虫小技。我们还是引用普卢塔克的话來说明：“阿基米徳具有商尚的情操.深刻的灵魂和丰富的科学知识.虽然这些发明使他赢得了超乎 常人的名望，但他并未屈尊留下任何有关这些发明的著述：相反他却鄙薄工程学这一行 以 及任何仅仅岀于实用和贏利目的的技艺.他将他的全部情感与理想寄托于与尘世无涉的思索之 中。”数学是阿基米徳的最大遗产。在这一领域，阿基米徳

12、无可争议地被公认为古代最伟大的数学 家。他的那些幸存下來的十几部著作及一些零散的文稿是最商质量的。其逻辑上的严谨与复杂. 令后人惊叹不已。毫不奇怪，他一定非常精通欧几里得的理论并不愧为欧女克索斯穷竭法的大师: 借用牛顿的名言，阿基米徳一定是站在巨人的肩上。但是，过去的彩响虽然很大，却不能充分解 祥阿基米徳帯给数学学科的巨大发展。伟大的定理：求圆面积公元前约225年阿基米德发表了一篇題为圆的测定的论文，这篇论文中的第一个命題 对圆面积作了十分透彻的分析但是.在我们讲述这一不朽之作之前.我们有必要先介绍一下在 阿基米德探讨这一问題时.有关圆面积问题的发展状况。出时的几何学家已知.不论圆的大小如何，

13、圆的周长与直径之比总是一定的。用现代术语， 我们可以说D D2如图41所示，公式中的C代表周长，D代表直径。换句话说，恻的周长与直径之比是一个常数，现代数学家定义这一比率为开。（注总:：占希 腊人在这里不使用符号。）因此.公式善或其等价式c二兀D正是表明了常数n的定义，即两个长度（圆的周长与直径）的比。那么，圆的面积又如何呢？我们已经知道，原木的命题刈2证明了两个圆的面积之比等 于两圆直径的平方比.因此圆面积与其直径的平方比是一个常数。用现代术语说欧几里得证 明了常数k的存在，因而= k或等价式A = kD2至此.一切顺利。但是.这两个常数之间相互有什么关系呢？也就是说，人们是否能够发现 在这

14、“一维”常数H （表示圆周长与直径的关系）与“二维”常数k （表示浙枳与直径的关系） 之间存在着一种简单的联系？显然.欧几里得没有发现这种联系。然而.阿基米徳在其短小精炼的论文圆的测定中证明了有关结果.而这相、勺于现代涉及 八的求圆面积公式。在证明中，他在圆周长（及因此产生的n）与圆面积之间建立J重要联系c 他的证明需要两个非常直接的初步定理和一种非常复朵的逻辑方法，称为双重归谬法（反证法）。我们先來看这两个初步定理。一个是关于正女边形面积的定理，正女边形的中心为6周长 为Q，边心距为h。这里.边心距是抬从弟边形的中心引向任何一条边的垂线长度。定理 正多边形的面积等于|hQo证明设正多边形（图

15、4.2）有n条边.每条边长b。作从0到每个顶点的连线，将笋边形划 分为n个全等三角形，每个三角形的商为h （边 心距）,底为因此 每个三角形的面积为fbh,面积（正多边形）=丄bh十bh十 十丄bh,共有n项2 2 2=h （b + b + +b）=丄1102 2 因为（b+b+b）是周长。证吃。周长二Q简单明快。阿基米徳的第二个定埋十时也非常著名.而且显然是不证自明的。这一定理称. 如果给我们一个已知圆，我们可以作圆内接正方形：欧几里得在命題IV. 6中已证明过这种作图。 、勺然，正方形的ifn枳肯定小于其外接圆的面积。我们通过平分正方形的每条边，就可以确定圆内 接正八边形的顶点位置。十然，

16、正八边形比正方形更接近于圆的面积。如果我们再平分八边形的 每条边，就可以得到圆内接正16边形，这X然比八边形又更接近圆的面枳。这一过程可以无限继续。实际上.这种方法的实质就是前而曾提到过的音名的欧女克索斯穷 竭法。显然，内接正参边形的面积永远不会等于圆的面枳：不论内接正藝边形产生多少条边.都 永远小于圆的面枳。但是（这是穷竭法的关键），如果预先给定任一面积.不论其篡小.我们都 能作出一个内接正女边形，而使圆面积与其内接正多边形的面积之差小于这一预 先给定的面积。例如，如果预先给定的面积为箱了平方英寸，我们可以 作一个内接正多边形，而使面积（圆）-面积（正多边形） 籟平方英寸这一正女边形也许有几

17、百条边或几千条边.但这并不重要.重要的是它存在二外切正女边形也具有类似的规律。我们可以用一句话來概括这两种正篡边形的规律.即.对 于任何已知圆.我们都可以作出它的内接正女边形或外切正命边形.其面枳可任気接近恻的血枳。 正是这句“可任意接近”成为了阿基米徳成功的关键。以上就是阿基米徳的两个初步命题。下而，我们有必要就他论证两个面积相等时所采用的逻 辑方法作一个简爪的介绍。在某种总义上，这种逻辑方法比我们以往所见到的任何方法都更复朵. 或者说，至少更曲折C例如，我们可以回想一下，欧几里得是如何证明直角三角形斜边上正方形 的而枳等于两条直角边上正方形面枳之和的：他直接推理，证明了问题中的而枳相等。他

18、的证明 方法虽然非常巧妙.却只是正而论证。然而.阿基米徳在论证更为复朵的圆面积问題时，采用J一种间接证明的方法。他认为.任 何两个虽A与B. 定只能属于下列三种情况中的一种：AB,或A二B。为了证明A=B, 阿基米德首先假设AB并再次推导出逻辑矛盾排除了这两种可能性后.就只剩下了一种可能性，即A等于B。这就是阿基米徳极为精彩的间接证明方法一一“双重归谨法”，将三种可能性中的两种引入 逻辑矛盾。这种方法初看起來似乎有点绕圈子.但细想一下就会觉得非常合理。排除了三种可能 性中的两种，就迫使人们得出结论.只有第三种可能性是正确的。十然.没有人能比阿基米徳见 熟练地应用双重归谬法C依据这两个初步定理.

19、我们就可以來看一看这位几何大师是如何证明圆的测定一书中的 第一个命题的。命题1任何恻的浙枳都等于这样一个直角三角形的而枳，该直角三角形的一条直角边等于圆 的半径，另一条直角边等于圆的周长。证明阿基米徳首先作两个图形（图4.3）:圆的圆心为0.半径为“周长为C：直角三角形 的底边等于C,商等于“我们用A代表圆的倆积.用T代表三角形的面积.而前者就是阿基米徳 求证的对彖。显然.三角形的面积就是T二周长二C 面积二A.團4. 3命題宣称A=T。为证明这一点.阿基米徳采用了双重归谬法证明.他需嬰考并排除其他两种可能性。例1假设ATo这一假设表明圆面枳以一定量大于三角形面枳。换言之，其超出址A-T是一个

20、正虽。阿基米徳知道，通过作圆内接正方形.并反复平分正方形的边.他就可以得到一个圆内接正多边形，其而积与圆面枳不等，且小于正SA-To即A-面积（内接正多边形） |rC二T至此.阿基米德推导出了预期的矛盾因为他已得出TV面积（内接多边形）和面积（内接 女边形）T两种结论。这在逻辑上是不成立的因此.我们得出结论.例1是不可能的：圆面 枳不能大于三角形面积。现在他來考虑第二种可能性。例2假设ATO这次.阿基米徳假设圆的而枳小于三角形面积，I对而，T-A代表三角形面积对圆面枳的超出 虽。我们知道.我们可以作一个圆外切正命边形，其面积大于圆面积，但小于T-A。也就是面积（外切正多边形）AT-A如果我们在

21、这一不等式两边各加上乩则面积（外切正多边形）T但是，外切正多边形（图45）的边心距h等于圆的半径r.而正多边形的周长Q显然大于圆 的周长C。因此面积（内接多边形）=|hQ|rC = T这样，就再次出现了矛盾，伙I为外切篡边形的面积不可能既小于、又大于三角形的面积。因 此.阿基米徳推断.例2也是不可能的：圆面枳不能小于三角形面积。最后，阿基米徳写道：“由于圆的面积既不大于、也不小于（三角形面积）.因此圆面积 等于三角形面积。”证伦。这就是阿基米徳的证明.这颗小小的明珠出自一位无可争议的伟大数学家之手。阿基米徳用 圆面枳既不大于、也不小于三角形而枳的方法來证明这两个面枳一定相等.这种证明方法使一些

22、 人感到甚为奇特。一些人感到这种论证方法太绕圈子.对他们我们不妨引述哈姆宙特中大臣 波洛涅斯一句话的大总：“这虽则是疯狎.却有深意在内c ”人们可能会感到奇怪，这么简短的 证明方法.希波克拉底或欧女克索斯或欧几里得怎么会忽略r呢？爭后聪明总是不难。这里，我 们再次引述普卢塔克关于阿基米徳数学的描述：“在全部几何学中很难找到比这更困难见复杂的问题.以及更简洁更淸楚的证明。有些人将 此归于他的天赋：而另一些人则认为是他惊人的努力和勤奋产生了这些显然十分容易而又未被他 人证明的定理。你费尽力气仍然一无所获，可一旦看到他的证明，立刻就会认为.自己木來也 能够推导出这些结论。他引导你.沿着一条平坦的捷径

23、.得出预定的结果。既然阿基米徳已证明圆的而枳与三角形而积相等，那么，他是否可以解决我们曾在第一苹中 讨论过的人们长期探索的求圆而枳问题呢？答案十然是否定的，伙I为要成功地解决圆的求积问題， 就必须要作出与圆血积相等的直线图形。但是.阿基米徳的证明没有，也没有声称能够提供任何 有关如何作这种等面积三角形的线索。十然.作出三角形的一条直角边等于圆的半径并不难.难 的是作出三角形的另一条直角边使之等于圆的周长。伙I为C=nD.所以.要作出圆的周长.就 必须作出八。我们已知.这种作图是根木不可能的。阿基米徳的证明决不能被解释成他试图据此 作出圆的等面积正方形：情况不是这样。尽管如此.读者从阿基米徳的定

24、理中.也许仍然看不出我们所熟悉的求圆面积公式因为他 所证明的毕竞只是圆面枳等于一定三角形的曲枳。但是.我们将看到.这正是典型的阿基米徳方 法一使一个未知图形的面积与一个更简单的已知图形面积相联系。然而.问题不仅如此。閃为 我们所说的三角形.其底边等于圆的周长.这里有两层重要含义。其一，阿基米德不像欧几里得 那样.不是将一个圆的面枳与另一个圆的面积相联系（这基木上是一种“相对性”的方法）而 是将圆的面积与它自己的周长和半径相联系，并反映在它的竽面积三角形之中。这样，通过证明A = T二!。阿基米徳就在一维概念的周长与二维概念的而枳之间建立了联系。因为C=nD=2 7rr,我们可把阿基米徳的定理重

25、新写成A = lrC = -r（2 兀了）二兀F2 2这就出现了几何学中我们昴熟悉，也是昴重婆的公式之一。还应指出.阿基米徳的命題显然包含欧几里得关于两个圆面积之比等于其直径的平方比这一比较平淡的命題。也就是.如果我们设一个圆的面积为A直径为D|,设第二个圆的面积为A2,直径为D2,则阿基米徳证明因此这就概括了欧几里得的定理。所以.阿基米徳的命题足以表明欧几里得的命題是一个不甚重 要的系定理。因而.阿基米徳的命題标总着数学上的一个真正进步。回头再看以前的讨论现在我们能够确定“欧几里得”表达式A二KD】中常数k的数值。因为 根据阿基米德的发现,我们知道,n r:=A=kD:=k (2r) Mkr

26、2因此，牡二兀，k二换言之 欧几里得的“二维”面积常数恰好等于 4“一维”圆周长常数“的四分之一。所以.阿基米徳的命題带给我们一个好消息.我们无需汁算这两个不同的常数。如果我们能够从圆周长问题中确定n的值，就能够将其应用于圆而枳公式c这后一点也没有难倒阿基米徳实际上，在圆的测定一书的第三个命题中他就推导出了常数开的值。命题3任何圆的周长与其直径之比都小于3二 但大于埠。用现代符号表示，即 3寻兀3*。将这些分数化为等值小数.阿基米德的命題就成为3. 140815 n 3. 142857:这样.就确定了常数n的值，精确到两位小数.为3.14c阿基米徳得出八的估汁值，又一次显示了他的才能。他准备再

27、次应用他非常有用的圆内接和外切正多边形.不同的是.这次他不再求面积.而将注懑力集中在筝边形的周长上。他首先作圆 内接正六边形(图4.6) o已知正六边形的边长等于圆的半径.其长度我们称之为r。因此,兀=圆周长,六边形周长=竺=3一圆直径 圆直径一石一、”I然，这是对n值的非常粗略的估卜但阿基米德刚刚迈出第一步。接下來，他将这一内接 筝边形的边数加倍.得到一个正12边形。他必须讣算出这个12边形的周长。正是在这个问题上. 他使现代数学家惊叹不已，伏I为要确定十二边形的周长.就要算出3的平方根。为然.我们今天 使用il算器或讣算机.这已不是什么难爭.但在阿基米徳时代，不仅这些先进设备无法想飮.而

28、且.甚至没有帮助进行这种il算的适、”1数系阿基米徳对的数值作了如下估计这是非常接近的估汁。随后，阿基米徳继续平分内接藝边形的边.得到正24边形.然后是正48边形，最后得到正96边形。在这一过程中.每一步他都婆估算复朵的平方根.但他从不动摇。半他得到96边形时.他的估算值为圆周长、正96边形周长、6336ise fflsg” 71 八右阿基米徳似乎意犹未尽.又转向外切lE 12边形、24边形.48边形和26边形，作类似的估算，并由此得到兀值的上限专。虽热他面对的 是糟糕透顶的数系.而且没有估算平方根的简单方法，但他的估算证实了他令人敬畏的才华。这 些计算采用了笨拙的算术方法，犹如一个人戴着沉重

29、的镣铐参加商栏赛跑。然而，阿基米徳凭借 他的智艺和毅力，成功地汁算出了重要常数的第一个科学近似值。犹如木草后记所述.自此， 科学家再不曾停止过寻求岛精确度的n近似值。圆的测定一书流传到我们手中，只有三个命題.不过薄薄几页。而且.第二个命題也不 恰、S难以令人满恿。毫无疑问，这是阿基米徳谢世后多少年來低劣的抄写、編辑和翻译造成的。 表面看來，这样短的论文似乎不太可能产生这样大的影响C但试想在第一个命题中.阿基米徳就 证明J关于圆面积的着名公式：在昴后一个命题中他又出色地给出了才的近似值，这篇短论文 何以得到历代数学家岛度评价，就显而易见了。论文的优劣不在于篇幅长短.而在于其数学质虽。 根据这一标

30、准，圆的测定一书不愧是一部经典之作。阿基米德名作：论球和圆柱上述三个命題仅仅讨论了阿基米徳数学遗产的一部分，除此以外，他还写过有关螺线，劈惟 曲而和椭球体的几何论文，并发现了通过求一无穷几何级数之和來确定拋物线弓形面积的方法。 这后一个问題（求曲线面枳），现在属于微积分领域，由此可见，阿基米徳超越他所处的时代有 多么远。然而.相对于所有这些成就他无可争议的代表作则是一部内容广泛的两卷木著作，题为论 球和圆柱在这部著作中.阿基米徳以其近乎超人的智惠，确定了球体及有关几何体的体积和 表面积，从而像在圆的测定中对二维图形的研尤一样，解决了三维立体的问題。这是一项伟 大的成就.阿基米徳自己似乎也认为.

31、这标，忐着他数学事业的顶峰。我们首先应回顾一下古希腊人对三维立体表而枳和体积的认识。如前一草所述欧几里得证 明了两个球体体积之比等于其直径的立方比：换言之，这里有一个“体积常数” m. I大I而.体枳（球体=mD3这是欧几里得对球体体枳的认识.但对于球体的表面积，他却始终保持沉默C因而.对这个 问題的成功解决.再次有赖于阿基米徳论球和圆柱的出现。这一部两卷木著作运用了一种大家熟悉的论述方式，首先是一系列定义和假设.然后从中推 导出复朵的定理。总之，还是欧几里得的模式。书中的第一个命题平平淡淡：“已知一个圆外切 正多边形.则其周长大于圆的周长C ”但是.阿基米德很快就转向了更复杂的问題。通观他的全 部论述.（至少用现代人的眼光來看），一个很大的缺憾是.由于缺乏简明的代数符号他无法 用简单的公式來表示体积和表叫枳，而只能依整陈述例如：命题13任一正恻柱除上下底而以外的表面积等于一恻的而积该恻的