下载文档原格式
刘徽割圆术和定积分方法刘徽是中国古代数学家、天文学家和地理学家，他的著作《九章算术》在中国数学史上有着非常重要的地位。
刘徽在数学领域的贡献众多，其中包括刘徽割圆术和定积分方法两个重要的成就。
刘徽割圆术是刘徽在几何学中的一项杰出成就。
在中国数学史上，刘徽被尊为“割圆术”之祖。
刘徽割圆术是指通过逐步不断地用正多边形来逼近圆周，从而求出圆周的长度。
刘徽发现，如果一个正多边形的边数不断增加，那么它的周长就会趋向于圆的周长。
这样，他便构造出一个近似于圆周长的方法，成为了一种割圆的技术。
刘徽在这一方法中首次提出了极限思想，也就是不断地逼近某个值。
这种思想在现代数学中被称为极限思想，极限思想被广泛应用于微积分和数学分析等学科领域。
刘徽在割圆术的发展过程中，提出了许多新的思想和概念，对后世的数学发展产生了深远的影响。
在数学中，刘徽的定积分方法是他在微积分领域的又一杰出贡献。
定积分是微积分的一个重要概念，是将一个函数在一个区间上的取值进行求和得到近似于该函数在整个区间上取值的一个方法。
刘徽在其著作中提出了用“无限小”思想来解决问题的方法，并且这种思想在现代数学中得到了广泛的运用。
刘徽的定积分方法为后世的微积分学发展提供了重要的理论基础。
通过刘徽的方法，人们可以将一个问题进行分割，然后逐步求和，得到最终的结果。
这种思想成为了微积分学中的核心思想之一，也被应用于多个领域，包括物理学、工程学和经济学等。
刘徽在割圆术和定积分方法的研究中，提出了许多开创性的思想和概念，为数学的发展作出了巨大的贡献。
他开拓了数学的新领域，丰富了数学的内涵，对后世的数学学科发展起到了关键的作用。
刘徽的割圆术和定积分方法不仅在当时产生了深远的影响，而且对现代数学学科的发展具有重要的启发作用。
刘徽关于正负数的故事嘿，你知道刘徽吗？那可是咱中国古代数学界的一位超级大明星呀！他对正负数的研究那叫一个厉害。
据说呀，刘徽就像是一个在数学世界里勇敢闯荡的侠客。
在那个久远的年代，人们对于数的认识还比较有限呢。
可刘徽不一样，他就像有着一双能穿透迷雾的眼睛，看到了正负数的奥秘。
想象一下，那个时候没有我们现在这么多先进的工具和知识，刘徽却能凭借着自己的智慧和努力，一点点地揭开正负数的神秘面纱。
他就像一个勤劳的矿工，在数学的矿山中不断挖掘，找到了正负数这两块珍贵的宝石。
刘徽对于正负数的理解和运用，那可真是让人大开眼界啊！他把正负数运用到各种实际问题中，就好像给这些数字赋予了生命。
比如说，在计算买卖中的盈亏时，正负数就能清楚地表明是赚了还是亏了。
这就好比在一条道路上，正数是向前走，负数就是向后退。
是不是很形象呢？他的发现，就像给数学的天空点亮了一盏明灯。
人们从此在计算和思考的时候有了更广阔的空间。
正负数的出现，让很多复杂的问题变得简单起来。
这就好像我们有了一把万能钥匙，可以打开很多之前难以打开的锁。
你说，刘徽是不是超级厉害？他的故事告诉我们，只要有足够的智慧和勇气，就能在看似普通的世界中发现不寻常的宝藏。
他的成就可不是一朝一夕得来的呀，那是经过了无数个日夜的思考和探索。
咱们现在学习正负数的时候，可不能忘了刘徽这位伟大的先人。
他的贡献不仅仅是在数学领域，更是对我们后人的一种激励。
我们也应该像他一样，勇敢地去探索未知，去发现那些隐藏在生活中的数学奥秘。
而且呀，刘徽的故事也让我们明白，知识是没有边界的。
在那个遥远的过去，他都能有如此伟大的发现，那我们现在呢？我们有更好的条件，更多的资源，难道不应该更加努力吗？所以呀，让我们一起向刘徽致敬，感谢他为我们打开了正负数这扇神奇的大门。
同时，也让我们以他为榜样，在学习和生活中不断追求进步，不断探索新的领域。
难道我们不应该这样做吗？。
数学家刘徽的简介刘徽（约公元220年－公元280年），字景叔，又字少康，是中国东晋时期著名的数学家、天文学家、地理学家和工程师，是《九章算术》的主要编纂者之一，被誉为“中国古代数学的巨擘”。
刘徽出生于一个著名的学者家庭，自幼聪明好学。
他精通数学、天文、地理和机械等领域的知识，被誉为“四通之才”。
他所创立的“刘徽算法”被后人称为“华严算法”，是古代中国数学中一个重要的算法。
刘徽的学问不仅限于数学，还包括天文学、地理学、力学和机械制造等领域。
他在中国古代科学技术史上具有重要的地位和影响。
除了数学研究外，刘徽还是一位优秀的工程师，他参与了多项重大的工程建设，如灌溉工程和房屋建筑等。
他还设计了一种可以用水力驱动的自动车，被认为是中国古代机械制造史上的一大成就。
刘徽的贡献被后人广泛传颂，他的名声也因此流传至今。
刘徽的成就和贡献不仅仅局限于数学和工程领域，他还在天文学和地理学方面有重要的贡献。
在天文学方面，刘徽发表了多篇天文学论文，其中最著名的是《九章算术》中的“天元术”一章，这一章主要讲述了日月运行的规律和预测方法，被后人称为“刘徽日月行度法”。
刘徽还研究了行星运动的规律和天文测量方法，他的一些成果被《宋史》称为“精奇之论”。
在地理学方面，刘徽撰写了一本名为《水经注》的地理著作，这是一部关于中国河流、湖泊和水利工程的详细记录，对中国古代水利工程和水文地理的研究具有重要的价值和影响。
刘徽还是一位多才多艺的文学家，他的诗词和散文也被后人称道。
他的著作涵盖了多个领域，包括数学、天文学、地理学、工程学、文学和哲学等。
刘徽的学问和成就不仅在当时的中国，也影响到了世界各地。
他的数学研究成果被传到了阿拉伯和欧洲，对后来的数学研究产生了深远的影响。
他的贡献和影响使得他成为中国古代数学、天文学和地理学的重要代表人物之一，被后人尊称为“天下奇才”。
《中国数学家刘徽的故事》
小朋友们，今天我要给你们讲一个很厉害的人的故事，他叫刘徽。
刘徽呀，是咱们中国古代特别了不起的数学家。
他可喜欢研究数学问题啦，天天都在想怎么能把数学变得更简单、更有趣。
有一次，刘徽看到农民伯伯们在分土地，大家都不知道怎么分才能公平。
刘徽就开始动脑筋，想了好多办法，最后找到了一种很好的分地方法，让大家都特别满意。
还有呢，刘徽为了算出圆的面积，他就不停地做实验。
他把圆切成好多好多小块，然后再重新拼起来，就像咱们玩拼图一样。
经过很多很多次的尝试，他终于找到了计算圆面积的好办法。
刘徽的这些发现，让后来的人们学习数学变得容易多啦。
小朋友们，你们说刘徽是不是很聪明呀？
《中国数学家刘徽的故事》
小朋友们，咱们来讲刘徽的故事。
刘徽是个很爱思考的人。
他总是想着怎么解决数学难题。
有一回，他看到做木工的叔叔在量木头，怎么也量不准。
刘徽就帮忙想办法，最后找到了准确测量的方法。
木工叔叔可高兴啦。
刘徽还对计算体积感兴趣。
他把各种形状的东西拿来研究。
比如说，一个大缸能装多少水，他都能算出来。
小朋友，刘徽是不是很厉害？
《中国数学家刘徽的故事》小朋友，今天讲刘徽的故事。
刘徽呀，是个数学天才。
他看到什么都能想到数学问题。
有一次，他去买东西。
老板算错了账，刘徽一下就指出来了。
老板都佩服他。
刘徽为了弄清楚数学道理，经常不睡觉。
他一直努力，才有了那么多的数学发现。
小朋友们，要向刘徽学习哟！。
刘徽的数学故事简短咱今儿个来唠唠刘徽的数学故事。
刘徽啊，那可是咱中国古代数学界的一颗超闪亮的星。
这人就像一个在数学迷宫里欢乐探险的探险家。
他对数学那股子痴迷劲儿，就好比酒鬼见到了美酒，根本停不下来。
他在数学上的贡献可太多了。
他研究《九章算术》的时候，就像是一个特别细心的工匠在雕琢一件绝世珍宝。
他不是简单地看看书就完事儿了，而是深入到每个问题的骨髓里。
就说他对圆周率的计算吧。
咱们都知道圆这个东西，看着简单，可真要把它和数字联系起来，可不容易。
刘徽就像一个超级侦探，不放过任何一点线索。
他想出了割圆术这个绝妙的办法。
这割圆术啊，就像是把一个大蛋糕一点一点地切成小块儿。
他从圆的内接正六边形开始，然后逐步增加边数，就像给这个圆穿上一层一层越来越精致的多边形外衣。
每多一层，就离圆的真相更近一步。
这多像我们生活中的一些事儿啊，有时候我们想了解一个复杂的东西，就从它的一部分开始，慢慢地把整个全貌拼凑出来。
要是我们在生活中也有刘徽这样的耐心和智慧，那啥难题还能难倒咱呀？刘徽在数学的天地里，还特别擅长举一反三。
他在解决一个数学问题的时候，就像打开了一扇门，然后发现门后面还有好多扇门，他就一个一个地去推开，去探索里面的奥秘。
他对于数学原理的解释，那是清晰得很，就像清澈的小溪里游动的小鱼，一眼就能看到底。
不像有些东西，讲得云里雾里的，让人摸不着头脑。
他用简单又巧妙的方法把复杂的数学概念给解释得明明白白。
这难道不像是一个特别厉害的老师吗？他不藏着掖着，把自己知道的数学宝藏都展示给大家看。
再说说他对体积计算的贡献吧。
在当时，计算各种形状的体积可不是一件轻松的事儿。
刘徽就像一个智慧的魔术师，他能把那些奇奇怪怪形状的体积问题，转化成我们熟悉的形状来计算。
这就好比我们要把一堆乱七八糟形状的积木拼成一个规整的形状，这样就好计算它占了多大地方了。
他的这种思维方式，给后来的数学家们开辟了一条宽敞的大道。
要是没有他在前面披荆斩棘，后面的人不知道要在黑暗里摸索多久呢。
简述刘徽的主要数学贡献
刘徽是中国古代数学家之一，他的主要数学贡献包括以下几个方面：
1. 著作了《九章算术注》和《海岛算经》
刘徽为《九章算术》做了注释，在注释的过程中，他证明了大量几何问题的解法，其中包括一些重要的数学定理，如刘徽定理和刘徽体积公式等。
此外，他还著作了《海岛算经》，其中讨论了测量和几何问题。
2. 创新了数学方法
刘徽在数学方法上有很多创新，其中包括“齐同术”、“分数的通分”、“刘徽倍数术”等。
这些方法不仅为当时的数学研究提供了重要的工具，而且对于现代数学的发展也有很大的影响。
3. 证明了大量数学定理
刘徽在数学中证明了大量定理，其中包括“刘徽定理”、“刘徽体积公式”、“刘徽割圆术”等。
这些定理不仅在当时的数学研究中具有重要的意义，而且对于现代数学的研究也有很大的启示作用。
4. 提出了数学教育思想
刘徽在数学教育方面也有很大的贡献，他提出的“以筹为意”、“广引事例”、“审于接通，而精于证明”等教育思想，对于当时的数学教育产生了深远的影响，并且对于我们今天的数学教育也具有重要的启示作用。
总之，刘徽是中国古代数学史上的杰出人物之一，他的数学贡献对于中国数学的发展产生了深远的影响，并且对于我们今天的数学研究和实践也具有重要的启示作用。
刘徽刘徽中国山东人．公元3世纪．数学．刘徽生平不详．自述“徽幼习《九章》，长再详览，观阴阳之割裂，总算术之根源．探赜之暇，遂悟其意．是以敢竭顽鲁，采其所见，为之作注”．《晋书》、《隋书》之《律历志》称“魏陈留王景元四年(公元263年)刘徽注《九章》”．《九章算术注》原十卷．他自撰自注的第十卷“重差”自南北朝后期以《海岛算经》为名单行．前九卷仍与《九章算术》合为一体行世．唐初李淳风奉敕编纂《算经十书》，《九章算术》和《海岛算经》列为其中两部．《九章算术注》之图及《海岛算经》之自注和图今已不传．《九章算术》——刘徽继承的数学遗产刘徽从事数学研究时，继承了一分以《九章算术》为主体的堪称丰厚而又有严重缺陷的数学遗产，其基本情况是：世界上最方便最先进的十进位置值制记数法和计算工具算筹在中国首创并已使用至少千年．算筹的截面已由圆变方，长度已由西汉的13厘米左右缩短为8—9厘米．《九章算术》于公元前一世纪成书，至此时已300余年．光和大司农斛、权(179年)“依黄钟律历、《九章算术》”制造，说明它至晚在东汉已成为官方认定的经典著作．《九章算术》包括方田、粟米、衰分、少广、商功、均输、盈不足、方程、勾股九章，奠定了中国古算的基本框架；提出了上百个公式、解法，有完整的分数四则运算法则，比例和比例分配算法，若干面积、体积公式，开平方、开立方程序，盈不足算法，方程术即线性方程组解法，正负数加减法则，解勾股形公式和简单的测望问题算法，其中许多成就在世界上处于领先地位，形成了中国古算以计算为中心的特点；含有246个应用题，体现了中国古算密切联系实际的风格；在编排上，《九章算术》或者先提出术文，后列出几个例题，或者先列出一个或几个例题，后提出术文，确立了中国古算以术文(公式、解法)挈领应用问题的基本形式．公元元年前后，盛极一时的古希腊数学走向衰微，《九章算术》成书标志着世界数学研究重心从地中海沿岸转到了中国，开创了东方以算法为中心的数学占据世界数学舞台主导地位千余年的局面．然而，《九章算术》也有不容忽视的缺点：对所有概念没有定义；对所有术文没作任何推导、证明；各章的编排或者按应用，或者按方法，或者两者混杂，不尽合理．东汉以后许多学者如马续、张衡、郑玄、刘洪、徐岳、阚泽等都研究过《九章算术》，这些研究无疑成为刘徽“采其所见”的资料，然好象仍停留在以某种方式验证的阶段，对《九章算术》的许多关键性公式、解法并未严格证明，对其中某些不精确或失误处，并未指出，理论建树不大．其具体情况在论述刘徽的贡献时要提到．面对这样的数学遗产，刘徽的业绩不言而喻主要体现在数学证明和数学理论上．率——计算的纲纪《九章算术》上百个公式、解法，每个都是一种算法，除个别失误外，都具有完全确定性、普适性和有效性等现代计算理论对算法的要求．刘徽《九章算术注》的主要篇幅是通过“析理以辞、解体用图”对其算法的正确性进行证明，对诸算法间的内部联系及其应用进行论述．为了用计算解决一个问题，关键是要根据问题的条件找到一种量作标准，进而找到诸量之间的关系．中国古代数学概念“率”承担了这个职责．“率”的本意是规格、标准、法度．《孟子•尽心上》：“羿不为拙射变其彀率．”《墨子•备城门》：“城下楼卒，率一步一人，二十步二十人，城大小以此率之．”反映了“率”逐步转化成一个数学概念的过程．《九章算术》的许多术文和问题题设应用了率，提出了“今有术”和勾股数通解公式等重要成就，然有的应用却偏离了约定俗成的内涵．刘徽则大大发展了率的思想，从而把《九章算术》的算法提高到系统理论的高度．刘徽关于“率”的定义是：“凡数相与者谓之率．”“相与”即相关，这里是一种线性相关．“数”实际上是一组量．现今的比率是最直观且应用最广泛的一种率关系，但是，率的涵义却比比率要深刻、广泛得多．由率的定义，刘徽得出率的重要性质：“凡所得率知，细则俱细，粗则俱粗，两数相抱而已．”即一组成率的数，在投入运算时，其中一个缩小或扩大某倍数，则其余的数必须同时缩小或扩大同一倍数．根据率的这一性质，刘徽提出了乘、约、齐同三种等量变换．它们最初都是从分数运算中抽象出来的．事实上，分数的分子和分母可以看成率关系．刘徽关于“率”的定义就是在“经分术”(即分数除法)注中提出来的．那么，关于分数运算的三种等量变换自然推广到率的运算中．成率关系的一组量如有等数即公因子)，则可用此等数约所有的量(称为“约”)，而不改变率关系，这就是“约以聚之”．相反，成率关系的所有数可以同乘某一数，亦不改变率关系，这就是“乘以散之”．利用这两种等量变换可以把成率关系的任意一组数(在现今实数范围内)化成没有公因子的一组数，而不改变率关系，从而提出了“相与率”的概念：“等除法、实，相与率也．”两个量的相与率实际上是今天互素的两个数．在运算时，刘徽一般使用相与率．几个分数只有化成同一分数单位才能进行加减，从而产生了齐同术：“凡母互乘子谓之齐，群母相乘谓之同．同者，相与通同共一母也；齐者，子与母齐，势不可失本数也”．而对比较复杂的问题，常常有相关的分别成率关系的两组或几组量，要通过齐同化成同一率关系，这就是“齐同以通之”．齐同原理成为率的一种重要运算．刘徽说：乘以散之，约以聚之，齐同以通之，此其算之纲纪乎？显然，刘徽把率看成运算的纲纪．“今有术”在《九章算术》算法中起着基础性作用．今有术曰：以所有数乘所求率为实，以所有率为法，实如法而一．法．它传到印度和西方后被称为三率法．刘徽认为：诚能分诡数之纷杂，通彼此之否塞，因物成率，审辨名分，平其偏颇，齐其参差，则终无不归于此术也．这里前三句是说设法找出各种率关系，而“平其偏颇，齐其参差”就是齐同术．对复杂的计算问题，一般说来必须通过齐同才能使用今有术或其他运算．刘徽说：“齐同之术要矣．错综度数，动之斯谐．其犹佩解结，无往而不理焉”．下面简要介绍刘徽关于率及齐同的应用．算术问题中的应用．“诸率悉通”．若甲、乙之率为a、b，乙、丙之率为c、d，b≠c，欲从甲求丙．《九章算术》两次应用今有术，先从甲求乙，再从乙求丙，刘徽称之为“重今有术”．刘徽认为，还可以应用齐同原理，先同两率关系中乙的率，化为bc，然后使甲、丙的率与之相齐，分别化为ac、bd，三率悉通，直接用今有术由甲求丙．刘徽指出：“凡率错互不通者，皆积齐同用之．放此，虽四、五转不异也．”显然，刘徽的方法比《九章算术》简便．“齐同有二术，可随率宜也．”同一问题，常有不同的途径实现齐同，可以灵活运用．刘徽认为《九章算术》卷六第20—26问尽管对象不同，其数学方法都与凫雁问同类．凫雁问是：今有凫起南海，七日至北海，雁起北海，九日至南海．今凫雁俱起，问何日相逢？术曰：并日数为法，日数相乘为实，实如法得一日．刘徽提出两种齐同方式：一是“齐其至，同其日”，“并齐以除同，即得相逢日．”此问63日凫9至，雁7至，故相逢日为63/(9+7)．二是定距离为1，求出凫雁一日所行，“齐而同之”，途同归，都证明了《九章算术》术文的正确性．盈不足术中“齐其假令，同其盈”．盈不足术是中国古算的传统问题，在《九章算术》中单列一章，占有重要地位．即使一般算术问题，通过两次假设，均可化为盈不足问题求解(在非线性情况下只可得近似解)，因此传入欧洲后称之为双设法．《九章算术》给出了盈不足问题的一般解法：置所出率，盈不足各居其下．令维乘所出率，并，以为实．并盈不足为法．实如法而一．刘徽认为“盈维乘两设者，欲为齐同之意”，即“齐其假令，同其盈．”，即不足．若假令a1，盈b1，假令a2，不足b2，同其盈为b1b2，使假令与之相齐，则分别为a1b2和a2b1，那么b1+b2次假令，共出a1b2+a2b1而不盈不，所以每次假令为(a1b2+a2b1)/(b1+b2)即为不盈不之正数．代数问题中的应用．方程术即线性方程组解法是《九章算术》最值得称道的成就．刘徽把率及其齐同原理拓展到方程术中．首先，他借助率提出了方程的定义：群物总杂，各列有数，总言其实．令每行为率，二物者再程，三物者三程，皆如物数程之，并列为行，故谓之方程．“令每行为率”大体相当于现今行向量的概念．用率定义方程，因此对方程各行施行“乘以散之，约以聚之．齐同以通之”．同时，他提出：“举率以相减，不害余数之课也．”即方程的整行与其他行相减，不影响方程的解．刘徽把它当作不必加以证明的真理，成为方程消元的理论基础．《九章算术》采用直除消元法，即以一行某项系数乘另一行，然后以该行多次相减那一行，直至该项系数为0．刘徽指出：方程的直除消元法符合齐同原理．他说：“先令右行上禾乘中行，为齐同之意．为齐同者谓中行直减右行也．从简易虽不言齐同，以齐同之意观之，其义然矣．”这里“同”是使两行欲消元的系数相同(通过直除作到)，“齐”是使一行中其余各项系数及常数项与该项系数相齐(通过乘实现)．齐同既达到了消元的目的，又保证了“举率以相减”，故其变换不影响方程的解．在深刻理解方程消元符合齐同原理的基础上，刘徽创造了互乘相消法以代替《九章算术》的直除法．他在“牛羊直金”问注说：“假令为同齐，头位为牛，当相乘，右行定：更置十、羊四、直金二十两；左行：牛十、羊二十五、直金四十两．”牛数相同，可以一次相减消去．刘徽说：“以小推大，虽四、五行不异也．”刘徽通过互乘，同时作到齐同，比直除法简便得多．刘徽还创造了“方程新术”．他通过诸行相减求出诸元的两两相当之率，施行齐同，对易其数，得出诸元的相与之率，然后用衰分术或直接用今有术求解．上述这些原理和方法在负系数方程中同样适用．刘徽说：“赤黑相杂足以定上下之程，减益虽殊足以通左右之数，差实虽分足以应同异之率．然则其正无入负之，负无入正之，其率不妄也．”此处“赤黑”即正负数．《九章算术》在方程直除消元过程中提出了正负术：正负术曰：同名相除，异名相益，正无入负之，负无入正之．其异名相除，同名相益，正无入正之，负无入负之．这是世界数学史上第一次引入正负数概念及其加减法则．前四句讲正负数减法，设a≥0，b＞0 ，即(＋a)-(±b)=a b，(-a)-( b)=-(a b)；后四句讲正负数加法，同样，设a≥0，b＞0，即(＋a)＋( b)=a b，(-a)+(±b)=-(a b)．刘徽解释了这些法则的正确性，并且认为用正负数足可以列出任何一个方程，而通过正负数的加减运算(实际上把率和齐同原理推广到负系数方程中)足可以对任何一个方程消元．五家共井问六个未知数，方程只有五行．《九章算术》由于没有方程的定义，实际上把它的一组最小正整数解作为定解，而不知有无数组解．刘徽指出，《九章算术》的解是“举率以言之”，实际上承认它是不定问题，这是中国古算中第一次明确提出不定方程问题．几何问题中的应用．刘徽把率广泛应用于面积、体积和勾股等几何问题的计算中．刘徽指出《九章算术》圆面积公式中周、径为“至然之数”，求出了周径相与之率即π的近似值；堑堵中“阳马居二，鳖居一，不易之率也”．这两个重要问题，下面要专门分析．这里介绍一下率在勾股、测望问题中的应用．《九章算术》以率的形式表示出勾股形三边的关系：此处(c＋a)∶b=m∶n，m，n实际上互素．这是世界数学史上第一次提出完整的勾股数组通解公式．不过，《九章》的术文未离开具体数字，刘徽则用出入相补原理对其一般形式作了证明．相似勾股形中勾股弦“相与之势不失本率”，是刘徽概括出的一个重要原理．《九章算术》利用勾股数组通解公式解勾股形，即基于这一原理．刘徽还用这一原理援引今有术、衰分术解决勾股容方、容圆及测望问题．我们试举二例．《九章算术》勾股容圆问已知勾a、股b，问勾中容圆径d，其公个公式：又画中弦以观除会，则勾、股之面中央各有小勾股弦．勾之小股、股之小勾皆小方之面，皆圆径之半，其数故可衰．以勾、股、弦为列衰，副并为法，以勾乘未并者，各自为实，实如法而一，得勾面之小股可知也．以股乘列衰为实，则得股面之小勾可知．在这里刘徽过圆心作平行于弦的直线，称为中弦，分别与垂直于勾、股的半径及勾、股形成与原勾股形相似的小勾股形，且其周长分别等于勾、股．设勾上小勾股形边长为a1，b1，c1，则a1∶b1∶c1=a∶b∶c，且a1＋b1＋c1=a．由衰分术b1=ab/(a＋b+c)，d=2b1=2ab/(a ＋b＋c)．同样，由股上小勾股形亦可求出此公式．《九章算术》“出南北门求邑方”问是：今有邑方不知大小，各中开门．出北门二十步有木．出南门一十四步，折而西行一千七百七十五步见木．问邑方几何？术曰：以出北门步数乘西行步数，倍之，为实．并出南、北门步数为从法，开方除之，即邑方．如图3，设出北门BC为a，出南门DC＇为k，西行C＇A＇为b＇，邑方为x，则《九章算术》术文给出了二次方程：x2+(a+k)x=2ab＇．刘徽注的第一部分为：此以折而西行为股，自木至邑南一十四步为勾，以出北门二十步为勾率，北门至西隅为股率，即半广数．故以出北门乘折西行股，以股率乘勾之幂．然此幂居半，以西行，故又倍之，合东，尽之也．刘徽根据勾股形ABC与A＇BC＇相似，BC∶BC＇=AC∶A＇C＇，重差问题的公式亦可借助于勾股相与之势不失本率的原理来证明．总之，刘徽使用率证明了《九章算术》大部分算法、大多数题目，使率的应用空前广泛、深入，提高到理论的高度．出入相补原理“出入相补”见之于刘徽为《九章算术》勾股术——“勾股各自乘，并而开方除之，即弦”所作的注：“勾自乘为朱方，股自乘为青方，令出入相补，各从其类，因就其余不动也，合成弦方之幂，开方除之，即弦也．”如何将勾方与股方出入相补成弦方，刘徽未具体提示，学界历来有不同看法，图4的两种方法，分别将Ⅰ、Ⅱ、Ⅲ移到Ⅰ＇、Ⅱ＇、Ⅲ＇，是比较常见的两种推测．“出入相补”在卷一、卷五刘徽注中又称作“以盈补虚”．它是中国古算中证明面积和体积问题的主要方法，应该说，在刘徽之前，甚至在《九章算术》成书时代，人们就已熟悉这种方法．刘徽则对它作了概括、发展．我们仍以上文提到的“勾股容圆”和“出南北门求邑方”两问为例说明．对勾股容圆，刘徽注的出入相补方法是：勾股相乘为图本体，朱、青、黄幂各二，倍之则为各四．可用画于小纸，分裁邪正之会，令颠倒相补，各以类合成修幂：圆径为广，并勾、股、弦为袤．故并勾、股、弦以为法．这是将勾股形由圆垂直于勾、股、弦的半径分成朱、青、黄三块，将两个勾股形合成一个长方形(其面积为ab)，则有朱、青、黄各二块．再加倍，则各四块．将朱、青各中分，则此四朱、青、黄拼成以圆径为宽，勾、股、弦之和为长的长方形，其面积为2ab，显然d=2ab/(a ＋b＋c)．“出南北门求邑方”问刘徽注的第二部分是：“此术之幂，东西如邑方，南北自木尽邑南十四步之幂，各南北步为广，邑方为袤，故连两广为从法，并以为隅外之幂也．”如图6，画出长方形BEA＇C＇，勾股形BEA＇和BC＇A＇面积相等，AGA＇和AFA＇面积相等，故长方形BEGC等于2ab＇，它可以分解成x2和x(a+k)，即BC和DC＇之和为从法．这就证明了术文的正确性．出入相补原理对解决平面直线图形是行之有效的，刘徽用这种方法解决了大量问题．据信，重差问题亦用出入相补原理证明．《周髀算经》中测望太阳的“日高术”奠定了重差问题的基础．刘徽在介绍了日高术之后说，《九章算术》的测望问题“皆端旁互见，无有超邈若斯之类．”他说：“虽夫圆穹之象犹曰可度，又况泰山之高与江海之广哉？”因此，“辄造《重差》，并为注解，以究古人之意，缀于《勾股》之下”，即《九章算术注》第十卷，今之《海岛算经》．刘徽说：“凡望极高，测绝深，而兼知其远者必用重差、勾股，则必以重差为率，故曰重差．”从测量技术上说，刘徽使用了重表、连索、累矩三种基本方法，有的要测望三次或四次．刘徽说：“度高者重表，测深者累矩，孤离者三望，离而又旁求者四望．触类而长之，则虽幽遐诡伏，靡所不入．”而就数学内容上说，望海岛(同日高术)、望松、望深谷代表了望高、知远、测深三个基本结果，其余诸题皆可由这三个基本公式得出．由于刘徽自注已佚，他怎样证明这些结果，学界未有定论．根据刘徽的数学水平，以率的原理和以出入相补原理来证明都是可信的，很可能同时采用这两种，如上两例然．此以立两表测海岛为例说明怎样以出入相补原理证明．已知表高、表间，以及使人目、表末及岛峰叁相直从两表却行的距离，两却行之差称为相多，刘徽提出岛高公式岛高=表间×表高/相多+表高，前表去岛公式去岛=表间×前表却行/相多．吴文俊认为证明方法如下：∵ IK= IB， HJ= HB，相减得IK－ HJ= IC，或后表却行×(岛高－表高)－前表却行×(岛高－表高)=表间×表高，岛高=表间×表高/(后表却行－前表却行)+表高，此即岛高公式，又从 HJ= HB得前表去岛×表高=前表却行×(岛高－表高)，代入岛高公式，即得前表去岛公式．立体问题中也可应用出入相补原理．棊验法就是如此．刘徽说：“说算者乃立棊三品，以效广深之积．”说明棊验法是刘徽前的一种传统方法．它是将所要讨论的立体分解或拼合成三品棊，即长、宽、高均为一尺的立方、堑堵、阳马(如图8)，适当加倍(如果需要的话)，重新拼合成一个或几个方体，从而推知其体积．显然，这种方法只适用于可分解或拼合成三品棊的特殊多面体，而对一般尺寸的多面体则无能为力．刘徽指出了它的局限性．例如三个长、宽、高一尺的阳马合成一个正方体，那么阳马棊的体积为正方体的1/3，这种方法对长、宽、高不等的阳马则无能为力．又如，上底宽1尺、长2尺，下底宽3尺、长4尺，高1尺的刍童可以分解成2个立方棊、6个堑堵棊、4个阳马棊(图9(1))．6个这样的刍童共12个立方棊、36个堑堵棊，24个阳马棊．它们可以重新组合成一个长10尺(两下底长加上底长)、宽3尺(下底宽)高1尺的长方体及一个长8尺(两上底长加下底长)、宽1尺、高1尺的长方体(图9(2)，(3))．因此，一个这样的刍童的体积为此两长方体体积之和的1/6．显然，它对一般的刍童是不适用的．刘徽通过以盈补虚即出入相补证明了堑的体积公式h的长方体，从而证明了公式．(图(10))刘徽还用出入相补证明开平方、开立方程序的正确性．如开A的立方，初商a1，则减根方程无穷小分割在数学证明中的应用1．割圆术——圆面积公式的证明．《九章算术》提出了正确的圆面积公式：“半周半径相乘得积步”，即其中S、L、r分别表示圆面积、周长和半径．在刘徽之前，人们以圆内接正6边形周长代替L，以正12边形的面积代替S，出入相补，拼成一个长为正6边形周长、宽为r的矩形，验证(1)式，这实际上取π=3，当然不是严格证明．刘徽指出，以周三径一的论证“皆非也”，提出基于极限思想的割圆术严格证明了(1)式．首先，刘徽从圆内接正6边形开始割圆，依次得到圆内接正6•2n边形(n=1，2，3，……)．他认为，割得愈细，即n愈大，圆内接正多边形与圆面积之差愈小．“割之又割，以至于不可割，则与圆周合体而无所失矣．”即在不可割的状态，正多边形与圆周重合，其面积之差为0，换言之，若正6•2n边形的面积为Sn，有另一方面，圆内接正多边形每边与圆周间有一余径rn．若以每边长ln乘余径rn得lnrn，加到Sn上，显然S6•2n＋6•2nlnrn＞S，亦即S6•2n＋2(Sn+1-Sn)＞S．但在正多边形与圆合体的情况下，“则表无余径．表最后，将与圆合体的正多边形分割成无数个以圆心为顶点以边长为底的小等腰三角形．由于以每边乘半径等于每个小等腰三角形面积的两倍，那么这无数个小等腰三角形面积之和应是半周与半径的乘积，正如刘徽所说：“以一面乘半径，解而裁之，每辄自倍，故以半周乘半径而为圆幂．”即这就完成了圆面积公式(1)的证明．2．刘徽原理——锥体体积公式的证明刘徽极限思想最精彩的应用当推他关于阳马和鳖体积公式的证明．鳖是有下宽无下长，有上长无上宽，即每面都是勾股形的四面体(图13(1))，《九章算术》给出的体积公式是：“广袤相乘，以高乘之，六而一．”即其中a是下宽，b是上长，h是高．阳马是一棱垂直于底面的四棱锥(图13(2))，《九章算术》给出的体积公式是：“广袤相乘，以高乘之，三而一．”即a、b为底的宽、长，h是高．刘徽指出，在a≠b≠h的情况下，由于“鳖殊形，阳马异体”，用棊验法“则难为之矣”，无法证明(2)、(3)式．他只好另辟蹊径．为此，刘徽首先提出一个重要原理：邪解堑堵，其一为阳马，一为鳖．阳马居二，鳖居一，不易之率也．即对任一堑堵，将其分解为一阳马与一鳖，则恒有Vy∶Vb=2∶1． (4)(3)两式是显而易见的．这个原理可以称为刘徽原理．刘徽用无穷小分割证明了它．他将一个鳖 (红色)与一个阳马(黑色)拼成一个堑堵①(图14(1))．再用三个互相垂直的平面平分堑堵的长、宽、高(图14(2))，则阳马被分解为一个小长方体(Ⅰ)、两个小堑堵(Ⅱ、Ⅲ)和两个小阳马(Ⅳ、Ⅴ)(图14(3))；鳖被分解为两个小堑堵(Ⅱ＇、Ⅲ＇)和两个小鳖 (Ⅳ＇、Ⅴ＇)(图14(4))．鳖中两小红堑堵Ⅱ＇、Ⅲ＇与阳马中两小黑堑堵Ⅱ、Ⅲ拼成两个小长方体Ⅱ－Ⅱ＇、Ⅲ－Ⅲ＇，与小黑长方体Ⅰ，共三个全等的小长方体，其中属于阳马与属于鳖的体积之比为2∶1．两小红鳖Ⅳ＇、Ⅴ＇与两小黑阳马Ⅳ、Ⅴ恰是两小堑堵Ⅳ－Ⅳ＇、Ⅴ－Ⅴ＇、它们又可合成第四个全等的小长方体Ⅳ－Ⅳ＇－Ⅴ－Ⅴ＇，阳马与鳖在其中体积之比仍未知．总之，在原堑堵的3/4中已证明(4)式成立，在1/4中仍未知，“是为别种而方者率居三，通其体而方者率居一”．(图14(5))刘徽指出：“余数具而可知者有一、二分之别，即一、二之为率定矣．”就是说，在余下的1/4中能证明可知部分阳马与鳖体积之比仍为2∶1，则就可以确定在整个堑堵中阳马与鳖体积之比为2∶1．为什么呢？由于所余1/4中，两个小堑堵的结构与原堑堵完全相似(图14(6))，因此可以重复刚才的分割，同样(4)式尚末被证明．这个过程可以无限继续下去，“半之弥少，其余弥细．至细曰微，微则无形．由是言之，安取余哉？”无限分割到最后，没有证明(4)式成立的部分为0，换言之，在整个堑堵中证明了(4)式．下面将看到，刘徽原理是刘徽体积理论的核心．3．牟合方盖和截面积原理．在证明其他面积和体积，尤其是曲面面积和圆体体积时，刘徽以另一种方式使用了无穷小分割．刘徽指出，《九章算术》“开立圆术”所蕴涵的球体积公式是错误的，其中D是球直径．他用两个底径等于球径的圆柱正交，其公共部分称作牟合方盖(图15)．他指出，球与外切牟合方盖的体积之比为π∶4：“合盖者，方率也；丸居其中，即圆率也．”刘徽虽然没能求出牟合方盖的体积，却指出了彻底解决球体积的正确途径．二百多年后，祖冲之父子求出了牟合方盖的体积，从而求出了球体积的正确公式．刘徽能指出《九章算术》球体积公式的错误并指出应使球与牟合方盖比较，基于他对截面积原理的深刻认识．从《九章算术》商功章诸题的编排及刘徽注，可以看出，《九章算术》时代，人们通过比较有某种关系的两个等高立体的最大的截面积(通常是底面积)来解决圆体体积，而没有认识到必须任意等高处的截面积之比都等于最大截面积之比，方能作比较，从而错误地认为球与外切圆柱之比为π∶4．刘徽扬弃了《九章算术》的错误，认识到，必须两立体任意等高处的截面积都成定比．我们从他说的“上连无成不方，故方锥与阳马同实”(图16)，清楚地看出了这一思想．成，训层．就是说，等高同底的方锥与阳马因为每一层都是相等的方形，所以其体积才相等．显然，刘徽的这一思想与后来西方的卡瓦列利的不可分量原理十分接近．刘徽基于这种认识．提出了圆锥与外切方锥(图17(1))，圆亭与外切方亭、球与牟合方盖的体积之比均为π∶4，圆锥与等高的以圆锥底周为底边长的方锥体积之比是25∶314(相当于1∶4π，图17(2))．刘徽把中国古代关于截面积原理的认识提高到理性阶段，为祖暅最后提出“缘幂势既同，则积不容异”的祖暅原理(即卡瓦列利原理)作了准备．。
刘徽(约225年-约295年)，汉族，山东滨州邹平市人，魏晋期间伟大的数学家，中国古典数学理论的奠基人之一。
在中国数学史上作出了极大的贡献，他的杰作《九章算术注》和《海岛算经》，是中国最宝贵的数学遗产。
刘徽思想敏捷，方法灵活，既提倡推理又主张直观。
他是中国最早明确主张用逻辑推理的方式来论证数学命题的人。
刘徽的一生是为数学刻苦探求的一生。
他虽然地位低下，但人格高尚。
他不是沽名钓誉的庸人，而是学而不厌的伟人，他给我们中华民族留下了宝贵的财富。
2021年5月，国际天文学联合会(IAU)批准中国在嫦娥五号降落地点附近月球
地貌的命名，刘徽为八个地貌地名之一。
刘徽的数学故事刘徽（224年-363年）是中国东晋时期的一位著名数学家和数论学家。
他以其对数学的贡献和创新而闻名于世。
刘徽的数学故事讲述了他对数学的热爱和对数学问题的深入思考，展现了他的智慧和才能。
刘徽出生在一个普通的家庭，但他早年对数学展现出了非凡的才华。
他喜欢观察周围的事物，并用数学的方式解释和理解。
在他年轻的时候，他开始研究各种数学问题，并试图提出新的解决方法。
这些问题包括几何学、代数学、数论等方面。
在刘徽的数学故事中，一个重要的里程碑是他的《九章算术》。
这本著作是他对古代算术的总结和创新，对后来的数学发展起到了重要的影响。
《九章算术》包含了许多与实际生活相关的问题，例如物体的测量、土地的分配、商业交易等。
刘徽提出的解决方法简单而直观，为后来的数学研究奠定了基础。
刘徽在数论方面也有重要的贡献。
他研究了勾股数和完全数等数学问题，并提出了一些有关这些问题的猜想和定理。
他的研究使数论的发展进一步前进，并为后来伟大数学家的工作提供了启示。
刘徽的数学故事还包括他与其他数学家的交流和合作。
他与同为数学家的祖冲之结识，并互相学习和研究数学问题。
两人的合作使他们的研究更加深入和全面。
刘徽还与一些学者进行数学交流，分享彼此的发现和经验，促进了数学的发展和传播。
除了数学研究外，刘徽还对教育和人才培养有浓厚的兴趣。
他积极参与教育事业，为后人培养了一大批优秀的数学人才。
他的严谨治学态度和对知识的追求激励了许多学生热爱数学，并在数学领域取得了重要的成就。
刘徽的数学故事不仅展现了他的才华和智慧，也向我们传达了敢于探索和创新的精神。
他通过自己的努力和不断的实践，为数学的发展做出了巨大的贡献。
他的数学故事激励着我们继续探索和发展数学，推动人类的科学进步。
总结起来，刘徽的数学故事是一段关于热爱和才华的故事。
他用自己的智慧和勇气为数学的发展做出了重要的贡献，成为了中国古代数学领域的一颗璀璨明星。
通过他的数学故事，我们可以看到数学的美妙和力量，也体会到追求知识和创新的重要性。
刘徽刘徽中国山东人．公元3世纪．数学．刘徽生平不详．自述“徽幼习《九章》，长再详览，观阴阳之割裂，总算术之根源．探赜之暇，遂悟其意．是以敢竭顽鲁，采其所见，为之作注”．《晋书》、《隋书》之《律历志》称“魏陈留王景元四年(公元263年)刘徽注《九章》”．《九章算术注》原十卷．他自撰自注的第十卷“重差”自南北朝后期以《海岛算经》为名单行．前九卷仍与《九章算术》合为一体行世．唐初李淳风奉敕编纂《算经十书》，《九章算术》和《海岛算经》列为其中两部．《九章算术注》之图及《海岛算经》之自注和图今已不传．《九章算术》——刘徽继承的数学遗产刘徽从事数学研究时，继承了一分以《九章算术》为主体的堪称丰厚而又有严重缺陷的数学遗产，其基本情况是：世界上最方便最先进的十进位置值制记数法和计算工具算筹在中国首创并已使用至少千年．算筹的截面已由圆变方，长度已由西汉的13厘米左右缩短为8—9厘米．《九章算术》于公元前一世纪成书，至此时已300余年．光和大司农斛、权(179年)“依黄钟律历、《九章算术》”制造，说明它至晚在东汉已成为官方认定的经典著作．《九章算术》包括方田、粟米、衰分、少广、商功、均输、盈不足、方程、勾股九章，奠定了中国古算的基本框架；提出了上百个公式、解法，有完整的分数四则运算法则，比例和比例分配算法，若干面积、体积公式，开平方、开立方程序，盈不足算法，方程术即线性方程组解法，正负数加减法则，解勾股形公式和简单的测望问题算法，其中许多成就在世界上处于领先地位，形成了中国古算以计算为中心的特点；含有246个应用题，体现了中国古算密切联系实际的风格；在编排上，《九章算术》或者先提出术文，后列出几个例题，或者先列出一个或几个例题，后提出术文，确立了中国古算以术文(公式、解法)挈领应用问题的基本形式．公元元年前后，盛极一时的古希腊数学走向衰微，《九章算术》成书标志着世界数学研究重心从地中海沿岸转到了中国，开创了东方以算法为中心的数学占据世界数学舞台主导地位千余年的局面．然而，《九章算术》也有不容忽视的缺点：对所有概念没有定义；对所有术文没作任何推导、证明；各章的编排或者按应用，或者按方法，或者两者混杂，不尽合理．东汉以后许多学者如马续、张衡、郑玄、刘洪、徐岳、阚泽等都研究过《九章算术》，这些研究无疑成为刘徽“采其所见”的资料，然好象仍停留在以某种方式验证的阶段，对《九章算术》的许多关键性公式、解法并未严格证明，对其中某些不精确或失误处，并未指出，理论建树不大．其具体情况在论述刘徽的贡献时要提到．面对这样的数学遗产，刘徽的业绩不言而喻主要体现在数学证明和数学理论上．率——计算的纲纪《九章算术》上百个公式、解法，每个都是一种算法，除个别失误外，都具有完全确定性、普适性和有效性等现代计算理论对算法的要求．刘徽《九章算术注》的主要篇幅是通过“析理以辞、解体用图”对其算法的正确性进行证明，对诸算法间的内部联系及其应用进行论述．为了用计算解决一个问题，关键是要根据问题的条件找到一种量作标准，进而找到诸量之间的关系．中国古代数学概念“率”承担了这个职责．“率”的本意是规格、标准、法度．《孟子•尽心上》：“羿不为拙射变其彀率．”《墨子•备城门》：“城下楼卒，率一步一人，二十步二十人，城大小以此率之．”反映了“率”逐步转化成一个数学概念的过程．《九章算术》的许多术文和问题题设应用了率，提出了“今有术”和勾股数通解公式等重要成就，然有的应用却偏离了约定俗成的内涵．刘徽则大大发展了率的思想，从而把《九章算术》的算法提高到系统理论的高度．刘徽关于“率”的定义是：“凡数相与者谓之率．”“相与”即相关，这里是一种线性相关．“数”实际上是一组量．现今的比率是最直观且应用最广泛的一种率关系，但是，率的涵义却比比率要深刻、广泛得多．由率的定义，刘徽得出率的重要性质：“凡所得率知，细则俱细，粗则俱粗，两数相抱而已．”即一组成率的数，在投入运算时，其中一个缩小或扩大某倍数，则其余的数必须同时缩小或扩大同一倍数．根据率的这一性质，刘徽提出了乘、约、齐同三种等量变换．它们最初都是从分数运算中抽象出来的．事实上，分数的分子和分母可以看成率关系．刘徽关于“率”的定义就是在“经分术”(即分数除法)注中提出来的．那么，关于分数运算的三种等量变换自然推广到率的运算中．成率关系的一组量如有等数即公因子)，则可用此等数约所有的量(称为“约”)，而不改变率关系，这就是“约以聚之”．相反，成率关系的所有数可以同乘某一数，亦不改变率关系，这就是“乘以散之”．利用这两种等量变换可以把成率关系的任意一组数(在现今实数范围内)化成没有公因子的一组数，而不改变率关系，从而提出了“相与率”的概念：“等除法、实，相与率也．”两个量的相与率实际上是今天互素的两个数．在运算时，刘徽一般使用相与率．几个分数只有化成同一分数单位才能进行加减，从而产生了齐同术：“凡母互乘子谓之齐，群母相乘谓之同．同者，相与通同共一母也；齐者，子与母齐，势不可失本数也”．而对比较复杂的问题，常常有相关的分别成率关系的两组或几组量，要通过齐同化成同一率关系，这就是“齐同以通之”．齐同原理成为率的一种重要运算．刘徽说：乘以散之，约以聚之，齐同以通之，此其算之纲纪乎？显然，刘徽把率看成运算的纲纪．“今有术”在《九章算术》算法中起着基础性作用．今有术曰：以所有数乘所求率为实，以所有率为法，实如法而一．法．它传到印度和西方后被称为三率法．刘徽认为：诚能分诡数之纷杂，通彼此之否塞，因物成率，审辨名分，平其偏颇，齐其参差，则终无不归于此术也．这里前三句是说设法找出各种率关系，而“平其偏颇，齐其参差”就是齐同术．对复杂的计算问题，一般说来必须通过齐同才能使用今有术或其他运算．刘徽说：“齐同之术要矣．错综度数，动之斯谐．其犹佩解结，无往而不理焉”．下面简要介绍刘徽关于率及齐同的应用．算术问题中的应用．“诸率悉通”．若甲、乙之率为a、b，乙、丙之率为c、d，b≠c，欲从甲求丙．《九章算术》两次应用今有术，先从甲求乙，再从乙求丙，刘徽称之为“重今有术”．刘徽认为，还可以应用齐同原理，先同两率关系中乙的率，化为bc，然后使甲、丙的率与之相齐，分别化为ac、bd，三率悉通，直接用今有术由甲求丙．刘徽指出：“凡率错互不通者，皆积齐同用之．放此，虽四、五转不异也．”显然，刘徽的方法比《九章算术》简便．“齐同有二术，可随率宜也．”同一问题，常有不同的途径实现齐同，可以灵活运用．刘徽认为《九章算术》卷六第20—26问尽管对象不同，其数学方法都与凫雁问同类．凫雁问是：今有凫起南海，七日至北海，雁起北海，九日至南海．今凫雁俱起，问何日相逢？术曰：并日数为法，日数相乘为实，实如法得一日．刘徽提出两种齐同方式：一是“齐其至，同其日”，“并齐以除同，即得相逢日．”此问63日凫9至，雁7至，故相逢日为63/(9+7)．二是定距离为1，求出凫雁一日所行，“齐而同之”，途同归，都证明了《九章算术》术文的正确性．盈不足术中“齐其假令，同其盈”．盈不足术是中国古算的传统问题，在《九章算术》中单列一章，占有重要地位．即使一般算术问题，通过两次假设，均可化为盈不足问题求解(在非线性情况下只可得近似解)，因此传入欧洲后称之为双设法．《九章算术》给出了盈不足问题的一般解法：置所出率，盈不足各居其下．令维乘所出率，并，以为实．并盈不足为法．实如法而一．刘徽认为“盈维乘两设者，欲为齐同之意”，即“齐其假令，同其盈．”，即不足．若假令a1，盈b1，假令a2，不足b2，同其盈为b1b2，使假令与之相齐，则分别为a1b2和a2b1，那么b1+b2次假令，共出a1b2+a2b1而不盈不，所以每次假令为(a1b2+a2b1)/(b1+b2)即为不盈不之正数．代数问题中的应用．方程术即线性方程组解法是《九章算术》最值得称道的成就．刘徽把率及其齐同原理拓展到方程术中．首先，他借助率提出了方程的定义：群物总杂，各列有数，总言其实．令每行为率，二物者再程，三物者三程，皆如物数程之，并列为行，故谓之方程．“令每行为率”大体相当于现今行向量的概念．用率定义方程，因此对方程各行施行“乘以散之，约以聚之．齐同以通之”．同时，他提出：“举率以相减，不害余数之课也．”即方程的整行与其他行相减，不影响方程的解．刘徽把它当作不必加以证明的真理，成为方程消元的理论基础．《九章算术》采用直除消元法，即以一行某项系数乘另一行，然后以该行多次相减那一行，直至该项系数为0．刘徽指出：方程的直除消元法符合齐同原理．他说：“先令右行上禾乘中行，为齐同之意．为齐同者谓中行直减右行也．从简易虽不言齐同，以齐同之意观之，其义然矣．”这里“同”是使两行欲消元的系数相同(通过直除作到)，“齐”是使一行中其余各项系数及常数项与该项系数相齐(通过乘实现)．齐同既达到了消元的目的，又保证了“举率以相减”，故其变换不影响方程的解．在深刻理解方程消元符合齐同原理的基础上，刘徽创造了互乘相消法以代替《九章算术》的直除法．他在“牛羊直金”问注说：“假令为同齐，头位为牛，当相乘，右行定：更置十、羊四、直金二十两；左行：牛十、羊二十五、直金四十两．”牛数相同，可以一次相减消去．刘徽说：“以小推大，虽四、五行不异也．”刘徽通过互乘，同时作到齐同，比直除法简便得多．刘徽还创造了“方程新术”．他通过诸行相减求出诸元的两两相当之率，施行齐同，对易其数，得出诸元的相与之率，然后用衰分术或直接用今有术求解．上述这些原理和方法在负系数方程中同样适用．刘徽说：“赤黑相杂足以定上下之程，减益虽殊足以通左右之数，差实虽分足以应同异之率．然则其正无入负之，负无入正之，其率不妄也．”此处“赤黑”即正负数．《九章算术》在方程直除消元过程中提出了正负术：正负术曰：同名相除，异名相益，正无入负之，负无入正之．其异名相除，同名相益，正无入正之，负无入负之．这是世界数学史上第一次引入正负数概念及其加减法则．前四句讲正负数减法，设a≥0，b＞0 ，即(＋a)-(±b)=a b，(-a)-( b)=-(a b)；后四句讲正负数加法，同样，设a≥0，b＞0，即(＋a)＋( b)=a b，(-a)+(±b)=-(a b)．刘徽解释了这些法则的正确性，并且认为用正负数足可以列出任何一个方程，而通过正负数的加减运算(实际上把率和齐同原理推广到负系数方程中)足可以对任何一个方程消元．五家共井问六个未知数，方程只有五行．《九章算术》由于没有方程的定义，实际上把它的一组最小正整数解作为定解，而不知有无数组解．刘徽指出，《九章算术》的解是“举率以言之”，实际上承认它是不定问题，这是中国古算中第一次明确提出不定方程问题．几何问题中的应用．刘徽把率广泛应用于面积、体积和勾股等几何问题的计算中．刘徽指出《九章算术》圆面积公式中周、径为“至然之数”，求出了周径相与之率即π的近似值；堑堵中“阳马居二，鳖居一，不易之率也”．这两个重要问题，下面要专门分析．这里介绍一下率在勾股、测望问题中的应用．《九章算术》以率的形式表示出勾股形三边的关系：此处(c＋a)∶b=m∶n，m，n实际上互素．这是世界数学史上第一次提出完整的勾股数组通解公式．不过，《九章》的术文未离开具体数字，刘徽则用出入相补原理对其一般形式作了证明．相似勾股形中勾股弦“相与之势不失本率”，是刘徽概括出的一个重要原理．《九章算术》利用勾股数组通解公式解勾股形，即基于这一原理．刘徽还用这一原理援引今有术、衰分术解决勾股容方、容圆及测望问题．我们试举二例．《九章算术》勾股容圆问已知勾a、股b，问勾中容圆径d，其公个公式：又画中弦以观除会，则勾、股之面中央各有小勾股弦．勾之小股、股之小勾皆小方之面，皆圆径之半，其数故可衰．以勾、股、弦为列衰，副并为法，以勾乘未并者，各自为实，实如法而一，得勾面之小股可知也．以股乘列衰为实，则得股面之小勾可知．在这里刘徽过圆心作平行于弦的直线，称为中弦，分别与垂直于勾、股的半径及勾、股形成与原勾股形相似的小勾股形，且其周长分别等于勾、股．设勾上小勾股形边长为a1，b1，c1，则a1∶b1∶c1=a∶b∶c，且a1＋b1＋c1=a．由衰分术b1=ab/(a＋b+c)，d=2b1=2ab/(a ＋b＋c)．同样，由股上小勾股形亦可求出此公式．《九章算术》“出南北门求邑方”问是：今有邑方不知大小，各中开门．出北门二十步有木．出南门一十四步，折而西行一千七百七十五步见木．问邑方几何？术曰：以出北门步数乘西行步数，倍之，为实．并出南、北门步数为从法，开方除之，即邑方．如图3，设出北门BC为a，出南门DC＇为k，西行C＇A＇为b＇，邑方为x，则《九章算术》术文给出了二次方程：x2+(a+k)x=2ab＇．刘徽注的第一部分为：此以折而西行为股，自木至邑南一十四步为勾，以出北门二十步为勾率，北门至西隅为股率，即半广数．故以出北门乘折西行股，以股率乘勾之幂．然此幂居半，以西行，故又倍之，合东，尽之也．刘徽根据勾股形ABC与A＇BC＇相似，BC∶BC＇=AC∶A＇C＇，重差问题的公式亦可借助于勾股相与之势不失本率的原理来证明．总之，刘徽使用率证明了《九章算术》大部分算法、大多数题目，使率的应用空前广泛、深入，提高到理论的高度．出入相补原理“出入相补”见之于刘徽为《九章算术》勾股术——“勾股各自乘，并而开方除之，即弦”所作的注：“勾自乘为朱方，股自乘为青方，令出入相补，各从其类，因就其余不动也，合成弦方之幂，开方除之，即弦也．”如何将勾方与股方出入相补成弦方，刘徽未具体提示，学界历来有不同看法，图4的两种方法，分别将Ⅰ、Ⅱ、Ⅲ移到Ⅰ＇、Ⅱ＇、Ⅲ＇，是比较常见的两种推测．“出入相补”在卷一、卷五刘徽注中又称作“以盈补虚”．它是中国古算中证明面积和体积问题的主要方法，应该说，在刘徽之前，甚至在《九章算术》成书时代，人们就已熟悉这种方法．刘徽则对它作了概括、发展．我们仍以上文提到的“勾股容圆”和“出南北门求邑方”两问为例说明．对勾股容圆，刘徽注的出入相补方法是：勾股相乘为图本体，朱、青、黄幂各二，倍之则为各四．可用画于小纸，分裁邪正之会，令颠倒相补，各以类合成修幂：圆径为广，并勾、股、弦为袤．故并勾、股、弦以为法．这是将勾股形由圆垂直于勾、股、弦的半径分成朱、青、黄三块，将两个勾股形合成一个长方形(其面积为ab)，则有朱、青、黄各二块．再加倍，则各四块．将朱、青各中分，则此四朱、青、黄拼成以圆径为宽，勾、股、弦之和为长的长方形，其面积为2ab，显然d=2ab/(a ＋b＋c)．“出南北门求邑方”问刘徽注的第二部分是：“此术之幂，东西如邑方，南北自木尽邑南十四步之幂，各南北步为广，邑方为袤，故连两广为从法，并以为隅外之幂也．”如图6，画出长方形BEA＇C＇，勾股形BEA＇和BC＇A＇面积相等，AGA＇和AFA＇面积相等，故长方形BEGC等于2ab＇，它可以分解成x2和x(a+k)，即BC和DC＇之和为从法．这就证明了术文的正确性．出入相补原理对解决平面直线图形是行之有效的，刘徽用这种方法解决了大量问题．据信，重差问题亦用出入相补原理证明．《周髀算经》中测望太阳的“日高术”奠定了重差问题的基础．刘徽在介绍了日高术之后说，《九章算术》的测望问题“皆端旁互见，无有超邈若斯之类．”他说：“虽夫圆穹之象犹曰可度，又况泰山之高与江海之广哉？”因此，“辄造《重差》，并为注解，以究古人之意，缀于《勾股》之下”，即《九章算术注》第十卷，今之《海岛算经》．刘徽说：“凡望极高，测绝深，而兼知其远者必用重差、勾股，则必以重差为率，故曰重差．”从测量技术上说，刘徽使用了重表、连索、累矩三种基本方法，有的要测望三次或四次．刘徽说：“度高者重表，测深者累矩，孤离者三望，离而又旁求者四望．触类而长之，则虽幽遐诡伏，靡所不入．”而就数学内容上说，望海岛(同日高术)、望松、望深谷代表了望高、知远、测深三个基本结果，其余诸题皆可由这三个基本公式得出．由于刘徽自注已佚，他怎样证明这些结果，学界未有定论．根据刘徽的数学水平，以率的原理和以出入相补原理来证明都是可信的，很可能同时采用这两种，如上两例然．此以立两表测海岛为例说明怎样以出入相补原理证明．已知表高、表间，以及使人目、表末及岛峰叁相直从两表却行的距离，两却行之差称为相多，刘徽提出岛高公式岛高=表间×表高/相多+表高，前表去岛公式去岛=表间×前表却行/相多．吴文俊认为证明方法如下：∵ IK= IB， HJ= HB，相减得IK－ HJ= IC，或后表却行×(岛高－表高)－前表却行×(岛高－表高)=表间×表高，岛高=表间×表高/(后表却行－前表却行)+表高，此即岛高公式，又从 HJ= HB得前表去岛×表高=前表却行×(岛高－表高)，代入岛高公式，即得前表去岛公式．立体问题中也可应用出入相补原理．棊验法就是如此．刘徽说：“说算者乃立棊三品，以效广深之积．”说明棊验法是刘徽前的一种传统方法．它是将所要讨论的立体分解或拼合成三品棊，即长、宽、高均为一尺的立方、堑堵、阳马(如图8)，适当加倍(如果需要的话)，重新拼合成一个或几个方体，从而推知其体积．显然，这种方法只适用于可分解或拼合成三品棊的特殊多面体，而对一般尺寸的多面体则无能为力．刘徽指出了它的局限性．例如三个长、宽、高一尺的阳马合成一个正方体，那么阳马棊的体积为正方体的1/3，这种方法对长、宽、高不等的阳马则无能为力．又如，上底宽1尺、长2尺，下底宽3尺、长4尺，高1尺的刍童可以分解成2个立方棊、6个堑堵棊、4个阳马棊(图9(1))．6个这样的刍童共12个立方棊、36个堑堵棊，24个阳马棊．它们可以重新组合成一个长10尺(两下底长加上底长)、宽3尺(下底宽)高1尺的长方体及一个长8尺(两上底长加下底长)、宽1尺、高1尺的长方体(图9(2)，(3))．因此，一个这样的刍童的体积为此两长方体体积之和的1/6．显然，它对一般的刍童是不适用的．刘徽通过以盈补虚即出入相补证明了堑的体积公式h的长方体，从而证明了公式．(图(10))刘徽还用出入相补证明开平方、开立方程序的正确性．如开A的立方，初商a1，则减根方程无穷小分割在数学证明中的应用1．割圆术——圆面积公式的证明．《九章算术》提出了正确的圆面积公式：“半周半径相乘得积步”，即其中S、L、r分别表示圆面积、周长和半径．在刘徽之前，人们以圆内接正6边形周长代替L，以正12边形的面积代替S，出入相补，拼成一个长为正6边形周长、宽为r的矩形，验证(1)式，这实际上取π=3，当然不是严格证明．刘徽指出，以周三径一的论证“皆非也”，提出基于极限思想的割圆术严格证明了(1)式．首先，刘徽从圆内接正6边形开始割圆，依次得到圆内接正6•2n边形(n=1，2，3，……)．他认为，割得愈细，即n愈大，圆内接正多边形与圆面积之差愈小．“割之又割，以至于不可割，则与圆周合体而无所失矣．”即在不可割的状态，正多边形与圆周重合，其面积之差为0，换言之，若正6•2n边形的面积为Sn，有另一方面，圆内接正多边形每边与圆周间有一余径rn．若以每边长ln乘余径rn得lnrn，加到Sn上，显然S6•2n＋6•2nlnrn＞S，亦即S6•2n＋2(Sn+1-Sn)＞S．但在正多边形与圆合体的情况下，“则表无余径．表最后，将与圆合体的正多边形分割成无数个以圆心为顶点以边长为底的小等腰三角形．由于以每边乘半径等于每个小等腰三角形面积的两倍，那么这无数个小等腰三角形面积之和应是半周与半径的乘积，正如刘徽所说：“以一面乘半径，解而裁之，每辄自倍，故以半周乘半径而为圆幂．”即这就完成了圆面积公式(1)的证明．2．刘徽原理——锥体体积公式的证明刘徽极限思想最精彩的应用当推他关于阳马和鳖体积公式的证明．鳖是有下宽无下长，有上长无上宽，即每面都是勾股形的四面体(图13(1))，《九章算术》给出的体积公式是：“广袤相乘，以高乘之，六而一．”即其中a是下宽，b是上长，h是高．阳马是一棱垂直于底面的四棱锥(图13(2))，《九章算术》给出的体积公式是：“广袤相乘，以高乘之，三而一．”即a、b为底的宽、长，h是高．刘徽指出，在a≠b≠h的情况下，由于“鳖殊形，阳马异体”，用棊验法“则难为之矣”，无法证明(2)、(3)式．他只好另辟蹊径．为此，刘徽首先提出一个重要原理：邪解堑堵，其一为阳马，一为鳖．阳马居二，鳖居一，不易之率也．即对任一堑堵，将其分解为一阳马与一鳖，则恒有Vy∶Vb=2∶1． (4)(3)两式是显而易见的．这个原理可以称为刘徽原理．刘徽用无穷小分割证明了它．他将一个鳖 (红色)与一个阳马(黑色)拼成一个堑堵①(图14(1))．再用三个互相垂直的平面平分堑堵的长、宽、高(图14(2))，则阳马被分解为一个小长方体(Ⅰ)、两个小堑堵(Ⅱ、Ⅲ)和两个小阳马(Ⅳ、Ⅴ)(图14(3))；鳖被分解为两个小堑堵(Ⅱ＇、Ⅲ＇)和两个小鳖 (Ⅳ＇、Ⅴ＇)(图14(4))．鳖中两小红堑堵Ⅱ＇、Ⅲ＇与阳马中两小黑堑堵Ⅱ、Ⅲ拼成两个小长方体Ⅱ－Ⅱ＇、Ⅲ－Ⅲ＇，与小黑长方体Ⅰ，共三个全等的小长方体，其中属于阳马与属于鳖的体积之比为2∶1．两小红鳖Ⅳ＇、Ⅴ＇与两小黑阳马Ⅳ、Ⅴ恰是两小堑堵Ⅳ－Ⅳ＇、Ⅴ－Ⅴ＇、它们又可合成第四个全等的小长方体Ⅳ－Ⅳ＇－Ⅴ－Ⅴ＇，阳马与鳖在其中体积之比仍未知．总之，在原堑堵的3/4中已证明(4)式成立，在1/4中仍未知，“是为别种而方者率居三，通其体而方者率居一”．(图14(5))刘徽指出：“余数具而可知者有一、二分之别，即一、二之为率定矣．”就是说，在余下的1/4中能证明可知部分阳马与鳖体积之比仍为2∶1，则就可以确定在整个堑堵中阳马与鳖体积之比为2∶1．为什么呢？由于所余1/4中，两个小堑堵的结构与原堑堵完全相似(图14(6))，因此可以重复刚才的分割，同样(4)式尚末被证明．这个过程可以无限继续下去，“半之弥少，其余弥细．至细曰微，微则无形．由是言之，安取余哉？”无限分割到最后，没有证明(4)式成立的部分为0，换言之，在整个堑堵中证明了(4)式．下面将看到，刘徽原理是刘徽体积理论的核心．3．牟合方盖和截面积原理．在证明其他面积和体积，尤其是曲面面积和圆体体积时，刘徽以另一种方式使用了无穷小分割．刘徽指出，《九章算术》“开立圆术”所蕴涵的球体积公式是错误的，其中D是球直径．他用两个底径等于球径的圆柱正交，其公共部分称作牟合方盖(图15)．他指出，球与外切牟合方盖的体积之比为π∶4：“合盖者，方率也；丸居其中，即圆率也．”刘徽虽然没能求出牟合方盖的体积，却指出了彻底解决球体积的正确途径．二百多年后，祖冲之父子求出了牟合方盖的体积，从而求出了球体积的正确公式．刘徽能指出《九章算术》球体积公式的错误并指出应使球与牟合方盖比较，基于他对截面积原理的深刻认识．从《九章算术》商功章诸题的编排及刘徽注，可以看出，《九章算术》时代，人们通过比较有某种关系的两个等高立体的最大的截面积(通常是底面积)来解决圆体体积，而没有认识到必须任意等高处的截面积之比都等于最大截面积之比，方能作比较，从而错误地认为球与外切圆柱之比为π∶4．刘徽扬弃了《九章算术》的错误，认识到，必须两立体任意等高处的截面积都成定比．我们从他说的“上连无成不方，故方锥与阳马同实”(图16)，清楚地看出了这一思想．成，训层．就是说，等高同底的方锥与阳马因为每一层都是相等的方形，所以其体积才相等．显然，刘徽的这一思想与后来西方的卡瓦列利的不可分量原理十分接近．刘徽基于这种认识．提出了圆锥与外切方锥(图17(1))，圆亭与外切方亭、球与牟合方盖的体积之比均为π∶4，圆锥与等高的以圆锥底周为底边长的方锥体积之比是25∶314(相当于1∶4π，图17(2))．刘徽把中国古代关于截面积原理的认识提高到理性阶段，为祖暅最后提出“缘幂势既同，则积不容异”的祖暅原理(即卡瓦列利原理)作了准备．。
