第三章-中世纪的中国数学精选.pptVIP

下面用杨辉《详解九章算法》中记载的一道例题来说明这种方法．该题相当于求 的正根。贾宪的算法相当于以下程序： ① 令 ，方程变换为 ② 议得首商为3 ③ 令 ，设方程变换为： ， 其中系数 由下列增乘程序来确定： ? 即得到减根变换后的方程为 ④? 令 ，方程变换为 ⑤ 议得次商(第二次商)为4 ⑥ 令 ，重复以上增乘程序： 由于常数项 (实)恰好被减尽，整个计算到此为止，我们得到原开方式的精确根=34，若常数项仍不为零，还可以继续重复增乘程序来求小数后的各位数字。 贾宪增乘开方法，是一个非常有效的和高度机械化的算法，可适用于开任意高次方．这种随乘随加、能反复迭代计算减根变换方程各项系数的方法，与现代通用的“霍纳算法”(1819)已基本一致．而与此方法相联系的“贾宪三角”，在西方文献中则称“帕斯卡三角”(1654)． ? (二)秦九韶“正负开方术” 在高次方程数值求解领域的集大成者，是南宋数学家秦九韶．秦九韶(约公元1202—1261)在他的代表著作《数书九章》中，将增乘开方法推广到了高次方程的一般情形。他将自己的方法称为“正负开方术．正负开方术是求高次代数方程的完整算法． 先列出 形式的方程，其中方程系数除了常数项 外都可正可负，常数项则规定总为负，即“实常为负”．解方程的方法也是在取得试商 后通过减根变换 将方程变形为新方程 秦九韶“正负开方术”给出了一个机械化的迭代程序来计算新方程的系数 ，这一程序与贾宪增乘程序的主要区别在于：后者在以试商由下而上累乘累加的最后，要将所得结果从常数项中减去；而秦九韶的程序由于规定了“实常为负”，整个运算便统一为加法，彻底实现了机械化的随乘随加． 3.2.1刘徽的数学成就 《隋书》“律历志”中提到“魏陈留王景元四年刘徽注九章”，由此知道刘徽是公元3世纪魏晋时人，并于公元263年撰《九章算术注》。 《九章算术注》包含了刘徽本人的许多创造，完全可以看成是独立的著作，奠定了这位数学家在中国数学史上的不朽地位。 刘徽数学成就中最突出的是“割圆术”和体积理论 。 （一）割圆术 刘徽在《九章算术》方田章“圆田术”注中，提出割圆术作为计算圆的周长、面积以及圆周率的基础。割圆术的要旨是用圆内接正多边形去逐步逼近圆。刘徽从圆内接正六边形出发，将边数逐次加倍，并计算逐次得到的正多边形的面积和周长。 术曰：“假令圆径二尺，圆中容六觚（即正六边形）之一面，与圆径之半，其数均等．合径率一而外周率三也．又按为图，以六觚之一面乘半径，因而云之，得十二觚之冪．若又割之，次以十二觚之一面乘半径，因而六之，则得二十四觚之冪．割之弥细，所失弥少．割之又割，以至于不可割，则与圆合体，而无所失矣．” 刘徽从圆内接正六边形出发，并取半径为1尺，一直计算到192边形，得出了圆周率的精确到小数点后二位的近似值 ，化成分数为 ，这就是有名的“徽率”。 ? （二）体积理论 刘徽的面积、体积理论建立在一条简单而又基本的原理之上，这就是他所谓的“出入相补”原理：一个几何图形（平面的或立体的）被分割成若干部分后，面积或体积的总和不变。 在平面的情形，刘徽成功地证明了《九章算术》中许多面积公式，但当他转向立体情形时，却发现“出入相补”的运用遇到了很大的困难。这里实质性的障碍在于：与平面情形不同，并不是任意两个体积相等的立体图形都可以剖分或拼补（也就是中国古代数学家所说的“出入相补”）相等。 他在推算《九章算术》中的一些立体体积公式时，灵活地使用了两种无限小方法：极限方法与 不可分量方法。 (1)阳马术。《九章算术》“商功章”阳马术给出阳马的体积公式为其三条直角边乘积的三分之一。 刘徽从一长方体出发（见图）， 将它斜分成两个“壍堵”，然后再斜分壍堵得到两个立体图形，其中一个就是阳马，另一个是鳖臑。 术曰： 术曰：“广袤相乘，以高乘之，三而一．” 刘徽欲证阳马体积 与鳖臑体积 之比为2:1，由此即可推出阳马体积公式 （