按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
数学知识之大成，并在东汉成为官方制造法定度量衡器所依据的数学经
典。《九章算术》包括方田、粟米、衰分、少广、商功、均输、盈不足、
方程、勾股九部分内容，奠定了中国古代数学的基本框架；提出了近百个
一般性公■
图1《九章算术》圆田术及刘徽注书影（南宋本，现藏上海图书馆）
式、算法，确立了以计算为中心的特点；含有246 个应用题，体现了数学
密切联系实际的风格；确定了中国古代数学著作算法统率应用问题的基本
形式。它提出了完整的分数四则运算法则，比例和比例分配法则，开平方、
开立方法则，盈不足术，方程术（即线性方程组解法），正负数加减法则，
若干面积、体积公式及解勾股形公式，除个别失误外，都是正确的，许多
成就处于当时世界领先地位。《九章算术》之后，中国数学著述采取两种
形式，一是为《九章算术》作注，一是以《九章算术》为楷模编纂新的著
作。但是，《九章算术》只有术文、例题和答案，没有任何证明。汉魏时
期，许多学者如马续、张衡、郑玄、刘洪、徐岳、阚泽等都研究过《九章
算术》，他们的著作失传，但由刘徽《九章算术注》中“采其所见”者，
可以了解其大概。数学家们力图改进圆周率值，成绩却不理想，如张衡求
得π= 10，可见并未找到求圆周率的正确方法。人们广泛使用出入相
补方法证明几何问题。对平面图形，后人称作图验法，在直线形中，它是
可靠的，但在曲线形中，却不能真正完成证明。对立体图形，后人称作■
验法。刘徽说：“说算者乃立■三品，以效高深之积。”三品■即长、宽、
高均1 尺的立方、堑堵（斜解立方得两堑堵）、阳马（即直角四棱锥，斜解堑
堵得一阳马，及一鳖■，即各面均为勾股形的四面体）。一般说来，■验法
只可用来验证标准形立体（即可分解或拼合成三品■者）的体积公式，对一
般情形则无能为力。人们在论证圆锥、圆亭、球等体积公式时，采用比较
其底面积的方法。这是祖■原理的最初阶段。齐同原理在数学计算中已经
使用。总之，人们尽管在论证《九章算术》公式的正确性上作了可贵的努
力，为刘徽采其所见准备了丰富的资料，但这些方法多属归纳论证，对《九
章算术》大多难度较大的算法尚未给出严格证明，它的某些错误没有被指
出。刘徽之前的数学水平没有在《九章算术》的基础上推进多少，这就给
刘徽“探赜之暇，遂悟其意”，留下了驰骋的天地。自然，他的业绩主要
在数学理论方面。
算法及其纲纪——率长于定量分析，以算法为中心，是中国古代数
学的特点。《九章算术》上百个一般性公式、解法，每个都是一种算法，
除个别失误外，都具有完全确定性、普适性和有效性等现代算法理论对算
法的要求。刘徽《九章算术注》的主要篇幅在于对《九章算术》算法的正
确性进行证明论述。进行计算，关键在于找到一种量作为标准，进而找到
各种量之间的关系，这就是率。率的本意是规格、标准。经过《孟子》、
《墨子》、《周髀》等阶段的演变，到《九章算术》，率成了一个明确的
数学概念。刘徽认为“凡九数以为篇名，可以广施诸率”，借助率论证了
《九章算术》的大部分算法，约200 个题目，使率的应用空前广泛深化，
把率概念提高到理论的高度。刘徽给出了率的定义：“凡数相与者谓之率。”
相与即相关，数在这里是量。一组量，如果它们相关，就称为率。由此刘
徽得出率的性质：“凡所得率知，细则俱细，粗则俱粗，两数相抱而已。”
换言之，一组有率关系的数，在投入运算时，其中一个扩大（或缩小）某一
倍数，其余的数必须同时扩大（或缩小）同一倍数。刘徽进而提出了率的三
种等量变换：乘以散之，约以聚之，齐同以通之。它们最初都是从分数运
算抽象出来的。分数的分母、分子可以看作相与的两个量，因而成率关系，
关于分数的三种等量变换自然推广到率中来。实际上，刘徽关于率的定义
就是在经分术（分数除法）注中提出来的。成率关系的一组数若有等数（公因
子），则可用此等数约所有的数，是为约以聚之。相反，对成率关系的一组
数可以同时扩大某倍数而不改变率关系，是为乘以散之。利用这两种等量
变换可以把成率关系的一组数化成没有公因子的一组整数，从而提出了相
与率的概念。“等除法实，相与率也”。刘徽的运算大都使用相与率。只
有将几个分数化成同一分数单位才能作加减运算，于是产生了齐同术。刘
徽说：“凡母互乘子谓之齐，群母相乘谓之同。同者，相与通同共一母也。
齐者，子与母齐，势不可失本数也。”同样，对比较复杂的问题，常常有
相关的分别成率关系的两组或几组数，要通过齐同，化成有同一率关系的
一组数，齐同原理成为率的一种重要运算。刘徽说：“齐同之术要矣，错
综度数，动之斯谐，其犹佩■解结，无望而不理焉。”刘徽对齐同原理的
应用是多方面的。若甲、乙之率为a，b，乙、丙之率为c，d，欲从甲求丙，
可以先从甲求乙，再从乙求丙，称为重今有术。刘徽认为，亦可应用齐同
原理，先同乙之率，为bc，再使甲、丙之率与乙相齐，分别为ac，bd，则
三率悉通，然后应用今有术。刘徽指出。“凡率错互不通者，皆积齐同用
之。放此，虽四五转不异也；”刘徽创造的方程新术，就是先求出诸物的
两两相与之率，再通过齐同，化成同一率关系，用今有术或衰分术求解。
同一问题，同什么量，齐什么量，可以灵活运用。对均输章第20—26 问即
凫雁类问题，刘徽提出了两种齐同途径。凫雁问是：“今有凫起南海，七
日至北海；雁起北海，九日至南海。今凫雁俱起，问何日相逢？”其解法，
可以“齐其至，同其日”，则63 日凫9 至，雁7
至。“今凫雁俱起而问相逢者，是为共至。并齐以除同”，
63
为相逢
9 ＋ 7
日。亦可同其距离的分割，齐其日速。南北海距离63 分，凫日行9 分，雁
日行7 分。并凫雁一日所行，以除南北海距离，而得相逢日。两种方式，
殊途同归，都证明了《九章算术》术文的正确性。盈不足问题在《九章算
术》中占有重要地位。即使一般算术问题，通过两次假设，都可以化成盈
不足问题（在非线性问题只可得近似解）。《九章算术》首先给出了一般方
法：“置所出率，盈、不足各居其下。令维乘所出率，并以为实，并盈、
不足为法。实如法而一。”设所出a1，盈b1，所出a2，不足b2，则不盈
ab ＋ ab
不■之正数为1b21 ＋ b22
1 。刘徽认为：“盈、■维乘两设者，欲为齐同
之意。”同其盈、■为b1b2，使所出与盈、■相齐，分别为a1b2 和a2b1，
12 21
于是b ＋b 次所出，共出ab ＋a b 而不盈不■，故每次出
a b
b1 ＋
＋
ba
2b
12 1221
。方程术即线性方程组解法是《九章算术》最值得称道的成就。《九章算
术》按分离系数法列出方程，相当于现在的矩阵和增广矩阵。然后用直除
法消元，直到每行剩一个未知数，从而求得方程的解。刘徽把率的思想拓
展到方程术中，提出方程是“令每行为率”，因而可以对整行施行乘以散
之，约以聚之，并在各行之间施行齐同以通之，从而建立了常数与整行的
乘除运算，以及两行之间的加减运算。刘徽接着提出了“举率以相减不害
余数之课”的原理作为方程术消元的理论基础。直除法是以甲行某系数乘
乙行，再从乙行反复减甲行，直至该系数化为零。刘徽认为直除法符合齐
同原理，同是同两行相应的未知数系数，齐是使一行中其余各项系数及常
数项与该项系数相齐。刘徽进而创造了互乘相消法，与现今消元法无异。
刘徽认为，上述原理和方法对负系数方程同样适用：“赤黑相杂足以定上
下之程，减益虽殊足以通左右之数，差实虽分足以应同异之率。然则其正
无入负之，负无入正之，其率不妄也。”此处“赤黑”即正负数。五家共
井问6 个未知数，只能列出5 行。《九章算术》按方程术解而实际上把一
组最小正整数解作为定解。刘徽认为这是“举率以言之”，承认它是不定
问题，是为中国古算中第一次明确提出不定方程。刘徽还把率广泛用于面
积、体积和勾股等几何计算中。相似勾股形“相与之势不失本率”，是刘
徽概括出的一条重要原理。《九章算术》勾股容圆径的公式是
d=2ab/（a＋b＋c）。刘徽用衰分术的证明是：过圆心作平行于弦的直线，分别
与勾、股及垂直于勾、股的半径构成与原勾股形相似的小勾股形，且其周
长分别等于勾、股，如图2。设勾上小勾股形边长为a1，b1，c1，则
a1：b1：c1=a：b：c ，且a1＋b1＋c1=a ，由衰分术，b1=ab/（a＋b＋c） ，。。
d=2b1=2ab/（a＋b＋c）。其他测望问题和重差问题亦可借助率解决。刘徽说：
“乘以散之，约以聚之，齐同以通之，此其算之纲纪乎？”显然，刘徽把
率看成数学运算的纲纪。刘徽认为，今有术在算法中起着基础性作■
图2图3
用。所谓今有术就是：若：B=a b B=
Ab
。刘徽把它看成“都
A ： ，则
a
术”即普遍方法，并且说：“诚能分诡数之纷杂，通彼此之否塞，因物成
率，审辨名分，平其偏颇，齐其参差，则终无不归于此术也。”这里，“平
其偏颇，齐其参差”，就是齐同原理。
出入相补原理出入相补又称以盈补虚，是刘徽之前解决面积、体积
问题的传统方法，刘徽对它作了记载、概括和发展。以勾股章“出南北门
求邑方