06级第4讲：中世纪的中国数学.pptVIP

古代背景(1)河图洛书——中国最早的数学文物 “九子斜排，上下对易，左右相更，四维挺出。”这么四句话。 所谓“九子斜排”就是从一到九这九个数，从左上到右下斜着排下来，就是一二三、四五六、七八九这叫“九子斜排”。然后“上下对易”就是一和九对调位置，这个“左右相更”左右两个数“更”，“更”也是易就是也对调位置，就是七和三对调位置，对调位置，然后“四维挺出”，四维就是四个角上这四个数。“挺出”往四个方向挺出去，挺一下。所以这就是这四句话的意思，这不一“挺出”之后就成了这个洛书的数字排列。二、九、四、七、五、三、六、一、八。 推算圆周率 刘徽从圆内接正六边形出发，并取半径为1尺，一直计算到192边形，得出了圆周率的精确到小数后二位的近似值π≈3.14，化成分数为，这就是有名的“徽率”．刘徽一再声明：“此率尚微少”，需要的话，可以继续算下去，得出更精密的近似值来． 我们知道，《九章算术》使用的圆周率是3．从西汉末年开始，新率陆续出现，但仍然很不精确并且没有推算方法．刘徽是中算史上第一位建立可靠的理论来推算圆周率的数学家． （三）中国剩余定理 秦九韶《数书九章》卷一“大衍总数术”，明确地、系统地叙述了求解一次同余方程组的一般方法．算法是完全正确且十分严密的．秦九韶本人并没有给出这样的证明．到18、19世纪，欧拉（1743）和高斯（1801）分别对一次同余组进行了详细研究，重新独立地获得与秦九韶“大衍求一术”相同的定理，并对模数两两互素的情形作出了严格证明．1876年德国人马蒂生首先指出秦九韶的方法与高斯算法是一致的，因此关于一次同余组求解的剩余定理常常被称为“中国剩余定理”． （四）内插法与垛积术 （1）内插法——插值计算 （2）垛积术——高阶等差数列求和 高阶等差数列求和的公式，这就涉及到宋元时期的另一项数学成就——“垛积术” “隙积术”，就是关于长方台形垛积的求和公式．一个上底宽是 个物体、长是 个物体；下底宽是 个物体、长是 个物体；高是 层的长方台形垛积，要求物体个数的总和S． （2）.体积理论——出入相补 像阿基米德一样，刘徽倾力于面积与体积公式的推证，并取得了超越时代的漂亮结果．刘徽的面积、体积理论建立在一条简单而又基本的原理之上，这就是他所谓的“出入相补”原理：一个几何图形(平面的或立体的)被分割成若干部分后，面积或体积的总和保持不变．在平面情形，刘徽利用这条原理成功地证明了(九章算术》中许多面积公式，但当他转向立体情形时，却发现“出入相补”的运用即使对于像“阳马”这样看似简单的立体也遇到了很大的困难． ①阳马术． 《九章算术》“商功章”阳马术给出阳马（四棱锥）的体积公式为其三条直角边乘积的三分之一（用极限思想证明右图中四面体体积是四棱锥体积的一半）． ②球体积． 刘徽首先指出了《九章算术》中的球体积公式是不正确的，并在《九章算术》“开立圆术”注文中指出了一条推算球体积公式的正确途径． 刘徽创造了一个新的立体图形，他称之为“牟合方盖”，并指出：一旦算出牟合方盖的体积，球体积公式也就唾手可得． 如图3．10，在一立方体内作两个互相垂直的内切圆柱．这两个圆柱体相交的部分，就是刘徽所说的“牟合方盖”．牟合方盖恰好把立方体的内切球包含在内并且同它相切．如果用同一个水平面去截它们，就得到一个圆(球的截面)，和它的外切正方形(牟合方盖的截面)．刘徽指出，在每一高度上的水平截面圆与其外切正方形的面积之比都等于 因此球体积与牟合方盖体积之比也应该等于 刘徽在这里实际已用到了西方微积分史著作中所说的“卡瓦列利原理”，可惜没有将它总结为一般形式．牟合方盖的体积怎么求呢?刘徽终于未能解决．最后他说：“敢不阙疑，以俟能言者”! 刘徽虽然没有推证出球体积公式，但他创用的特殊形式的不可分量方法，成为后来祖冲之父子在球体积问题上取得突破的先导． 刘徽《九章算术注》还有其他许多数学成果，特别是他在《九章算术》“勾股”章之后所加的一整篇文字，作为《九章算术注》第十卷，后来单独刊行，称为《海岛算经》．《海岛算经》发展了古代天文学中的“重差术”，成为勾股测量学的典籍. 四、祖冲之与祖暅 解决： （1）、圆周率、球体积（牟合方盖）； （2）、提出祖暅原理 刘徽的数学思想和方法，到南北朝时期(公元420--589)被祖冲之和他的儿子祖暅推进和发展了． 祖冲之(公元429—500)活跃于南朝宋、齐两氏，出生于历法世家，本人做过南徐州(今镇江)从事史和公府参军，都是地位不高的小官，但他却成为历代为数很少能名列正史的数学家之一．