中国古代的无穷小分割思想.docVIP

中国古代的无穷小分割思想

中国古代的无穷小分割思想

中国古代的无穷小分割思想

中国古代得无穷小分割思想

自然科学史研究所郭书春

谈到古代数学得无穷小分割思想，人们便把目光投向古希腊得穷竭法。实际上，古希腊得数学家并没有使用无穷小分割和极限思想，她们得分割总是有一个剩余,最后用双重归谬法证明已知得命题。在微积分孕育时期得面积元素法产生之前,真正在数学证明中使用无穷小分割和极限思想得是中国数学家,首先是刘徽，后来是祖冲之父子。

无穷小分割思想得萌芽

像古希腊思想家提出了物质无限可分得若干命题一样，中国在先秦也产生了无穷小分割得若干命题。如《庄子·天下篇》引用名家得命题：“一尺之棰，日取其半，万世不竭。”墨家著作《墨子·经下》：“非半弗■则不动,说在端。”《经说下》解释道:“非,■半,进前取也，前则中无为半,犹端也、前后取，则端中也、■必半，毋与非半，不可■也、”显然，墨家和名家得命题是不同得。名家认为无限分割得过程永远不会完结,类似于古希腊得潜无限；墨家认为无限分割得结果终究会达到一个不可再割得端，是一种实无限思想。《庄子·秋水篇》借河神和北海神得对话也阐述了无穷小分割思想。“河伯曰：‘世之议者皆曰：“至精无形,至大不可围、”是信情乎?’北海若曰：‘夫自细视大者不尽，自大视细者不明。夫精,小之微也；垺，大之殷也；故异便。此势之有也。夫精粗者，期于有形者也;无形者，数之所不能分也；不可围者，数之所不能穷也。’”这里说得至精无形、无形不能分得思想，和墨家不可■得思想接近。

汉司马迁《史记·酷吏列传》以“破觚而为圜”比喻汉废除秦得严刑苛法、破觚为圆含有朴素得极限思想，大约是司马迁从工匠加工圆形器物化方为圆、化直为曲得实践中总结出来得、这些命题对后来数学中得无穷小分割思想有深刻影响。

刘徽得割圆术

汉代《九章算术》提出了正确得圆面积公式：“术曰：半周半径相乘得

内接正6边形得周长代替圆局长L,以圆内接正12边形面积代替圆面积S，把正１2边形拼补成一个以正６边形周长得一半作为长、圆半径r作为宽得长方形来推证上述公式得。刘徽说这“合径率一而外周率三也”,极不严格、为了真正证明圆面积公式，她创造了著名得割圆术。

刘徽从圆内接正６边形开始割圆，依次得到圆内接正6×2、6×2２、……边形、显然，圆内接正６×２ｎ边形得面积SnS。然而，随着分割越来越细，S－Ｓn越来越小,“割之又割，以至于不可割，则与圆周合体

边和圆周之间有一段距离,称作“余径,把每边长乘余径，总和是2（Ｓｎ+1-Sn),加到Sn上,那么Sn＋２(Ｓn+１-Sn）＞S。然而当n无限大时,6×2ｎ边形和圆周合体，表径等于零，所谓“表无余径，

它得上界序列和下界序列得极限都是圆面积。最后，刘徽把和圆合体得正多边形分割成无穷多个以圆心作为顶点、以每边得长作为底得小等腰三角形,由于以圆得半径乘每边得长是每个小三角形面积得二倍，求这些小三角形面积得总和,即圆半径乘圆周长，就是圆面积得二倍：Ｌr＝2S，所以S=

而为圆幂，”完成了证明。

显然，这里含有明显得极限过程和无穷小分割并求它得总和得思想,和面积元素法十分接近。

刘徽批评了以往学者沿袭周三径一得错误,认为上述公式中得“周径,谓至然之数，非周三径一之率也”。为了正确使用这一公式，必须求出这个“至然之数，即周径相比之率，就是现在所谓圆周率。刘徽从直径2尺得圆得内接正６边形开始割圆，依次求出正6×２、6×22、6×23、６×24边形得边长和6×25边形得面积，取圆内接正6×25边形面积Ｓ５得整数部

周长近似值是62８分，和直径2尺相约,得周率15７，径率5０，相当于π＝

刘徽原理

《九章算术》给出了阳马（直角四棱锥）得体积公式

和鳖臑(四面都是勾股形得四面体）得体积公式

其中a、b、h分别是长、宽、高。在刘徽之前，对a＝ｂ＝h得特殊情形,由于一个正方体可以分解成为三个全等得阳马，或六个三三全等两两对称得鳖臑，人们容易用棋验法加以证明、但是，当a≠b≠h时，“鳖臑殊形”，“阳马异体，用棋验法“则难为之矣”、为了证明（1)、（2）式,必须另辟蹊径。刘徽首先提出了一个重要原理：把一个堑堵(把一个长方体沿相对两棱斜剖,便得两堑堵）分解为一个阳马和一个鳖臑,“阳马居二,鳖臑居一，不易之率也、即在一个堑堵中，恒有

Ｖy∶Vb＝2∶1。(３)

吴文俊氏把它称作“刘徽原理”（见本书第92页）。显然,只要证明了刘

喻得。刘徽创造了如下得方法证明（3)式：

如图，用三个互相垂直得平面分别平分堑堵得长、宽、高,那么:其中得阳马被分割成一个小长方体Ⅰ，两个小堑堵Ⅱ、Ⅲ,两个小阳马Ⅳ、Ⅴ;鳖臑被分割成两个小堑堵Ⅱ′、Ⅲ′，两个小鳖臑Ⅳ′、Ⅴ′。显然，小堑堵Ⅱ和Ⅱ′、Ⅲ和Ⅲ′分别可以拼成和Ⅰ全等得小长方体;小阳马Ⅳ和小鳖臑Ⅳ′、小阳马Ⅴ和小鳖臑Ⅴ′分别是两个小堑堵,又