勾股定理又叫商高定理、毕氏定理,或称毕达哥拉斯定理(Pythagoras Theorem).
在一个直角三角形中,斜边边长的平方等于两条直角边边长平方之和。如果直角三角形两直角边分别为a、b,斜边为c,那么a b=c,即α*α b*b=c*c
推广:把指数改为n时,等号变为小于号
据考证,人类对这条定理的认识,少说也超过 4000 年!
中国最早的一部数学著作——《周髀算经》的第一章,就有这条定理的相关内容:周公问:“窃闻乎大夫善数也,请问古者包牺立周天历度。夫天不可阶而升,地不可得尺寸而度,请问数安从出?”商高答:“数之法出于圆方,圆出于方,方出于矩,矩出九九八十一,故折矩以为勾广三,股修四,径隅五。既方其外,半之一矩,环而共盘。得成三、四、五,两矩共长二十有五,是谓积矩。故禹之所以治天下者,此数之所由生也。”就是说,矩形以其对角相折所称的直角三角形,如果勾(短直角边)为3,股(长直角边)为4,那么弦(斜边)必定是5。从上面所引的这段对话中,我们可以清楚地看到,我国古代的人民早在几千年以前就已经发现并应用勾股定理这一重要的数学原理了。
在西方有文字记载的最早的证明是毕达哥拉斯给出的。据说当他证明了勾股定理以后,欣喜若狂,杀牛百头,以示庆贺。故西方亦称勾股定理为“百牛定理”。遗憾的是,毕达哥拉斯的证明方法早已失传,我们无从知道他的证法。
实际上,在更早期的人类活动中,人们就已经认识到这一定理的某些特例。除上述两个例子外,据说古埃及人也曾利用“勾三股四弦五”的法则来确定直角。但是,这一传说引起过许多数学史家的怀疑。比如说,美国的数学史家M·克莱因教授曾经指出:“我们也不知道埃及人是否认识到毕达哥拉斯定理。我们知道他们有拉绳人(测量员),但所传他们在绳上打结,把全长分成长度为3、4、5的三段,然后用来形成直角三角形之说,则从未在任何文件上得证实。”不过,考古学家们发现了几块大约完成于公元前2000年左右的古巴比伦的泥板书,据专家们考证,其中一块上面刻有如下问题:“一根长度为 30个单位的棍子直立在墙上,当其上端滑下6个单位时,请问其下端离开墙角有多远?”这是一个三边为为3:4:5三角形的特殊例子;专家们还发现,在另一块泥板上面刻着一个奇特的数表,表中共刻有四列十五行数字,这是一个勾股数表:最右边一列为从1到15的序号,而左边三列则分别是股、勾、弦的数值,一共记载着15组勾股数。这说明,勾股定理实际上早已进入了人类知识的宝库。
勾股定理是几何学中的明珠,它充满魅力,千百年来,人们对它的证明趋之若鹜,其中有著名的数学家、画家,也有业余数学爱好者,有普通的老百姓,也有尊贵的政要权贵,甚至有国家总统。也许是因为勾股定理既重要又简单又实用,更容易吸引人,才使它成百次地反复被人炒作,反复被人论证。1940年出版过一本名为《毕达哥拉斯命题》的勾股定理的证明专辑,其中收集了367种不同的证明方法。实际上还不止于此,有资料表明,关于勾股定理的证明方法已有500余种,仅我国清末数学家华蘅芳就提供了二十多种精彩的证法。这是任何定理无法比拟的。(※关于勾股定理的详细证明,由于证明过程较为繁杂,不予收录。)
人们对勾股定理感兴趣的原因还在于它可以作推广。
欧几里得在他的《几何原本》中给出了勾股定理的推广定理:“直角三角形斜边上的一个直边形,其面积为两直角边上两个与之相似的直边形面积之和”。
从上面这一定理可以推出下面的定理:“以直角三角形的三边为直径作圆,则以斜边为直径所作圆的面积等于以两直角边为直径所作两圆的面积和”。
勾股定理还可以推广到空间:以直角三角形的三边为对应棱作相似多面体,则斜边上的多面体的表面积等于直角边上两个多面体表面积之和。
若以直角三角形的三边为直径分别作球,则斜边上的球的表面积等于两直角边上所作二球表面积之和。
如此等等。
具体如下：
勾股定理，是一个基本的几何定理，指直角三角形的两条直角边的平方和等于斜边的平方。中国古代称直角三角形为勾股形，并且直角边中较小者为勾，另一长直角边为股，斜边为弦，所以称这个定理为勾股定理，也有人称商高定理。
勾股定理现约有500种证明方法，是数学定理中证明方法最多的定理之一。勾股定理是人类早期发现并证明的重要数学定理之一，用代数思想解决几何问题的最重要的工具之一，也是数形结合的纽带之一。
在中国，周朝时期的商高提出了“勾三股四弦五”的勾股定理的特例。在西方，最早提出并证明此定理的为公元前6世纪古希腊的毕达哥拉斯学派，他们用演绎法证明了直角三角形斜边平方等于两直角边平方之和。
公元前十一世纪，数学家商高（西周初年人）就提出“勾三、股四、弦五”。编写于公元前一世纪以前的《周髀算经》中记录着商高与周公的一段对话。商高说：“……故折矩，勾广三，股修四，经隅五。”意为：当直角三角形的两条直角边分别为3（勾）和4（股）时，径隅（弦）则为5。以后人们就简单地把这个事实说成“勾三股四弦五”，根据该典故称勾股定理为商高定理。
公元三世纪，三国时代的赵爽对《周髀算经》内的勾股定理作出了详细注释，记录于《九章算术》中“勾股各自乘，并而开方除之，即弦”，赵爽创制了一幅“勾股圆方图”，用数形结合得到方法，给出了勾股定理的详细证明。后刘徽在刘徽注中亦证明了勾股定理。
勾股定理又叫毕氏定理：在一个直角三角形中，斜边边长的平方等於两条直角边边长平方之和。据考证，人类对这条定理的认识，少说也超过 4000 年！又据记载，现时世上一共有超过 300 个对这定理的证明！ 勾股定理是几何学中的明珠，所以它充满魅力，千百年来，人们对它的证明趋之若鹜，其中有著名的数学家，也有业余数学爱好者，有普通的老百姓，也有尊贵的政要权贵，甚至有国家总统。也许是因为勾股定理既重要又简单，更容易吸引人，才使它成百次地反复被人炒作，反复被人论证。1940年出版过一本名为《毕达哥拉斯命题》的勾股定理的证明专辑，其中收集了367种不同的证明方法。实际上还不止于此，有资料表明，关于勾股定理的证明方法已有500余种，仅我国清末数学家华蘅芳就提供了二十多种精彩的证法。这是任何定理无法比拟的。
勾股定理的证明：在这数百种证明方法中，有的十分精彩，有的十分简洁，有的因为证明者身份的特殊而非常著名。
首先介绍勾股定理的两个最为精彩的证明，据说分别来源于中国和希腊。
1．中国方法：画两个边长为(a+b)的正方形，，其中a、b为直角边，c为斜边。这两个正方形全等，故面积相等。
左图与右图各有四个与原直角三角形全等的三角形，左右四个三角形面积之和必相等。从左右两图中都把四个三角形去掉，图形剩下部分的面积必相等。左图剩下两个正方形，分别以a、b为边。右图剩下以c为边的正方形。于是
a^2+b^2=c^2。
这就是我们几何教科书中所介绍的方法。既直观又简单，任何人都看得懂。
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。
这一证法，看来正确，而且简单，实际上却犯了循环证论的错误。原因是余弦定理的证明来自勾股定理。
人们对勾股定理感兴趣的原因还在于它可以作推广。
欧几里得在他的《几何原本》中给出了勾股定理的推广定理：“直角三角形斜边上的一个直边形，其面积为两直角边上两个与之相似的直边形面积之和”。
从上面这一定理可以推出下面的定理：“以直角三角形的三边为直径作圆，则以斜边为直径所作圆的面积等于以两直角边为直径所作两圆的面积和”。
勾股定理还可以推广到空间：以直角三角形的三边为对应棱作相似多面体，则斜边上的多面体的表面积等于直角边上两个多面体表面积之和。
若以直角三角形的三边为直径分别作球，则斜边上的球的表面积等于两直角边上所作二球表面积之和。
如此等等。
