教育资料出入相补原理学习精品Word格式文档下载.docx

1、而POAR，OSQC，PQAB，RBOQ，因而AROQROQC，ABOQBCQC，就是相似勾股形ARO和OQC、ABC和OQC的相应勾股成比例。并且可以导出其他相应部分的比例关系。以上这些极简单的结果虽然没有在九章中明白说出，但是曾经多处用这些关系来解决各种具体问题，参看刘注。测望术和重差理论在周髀中，就有用两表测日影以求日高的方法，计算的公式是：见上图，其中A是日，BI是地平面，ED、GF是先后两表，DH和FI是日影。海岛改测日高为测海岛的高，同图AB是海岛，H、I是人目望岛顶和两表上端相参合的地方，于是日高公式成为：刘徽证明和所用的图都已经失传，但是据现存日高说和残图以及其他佐证，原证当大

2、致如下：由出入相补原理，得JGGB，（1）KEEB，（2）相减得JGKEGD，所以（FIDH）ACEDDF，即表目距的差（岛高表高）表高表距。这就得到上述公式。按海岛共九题都属测望之类，所得公式分母上都有两测的差，“重差”这一名称可能由此而来。其余八题公式都可依出入相补原理用和上面类似的方法证明，现在从略。元朱世杰四元玉鉴中有和海岛完全类似的几个题，朱世杰对这些题的解法应该有古代相传下来的一定来历。依据朱对海岛一题的解法，我们认为原证比上面所示的可能稍复杂一些。如下图，现在重作证明如下：由出入相补原理，除（1）、（2）外又有PGGD，（3）由（1）、（2）、（3）得JNEBKE，所以MIDH，

3、（4）FMFIMIFIDH表目距的差。由（3）式就得到海岛公式。如果依照欧几里得几何体系的习惯证法，那就自然应该添一平行线GMAH，如下图，再利用相似三角形和比例理论作证。清代李璜以及近代中外数学史家大都依这一方法补作海岛公式的证明，这当然不是刘徽的原意，也和我国古代几何的传统相违背。注意作平行线的时候应有FMDH，和前面（4）式相比，M和M的位置完全不同。明末耶稣会传教士利玛窦（15521610）来我国，他的主要学术工作之一是介绍欧几里得几何体系。他曾口授测量法义一书，其中载有和海岛题完全类似的一题。在他所作的证明中，需要在FI上取一点M使（4）式成立，再用比例理论作证，见本页上图。按常理来

4、说，利玛窦应该作平行线而取M使FMDH，但是他一反欧几里得惯例而和我国古代传统不谋而合，颇使人迷惑不解。现在提出这一问题，希望大家共同探讨。勾股定理在周髀和九章中，都已经明确给出了勾股定理的一般形式：勾2股2弦2。虽然原证不传，但是据勾股说以及刘注，都依出入相补原理证明，并且有遗留到现在可以用来作证的赵爽残图，这几方面互相参照，原证应该大致如下：如下图所示，勾股形是ABC，BCED是勾方，EFGH是股方，把二者的和DBCFGH中的IBD移到ABC，GIH移到GAF，就得到ABIG弦2，由此就得到勾股定理。欧几里得几何原本中勾股定理的证明如下图所示，其中要先证有关三角形全等形以及三角形面积的一些

5、定理，为此要作不少准备工作，因而在几何原本中直到卷一之末出现这一定理，而在整个几何原本中几乎没有用到。而在我国，勾股定理在九章中已经有多种多样的应用，成为两千来年数学发展的一个重要出发点，参阅以下各节和文末附表。在东西方的古代几何体系中，勾股定理所占的地位是颇不相同的。勾、股、弦和它们的和差互求勾、股、弦和它们之间的和差共九个数，只须知道其中的二个就可以求得其他几个。除勾、股、弦互求就是开平方之外，九章勾股章中有不少这方面的问题：第一，知股弦差、勾，求股、弦（五题）；第二，知勾股差、弦，求勾、股（一题）；第三，知股弦差、勾弦差，求勾、股、弦（一题）；第四，知股弦和、勾，求股、弦（一题）。各题都

