阿基米德的求圆面积定理文档格式.docx
- 文档编号:18675952
- 上传时间:2022-12-31
- 格式:DOCX
- 页数:21
- 大小:206.32KB
阿基米德的求圆面积定理文档格式.docx
《阿基米德的求圆面积定理文档格式.docx》由会员分享,可在线阅读,更多相关《阿基米德的求圆面积定理文档格式.docx(21页珍藏版)》请在冰豆网上搜索。
这个故爭也许是杜撰的,但阿基米徳发现流体静力学的基木原理却是干真万确的。
他留给我们一篇題为《论浮体》的论文,阐述「他在这一方面的思想。
除此以外.他还发展了光学,创立r机械学•他不仅发明r水泵,而且还发现了杠杆、滑轮和复式滑轮的工作原理。
普卢塔克记叙过这样一个故事:
篡疑的希伦国王怀疑这些直里机雄装宜的能力.就请阿基米徳实际演习一下。
阿基米徳以一种戏剧般的方式满足了国王的要求.他选择了国王一艘最大的船只,
"
……如果不花费巨大人力,是无法把这艘大船拖离船坞的,况且•船上还满载乘客和货物。
阿基米徳坐得远远的,于•里只握住滑轮的一端,不慌不忙地慢慢拉动绳索,船就平平稳稳地向前滑动.就像在大海里航行一样。
不用说.国王对此留下了深刻印象。
或许•他从这件爭中察觉了这位天才科学家的某种宝贵才能.遇有危难关头,这样的工程天才可以派上用场。
公元前212年,罗马人在马塞卢斯率领下,进攻叙拉古城,危难关头來临。
面对罗马的威胁,阿基米德奋起保卫自己的家园,他设讣了许女杀伤力很强的武器。
他的这项爭业,或许只能称为个体军丄企业。
我们继续引用普卢塔克的《马塞卢斯生平》一书,这木书是这位伟大的罗马传记作家在爭件发生后约300年时写的。
普卢塔克虽然是在为马塞卢斯作传,但他对阿基米徳的钦敬心情却显而易见。
这些描述使我们看到了一个非常引人.栩栩如生的阿基米徳形象c
“马塞卢斯率领大军向叙拉古城进发."
普卢塔克写道.“并在离城不远处安营扎寨,又派使者进城劝降。
”但叙拉古城人拒绝投降.马塞卢斯便凭借陆上的兵士和海上60艘装备精良的战船猛扑叙拉古城。
马塞卢斯“……有备而來.历年征战.声威赫赫”•但爭实却证明他敌不过阿基米徳和他凶狠的守城器械。
据普卢塔克记载,罗马军团进逼城垣.自信战无不胜°
“但是,阿基米徳开始摆弄他的器械,他对地面部队启动幹种弹射武器.无数大小石块带着惊人的呼啸,猛烈地倾泻下來:
乱石之中.无人能够站立,士兵乱了阵脚.纷纷被击中.成堆倒下。
而罗马水师的情况也不见佳,
“……从城墙上伸岀了长长的杆子,在船上方投下重物.将一些船只击沉:
而其他船只则被一只只饮臂或铁钩钩住船头•提升起來……然后又船尾朝下.投入海底:
同时.另一些船只在其引率的拖动下.团团乱转.最后撞碎在城下突起的尖峭岩石上,船上的士兵死伤惨重。
这种巨大的伤亡,用普卢塔克的话说,是“一件可怕的事情”,人们不会不同总他的说法。
在这种情况下.马塞卢斯认为最好还是先撤退。
他撤回了他的地面和海上部队.重新部署。
罗马人经过认真研尤,决定进行夜袭。
他们以为,只要在夜幕掩盖下•贴近城墙,阿基米德的武濡就没有用武之地了。
然而.罗马人再次遭到「诙外的打击。
原來.不知疲倦的阿基米徳已经为应付这种偷袭作好了充分的安排。
罗马士兵一靠近城防.“石头就劈头盖脸地砸下來.同时.城内又射出飞箭结果.罗马人失魂落魄.不得不再次撤退,但又受到阿基米徳远程武器的攻击•“损兵折将”O这次,自负的罗马军团“看到无形的武器给他们造成的重大伤亡,开始以为他们是在与诸神作战。
或许•说马塞卢斯的军臥士气低落亦不为过。
他希望他这支受到重创的军队能够重振勇气,继续进攻.但是,以前自认为无敌于天下的罗马人却不愿再打了。
相反,士兵们“只要看到城墙上伸出一小段绳索或一片木头,就立时大哗,以为阿基米徳又对他们使用什么贰器了•并转身落荒而逃C”马塞卢斯明白,小心即大勇,于是•他放弃了直接进攻。
马塞卢斯想以断粮逼迫叙拉古城人投降.所以.罗马军团开始长期圉困叙拉古城。
时间一天天过去,军爭态势没有什么变化。
后來,在狄安娜节日期间.叙拉古城居民“完全放松r警惕.他们纵酒狂欢”,松懈下來。
一直在窥测时机的罗马人乘其不备.一举攻破了防守懈怠的一段城防,怀着一腔怨祷涌入叙拉古城。
据说.马塞卢斯环视着这座英丽的城市.为他的士兵不可避免地要对叙拉古城泄怒施暴雨落下了眼泪。
的确.据历史记载,罗马人对叙拉古城人的做法完全不亚于他们在66年后对迦太基人的暴行。
但是,阿基米徳的死使马塞卢斯极为悲伤•因为他对这位天才的对手至为尊敬。
据普卢塔克记载:
“……也许是命该如此,邙可基米徳)正在专心研尤几何图形,他全神贯注地思考.完全没有注总到罗马人的入侵.也没有注慰到城市的陷落。
正在他聚精会神地研尤和思考的时候,没想到一个士兵前來,命令他立刻去见马塞卢斯:
但阿基米徳在没有解出他的几何证明题之前,拒绝跟他走。
士兵大怒.拔出佩剑,一剑刺死了阿基米徳。
就这样•阿基米徳走完「他的一生,他死了.像他活着时一样,执着于他所喜爱的数学。
我们可以认为他是一位科学研尤的殉难者.也可以认为他是自己无暇它顾的牺牲者。
总之.古往今來,数学家不知有多少.但像阿基米徳这样结局者.却是绝无仅有的。
阿基米徳尽管发明r许女利器和丄具.但他真正喜爱的还是纯数学。
与他发现的英妙定理相比.他的杠杆、曲和石弩都不过是雕虫小技。
我们还是引用普卢塔克的话來说明:
“阿基米徳具有商尚的情操.深刻的灵魂和丰富的科学知识.虽然这些发明使他赢得了超乎常人的名望,但他并未屈尊留下任何有关这些发明的著述:
相反•他却鄙薄工程学这一行%以及任何仅仅岀于实用和贏利目的的技艺.他将他的全部情感与理想寄托于与尘世无涉的思索之中。
数学是阿基米徳的最大遗产。
在这一领域,阿基米徳无可争议地被公认为古代最伟大的数学家。
他的那些幸存下來的十几部著作及一些零散的文稿是最商质量的。
其逻辑上的严谨与复杂.令后人惊叹不已。
毫不奇怪,他一定非常精通欧几里得的理论并不愧为欧女克索斯穷竭法的大师:
借用牛顿的名言,阿基米徳一定是站在巨人的肩上。
但是,过去的彩响虽然很大,却不能充分解祥阿基米徳帯给数学学科的巨大发展。
伟大的定理:
求圆面积
公元前约225年•阿基米德发表了一篇題为《圆的测定》的论文,这篇论文中的第一个命題对圆面积作了十分透彻的分析°
但是.在我们讲述这一不朽之作之前.我们有必要先介绍一下在阿基米德探讨这一问題时.有关圆面积问题的发展状况。
出时的几何学家已知.不论圆的大小如何,圆的周长与直径之比总是一定的。
用现代术语,我们可以说
D]D2
如图4・1所示,公式中的C代表周长,D代表直径。
换句话说,恻的周长与直径之比是一个常数,现代数学家定义这一比率为开。
(注总:
:
占希腊人在这里不使用符号。
)因此.公式
善"
或其等价式c二兀D
正是表明了常数n的定义,即两个长度(圆的周长与直径)的比。
那么,圆的面积又如何呢?
我们已经知道,《原木》的命题刈・2证明了两个圆的面积之比等于两圆直径的平方比.因此•圆面积与其直径的平方比是一个常数。
用现代术语说•欧几里得证明了常数k的存在,因而
=k或等价式A=kD2
至此.一切顺利。
但是.这两个常数之间相互有什么关系呢?
也就是说,人们是否能够发现在这“一维”常数H(表示圆周长与直径的关系)与“二维”常数k(表示浙枳与直径的关系)之间存在着一种简单的联系?
显然.欧几里得没有发现这种联系。
然而.阿基米徳在其短小精炼的论文《圆的测定》中证明了有关结果.而这相、勺于现代涉及八的求圆面积公式。
在证明中,他在圆周长(及因此产生的n)与圆面积之间建立J'
重要联系c他的证明需要两个非常直接的初步定理和一种非常复朵的逻辑方法,称为双重归谬法(反证法)。
我们先來看这两个初步定理。
一个是关于正女边形面积的定理,正女边形的中心为6周长为Q,边心距为h。
这里.边心距是抬从弟边形的中心引向任何一条边的垂线长度。
定理正多边形的面积等于|hQo
证明设正多边形(图4.2)有n条边.每条边长b。
作从0到每个顶点的连线,将笋边形划分为n个全等三角形,每个三角形的商为h(边心距),底为・因此每个三角形的面积为fbh,面积(正多边形)
=丄bh十]bh十十丄bh,共有n项
222
=—h(b+b++b)=丄110
22因为(b+b・……+b)是周长。
证吃。
周长二Q
简单•明快。
阿基米徳的第二个定埋十时也非常著名.而且显然是不证自明的。
这一定理称.如果给我们一个已知圆,我们可以作圆内接正方形:
欧几里得在命題IV.6中已证明过这种作图。
、勺然,正方形的ifn•枳肯定小于其外接圆的面积。
我们通过平分正方形的每条边,就可以确定圆内接正八边形的顶点位置。
十然,正八边形比正方形更接近于圆的面积。
如果我们再平分八边形的每条边,就可以得到圆内接正16边形,这X然比八边形又更接近圆的面枳。
这一过程可以无限继续。
实际上.这种方法的实质就是前而曾提到过的音名的欧女克索斯穷竭法。
显然,内接正参边形的面积永远不会等于圆的面枳:
不论内接正藝边形产生多少条边.都永远小于圆的面枳。
但是(这是穷竭法的关键),如果预先给定任一面积.不论其篡小.我们都能作出一个内接正女边形,而使圆面积与其内接正多边形的面积之差小于这一预先给定的面积。
例如,如果预先给定的面积为箱了平方英寸,我们可以作一个内接正多边形,而使
面积(圆)-面积(正多边形)<
籟平方英寸
这一正女边形也许有几百条边或几千条边.但这并不重要.重要的是它存在二
外切正女边形也具有类似的规律。
我们可以用一句话來概括这两种正篡边形的规律.即.对于任何已知圆.我们都可以作出它的内接正女边形或外切正命边形.其面枳可任気接近恻的血枳。
正是这句“可任意接近”成为了阿基米徳成功的关键。
以上就是阿基米徳的两个初步命题。
下而,我们有必要就他论证两个面积相等时所采用的逻辑方法作一个简爪的介绍。
在某种总义上,这种逻辑方法比我们以往所见到的任何方法都更复朵.或者说,至少更曲折C例如,我们可以回想一下,欧几里得是如何证明直角三角形斜边上正方形的而枳等于两条直角边上正方形面枳之和的:
他直接推理,证明了问题中的而枳相等。
他的证明方法虽然非常巧妙.却只是正而论证。
然而.阿基米徳在论证更为复朵的圆面积问題时,采用J'
一种间接证明的方法。
他认为.任何两个虽A与B.—定只能属于下列三种情况中的一种:
A<
B,或A>
B,或A二B。
为了证明A=B,阿基米德首先假设A<
B.并由此推导出逻输矛盾,因而排除这种悄况的可能性。
然后.他再假设
A>
B•并再次推导出逻辑矛盾°
排除了这两种可能性后.就只剩下了一种可能性,即A等于B。
这就是阿基米徳极为精彩的间接证明方法一一“双重归谨法”,将三种可能性中的两种引入逻辑矛盾。
这种方法初看起來似乎有点绕圈子.但细想一下就会觉得非常合理。
排除了三种可能性中的两种,就迫使人们得出结论.只有第三种可能性是正确的。
十然.没有人能比阿基米徳见熟练地应用双重归谬法C
依据这两个初步定理.我们就可以來看一看这位几何大师是如何证明《圆的测定》一书中的第一个命题的。
命题1任何恻的浙枳都等于这样一个直角三角形的而枳,该直角三角形的一条直角边等于圆的半径,另一条直角边等于圆的周长。
证明阿基米徳首先作两个图形(图4.3):
圆的圆心为0.半径为“周长为C:
直角三角形的底边等于C,商等于“我们用A代表圆的倆积.用T代表三角形的面积.而前者就是阿基米徳求证的对彖。
•显然.
三角形的面积就是T二
周长二C面积二A.
團4.3
命題宣称A=T。
为证明这一点.阿基米徳采用了双重归谬法证明.他需嬰考①并排除其他两
种可能性。
例1假设A>
To
这一假设表明•圆面枳以一定量大于三角形面枳。
换言之,其超出址A-T是一个正虽。
阿基
米徳知道,通过作圆内接正方形.并反复平分正方形的边.他就可以得到一个圆内接正多边形,
其而积与圆面枳不等,且小于正SA-To即
A-面积(内接正多边形)<
A-T
在不等式的两边备加上“而枳(内接正女边形)+TW•得
Tvifii积(内接正多边形〉
但是,这是一个圆内接正多边形(图4・4)。
因此,多边形的周长Q小于圆周长C,其边心距h、"
|然也小于圆的半径“我们抿此得出
面积(外切正多边形)二lhQ>
|rC二T
至此.阿基米德推导出了预期的矛盾•因为他已得出TV面积(内接多边形)和面积(内接女边形)<
T两种结论。
这在逻辑上是不成立的•因此.我们得出结论.例1是不可能的:
圆面枳不能大于三角形面积。
现在•他來考虑第二种可能性。
例2假设A<
TO
这次.阿基米徳假设圆的而枳小于三角形面积,I对而,T-A代表三角形面积对圆面枳的超出虽。
我们知道.我们可以作一个圆外切正命边形,其面积大于圆面积,但小于T-A。
也就是
面积(外切正多边形)"
T-A
如果我们在这一不等式两边各加上乩则
面积(外切正多边形)<
T
但是,外切正多边形(图4・5)的边心距h等于圆的半径r.而正多边形的周长Q显然大于圆的周长C。
因此
面积(内接多边形)=|hQ<
|rC=T
这样,就再次出现了矛盾,伙I为外切篡边形的面积不可能既小于、又大于三角形的面积。
因此.阿基米徳推断.例2也是不可能的:
圆面枳不能小于三角形面积。
最后,阿基米徳写道:
“由于圆的面积既不大于、也不小于(三角形面积).因此•圆面积等于三角形面积。
”证伦。
这就是阿基米徳的证明.这颗小小的明珠出自一位无可争议的伟大数学家之手。
阿基米徳用圆面枳既不大于、也不小于三角形而枳的方法來证明这两个面枳一定相等.这种证明方法使一些人感到甚为奇特。
一些人感到这种论证方法太绕圈子.对他们我们不妨引述《哈姆宙特》中大臣波洛涅斯一句话的大总:
“这虽则是疯狎.却有深意在内c”人们可能会感到奇怪,这么简短的证明方法.希波克拉底或欧女克索斯或欧几里得怎么会忽略r呢?
爭后聪明总是不难。
这里,我们再次引述普卢塔克关于阿基米徳数学的描述:
“在全部几何学中很难找到比这更困难见复杂的问题.以及更简洁更淸楚的证明。
有些人将此归于他的天赋:
而另一些人则认为是他惊人的努力和勤奋产生了这些显然十分容易而又未被他人证明的定理。
你费尽力气•仍然一无所获,可一旦看到他的证明,立刻就会认为.自己木來也能够推导出这些结论。
他引导你.沿着一条平坦的捷径.得出预定的结果。
》
既然阿基米徳已证明圆的而枳与三角形而积相等,那么,他是否可以解决我们曾在第一苹中讨论过的人们长期探索的求圆而枳问题呢?
答案十然是否定的,伙I为要成功地解决圆的求积问題,就必须要作出与圆血积相等的直线图形。
但是.阿基米徳的证明没有,也没有声称能够提供任何有关如何作这种等面积三角形的线索。
十然.作出三角形的一条直角边等于圆的半径并不难.难的是作出三角形的另一条直角边•使之等于圆的周长。
伙I为C=nD.所以.要作出圆的周长.就必须作出八。
我们已知.这种作图是根木不可能的。
阿基米徳的证明决不能被解释成他试图据此作出圆的等面积正方形:
情况不是这样。
尽管如此.读者从阿基米徳的定理中.也许仍然看不出我们所熟悉的求圆面积公式•因为他所证明的毕竞只是圆面枳等于一定三角形的曲枳。
但是.我们将看到.这正是典型的阿基米徳方法一使一个未知图形的面积与一个更简单的已知图形面积相联系。
然而.问题不仅如此。
閃为我们所说的三角形.其底边等于圆的周长.这里有两层重要含义。
其一,阿基米德不像欧几里得那样.不是将一个圆的面枳与另一个圆的面积相联系(这基木上是一种“相对性”的方法)•而是将圆的面积与它自己的周长和半
径相联系,并反映在它的竽面积三角形之中。
这样,通过证明A=T二!
£
。
阿基米徳就在一维概念的周长与二维概念的而枳之间建立了联系。
因为C=nD=27rr,我们可
把阿基米徳的定理重新写成
A=lrC=-r(2兀了)二兀F
22
这就出现了几何学中我们昴熟悉,也是昴重婆的公式之一。
还应指出.阿基米徳的命題显然包含欧几里得关于两个圆面积之比等于其直径的平方比这
一比较平淡的命題。
也就是.如果我们设一个圆的面积为A"
直径为D|,设第二个圆的面积为A
2,直径为D2,则阿基米徳证明
这就概括了欧几里得的定理。
所以.阿基米徳的命题足以表明欧几里得的命題是一个不甚重要的系定理。
因而.阿基米徳的命題标总着数学上的一个真正进步。
回头再看以前的讨论•现在我们能够确定“欧几里得”表达式A二KD】中常数k的数值。
因为根据阿基米德的发现,我们知道,
nr:
=A=kD:
=k(2r)Mkr2
因此,牡二兀,k二换言之欧几里得的“二维”面积常数恰好等于4
“一维”圆周长常数“的四分之一。
所以.阿基米徳的命題带给我们一个好消息.我们无需汁算
这两个不同的常数。
如果我们能够从圆周长问题中确定n的值,就能够将其应用于圆而枳公式c
这后一点也没有难倒阿基米徳°
实际上,在《圆的测定》一书的第三个命题中•他就推导出
了常数开的值。
命题3任何圆的周长与其直径之比都小于3二但大于埠。
用现代符号表示,即’3寻<
兀<
3*。
将这些分数化为等值小
数.阿基米德的命題就成为3.140815……<
n<
3.142857……:
这样.就确定了常数n的值,精
确到两位小数.为3.14c
阿基米徳得出八的估汁值,又一次显示了他的才能。
他准备再次应用他非常有用的圆内接和
外切正多边形.不同的是.这次他不再求面积.而将注懑力集中在筝边形的周长上。
他首先作圆内接正六边形(图4.6)o已知正六边形的边长等于圆的半径.其长度我们称之为r。
因此,
兀=圆周长,六边形周长=竺=3
'
一圆直径■圆直径一石一
、”I然,这是对n值的非常粗略的估卜但阿基米德刚刚迈出第一步。
接下來,他将这一内接筝边形的边数加倍.得到一个正12边形。
他必须讣算出这个12边形的周长。
正是在这个问题上.他使现代数学家惊叹不已,伏I为要确定十二边形的周长.就要算出3的平方根。
为然.我们今天使用il•算器或讣算机.这已不是什么难爭.但在阿基米徳时代,不仅这些先进设备无法想飮.而且.甚至没有帮助进行这种il•算的适、”1数系°
阿基米徳
对的数值作了如下估计
这是非常接近的估汁。
随后,阿基米徳继续平分内接藝边形的边.得到正24边形.然后是正48边形,最后得到正
96边形。
在这一过程中.每一步他都婆估算复朵的平方根.但他从不动摇。
半他得到96边形时.
他的估算值为
圆周长、正96边形周长、6336
isefflsg”^71八右
阿基米徳似乎意犹未尽.又转向外切lE12边形、24边形.48边形
和26边形,作类似的估算,并由此得到兀值的上限专。
虽热他面对的是糟糕透顶的数系.而且没有估算平方根的简单方法,但他的估算证实了他令人敬畏的才华。
这些计算采用了笨拙的算术方法,犹如一个人戴着沉重的镣铐参加商栏赛跑。
然而,阿基米徳凭借他的智艺和毅力,成功地汁算出了重要常数"
的第一个科学近似值。
犹如木草后记所述.自此,科学家再不曾停止过寻求岛精确度的n近似值。
《圆的测定》一书流传到我们手中,只有三个命題.不过薄薄几页。
而且.第二个命題也不恰、S难以令人满恿。
毫无疑问,这是阿基米徳谢世后多少年來低劣的抄写、編辑和翻译造成的。
表面看來,这样短的论文似乎不太可能产生这样大的影响C但试想在第一个命题中.阿基米徳就证明J'
关于圆面积的着名公式:
在昴后一个命题中•他又出色地给出了才的近似值,这篇短论文何以得到历代数学家岛度评价,就显而易见了。
论文的优劣不在于篇幅长短.而在于其数学质虽。
根据这一标准,《圆的测定》一书不愧是一部经典之作。
阿基米德名作:
《论球和圆柱》
上述三个命題仅仅讨论了阿基米徳数学遗产的一部分,除此以外,他还写过有关螺线,劈惟曲而和椭球体的几何论文,并发现了通过求一无穷几何级数之和來确定拋物线弓形面积的方法。
这后一个问題(求曲线面枳),现在属于微积分领域,由此可见,阿基米徳超越他所处的时代有多么远。
然而.相对于所有这些成就•他无可争议的代表作则是一部内容广泛的两卷木著作,题为《论球和圆柱》°
在这部著作中.阿基米徳以其近乎超人的智惠,确定了球体及有关几何体的体积和表面积,从而像在《圆的测定》中对二维图形的研尤一样,解决了三维立体的问題。
这是一项伟大的成就.阿基米徳自己似乎也认为.这标,忐着他数学事业的顶峰。
我们首先应回顾一下古希腊人对三维立体表而枳和体积的认识。
如前一草所述•欧几里得证明了两个球体体积之比等于其直径的立方比:
换言之,这里有一个“体积常数”m.I大I而.
体枳(球体〉=mD3
这是欧几里得对球体体枳的认识.但对于球体的表面积,他却始终保持沉默C因而.对这个问題的成功解决.再次有赖于阿基米徳《论球和圆柱》的出现。
这一部两卷木著作运用了一种大家熟悉的论述方式,首先是一系列定义和假设.然后从中推导出复朵的定理。
总之,还是欧几里得的模式。
书中的第一个命题平平淡淡:
“已知一个圆外切正多边形.则其周长大于圆的周长C”但是.阿基米德很快就转向了更复杂的问題。
通观他的全部论述.(至少用现代人的眼光來看),一个很大的缺憾是.由于缺乏简明的代数符号•他无法用简单的公式來表示体积和表叫枳,而只能依整陈述•例如:
命题13任一正恻柱除上下底而以外的表面积等于一恻的而积•该恻的
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 阿基米德 面积 定理