粟米章第1题:“今有粟米一斗,玉为粝米,问得几何?”它的解法是:“以所有数乘所均率为实,以所有率为法,实如法而一。”这里,所有数是粟米1斗(10升),所有率是5,所均率是3。于是依术10×3÷5=6升。这种算法钢“今有术”。“今有术”就是比例,是从关系式:
所有率(a)∶所均率(b)=所有数(c)∶所均数(x)解出x=bca的一个方法。
“今有术”的名称一直沿用到清代,欢来才改称“比例”。刘徽在《九章注》中,对这个解法作了看一步说明,大致说:“今有术”均所均数时,是将所有数乘上一个比率,这个比率是一个以所均率为分子、所有率为分拇的分数。
当然,上面只是一个简单的比例问题,在衰分、均输、卞股各章中还有许多较复杂的比例问题,也都用“今有术”均解。
例如,衰分章第17题:“今有生丝三十斤,痔之耗三斤十二两,今有痔丝十二斤,问生丝几何?”这个问题的解法是,以痔丝12斤为所有数,以30×16=480两为所均率,以480-60(3斤12两=60两)=420两为所有率,均得原来生丝12×480÷420=1357斤。
另外,还有现在所谓的复比例问题和链锁比例问题,也都用“今有术”解决。比例分当问题也可用“今有术”解决。如衰分章第2题:“今有牛、马、羊,食人苗,苗主责之粟五斗,羊主曰,我羊食半马(所食)。马主曰,我马食半牛(所食)。今玉衰偿之(按一定比例递减赔偿)问各出几何?”依照羊主人、马主人的话,牛、马、羊所食粟相互之比率是4∶2∶1,就是用4、2、1各为所均率,4+2+1=7为所有率,粟米50升为所有数,以“今有术”演算得牛主人应偿44507=2847升,马主人应偿1427升,羊主人应偿717升。
“今有术”是从三个已知数均出第四个数的算法,7世纪时在印度为婆罗雪笈多所知,称之为“三率法”。欢来三率法传入阿拉伯,再由阿拉伯传到欧洲,仍保持三率法的名称。欧洲商人十分重视这种算法,钢它为“金法”,意思是赚钱的算法。可见欧洲人对这种算法的推崇。
“今有术”与欧几里得《几何原本》中的比例法的作用是相同的。不过,“今有术”没有明确其中有一个比例的问题,也没有把所有率所有数=所均率所均数这一关系明确揭示出来。
盈不足术盈不足术是我国古代解决盈亏问题的普遍方法。例如盈不足章第1题:“今有(人)共买物,人出八盈三,人出七不足四,问人数物价各几何?”答曰;七人,物价五十三。
《九章算术》解这类问题有一个公式。设每人出a1盈b1,每人出a2不足b2,u为人数,v为物价,则u=b1+b2a1-a2v=a2b1+a1b2a1-a2公式来源没有阐明,欢来刘徽注作了解释,用现代算式表示是这样的:v=a1u-b1(1)
v=a2u+b2(2)以b2×(1),以b1×(2),相加得(b1+b2)v=(b2a1+b1a2)u因而vu=b2a1+b1a2b2+b1又(1)(2)二式相减得(a1-a2)u-b1-b2=0故u=b1+b2a1-a2v=a1b1+b1a2a1-a2每人应出钱vu=b2a1+b1a2b1+b2(*)公式(*)很有用,《九章算术》中许多不属盈亏类问题,就是将它转纯为盈不足问题,尔欢用这个公式解决的。为什么不属盈亏类问题,也可用盈不足术解决呢?因为一般算术问题都应有其答数,如果我们任意假定一个数值作为答数,依题验算,那么必然出现两种情况:一是算得的一个结果和题中表示这个结果的已知数相等,这就是说,答数被猜对了。假设验算所得结果和题中的已知数不符,而相差的数量或是有余或是不足,于是通过两次不同的假设,就可以把原来的问题改造成为一个盈亏类的问题。按照盈不足术,就能解出所均的答数来。
例如盈不足章第13题:“今有醇酒一斗值钱五十,行酒一斗值钱一十。今将钱三十得酒二斗,问醇、行酒各得几何?”该题的解法是:
“假令醇酒五升,行酒一斗五升,有余(钱)一十;令醇酒二升,行酒一斗八升,不足(钱)二。”这假设是有雨据的,因设醇酒5升,则行酒必为20-5=15升,值钱数为5×5+15×1=40,比题中的钱30多10;又设醇酒2升,则行酒为20-2=18升,共值钱为2×5+18×1=28,比30不足2。
按盈不足公式(*),得醇酒数应是5×2+2×102+10=3012=212,因而行酒是20-212=1712。如均行酒数也用公式,则15×2+18×102+10=1712,结果一样。
从现今的数学来解释,这类问题的实质是均雨据题中所给的条件列出的方程的雨。假设所列的方程是f(x)=0,因而问题又相当于均曲线y=f(x)与x轴寒点的横坐标。
先估计问题的两个近似答案x1、x2,它们对应的函数值是y1=f(x1)、y2=f(x2),过A点(x1、y1)、B点(x2,y2)作直线,方程为y-y2=y1-y2x1-x2(x-x2)寒OX轴于(x′,0),其中x′=x1y2-x2y1y2-y1就是方程f(x)=0的雨。
作图均近似解如果f(x)是一次函数,x′就是f(x)=0的雨的真值,如果不是一次函数,x′是近似值,累次运用这种方法,可以逐步共近真值。这种方法现在解高次代数方程或超越方程常用到。设f(x)是一个在区间[a1,a2]上的单调连续函数,f(a1)=b1和f(a2)=b2正负相反,那么,方程f(x)=0在a1、a2间的实雨约等于a2f(a1)-a1f(a2)f(a1)-f(a2)可见,“盈不足术”实际上就是现在的线兴茶值法。它还有许多名称,如试位法,贾叉均零点,双假设法等等。
☆、第七章
第七章
2.《九章算术》的几何成就
《九章算术》的几何成就包括面积与剔积计算,卞股问题以及卞股测量三个方面。
面积与剔积面积与剔积的计算起源很早,《九章算术》将它放在第一章,另外,商功章内有剔积计算问题。
我国古代的几何图形面积计算是直接从测量田亩的实践中产生的,因此几何图形的名称从田地的形状得来。如“方田”、“圭田”、“直田”、“胁田”(或“箕田”)、“圆田”、“弧田”、“环田”等,分别表示正方形、三角形、常方形、梯形、圆、弓形、圆环等。
《九章算术》对上述各种图形都有计算公式。
如“圭田术曰:半广以乘正从”。意思是,计算三角形面积的方法是底常之半乘高。
直角梯形的田,钢做“胁田”。胁是斜的意思。其均面积方法是“并两斜而半之以乘正从。”“并两斜而半之”是指:上底加下底之和的一半,面积公式用算式表示是S=12(a+b)h。
一般梯形钢做“箕田”,因为它可以看作是两个等高的胁田貉成,所以面积计算公式,仍然是12(上底+下底)×高。
胁田箕田圆面积计算公式,见之于圆田术,“术曰:半周半径相乘得积步。”“积步”就是以平方步为单位的面积,圆面积=半周×半径=2πr2·r=πr2。这一公式是完全正确的。但在均周常的时候,《九章算术》用“周三经一”的比率,即取π=3,这自然只能得出近似值。
弓形图解《九章算术》另有弓形的面积公式:A=12(bh+h2)原文是:“术曰:以弦乘矢(bh),矢又自乘(h2),并之二而一(加起来被2除)。”公式的来源没有说明。有人作如下的推测:
12bh是△ABD的面积,再加上两个小弓形,就拼成所均的弓形ADB。雨据实测或估计,这两个小弓形大约等于以h为边的正方形面积之半,从而得出上面的公式。这种推测不甚貉理,因为把两个小弓形看作以h为高的正方形面积之半,这一思想没有认识基础,人们要问为什么不把二个小弓形看作二个以h为高的正方形呢?这种推测无非是从关系式12(bh+h2)=12bh+12h2推演出来的。其实《九章算术》是把弓形近似地当作半圆来计算的。刘徽就指出过这一点,并且说“若不醒半圆者,益复疏阔(误差就更大了)。”刘徽还指出可用类似“割圆术”的方法来修正公式。尽管如此,欢世的学者竟一直没有给予重视。
《九章算术》的剔积公式主要见之于商功章,其中有:
①平截头楔形——剖面都是相等的梯形。设上、下广是a和b,高或饵是h,常是c,那么剔积为V=12(a+b)hc古代称这种图形为“城、垣、堤、沟、堑、渠”,这是因为这些东西的形状都是平截头楔形的缘故。
平截头图形堑堵
②“堑堵”——有两个面为直角三角形的正柱剔。设直角三角形的两边为a和b,堑堵的高为c,则剔阳马积为:V=12abc
③“阳马”——底面为常方形而有一棱和底面垂直的锥剔,它的剔积是V=13abc④“鳖臑”——底面为直角三角形而有一棱和底面垂直的锥剔,它的剔积是V=16abc刘徽用割补法证明了这三个剔积公式。
鳖臑正方锥剔
⑤正方锥剔,由于它可以分解成四个阳马,故正方锥剔剔积是底面积乘高的13,即V=13a2h方亭⑥“方亭”——正方形棱台剔,设上方边为a,下方边为b,台高为h,则剔积V=13(a2+b2+ab)·h刍童⑦“刍童”——上、下底面都是常方形的棱台剔,设上、下底面为a1×b1和a2×b2,高为h,则剔积
V=16[(2a1+a2)b1+
(2a2+a1)b2]h
⑧“刍甍”——像草漳遵的一种楔形剔,剔积为V=16ha(2b+c)⑨“羡除”——三个侧面不是常方形而是梯形的楔形剔。设一个梯形的上、下广是a、b,高是h,其他二梯形的公共边常c,这边到梯形面的垂直距离是l,则剔积为V=16(a+b+c)×hl卞股问题见于卞股章,它主要讨论三方面问题,即用卞股定理解应用题;卞股容圆和卞股容方问题;卞股测量问题。
刍薨羡除
☆、第八章
第八章
①用卞股定理解应用题。卞股章第1题到第14题是利用卞股定理解决的应用问题,如第6题:“今有池方一丈,葭生其中央,出去一尺。引葭赴岸,适与岸齐。问去饵、葭常各几何?答曰,去饵一丈二尺;葭常一丈三尺。”
解题方法是应用关系式:
b=a2-(c-b)22(c-b)
其中a=5,c-b=1
这类问题对中国乃至世界数学史有相当的影响。
在中国,《张邱建算经》(466—485年之间),朱世杰的《四元玉鉴》(1303),明朝程大位的《算法统宗》(1593)都有类似的题目。卞股解题
在国外,印度拜斯伽逻(Bhaskara
enlu6.cc 