6、列出了一般公式，勾股说的许多命题也属这一类，刘注还给出了证明，公式的来历和证明的方法都依据出入相补原理，有的也用比例原理作别证。试以勾股章第十三折竹题为例。题设竹高已知，竹在某处折断，竹梢着地，着地处和竹根距离也已知。求折断处的高度，见上图。如果以竹梢着地处和竹根的距离作为勾，就是从股弦和、勾求股的问题，九章原文给出的公式是：股弦差勾2/股弦和，刘注又给出了另一公式：为了证明前一公式，可以考虑上图，其中正方形ABCD和AEFG的边各是勾股形的弦和股。依勾股定理曲尺形EBCDGF的面积应该等于勾2。现在把FD如图移到CH，那么依出入相补原理，BH的面积是勾2，而它的边长各是股弦和、股弦差，就得到

7、上面的前一公式。另一公式的刘徽证明也相类似。试考察下图，其中右下角曲尺部分的面积依勾股定理等于勾2，所以粗黑线围成部分的面积等于股弦和2勾2。把长方形移到，依出入相补原理，这一面积是斜线部分面积的两倍，就是2股股弦和，由此就得到另一公式。秦九韶公式秦九韶数书九章中有一题是已知不等边三角形田地三边的长（称大斜、中斜、小斜，以下简记为大、中、小），求田地面积。秦九韶的解法相当于下面的一般公式：秦的公式来历不明，证明也失传了。现在补作一证如下：作大斜上的高分大斜成两部分，作为勾股形的股和弦，见上图。由求高，或怎样求股。由于股弦和大，勾2弦2股2中2小2，所以问题归结为怎样从股弦和、勾求股。依上节的刘

8、徽公式，得由此就得到秦的公式。按秦公式的形式十分古怪，当是依某种思路自然引导到这一形式的。上面的证法颇为自然，也符合我国古代几何的传统特色，说它是原证，也是不无可能的。在西方有所谓海伦公式（a、b、c是三角形三边的长）：三角形面积这一公式形式十分漂亮。正因为这样，如果已知海伦公式而再来推出秦的公式，将是不可思议的。相反，从秦的公式化简成海伦的公式，却是比较自然的发展。据此我们至少可以断言，秦的公式是独立于海伦公式而得来的。关于海伦的生平，从公元前二世纪到公元后十世纪以后，数学史家聚讼纷纭。至于海伦留传到现在的著作，也已经人指出，历代都经过重新编纂，有所增改，已经不是本来面目。这是熟悉希腊数学史

9、的应予澄清的事，这里就不考虑了。开平、立方从勾、股求弦，先把勾、股平方后相加，再开平方就得弦。因而勾股定理的应用自然导致开平方的问题。事实上，周髀中已经给出了若干具体数目的平方根，而在九章中，更详细说明了开平方的具体方法步骤。这一方法的根据是几何的，就是出入相补原理。试以求55225的平方根为例。这相当于已知正方形ABCD的面积是55225，求边AB的长，见上图。按我国记数用十进位位值制。因AB显然是一个百位数，所以求AB的方法就是依次求出百位数字、十位数字和个位数字。先估计（九章中用“议”字）百位数字是2，因而在AB上截取AE200，并且作正方形AEFG，它的边EF的两倍称为“定法”。把AE

10、FG从ABCD中除去，所余曲尺形EBCDGF的面积是55225201915225。其次估计十位数字是3，在EB上截取EH30，并且补成正方形AHIJ。从AEFG所增加的曲尺形EHIJGF可以分解成三部分：FH，FJ，FI，面积依次是30EF，30FG，302，其中EFFG200，所以从ABCD中除去AHIJ，所余曲尺形HBCDJI的面积是15225（230200302）2325。现在再估计个位数字是5，在HB上截取HK5，并补作正方形AKLM，从ABCD中除去AKLM后所余曲尺形面积和前同法应该是2325（25230522）0。由此知K和B重合而55225的平方根恰好是235。求立方根的方法步

11、骤和这相似，但是要把一立方体逐步进行分解，比平方根求法稍复杂，所依据的仍是出入相补原理，这在九章中也有详细叙述。我国开平立方法来源很古，它的几何本质十分清晰，而且方法上可以看出我国独有而世界古代其他民族所无的位值制记数法的高度优越性。不仅这样，至迟到十一世纪中叶，我国就已经把开平立方法推广到开任何高次幂，就是所谓“增乘开方法”，并且出现了有关的二项式定理系数表，就是所谓“开方作法本源图”。从这一方法的几何渊源看来，如果说当时我国数学家已经有高维方体和高维几何的稚影，似乎不是全无根据的。解二次方程在开平方的过程中，曾经出现像第84页下图中黑线部分那样的图形，其中2EF称定法。开平方在求得AE以后

