中外数学史第4章.ppt

三、刘徽的数学学习理论 1.告往知来，举一反三； 2.出入相补，各从其类； 3.析理以辞，解题用图； 4.异词，同归； 5.触类而长，靡所不入； 6.易简用之，动庖丁之理； 7.敢不缺疑，以俟能言。 第二节 刘徽的数学机械化思想 2.最基本算法程序原理——齐同术（通分运算） 推广：设有两种率： ,齐同术如下： 于是得到一组率： 若是k=2,n=3 ,即为通分运算，而且对于多余两组的若干组率，也可以仿此齐同程序化为相应的率用于计算。 3.比例应用问题的解法程序 《九章算术》中的粟米、衰分、均输等章都是专门讲用比例方法解决各种应用问题的。 衰分就是差分，按比例分配的意思。《九章算术》给出一般衰分问题的算法：（例衰分章第二题） “返衰分”术：若以 就成为“返衰分术。”均输问题可以归结为这类问题。 二、刘徽对“方程”机械化程序的贡献 1.刘徽的互乘相消程序 “方程”第7问：今有牛五，羊二，直金十两；牛二，羊五，直金八两。问牛、羊各直金几何？ 答曰：牛一直金一两二十一分两之一十三。羊一直金二十一分两之二十。 2.刘徽对“方程”解法程序的理论贡献 互乘法消元的理论基础：方程的某一行或行的倍数与另外的行相减，得到与原方程同解的方程。这就是两行相减不影响方程的解的原理。这与现今理论一致。 3.正负数的引入是“方程”算法机械化的结果 第8题：今有卖牛二，羊五，以买一十三豕，有余钱一千；卖牛三，豕三，以买九羊，钱适足；卖六羊，八豕，以买五牛，钱不足六百。问牛、羊、豕价各几何？ 答曰：牛价一千二百。羊价五百。豕价三百。 术曰：如方程。置牛二，羊五正，豕一十三负，余钱数正；次，牛三正，羊九负，豕三正；次五牛负，六羊正，八豕正，不足钱负。以正负术入之。 正负数的运算法则：同名相除，异名相益，正无入负之，负无入正之。 异名相除，同名相益，正无入正之，负无入负之。 前四句是正负数的减法法则： 正负数的引入是“方程”算法机械化的结果 在未引入负数的早期代数里，贾宪认为大抵是这样求解方程的。 第三节 刘徽的“割圆术”—无穷小分割和极限方法 刘徽首创“割圆术”，证明了圆面积的精确公式，在此基础上开创了求圆周率的科学方法，是无穷小分割和极限方法的完美结合，从而打开了通向微积分的门槛。 一、证明圆面积公式 将圆进行无穷小分割，得到与圆合为一体的正多边形，以正多边形的边为底，以圆的半径为高的小等腰三角形。由于每个三角形的面积等于底边乘以半径的一半，所以，圆的面积等于这无穷多个小三角形面积的和。 二、科学推求圆周率 刘徽的“割圆术”的意义不仅证明了圆面积的精确公式，而且开创了求圆周率的科学方法。刘徽取直径为2尺的圆，从圆内接正6边形开始可到了一个序列。其中一些量的数值可按下面的公式推导： 第四节 刘徽的出入相补原理 一、刘徽利用出入相补原理对平面图形面积的证明 出入相补原理：一个平面图形从一处移置他处，面积不变；又若把图形割成若干块，那么各部分面积的和等于原来图形的面积，因而图形移置前后诸面积间的和、差有简单的相等关系。立体图形的情形也是这样。 1.刘徽对勾股定理的证明 2.测海岛的高（二次测望问题） 3.勾股容圆 《九章算术》有“勾股容圆”问：已知勾、股，求勾中容圆径。 4.出南北门求邑方 二、刘徽原理 刘徽把平面图形的出入相补原理推广到空间图形，称为“损广补狭”，以证明几何体的体积公式。 刘徽用无穷小分割原理和极限方法证明了： 邪解堑堵，其一为阳马，一为鳖臑。阳马居二，鳖臑居一，不易之率也。 刘徽用无限分割的方法解决锥体体积时提出的一条重要原理：将一个堑堵（用一平面沿长方体相对两棱切割得到的楔形立体）分解为一个阳马（直角四棱锥）与一个鳖臑（四面均为直角三角形的四面体），则“阳马居二，鳖臑居一，不易之率也”，即一个堑堵内阳马的体积与鳖臑的体积之比恒为2∶1。这