介绍

证明方法

介绍

刘徽在证明勾股定理时，也是用的以形证数的方法，只是具体的分合移补略有不同．刘徽的证明原也有一幅图，可惜图已失传，只留下一段文字：“勾自乘为朱方，股自乘为青方，令出入相补，各从其类，因就其余不动也，合成弦方之幂．开方除之，即弦也．”后人根据这段文字补了一张图。大意是：三角形为直角三角形，以勾a为边的正方形为朱方，以股b为边的正方形为青方。以盈补虚，将朱方、青方并成弦方。依其面积关系有a^+b^=c^.由于朱方、青方各有一部分在弦方内，那一部分就不动了。

以勾为边的正方形为朱方，以股为边的正方形为青方。以盈补虚，只要把图中朱方（a2），则刚好拼成一个以弦为边长的正方形（c的平方 ）．由此便可证得a的平方+b的平方=c的平方。

这个证明是由三国时代魏国的数学家刘徽所提出的。在魏景元四年（即公元 263 年），刘徽为古籍《九章算术》作注释。在注释中，他画了一幅像图五(b)中的图形来证明勾股定理。由于他在图中以“青出”、“朱出”表示黄、紫、绿三个部分，又以“青入”、“朱入”解释如何将斜边正方形的空白部分填满，所以后世数学家都称这图为“青朱入出图”。亦有人用“出入相补”这一词来表示这个证明的原理。

证明方法

中国最早的一部数学著作——《周髀算经》的开头，记载着一段周公向商高请教数学知识的对话， 周公问：“我听说您对数学非常精通，我想请教一下：天没有梯子可以上去，地也没法用尺子去一段一段丈量，那么怎样才能得到关于天地得到数据呢？” 商高回答说：“数的产生来源于对方和圆这些形体的认识。其中有一条原理：当直角三角形‘矩’得到的一条直角边‘勾’等于3，另一条直角边‘股’等于4的时候，那么它的斜边‘弦’就必定是5。这个原理是大禹在治水的时候就总结出来的呵。” 从上面所引的这段对话中，我们可以清楚地看到，我国古代的人民早在几千年以前就已经发现并应用勾股定理这一重要的数学原理了。稍懂平面几何的读者都知道，所谓勾股定理，就是指在直角三角形中，两条直角边的平方和等于斜边的平方。

勾股定理在西方被称为毕达哥拉斯定理(又称“百牛定理”，因毕达哥拉斯发现该定理后即斩百头牛作为庆祝），相传是古希腊数学家兼哲学家毕达哥拉斯于公元前550年首先发现的。其实，我国古代得到人民对这一数学定理的发现和应用，远比毕达哥拉斯早得多。如果说大禹治水因年代久远而无法确切考证的话，那么周公与商高的对话则可以确定在公元前1100年左右的西周时期，比毕达哥拉斯要早了五百多年。其中所说的勾3股4弦5，正是勾股定理的一个应用特例（3的平方+4的平方=5的平方）。所以现在数学界把它称为勾股定理，应该是非常恰当的。 在稍后一点的《九章算术一书》中，勾股定理得到了更加规范的一般性表达。书中的《勾股章》说；“把勾和股分别自乘，然后把它们的积加起来，再进行开方，便可以得到弦。”

中国古代的数学家们不仅很早就发现并应用勾股定理，而且很早就尝试对勾股定理作理论的证明。最早对勾股定理进行证明的，是三国时期吴国的数学家赵爽。赵爽创制了一幅“勾股圆方图”，用形数结合得到方法，给出了勾股定理的详细证明。在这幅“勾股圆方图”中，以弦为边长得到正方形ABDE是由4个相等的直角三角形再加上中间的那个小正方形组成的。每个直角三角形的面积为ab/2；中间懂得小正方形边长为b-a，则面积为（b-a）2。

他用几何图形的截、割、拼、补来证明代数式之间的恒等关系，既具严密性，又具直观性，为中国古代以形证数、形数统一、代数和几何紧密结合、互不可分的独特风格树立了一个典范。以后的数学家大多继承了这一风格并且代有发展。例如稍后一点的刘徽在证明勾股定理时也是用的以形证数的方法，只是具体图形的分合移补略有不同而已。 中国古代数学家们对于勾股定理的发现和证明，在世界数学史上具有独特的贡献和地位。尤其是其中体现出来的“形数统一”的思想方法，更具有科学创新的重大意义。事实上，“形数统一”的思想方法正是数学发展的一个极其重要的条件。正如当代中国数学家吴文俊所说：“在中国的传统数学中，数量关系与空间形式往往是形影不离地并肩发展着的......十七世纪笛卡儿解析几何的发明，正是中国这种传统思想与方法在几百年停顿后的重现与继续。”