12、，其次几步在于从曲尺形EBCDGF的已知面积求得EB。现在把DF移到CH，那么依出入相补原理，BH面积已知，此外BH的两边EH和EB的差就是定法2EF，也有已知数值。因而求EB的问题可以转化为下面的问题：（A）已知一长方形（BH）的面积、长阔差，求长阔。反过来，这一问题的解法，可依开平方中第二步以下的方法求得，称为“开带从平方”。这在九章以来是用下面的语句来表达的。（B）“以长方形面积为实，长阔差为从法，开方除之，得阔”。以上“从法”一名，当来自开平方过程中的“定法”，“开方”一词也说明了它的来历。下面的例取自九章，见下图。图中ABCD是一方城，出北门北行若干步到G有木，出南门南行若干步到F再

13、西行若干步到H，恰可望见木G，问题是求方城每边的长。据刘注的方法是依出入相补原理得EJ2EG2KG2北步西步。EJ的长阔差是“南步北步”，所以解法是以“2西步”为实，以“南步北步”为从法，开平方除之，得EI，也就是方城边长。不仅应用开平方法可得问题（A）的数值解，而且应用出入相补原理，还可以求得解答的精确表达式。如果以长方形的阔作为勾，长作为股，那么问题（A）相当于：（C）已知勾股积、勾股差，求勾、股。为此考赵爽残图如附图。图中大小两正方形的边长各是勾股和、勾股差，所以得勾股和24勾股积勾股差2。由此得勾股和，因而得勾和股。同样也可从勾股和、勾股积求得勾和股，这一方法可以参阅勾股说的末一命题。

14、宋元时期明确引入了未知数的概念。如果以X（当时称为天元一）表长方形阔，那么问题（A）相当于解一个二次方程x2+ax=b，其中a相当于从法，b相当于实。所以在古代实质上已经给出了这一形式二次方程（a，b都是正数）的近似解和精确解，前者在宋元时期发展为求任意高次方程的数值解法，后者虽文献散佚不可查考，但是据唐初王孝通的著作以及史书关于祖冲之的引述看来，不能排除我国曾经对三次方程用几何方法求得精确表达式的可能性。在其他各国，公元九世纪的时候，阿拉伯数学家花刺子模（约780约850）的代数学名著中列举了各种类型二次方程的精确解法，它的方法是几何的，它的精神实质和出入相补原理颇相类似。公元十六世纪，意大

15、利数学家关于三次方程的解法，也完全是几何的。体积理论和刘徽原理如果规定长方形的面积是长阔的积，那么依据出入相补原理，容易得到：由此可以完全奠定平面多角形的面积理论。但是在空间情形，如果规定长方体的体积是长、广、深的积，是否依据出入相补原理，可以推得由此以建立多面体的体积理论，就不是那么明显而是极其困难的问题。欧洲直到十九世纪末，才把它作为一个难题明确地提了出来。公元1900年德国数学家希耳伯特（18621943）在国际数学会上所作著名讲演中，把体积理论列为二十三个问题之一。这一问题立即为德恩（18781952）所解决，答案是否定的：两个多面体要分割成彼此重合的若干多面体，必须满足某些条件，通称

16、德恩条件。自此以后直到1965年，一位瑞士数学家西德勒才证明了德恩条件也是充分的。但是问题决不能认为已经彻底解决。从希耳伯特直到晚近，多面体体积理论仍不断成为一些知名数学家研讨的课题。德恩条件叙述复杂，也难认为是合宜的最后形式。在这种情势下，看看中国古代对这一问题的处理方式是不无有启发性的。九章以至刘注解决体积问题的出发点是把一般的多面体分解为一些基本的立体。先把一长方体斜剖为二，如下图（1），得两堑堵（堑堵是两底面是直角三角形的正柱体）。再把堑堵斜剖为二，如上图（2）；一个是阳马（阳马是直角四棱锥体），如上图（3）；一个是鳖臑（鳖臑是四面都是勾股形的四面体），如上图（4）。其中鳖臑的特征是A

