勾股定理的解法
发布网友
发布时间：2022-04-30 06:01
共5个回答
热心网友
时间：2023-10-19 01:56
勾股定理是几何学中的明珠，所以它充满魅力，千百年来，人们对它的证明趋之若鹜，其中有著名的数学家，也有业余数学爱好者，有普通的老百姓，也有尊贵的政要权贵，甚至有国家总统。也许是因为勾股定理既重要又简单，更容易吸引人，才使它成百次地反复被人炒作，反复被人论证。1940年出版过一本名为《毕达哥拉斯命题》的勾股定理的证明专辑，其中收集了367种不同的证明方法。实际上还不止于此，有资料表明，关于勾股定理的证明方法已有500余种，仅我国清末数学家华蘅芳就提供了二十多种精彩的证法。这是任何定理无法比拟的。
在这数百种证明方法中，有的十分精彩，有的十分简洁，有的因为证明者身份的特殊而非常著名。
首先介绍勾股定理的两个最为精彩的证明，据说分别来源于中国和希腊。
1．中国方法
画两个边长为(a+b)的正方形，如图，其中a、b为直角边，c为斜边。这两个正方形全等，故面积相等。
左图与右图各有四个与原直角三角形全等的三角形，左右四个三角形面积之和必相等。从左右两图中都把四个三角形去掉，图形剩下部分的面积必相等。左图剩下两个正方形，分别以a、b为边。右图剩下以c为边的正方形。于是
a2+b2=c2。
这就是我们几何教科书中所介绍的方法。既直观又简单，任何人都看得懂。
2．希腊方法
直接在直角三角形三边上画正方形，如图。
容易看出，
△ABA’ ≌△AA’’ C。
过C向A’’B’’引垂线，交AB于C’，交A’’B’’于C’’。
△ABA’与正方形ACDA’同底等高,前者面积为后者面积的一半，△AA’’C与矩形AA’’C’’C’同底等高，前者的面积也是后者的一半。由△ABA’≌△AA’’C，知正方形ACDA’的面积等于矩形AA’’C’’C’的面积。同理可得正方形BB’EC的面积等于矩形B’’BC’C’’的面积。
于是，
S正方形AA’’B’’B=S正方形ACDA’+S正方形BB’EC，
即 a2+b2=c2。
至于三角形面积是同底等高的矩形面积之半，则可用割补法得到（请读者自己证明）。这里只用到简单的面积关系，不涉及三角形和矩形的面积公式。
这就是希腊古代数学家欧几里得在其《几何原本》中的证法。
以上两个证明方法之所以精彩，是它们所用到的定理少，都只用到面积的两个基本观念：
⑴ 全等形的面积相等；
⑵ 一个图形分割成几部分，各部分面积之和等于原图形的面积。
这是完全可以接受的朴素观念，任何人都能理解。
我国历代数学家关于勾股定理的论证方法有多种，为勾股定理作的图注也不少，其中较早的是赵爽（即赵君卿）在他附于《周髀算经》之中的论文《勾股圆方图注》中的证明。采用的是割补法：
如图，将图中的四个直角三角形涂上朱色，把中间小正方形涂上*，叫做中黄实，以弦为边的正方形称为弦实，然后经过拼补搭配，“令出入相补，各从其类”，他肯定了勾股弦三者的关系是符合勾股定理的。即“勾股各自乘，并之为弦实，开方除之，即弦也”。
赵爽对勾股定理的证明，显示了我国数学家高超的证题思想，较为简明、直观。
西方也有很多学者研究了勾股定理，给出了很多证明方法，其中有文字记载的最早的证明是毕达哥拉斯给出的。据说当他证明了勾股定理以后，欣喜若狂，杀牛百头，以示庆贺。故西方亦称勾股定理为“百牛定理”。遗憾的是，毕达哥拉斯的证明方法早已失传，我们无从知道他的证法。
下面介绍的是美国第二十任总统伽菲尔德对勾股定理的证明。
如图，
S梯形ABCD= (a+b)2
= (a2+2ab+b2)， ①
又S梯形ABCD=S△AED+S△EBC+S△CED
= ab+ ba+ c2
= (2ab+c2)。 ②
比较以上二式，便得
a2+b2=c2。
这一证明由于用了梯形面积公式和三角形面积公式，从而使证明相当简洁。
1876年4月1日，伽菲尔德在《新英格兰教育日志》上发表了他对勾股定理的这一证明。5年后，伽菲尔德就任美国第二十任总统。后来，人们为了纪念他对勾股定理直观、简捷、易懂、明了的证明，就把这一证法称为勾股定理的“总统”证法，这在数学史上被传为佳话。
在学习了相似三角形以后，我们知道在直角三角形中，斜边上的高把这个直角三角形所分成的两个直角三角形与原三角形相似。
如图，Rt△ABC中，∠ACB=90°。作CD⊥BC，垂足为D。则
△BCD∽△BAC，△CAD∽△BAC。
由△BCD∽△BAC可得BC2=BD ? BA， ①
由△CAD∽△BAC可得AC2=AD ? AB。 ②
我们发现，把①、②两式相加可得
BC2+AC2=AB（AD+BD），
而AD+BD=AB，
因此有 BC2+AC2=AB2，这就是
a2+b2=c2。
这也是一种证明勾股定理的方法，而且也很简洁。它利用了相似三角形的知识。
在对勾股定理为数众多的证明中，人们也会犯一些错误。如有人给出了如下证明勾股定理的方法：
设△ABC中，∠C=90°，由余弦定理
c2=a2+b2-2abcosC，
因为∠C=90°，所以cosC=0。所以
a2+b2=c2。
这一证法，看来正确，而且简单，实际上却犯了循环证论的错误。原因是余弦定理的证明来自勾股定理。
人们对勾股定理感兴趣的原因还在于它可以作推广。
欧几里得在他的《几何原本》中给出了勾股定理的推广定理：“直角三角形斜边上的一个直边形，其面积为两直角边上两个与之相似的直边形面积之和”。
从上面这一定理可以推出下面的定理：“以直角三角形的三边为直径作圆，则以斜边为直径所作圆的面积等于以两直角边为直径所作两圆的面积和”。
勾股定理还可以推广到空间：以直角三角形的三边为对应棱作相似多面体，则斜边上的多面体的表面积等于直角边上两个多面体表面积之和。
若以直角三角形的三边为直径分别作球，则斜边上的球的表面积等于两直角边上所作二球表面积之和。
如此等等。
【附录】
一、【《周髀算经》简介】
《周髀算经》算经十书之一。约成书于公元前二世纪，原名《周髀》，它是我国最古老的天文学著作，主要阐明当时的盖天说和四分历法。唐初规定它为国子监明算科的教材之一，故改名《周髀算经》。《周髀算经》在数学上的主要成就是介绍了勾股定理及其在测量上的应用。原书没有对勾股定理进行证明，其证明是三国时东吴人赵爽在《周髀注》一书的《勾股圆方图注》中给出的。
《周髀算经》使用了相当繁复的分数算法和开平方法。
二、【伽菲尔德证明勾股定理的故事】
1876年一个周末的傍晚，在美国首都华盛顿的郊外，有一位中年人正在散步，欣赏黄昏的美景，他就是当时美国俄亥俄州共和党议员伽菲尔德。他走着走着，突然发现附近的一个小石凳上，有两个小孩正在聚精会神地谈论着什么，时而大声争论，时而小声探讨。由于好奇心驱使，伽菲尔德循声向两个小孩走去，想搞清楚两个小孩到底在干什么。只见一个小男孩正俯着身子用树枝在地上画着一个直角三角形。于是伽菲尔德便问他们在干什么？那个小男孩头也不抬地说：“请问先生，如果直角三角形的两条直角边分别为3和4，那么斜边长为多少呢？”伽菲尔德答道：“是5呀。”小男孩又问道：“如果两条直角边长分别为5和7，那么这个直角三角形的斜边长又是多少？”伽菲尔德不假思索地回答道：“那斜边的平方一定等于5的平方加上7的平方。”小男孩又说：“先生，你能说出其中的道理吗？”伽菲尔德一时语塞，无法解释了，心里很不是滋味。
于是，伽菲尔德不再散步，立即回家，潜心探讨小男孩给他出的难题。他经过反复思考与演算，终于弄清了其中的道理，并给出了简洁的证明方法。
参考资料：转引自：http://tw.ntu.e.cn/ecation/yanjiu/ 中“数学的发现”栏目。图无法转贴，请查看原文。
热心网友
时间：2023-10-19 01:56
热心网友
时间：2023-10-19 01:57
热心网友
时间：2023-10-19 01:57
热心网友
时间：2023-10-19 01:58
周公问：“我听说您对数学非常精通，我想请教一下：天没有梯子可以上去，地也没法用尺子去一段一段丈量，那么怎样才能得到关于天地得到数据呢？”
商高回答说：“数的产生来源于对方和圆这些形体饿认识。其中有一条原理：当直角三角形‘矩’得到的一条直角边‘勾’等于3，另一条直角边‘股’等于4的时候，那么它的斜边‘弦’就必定是5。这个原理是大禹在治水的时候就总结出来的呵。”
从上面所引的这段对话中，我们可以清楚地看到，我国古代的人民早在几千年以前就已经发现并应用勾股定理这一重要懂得数学原理了。稍懂平面几何饿读者都知道，所谓勾股定理，就是指在直角三角形中，两条直角边的平方和等于斜边的平方。如图所示，我们
图1 直角三角形
用勾（a）和股（b）分别表示直角三角形得到两条直角边，用弦（c）来表示斜边，则可得：
勾2+股2=弦2
亦即：
a2+b2=c2
勾股定理在西方被称为毕达哥拉斯定理，相传是古希腊数学家兼哲学家毕达哥拉斯于公元前550年首先发现的。其实，我国古代得到人民对这一数学定理的发现和应用，远比毕达哥拉斯早得多。如果说大禹治水因年代久远而无法确切考证的话，那么周公与商高的对话则可以确定在公元前1100年左右的西周时期，比毕达哥拉斯要早了五百多年。其中所说的勾3股4弦5，正是勾股定理的一个应用特例（32+42=52）。所以现在数学界把它称为勾股定理，应该是非常恰当的。
在稍后一点的《九章算术一书》中，勾股定理得到了更加规范的一般性表达。书中的《勾股章》说；“把勾和股分别自乘，然后把它们的积加起来，再进行开方，便可以得到弦。”把这段话列成算式，即为：
弦=（勾2+股2）(1/2)
亦即：
c=（a2+b2）(1/2)
中国古代的数学家们不仅很早就发现并应用勾股定理，而且很早就尝试对勾股定理作理论的证明。最早对勾股定理进行证明的，是三国时期吴国的数学家赵爽。赵爽创制了一幅“勾股圆方图”，用形数结合得到方法，给出了勾股定理的详细证明。在这幅“勾股圆方图”中，以弦为边长得到正方形ABDE是由4个相等的直角三角形再加上中间的那个小正方形组成的。每个直角三角形的面积为ab/2；中间懂得小正方形边长为b-a，则面积为（b-a）2。于是便可得如下的式子：
4×（ab/2）+（b-a）2=c2
化简后便可得：
a2+b2=c2
亦即：
c=（a2+b2）(1/2)
图2 勾股圆方图
赵爽的这个证明可谓别具匠心，极富创新意识。他用几何图形的截、割、拼、补来证明代数式之间的恒等关系，既具严密性，又具直观性，为中国古代以形证数、形数统一、代数和几何紧密结合、互不可分的独特风格树立了一个典范。以后的数学家大多继承了这一风格并且代有发展。例如稍后一点的刘徽在证明勾股定理时也是用的以形证数的方法，只是具体图形的分合移补略有不同而已。
中国古代数学家们对于勾股定理的发现和证明，在世界数学史上具有独特的贡献和地位。尤其是其中体现出来的“形数统一”的思想方法，更具有科学创新的重大意义。事实上，“形数统一”的思想方法正是数学发展的一个极其重要的条件。正如当代中国数学家吴文俊所说：“在中国的传统数学中，数量关系与空间形式往往是形影不离地并肩发展着的......十七世纪笛卡儿解析几何的发明，正是中国这种传统思想与方法在几百年停顿后的重现与继续。”
勾股定理证明评鉴
作者：梁子杰
勾股定理（又叫「毕氏定理」）说：「在一个直角三角形中，斜边边长的平方等於两条直角边边长平方之和。」据考证，人类对这条定理的认识，少说也超过 4000 年！又据记载，现时世上一共有超过 300 个对这定理的证明！
我觉得，证明多，固然是表示这个定理十分重要，因而有很多人对它作出研究；但证明多，同时令人眼花缭乱，亦未能够一针见血地反映出定理本身和证明中的数学意义。故此，我在这篇文章中，为大家选出了 7 个我认为重要的证明，和大家一起分析和欣赏这些证明的特色，与及认识它们的历史背境。
证明一
图一
在图一中，D ABC 为一直角三角形，其中 Ð A 为直角。我们在边 AB、BC 和 AC 之上分别画上三个正方形 ABFG、BCED 和 ACKH。过 A 点画一直线 AL 使其垂直於 DE 并交 DE 於 L，交 BC 於 M。不难证明，D FBC 全等於 D ABD（S.A.S.）。所以正方形 ABFG 的面积 = 2 ´ D FBC 的面积 = 2 ´ D ABD 的面积 = 长方形 BMLD 的面积。类似地，正方形 ACKH 的面积 = 长方形 MCEL 的面积。即正方形 BCED 的面积 = 正方形 ABFG 的面积 + 正方形 ACKH 的面积，亦即是 AB2 + AC2 = BC2。由此证实了勾股定理。
这个证明巧妙地运用了全等三角形和三角形面积与长方形面积的关系来进行。不单如此，它更具体地解释了，「两条直角边边长平方之和」的几何意义，这就是以 ML 将正方形分成 BMLD 和 MCEL 的两个部分！
这个证明的另一个重要意义，是在於它的出处。这个证明是出自古希腊大数学欧几里得之手。
欧几里得（Euclid of Alexandria）约生於公元前 325 年，卒於约公元前 265 年。他曾经在古希腊的文化中心亚历山大城工作，并完成了著作《几何原本》。《几何原本》是一部划时代的著作，它收集了过去人类对数学的知识，并利用公理法建立起演绎体系，对后世数学发展产生深远的影响。而书中的第一卷命题 47，就记载著以上的一个对勾股定理的证明。
证明二
图二
图二中，我们将4个大小相同的直角三角形放在一个大正方形之内，留意大正方形中间的浅*部分，亦都是一个正方形。设直角三角形的斜边长度为 c，其余两边的长度为 a 和 b，则由於大正方形的面积应该等於 4 个直角三角形和中间浅*正方形的面积之和，所以我们有
(a + b)2 = 4(1/2 ab) + c2
展开得 a2 + 2ab + b2 = 2ab + c2
化简得 a2 + b2 = c2
由此得知勾股定理成立。
证明二可以算是一个非常直接了当的证明。最有趣的是，如果我们将图中的直角三角形翻转，拼成以下的图三，我们依然可以利用相类似的手法去证明勾股定理，方法如下：
图三
由面积计算可得 c2 = 4(1/2 ab) + (b - a)2
展开得 = 2ab + b2 - 2ab + a2
化简得 c2 = a2 + b2（定理得证）
图三的另一个重要意义是，这证明最先是由一个中国人提出的！据记载，这是出自三国时代（即约公元 3 世纪的时候）吴国的赵爽。赵爽为《周髀算经》作注释时，在书中加入了一幅他称为「勾股圆方图」（或「弦图」）的插图，亦即是上面图三的图形了。
证明三
图四
图四一共画出了两个绿色的全等的直角三角形和一个浅*的等腰直角三角形。不难看出，整个图就变成一个梯形。利用梯形面积公式，我们得到∶
1/2(a + b)(b + a) = 2(1/2 ab) + 1/2 c2
展开得 1/2 a2 + ab + 1/2 b2 = ab + 1/2 c2
化简得 a2 + b2 = c2（定理得证）
有一些书本对证明三十分推祟，这是由於这个证明是出自一位美国总统之手！
在 1881 年，加菲（James A. Garfield； 1831 - 1881）当选成为美国第 20 任总统，可惜在当选后 5 个月，就遭行刺身亡。至於勾股定理的有关证明，是他在 1876 年提出的。
我个人觉得证明三并没有甚麼优胜之处，它其实和证明二一样，只不过它将证明二中的图形切开一半罢了！更何况，我不觉得梯形面积公式比正方形面积公式简单！
又，如果从一个老师的角度来看，证明二和证明三都有一个共同的缺点，它就是需要到恒等式 (a ± b)2 = a2 ± 2ab + b2 了。虽然这个恒等式一般都包括在中二的课程之中，但有很多学生都未能完全掌握，由於以上两个证明都使用了它，往往在教学上会出现学生不明白和跟不上等问题。
证明四
(a) (b) (c)
图五
证明四是这样做的：如图五(a)，我们先画一个直角三角形，然后在最短的直角边旁向三角形那一边加上一个正方形，为了清楚起见，以红色表示。又在另一条直角边下面加上另一个正方形，以蓝色表示。接著，以斜边的长度画一个正方形，如图五(b)。我们打算证明红色和蓝色两个正方形面积之和，刚好等於以斜边画出来的正方形面积。
留意在图五(b)中，当加入斜边的正方形后，红色和蓝色有部分的地方超出了斜边正方形的范围。现在我将超出范围的部分分别以*、紫色和绿色表示出来。同时，在斜边正方形内，却有一些部分未曾填上颜色。现在依照图五(c)的方法，将超出范围的三角形，移入未有填色的地方。我们发现，超出范围的部分刚好填满未曾填色的地方！由此我们发现，图五(a)中，红色和蓝色两部分面积之和，必定等於图五(c)中斜边正方形的面积。由此，我们就证实了勾股定理。
这个证明是由三国时代魏国的数学家刘徽所提出的。在魏景元四年（即公元 263 年），刘徽为古籍《九章算术》作注释。在注释中，他画了一幅像图五(b)中的图形来证明勾股定理。由於他在图中以「青出」、「朱出」表示黄、紫、绿三个部分，又以「青入」、「朱入」解释如何将斜边正方形的空白部分填满，所以后世数学家都称这图为「青朱入出图」。亦有人用「出入相补」这一词来表示这个证明的原理。
在历史上，以「出入相补」的原理证明勾股定理的，不只刘徽一人，例如在印度、在阿拉伯世界、甚至乎在欧洲，都有出现过类似的证明，只不过他们所绘的图，在外表上，或许会和刘徽的图有些少分别。下面的图六，就是将图五(b)和图五(c)两图结合出来的。留意我经已将小正方形重新画在三角形的外面。看一看图六，我们曾经见过类似的图形吗？
图六
其实图六不就是图一吗？它只不过是将图一从另一个角度画出罢了。当然，当中分割正方形的方法就有所不同。
顺带一提，证明四比之前的证明有一个很明显的分别，证明四没有计算的部分，整个证明就是单靠移动几块图形而得出。我不知道大家是否接受这些没有任何计算步骤的「证明」，不过，我自己就非常喜欢这些「无字证明」了。
图七
在多种「无字证明」中，我最喜欢的有两个。图七是其中之一。做法是将一条垂直线和一条水平线，将较大直角边的正方形分成 4 分。之后依照图七中的颜色，将两个直角边的正方形填入斜边正方形之中，便可完成定理的证明。
事实上，以类似的「拼图」方式所做的证明非常之多，但在这裏就未有打算将它们一一尽录了。
另一个「无字证明」，可以算是最巧妙和最简单的，方法如下：
证明五
(a) (b)
图八
图八(a)和图二一样，都是在一个大正方形中，放置了4个直角三角形。留意图中浅*部分的面积等於 c2。现在我们将图八(a)中的 4 个直角三角形移位，成为图八(b)。明显，图八(b)中两个浅*正方形的面积之和应该是 a2 + b2。但由於(a)、(b)两图中的大正方形不变，4 个直角三角形亦相等，所以余下两个浅*部的面积亦应该相等，因此我们就得到 a2 + b2 = c2，亦即是证明了勾股定理。
对於这个证明的出处，有很多说法：有人说是出自中国古代的数学书；有人相信当年毕达哥拉斯就是做出了这个证明，因而宰杀了一百头牛来庆祝。总之，我觉得这是众多证明之中，最简单和最快的一个证明了。
不要看轻这个证明，它其实包含著另一个意义，并不是每一个人都容易察觉的。我现在将上面两个图「压扁」，成为图九：
(a) (b)
图九
图九(a)中间的浅*部分是一个平行四边形，它的面积可以用以下算式求得：mn sin(a + b)，其中 m 和 n 分别是两个直角三角形斜边的长度。而图九(b)中的浅*部分是两个长方形，其面积之和是：(m cos a)(n sin b) + (m sin a)(n cos b)。正如上面一样，(a)、(b)两图浅*部分的面积是相等的，所以将两式结合并消去共有的倍数，我们得：sin(a + b) = sin a cos b + sin b cos a，这就是三角学中最重要的复角公式！原来勾股定理和这条复角公式是来自相同的证明的！
在证明二中，当介绍完展开 (a + b)2 的方法之后，我提出了赵爽的「弦图」，这是一个展开 (a - b)2 的方法。而证明五亦有一个相似的情况，在这裏，我们除了一个类似 (a + b) 的「无字证明」外，我们亦有一个类似 (a - b) 的「无字证明」。这方法是由印度数学家婆什迦罗（Bhaskara; 1114 - 1185）提出的，见图十。
(a) (b)
图十
证明六
图十一
图十一中， 我们将中间的直角三角形 ABC 以 CD 分成两部分，其中 Ð C 为直角，D 位於 AB 之上并且 CD ^ AB。设 a = CB，b = AC，c = AB，x = BD，y = AD。留意图中的三个三角形都是互相相似的，并且 D DBC ~ D CBA ~ D DCA，所以
= 和 =
由此得 a2 = cx 和 b2 = cy
将两式结合，得 a2 + b2 = cx + cy = c(x + y) = c2。定理得证。
证明六可以说是很特别的，因为它是本文所有证明中，唯一一个证明没有使用到面积的概念。我相信在一些旧版的教科书中，也曾使用过证明六作为勾股定理的证明。不过由於这个证明需要相似三角形的概念，而且又要将两个三角形翻来覆去，相当复杂，到今天已很少教科书采用，似乎已被人们日渐淡忘了！
可是，如果大家细心地想想，又会发现这个证明其实和证明一（即欧几里得的证明）没有分别！虽然这个证明没有提及面积，但 a2 = cx 其实就是表示 BC 上正方形的面积等於由 AB 和 BD 两边所组成的长方形的面积，这亦即是图一中*的部分。类似地，b2 = cy 亦即是图一中深绿色的部分。由此看来，两个证明都是依据相同的原理做出来的！
证明七
(a) (b) (c)
图十二
在图十二(a)中，我们暂时未知道三个正方形面积之间有甚麼直接的关系，但由於两个相似图形面积之比等於它们对应边之比的平方，而任何正方形都相似，所以我们知道面积 I : 面积 II : 面积 III = a2 : b2 : c2。
不过，细心地想想就会发现，上面的推论中，「正方形」的要求是多余的，其实只要是一个相似的图形，例如图十二(b)中的半圆，或者是图十二(c)中的古怪形状，只要它们互相相似，那麼面积 I : 面积 II : 面积 III 就必等於 a2 : b2 : c2了！
在芸芸众多的相似图形中，最有用的，莫过於与原本三角形相似的直角三角形了。
(a) (b)
图十三
在图十三(a)中，我在中间的直角三角形三边上分别画上三个和中间三角形相似的直角三角形。留意：第 III 部分其实和原本三角形一样大，所以面积亦相等；如果我们从三角形直角的顶点引一条垂直线至斜边，将中间的三角形分成两分，那麼我们会发现图十三(a)的面积 I 刚好等於中间三角形左边的面积，而面积 II 亦刚好等於右边的面积。由图十三(b)可以知道：面积 I + 面积 II = 面积 III。与此同时，由於面积 I : 面积 II : 面积 III = a2 : b2 : c2，所以 a2 + b2 = c2。
七个证明之中，我认为这一个的布局最为巧妙，所用的数学技巧亦精彩。可惜对一个初中学生而言，这个证明就比较难掌握了。
我不太清楚这个证明的出处。我第一次认识这个证明，是在大学时候，一位同学从图书馆看到这个证明后告诉我的。由於印象深刻，所以到了今天仍依然记忆犹新。
欧几里得《几何原本》的第六卷命题 31 是这样写的：「在直角三角形中，对直角的边上所作的图形等於夹直角边上所作与前图相似且有相似位置的二图形之和。」我估计，相信想出证明七的人，应该曾经参考过这一个命题。
热心网友
时间：2023-10-19 01:56
勾股定理是几何学中的明珠，所以它充满魅力，千百年来，人们对它的证明趋之若鹜，其中有著名的数学家，也有业余数学爱好者，有普通的老百姓，也有尊贵的政要权贵，甚至有国家总统。也许是因为勾股定理既重要又简单，更容易吸引人，才使它成百次地反复被人炒作，反复被人论证。1940年出版过一本名为《毕达哥拉斯命题》的勾股定理的证明专辑，其中收集了367种不同的证明方法。实际上还不止于此，有资料表明，关于勾股定理的证明方法已有500余种，仅我国清末数学家华蘅芳就提供了二十多种精彩的证法。这是任何定理无法比拟的。
在这数百种证明方法中，有的十分精彩，有的十分简洁，有的因为证明者身份的特殊而非常著名。
首先介绍勾股定理的两个最为精彩的证明，据说分别来源于中国和希腊。
1．中国方法
画两个边长为(a+b)的正方形，如图，其中a、b为直角边，c为斜边。这两个正方形全等，故面积相等。
左图与右图各有四个与原直角三角形全等的三角形，左右四个三角形面积之和必相等。从左右两图中都把四个三角形去掉，图形剩下部分的面积必相等。左图剩下两个正方形，分别以a、b为边。右图剩下以c为边的正方形。于是
a2+b2=c2。
这就是我们几何教科书中所介绍的方法。既直观又简单，任何人都看得懂。
2．希腊方法
直接在直角三角形三边上画正方形，如图。
容易看出，
△ABA’ ≌△AA’’ C。
过C向A’’B’’引垂线，交AB于C’，交A’’B’’于C’’。
△ABA’与正方形ACDA’同底等高,前者面积为后者面积的一半，△AA’’C与矩形AA’’C’’C’同底等高，前者的面积也是后者的一半。由△ABA’≌△AA’’C，知正方形ACDA’的面积等于矩形AA’’C’’C’的面积。同理可得正方形BB’EC的面积等于矩形B’’BC’C’’的面积。
于是，
S正方形AA’’B’’B=S正方形ACDA’+S正方形BB’EC，
即 a2+b2=c2。
至于三角形面积是同底等高的矩形面积之半，则可用割补法得到（请读者自己证明）。这里只用到简单的面积关系，不涉及三角形和矩形的面积公式。
这就是希腊古代数学家欧几里得在其《几何原本》中的证法。
以上两个证明方法之所以精彩，是它们所用到的定理少，都只用到面积的两个基本观念：
⑴ 全等形的面积相等；
⑵ 一个图形分割成几部分，各部分面积之和等于原图形的面积。
这是完全可以接受的朴素观念，任何人都能理解。
我国历代数学家关于勾股定理的论证方法有多种，为勾股定理作的图注也不少，其中较早的是赵爽（即赵君卿）在他附于《周髀算经》之中的论文《勾股圆方图注》中的证明。采用的是割补法：
如图，将图中的四个直角三角形涂上朱色，把中间小正方形涂上*，叫做中黄实，以弦为边的正方形称为弦实，然后经过拼补搭配，“令出入相补，各从其类”，他肯定了勾股弦三者的关系是符合勾股定理的。即“勾股各自乘，并之为弦实，开方除之，即弦也”。
赵爽对勾股定理的证明，显示了我国数学家高超的证题思想，较为简明、直观。
西方也有很多学者研究了勾股定理，给出了很多证明方法，其中有文字记载的最早的证明是毕达哥拉斯给出的。据说当他证明了勾股定理以后，欣喜若狂，杀牛百头，以示庆贺。故西方亦称勾股定理为“百牛定理”。遗憾的是，毕达哥拉斯的证明方法早已失传，我们无从知道他的证法。
下面介绍的是美国第二十任总统伽菲尔德对勾股定理的证明。
如图，
S梯形ABCD= (a+b)2
= (a2+2ab+b2)， ①
又S梯形ABCD=S△AED+S△EBC+S△CED
= ab+ ba+ c2
= (2ab+c2)。 ②
比较以上二式，便得
a2+b2=c2。
这一证明由于用了梯形面积公式和三角形面积公式，从而使证明相当简洁。
1876年4月1日，伽菲尔德在《新英格兰教育日志》上发表了他对勾股定理的这一证明。5年后，伽菲尔德就任美国第二十任总统。后来，人们为了纪念他对勾股定理直观、简捷、易懂、明了的证明，就把这一证法称为勾股定理的“总统”证法，这在数学史上被传为佳话。
在学习了相似三角形以后，我们知道在直角三角形中，斜边上的高把这个直角三角形所分成的两个直角三角形与原三角形相似。
如图，Rt△ABC中，∠ACB=90°。作CD⊥BC，垂足为D。则
△BCD∽△BAC，△CAD∽△BAC。
由△BCD∽△BAC可得BC2=BD ? BA， ①
由△CAD∽△BAC可得AC2=AD ? AB。 ②
我们发现，把①、②两式相加可得
BC2+AC2=AB（AD+BD），
而AD+BD=AB，
因此有 BC2+AC2=AB2，这就是
a2+b2=c2。
这也是一种证明勾股定理的方法，而且也很简洁。它利用了相似三角形的知识。
在对勾股定理为数众多的证明中，人们也会犯一些错误。如有人给出了如下证明勾股定理的方法：
设△ABC中，∠C=90°，由余弦定理
c2=a2+b2-2abcosC，
因为∠C=90°，所以cosC=0。所以
a2+b2=c2。
这一证法，看来正确，而且简单，实际上却犯了循环证论的错误。原因是余弦定理的证明来自勾股定理。
人们对勾股定理感兴趣的原因还在于它可以作推广。
欧几里得在他的《几何原本》中给出了勾股定理的推广定理：“直角三角形斜边上的一个直边形，其面积为两直角边上两个与之相似的直边形面积之和”。
从上面这一定理可以推出下面的定理：“以直角三角形的三边为直径作圆，则以斜边为直径所作圆的面积等于以两直角边为直径所作两圆的面积和”。
勾股定理还可以推广到空间：以直角三角形的三边为对应棱作相似多面体，则斜边上的多面体的表面积等于直角边上两个多面体表面积之和。
若以直角三角形的三边为直径分别作球，则斜边上的球的表面积等于两直角边上所作二球表面积之和。
如此等等。
【附录】
一、【《周髀算经》简介】
《周髀算经》算经十书之一。约成书于公元前二世纪，原名《周髀》，它是我国最古老的天文学著作，主要阐明当时的盖天说和四分历法。唐初规定它为国子监明算科的教材之一，故改名《周髀算经》。《周髀算经》在数学上的主要成就是介绍了勾股定理及其在测量上的应用。原书没有对勾股定理进行证明，其证明是三国时东吴人赵爽在《周髀注》一书的《勾股圆方图注》中给出的。
《周髀算经》使用了相当繁复的分数算法和开平方法。
二、【伽菲尔德证明勾股定理的故事】
1876年一个周末的傍晚，在美国首都华盛顿的郊外，有一位中年人正在散步，欣赏黄昏的美景，他就是当时美国俄亥俄州共和党议员伽菲尔德。他走着走着，突然发现附近的一个小石凳上，有两个小孩正在聚精会神地谈论着什么，时而大声争论，时而小声探讨。由于好奇心驱使，伽菲尔德循声向两个小孩走去，想搞清楚两个小孩到底在干什么。只见一个小男孩正俯着身子用树枝在地上画着一个直角三角形。于是伽菲尔德便问他们在干什么？那个小男孩头也不抬地说：“请问先生，如果直角三角形的两条直角边分别为3和4，那么斜边长为多少呢？”伽菲尔德答道：“是5呀。”小男孩又问道：“如果两条直角边长分别为5和7，那么这个直角三角形的斜边长又是多少？”伽菲尔德不假思索地回答道：“那斜边的平方一定等于5的平方加上7的平方。”小男孩又说：“先生，你能说出其中的道理吗？”伽菲尔德一时语塞，无法解释了，心里很不是滋味。
于是，伽菲尔德不再散步，立即回家，潜心探讨小男孩给他出的难题。他经过反复思考与演算，终于弄清了其中的道理，并给出了简洁的证明方法。
参考资料：转引自：http://tw.ntu.e.cn/ecation/yanjiu/ 中“数学的发现”栏目。图无法转贴，请查看原文。
热心网友
时间：2023-10-19 01:56
热心网友
时间：2023-10-19 01:57
热心网友
时间：2023-10-19 01:57
热心网友
时间：2023-10-19 01:58
周公问：“我听说您对数学非常精通，我想请教一下：天没有梯子可以上去，地也没法用尺子去一段一段丈量，那么怎样才能得到关于天地得到数据呢？”
商高回答说：“数的产生来源于对方和圆这些形体饿认识。其中有一条原理：当直角三角形‘矩’得到的一条直角边‘勾’等于3，另一条直角边‘股’等于4的时候，那么它的斜边‘弦’就必定是5。这个原理是大禹在治水的时候就总结出来的呵。”
从上面所引的这段对话中，我们可以清楚地看到，我国古代的人民早在几千年以前就已经发现并应用勾股定理这一重要懂得数学原理了。稍懂平面几何饿读者都知道，所谓勾股定理，就是指在直角三角形中，两条直角边的平方和等于斜边的平方。如图所示，我们
图1 直角三角形
用勾（a）和股（b）分别表示直角三角形得到两条直角边，用弦（c）来表示斜边，则可得：
勾2+股2=弦2
亦即：
a2+b2=c2
勾股定理在西方被称为毕达哥拉斯定理，相传是古希腊数学家兼哲学家毕达哥拉斯于公元前550年首先发现的。其实，我国古代得到人民对这一数学定理的发现和应用，远比毕达哥拉斯早得多。如果说大禹治水因年代久远而无法确切考证的话，那么周公与商高的对话则可以确定在公元前1100年左右的西周时期，比毕达哥拉斯要早了五百多年。其中所说的勾3股4弦5，正是勾股定理的一个应用特例（32+42=52）。所以现在数学界把它称为勾股定理，应该是非常恰当的。
在稍后一点的《九章算术一书》中，勾股定理得到了更加规范的一般性表达。书中的《勾股章》说；“把勾和股分别自乘，然后把它们的积加起来，再进行开方，便可以得到弦。”把这段话列成算式，即为：
弦=（勾2+股2）(1/2)
亦即：
c=（a2+b2）(1/2)
中国古代的数学家们不仅很早就发现并应用勾股定理，而且很早就尝试对勾股定理作理论的证明。最早对勾股定理进行证明的，是三国时期吴国的数学家赵爽。赵爽创制了一幅“勾股圆方图”，用形数结合得到方法，给出了勾股定理的详细证明。在这幅“勾股圆方图”中，以弦为边长得到正方形ABDE是由4个相等的直角三角形再加上中间的那个小正方形组成的。每个直角三角形的面积为ab/2；中间懂得小正方形边长为b-a，则面积为（b-a）2。于是便可得如下的式子：
4×（ab/2）+（b-a）2=c2
化简后便可得：
a2+b2=c2
亦即：
c=（a2+b2）(1/2)
图2 勾股圆方图
赵爽的这个证明可谓别具匠心，极富创新意识。他用几何图形的截、割、拼、补来证明代数式之间的恒等关系，既具严密性，又具直观性，为中国古代以形证数、形数统一、代数和几何紧密结合、互不可分的独特风格树立了一个典范。以后的数学家大多继承了这一风格并且代有发展。例如稍后一点的刘徽在证明勾股定理时也是用的以形证数的方法，只是具体图形的分合移补略有不同而已。
中国古代数学家们对于勾股定理的发现和证明，在世界数学史上具有独特的贡献和地位。尤其是其中体现出来的“形数统一”的思想方法，更具有科学创新的重大意义。事实上，“形数统一”的思想方法正是数学发展的一个极其重要的条件。正如当代中国数学家吴文俊所说：“在中国的传统数学中，数量关系与空间形式往往是形影不离地并肩发展着的......十七世纪笛卡儿解析几何的发明，正是中国这种传统思想与方法在几百年停顿后的重现与继续。”
勾股定理证明评鉴
作者：梁子杰
勾股定理（又叫「毕氏定理」）说：「在一个直角三角形中，斜边边长的平方等於两条直角边边长平方之和。」据考证，人类对这条定理的认识，少说也超过 4000 年！又据记载，现时世上一共有超过 300 个对这定理的证明！
我觉得，证明多，固然是表示这个定理十分重要，因而有很多人对它作出研究；但证明多，同时令人眼花缭乱，亦未能够一针见血地反映出定理本身和证明中的数学意义。故此，我在这篇文章中，为大家选出了 7 个我认为重要的证明，和大家一起分析和欣赏这些证明的特色，与及认识它们的历史背境。
证明一
图一
在图一中，D ABC 为一直角三角形，其中 Ð A 为直角。我们在边 AB、BC 和 AC 之上分别画上三个正方形 ABFG、BCED 和 ACKH。过 A 点画一直线 AL 使其垂直於 DE 并交 DE 於 L，交 BC 於 M。不难证明，D FBC 全等於 D ABD（S.A.S.）。所以正方形 ABFG 的面积 = 2 ´ D FBC 的面积 = 2 ´ D ABD 的面积 = 长方形 BMLD 的面积。类似地，正方形 ACKH 的面积 = 长方形 MCEL 的面积。即正方形 BCED 的面积 = 正方形 ABFG 的面积 + 正方形 ACKH 的面积，亦即是 AB2 + AC2 = BC2。由此证实了勾股定理。
这个证明巧妙地运用了全等三角形和三角形面积与长方形面积的关系来进行。不单如此，它更具体地解释了，「两条直角边边长平方之和」的几何意义，这就是以 ML 将正方形分成 BMLD 和 MCEL 的两个部分！
这个证明的另一个重要意义，是在於它的出处。这个证明是出自古希腊大数学欧几里得之手。
欧几里得（Euclid of Alexandria）约生於公元前 325 年，卒於约公元前 265 年。他曾经在古希腊的文化中心亚历山大城工作，并完成了著作《几何原本》。《几何原本》是一部划时代的著作，它收集了过去人类对数学的知识，并利用公理法建立起演绎体系，对后世数学发展产生深远的影响。而书中的第一卷命题 47，就记载著以上的一个对勾股定理的证明。
证明二
图二
图二中，我们将4个大小相同的直角三角形放在一个大正方形之内，留意大正方形中间的浅*部分，亦都是一个正方形。设直角三角形的斜边长度为 c，其余两边的长度为 a 和 b，则由於大正方形的面积应该等於 4 个直角三角形和中间浅*正方形的面积之和，所以我们有
(a + b)2 = 4(1/2 ab) + c2
展开得 a2 + 2ab + b2 = 2ab + c2
化简得 a2 + b2 = c2
由此得知勾股定理成立。
证明二可以算是一个非常直接了当的证明。最有趣的是，如果我们将图中的直角三角形翻转，拼成以下的图三，我们依然可以利用相类似的手法去证明勾股定理，方法如下：
图三
由面积计算可得 c2 = 4(1/2 ab) + (b - a)2
展开得 = 2ab + b2 - 2ab + a2
化简得 c2 = a2 + b2（定理得证）
图三的另一个重要意义是，这证明最先是由一个中国人提出的！据记载，这是出自三国时代（即约公元 3 世纪的时候）吴国的赵爽。赵爽为《周髀算经》作注释时，在书中加入了一幅他称为「勾股圆方图」（或「弦图」）的插图，亦即是上面图三的图形了。
证明三
图四
图四一共画出了两个绿色的全等的直角三角形和一个浅*的等腰直角三角形。不难看出，整个图就变成一个梯形。利用梯形面积公式，我们得到∶
1/2(a + b)(b + a) = 2(1/2 ab) + 1/2 c2
展开得 1/2 a2 + ab + 1/2 b2 = ab + 1/2 c2
化简得 a2 + b2 = c2（定理得证）
有一些书本对证明三十分推祟，这是由於这个证明是出自一位美国总统之手！
在 1881 年，加菲（James A. Garfield； 1831 - 1881）当选成为美国第 20 任总统，可惜在当选后 5 个月，就遭行刺身亡。至於勾股定理的有关证明，是他在 1876 年提出的。
我个人觉得证明三并没有甚麼优胜之处，它其实和证明二一样，只不过它将证明二中的图形切开一半罢了！更何况，我不觉得梯形面积公式比正方形面积公式简单！
又，如果从一个老师的角度来看，证明二和证明三都有一个共同的缺点，它就是需要到恒等式 (a ± b)2 = a2 ± 2ab + b2 了。虽然这个恒等式一般都包括在中二的课程之中，但有很多学生都未能完全掌握，由於以上两个证明都使用了它，往往在教学上会出现学生不明白和跟不上等问题。
证明四
(a) (b) (c)
图五
证明四是这样做的：如图五(a)，我们先画一个直角三角形，然后在最短的直角边旁向三角形那一边加上一个正方形，为了清楚起见，以红色表示。又在另一条直角边下面加上另一个正方形，以蓝色表示。接著，以斜边的长度画一个正方形，如图五(b)。我们打算证明红色和蓝色两个正方形面积之和，刚好等於以斜边画出来的正方形面积。
留意在图五(b)中，当加入斜边的正方形后，红色和蓝色有部分的地方超出了斜边正方形的范围。现在我将超出范围的部分分别以*、紫色和绿色表示出来。同时，在斜边正方形内，却有一些部分未曾填上颜色。现在依照图五(c)的方法，将超出范围的三角形，移入未有填色的地方。我们发现，超出范围的部分刚好填满未曾填色的地方！由此我们发现，图五(a)中，红色和蓝色两部分面积之和，必定等於图五(c)中斜边正方形的面积。由此，我们就证实了勾股定理。
这个证明是由三国时代魏国的数学家刘徽所提出的。在魏景元四年（即公元 263 年），刘徽为古籍《九章算术》作注释。在注释中，他画了一幅像图五(b)中的图形来证明勾股定理。由於他在图中以「青出」、「朱出」表示黄、紫、绿三个部分，又以「青入」、「朱入」解释如何将斜边正方形的空白部分填满，所以后世数学家都称这图为「青朱入出图」。亦有人用「出入相补」这一词来表示这个证明的原理。
在历史上，以「出入相补」的原理证明勾股定理的，不只刘徽一人，例如在印度、在阿拉伯世界、甚至乎在欧洲，都有出现过类似的证明，只不过他们所绘的图，在外表上，或许会和刘徽的图有些少分别。下面的图六，就是将图五(b)和图五(c)两图结合出来的。留意我经已将小正方形重新画在三角形的外面。看一看图六，我们曾经见过类似的图形吗？
图六
其实图六不就是图一吗？它只不过是将图一从另一个角度画出罢了。当然，当中分割正方形的方法就有所不同。
顺带一提，证明四比之前的证明有一个很明显的分别，证明四没有计算的部分，整个证明就是单靠移动几块图形而得出。我不知道大家是否接受这些没有任何计算步骤的「证明」，不过，我自己就非常喜欢这些「无字证明」了。
图七
在多种「无字证明」中，我最喜欢的有两个。图七是其中之一。做法是将一条垂直线和一条水平线，将较大直角边的正方形分成 4 分。之后依照图七中的颜色，将两个直角边的正方形填入斜边正方形之中，便可完成定理的证明。
事实上，以类似的「拼图」方式所做的证明非常之多，但在这裏就未有打算将它们一一尽录了。
另一个「无字证明」，可以算是最巧妙和最简单的，方法如下：
证明五
(a) (b)
图八
图八(a)和图二一样，都是在一个大正方形中，放置了4个直角三角形。留意图中浅*部分的面积等於 c2。现在我们将图八(a)中的 4 个直角三角形移位，成为图八(b)。明显，图八(b)中两个浅*正方形的面积之和应该是 a2 + b2。但由於(a)、(b)两图中的大正方形不变，4 个直角三角形亦相等，所以余下两个浅*部的面积亦应该相等，因此我们就得到 a2 + b2 = c2，亦即是证明了勾股定理。
对於这个证明的出处，有很多说法：有人说是出自中国古代的数学书；有人相信当年毕达哥拉斯就是做出了这个证明，因而宰杀了一百头牛来庆祝。总之，我觉得这是众多证明之中，最简单和最快的一个证明了。
不要看轻这个证明，它其实包含著另一个意义，并不是每一个人都容易察觉的。我现在将上面两个图「压扁」，成为图九：
(a) (b)
图九
图九(a)中间的浅*部分是一个平行四边形，它的面积可以用以下算式求得：mn sin(a + b)，其中 m 和 n 分别是两个直角三角形斜边的长度。而图九(b)中的浅*部分是两个长方形，其面积之和是：(m cos a)(n sin b) + (m sin a)(n cos b)。正如上面一样，(a)、(b)两图浅*部分的面积是相等的，所以将两式结合并消去共有的倍数，我们得：sin(a + b) = sin a cos b + sin b cos a，这就是三角学中最重要的复角公式！原来勾股定理和这条复角公式是来自相同的证明的！
在证明二中，当介绍完展开 (a + b)2 的方法之后，我提出了赵爽的「弦图」，这是一个展开 (a - b)2 的方法。而证明五亦有一个相似的情况，在这裏，我们除了一个类似 (a + b) 的「无字证明」外，我们亦有一个类似 (a - b) 的「无字证明」。这方法是由印度数学家婆什迦罗（Bhaskara; 1114 - 1185）提出的，见图十。
(a) (b)
图十
证明六
图十一
图十一中， 我们将中间的直角三角形 ABC 以 CD 分成两部分，其中 Ð C 为直角，D 位於 AB 之上并且 CD ^ AB。设 a = CB，b = AC，c = AB，x = BD，y = AD。留意图中的三个三角形都是互相相似的，并且 D DBC ~ D CBA ~ D DCA，所以
= 和 =
由此得 a2 = cx 和 b2 = cy
将两式结合，得 a2 + b2 = cx + cy = c(x + y) = c2。定理得证。
证明六可以说是很特别的，因为它是本文所有证明中，唯一一个证明没有使用到面积的概念。我相信在一些旧版的教科书中，也曾使用过证明六作为勾股定理的证明。不过由於这个证明需要相似三角形的概念，而且又要将两个三角形翻来覆去，相当复杂，到今天已很少教科书采用，似乎已被人们日渐淡忘了！
可是，如果大家细心地想想，又会发现这个证明其实和证明一（即欧几里得的证明）没有分别！虽然这个证明没有提及面积，但 a2 = cx 其实就是表示 BC 上正方形的面积等於由 AB 和 BD 两边所组成的长方形的面积，这亦即是图一中*的部分。类似地，b2 = cy 亦即是图一中深绿色的部分。由此看来，两个证明都是依据相同的原理做出来的！
证明七
(a) (b) (c)
图十二
在图十二(a)中，我们暂时未知道三个正方形面积之间有甚麼直接的关系，但由於两个相似图形面积之比等於它们对应边之比的平方，而任何正方形都相似，所以我们知道面积 I : 面积 II : 面积 III = a2 : b2 : c2。
不过，细心地想想就会发现，上面的推论中，「正方形」的要求是多余的，其实只要是一个相似的图形，例如图十二(b)中的半圆，或者是图十二(c)中的古怪形状，只要它们互相相似，那麼面积 I : 面积 II : 面积 III 就必等於 a2 : b2 : c2了！
在芸芸众多的相似图形中，最有用的，莫过於与原本三角形相似的直角三角形了。
(a) (b)
图十三
在图十三(a)中，我在中间的直角三角形三边上分别画上三个和中间三角形相似的直角三角形。留意：第 III 部分其实和原本三角形一样大，所以面积亦相等；如果我们从三角形直角的顶点引一条垂直线至斜边，将中间的三角形分成两分，那麼我们会发现图十三(a)的面积 I 刚好等於中间三角形左边的面积，而面积 II 亦刚好等於右边的面积。由图十三(b)可以知道：面积 I + 面积 II = 面积 III。与此同时，由於面积 I : 面积 II : 面积 III = a2 : b2 : c2，所以 a2 + b2 = c2。
七个证明之中，我认为这一个的布局最为巧妙，所用的数学技巧亦精彩。可惜对一个初中学生而言，这个证明就比较难掌握了。
我不太清楚这个证明的出处。我第一次认识这个证明，是在大学时候，一位同学从图书馆看到这个证明后告诉我的。由於印象深刻，所以到了今天仍依然记忆犹新。
欧几里得《几何原本》的第六卷命题 31 是这样写的：「在直角三角形中，对直角的边上所作的图形等於夹直角边上所作与前图相似且有相似位置的二图形之和。」我估计，相信想出证明七的人，应该曾经参考过这一个命题。