17、B和平面BFG垂直，FG和平面ABF垂直。由于任一多面体可以分割为四面体，而任一四面体可以分割为六个鳖臑，如下图，所以问题归结为求鳖臑（以及阳马）的体积。依刘徽原话，就是所谓阳马、鳖臑，“功实之主也。”其次的问题是怎样求得阳马和鳖臑的体积。如果长方体成为立方体，那么分解所得的阳马的体积是鳖臑的两倍。刘徽作了长篇的分析，得出结论是：这个论断普遍成立。用刘的原话是：“阳马居二，鳖臑居一，不易之率也。”我们把它称作：刘徽原理斜解一长方体，所得阳马和鳖臑的体积的比恒是二比一。从这一原理容易得到鳖臑和阳马的体积公式。由此又容易得到（2）式，因而整个多面体的体积理论可奠基于刘徽以及出入相补这两个原理之上。

18、刘徽对他的原理有详细的分析说明，实际上就是这一原理的证明。按希耳伯特和他的后继者的研究指出，体积理论和面积理论不同，出入相补原理之外，必须辅以连续一类公理。也有人（例如沙顿诺斯基，1903年）提出排除连续公理，直接应用（2）式作为建立体积理论的基础。但是这样就要先证明（2）式中高和底面积的乘积凡四都彼此相等，这既不明显也不简单，似不如刘徽原理和出入相补原理的显豁自然。总之，多面体的体积理论到现在还余蕴未尽，估计中国古代几何中的思想和方法或许对进一步的探讨还不无帮助。羡除公式九章中列举了各种多面体的体积，依据的就是出入相补原理和阳马、鳖臑公式。现在以羡除即隧道（羡除是三个侧面不是长方形而是梯形的

19、楔形体，见上图）为例，图中ABCD是地面，成一梯形，CDEF是隧道的一端，成垂直平面中的梯形。整个隧道依剖面IJK对称。EG、FH都和CD垂直是隧道的深，IJ是隧道地面的长，CD、EF、AB各称上广、下广、末广。九章给出的公式是：刘注的证法是先把羡除分解，如在上图中CDABEF的情形，分解成一个堑堵EFGHLM，两个小鳖臑AGEL和BHFM，两个不正规大鳖臑ACEG和BDFH，再应用堑堵、鳖臑公式和上一节公式（2），就得到这一公式。这一方法在九章中用来求得例如刍甍（楔形体）、刍童、盘池、冥谷（是各种棱台）等多面体的体积公式。如果依IJK剖面取羡除的一半，所得IJKACE如下图是一斜截直柱体，是

20、把一个以勾股形为底面的直柱体斜截而成，它的体积是三高平均值和底面面积的积。因由任意曲面所围成的立体可以看作近似地由这样的斜截直柱体构成，所以据此可以得出函数f（x，y）的积分近似公式，犹之微积分中求曲线下面积的辛普森积分近似公式。因而羡除公式具有重要意义。在西方，斜截直柱体的体积公式最早见于1794年勒让德（17521833）所著几何原理一书，因此也称为勒让德公式。按勒让德的书是从欧几里得几何原本以后最早可以代替原本的名著，它的有关公式的证明同样依据四面体体积公式，但是它的分解方法和刘注不同。此外某些多面体西方也有不同的分解法和证法，不妨中外参照，加以比较。新学期教学工作球体积和祖暅原理从九章

21、到刘注，我国对多面体的体积已经建立了相当完整的理论体系。但是对于曲面围成的立体，特别是球的体积问题，却遇到了困难。教学设计与反思免费下载这一球体积问题，直到南北朝时期祖暅才完全解决，为此并且提出了所谓祖暅原理幂势既同，则积不容异。这一原理在公元十七世纪由意大利数学家卡瓦列里（15981647）提出卡瓦列里原理重见于欧洲，成为微积分得以创立的关键性的一步。日本语言学校学费祖暅关于球体积公式的证明见于九章的唐李淳风注，论证极其详细清晰。证明分三步：政治经济学04任务答案第一，在一立方体中依两不同方向作两内切圆柱体，它的共同部分称“牟棋”。依祖暅原理可得：智慧树管理学答案高处截面积的和跟阳马同高处的

22、截面积相等。第三，再应用祖暅原理，知三外棋体积的和跟阳马体积相等。时间像小马车教学反思由阳马的体积公式，就可从上述三步得球体积公式。按牟合方盖是刘徽所引入的，第一步的结果实质上也已经为刘徽所求得。事实上，在刘注中，他已经多次应用了祖暅原理来求曲面围成立体的体积，例如从方堡壔（长方体）求圆堡壔（圆柱），从方锥求圆锥，从方亭（正方台）求圆亭（圆台），都已经使用这方法。祖暅的功绩，不仅在于具体求出了牟合方盖因而求出球的体积，更在于把实际上已知并且已经广泛应用的实践经验总结提高到一般原理的形式。是否应该把祖暅原理改称为刘祖原理，是可以商讨的。教师评语小学从祖暅原理可以立即得出前面讲到的刘徽原理，因而多

23、面体的体积理论也可以建立在出入相补原理和祖暅原理这两个浅显易明的基本原理之上。在欧洲，直到希耳伯特的几何基础问世以后，二十世纪初年，才有人（例如绪思）考虑依卡瓦列里原理以建立体积理论的问题。极昼的知识其他九章中有丰富的几何学内容，即使局限于出入相补原理，除了已经见于前面各节的以外，也还有一些成果为我国数学以后发展的重要出发点。例如所谓勾股容圆问题，在李冶的测圆海镜中已经有了很大的发展。又如前面提到过的所谓方城问题，在秦九韶、李冶等的著作中已经把方城改成了圆城，就是旧有方法所不能解的。为此宋元时期创立了所谓天元术一类新的理论和方法，不仅可以用来解决许多新问题，对老的问题（所谓古问）也提供了新的有

24、力工具，和老的方法（所谓古法）相比可以“省功数倍”。这些新理论新方法的实质在于几何的代数化，乃是解析几何的前奏，也是近代代数学的前驱。教师李莉的事情是真实的吗总结摆渡自己的阅读及答案这个工作可让学生分组负责收集整理,登在小黑板上,每周一换。要求学生抽空抄录并且阅读成诵。其目的在于扩大学生的知识面,引导学生关注社会,热爱生活,所以内容要尽量广泛一些,可以分为人生、价值、理想、学习、成长、责任、友谊、爱心、探索、环保等多方面。如此下去,除假期外,一年便可以积累40多则材料。如果学生的脑海里有了众多的鲜活生动的材料,写起文章来还用乱翻参考书吗?一般说来，“教师”概念之形成经历了十分漫长的历史。杨士勋

25、（唐初学者，四门博士）春秋谷梁传疏曰：“师者教人以不及，故谓师为师资也”。这儿的“师资”，其实就是先秦而后历代对教师的别称之一。韩非子也有云：“今有不才之子师长教之弗为变”其“师长”当然也指教师。这儿的“师资”和“师长”可称为“教师”概念的雏形，但仍说不上是名副其实的“教师”，因为“教师”必须要有明确的传授知识的对象和本身明确的职责。出入相补、刘徽、祖暅等一般原理的建立，说明我国古代学者具有高度的抽象概括能力，善于在深入广泛的实践基础上往高里提。这些原理之简单易明正可和它们应用之广互相辉映。这是我国古代数学的一种独特风格，着重在问题的解决以及解决的一般方法和一般原理原则，同样的风格也可见之于几

26、何的代数化、位值制记数法等等。这和西方数学之偏重于概念和概念之间的相互逻辑关系，是异其旨趣的。其实,任何一门学科都离不开死记硬背,关键是记忆有技巧,“死记”之后会“活用”。不记住那些基础知识,怎么会向高层次进军?尤其是语文学科涉猎的范围很广,要真正提高学生的写作水平,单靠分析文章的写作技巧是远远不够的,必须从基础知识抓起,每天挤一点时间让学生“死记”名篇佳句、名言警句,以及丰富的词语、新颖的材料等。这样,就会在有限的时间、空间里给学生的脑海里注入无限的内容。日积月累,积少成多,从而收到水滴石穿,绳锯木断的功效。我国数学经典著作散佚的多而保存的少，就像祖暅原理，也只靠李淳风一注才得以留传下来。像这一类重要成果而失传无从查考的，当不在少数。尽管如此，只从留传至今的典籍看来，我国数学的生产实践方面的渊源和发展演变的线索，仍旧很分明，参见下页两个附表。（