标题：勾股定理的逆定理
内容
如果三角形两条边的平方和等于第三边的平方，那么这个三角形就是直角三角形。最长边所对的角为直角
勾股定理的逆定理是判断三角形为锐角或钝角的一个简单的方法。若c为最长边，且a^2+b^2=c^2，则△ABC是直角三角形。如果a^2+b^2>c^2，则△ABC是锐角三角形。如果a^2+b^2<c^2，则△ABC是钝角三角形。
证明方法
已知△ABC的三边AB=c，BC=a，CA=b，且满足a^2+b^2=c^2，证明∠C=90°。
证法1：同一法。
证法的思路是做一个直角三角形，然后证明它和已知三角形全等，从而已知三角形也是直角三角形。
构造一个直角三角形A'B'C'，使∠C'=90°，a'=a，b'=b。
那么，根据勾股定理，c'^2=a'^2+b'^2=a^2+b^2=c^2，从而c'=c。
在△ABC和△A'B'C'中，
a=a'
b=b'
c=c'
∴△ABC≌△A'B'C'。
因而，∠C=∠C'=90°。（证毕）
证法2：余弦定理。
由于余弦定理是由勾股定理推出的，故可以用来证明其逆定理而不算循环论证。
根据余弦定理，在△ABC中，cosC=(a^2+b^2-c^2）/2ab。
由于a^2+b^2=c^2，故cosC=0；又因为C小于平角，从而C=90°。（证毕）
证法3：相似三角形。
证法的思路是将已知三角形分割成两块，然后证明它们互补的两角相等，从而这两角都是直角。
在AB边上截取点D使∠DCB=∠A。
在△CDB与△ACB中，∠B=∠B，
∠DCB=∠A，
∴△CDB∽△ACB（两角对应相等）。
∴BC/BA=BD/BC，从而BD=a^2/c。又由CD/AC=CB/AB知，CD=ab/c。
另一方面，AD=AB-BD=c-a^2/c=b^2/c（因为c^2=a^2+b^2），
在△ACD与△CBD中，
DC/AD=(ab/c) / (b^2/c)=a/b,
BC/AC=a/b,
BD/CD=(a^2/c) / (ab/c)=a/b,
∴△ACD∽△CBD（三边对应成比例）。
∴∠BDC=∠CDA。
而∠BDC+∠CDA=180°，故∠BDC=∠CDA=90°。
由于∠ACB=∠CDB，所以∠ACB90°。（证毕）
要进行实际应用，那样就事半功倍
【证法4】（梅文鼎证明）
做四个全等的直角三角形，设它们的两条直角边长分别为a、b ，斜边长为c. 把它们拼成如图那样的一个多边形，使D、E、F在一条直线上. 过C作AC的延长线交DF于点P. 
∵ D、E、F在一条直线上，且RtΔGEF ≌ RtΔEBD,
∴ ∠EGF = ∠BED，
∵ ∠EGF + ∠GEF = 90°，
∴ ∠BED + ∠GEF = 90°，
∴ ∠BEG =180°―90°= 90°
又∵ AB = BE = EG = GA = c，
∴ ABEG是一个边长为c的正方形. 
∴ ∠ABC + ∠CBE = 90°
∵ RtΔABC ≌ RtΔEBD,
∴ ∠ABC = ∠EBD.
∴ ∠EBD + ∠CBE = 90° 
即 ∠CBD= 90°
又∵ ∠BDE = 90°，∠BCP = 90°，
BC = BD = a.
∴ BDPC是一个边长为a的正方形.
同理，HPFG是一个边长为b的正方形.
设多边形GHCBE的面积为S，则
，
∴ .
【证法5】（赵浩杰证明）
做两个全等的直角三角形，设它们的两条直角边长分别为a、b（b>a） ，斜边长为c. 再做一个边长为c的正方形. 把它们拼成如图所示的多边形.
分别以CF，AE为边长做正方形FCJI和AEIG，
∵EF=DF-DE=b-a，EI=b，
∴FI=a，
∴G,I,J在同一直线上，
∵CJ=CF=a，CB=CD=c，
∠CJB = ∠CFD = 90°，
∴RtΔCJB ≌ RtΔCFD ，
同理，RtΔABG ≌ RtΔADE，
∴RtΔCJB ≌ RtΔCFD ≌ RtΔABG ≌ RtΔADE
∴∠ABG = ∠BCJ,
∵∠BCJ +∠CBJ= 90°，
∴∠ABG +∠CBJ= 90°，
∵∠ABC= 90°，
∴G,B,I,J在同一直线上，
【证法6】（欧几里德证明）
做三个边长分别为a、b、c的正方形，把它们拼成如图所示形状，使H、C、B三点在一条直线上，连结
BF、CD. 过C作CL⊥DE，
交AB于点M，交DE于点L. 
∵ AF = AC，AB = AD，
∠FAB = ∠GAD，
∴ ΔFAB ≌ ΔGAD，
∵ ΔFAB的面积等于，
ΔGAD的面积等于矩形ADLM
的面积的一半，
∴ 矩形ADLM的面积 =.
同理可证，矩形MLEB的面积 =.
∵ 正方形ADEB的面积 
= 矩形ADLM的面积 + 矩形MLEB的面积
∴ 即a的平方+b的平方=c的平方
【证法7】欧几里得的证法
【证法8】（副校长证法）
已知在△ABC中，a2+b2=c2，求证∠C=90°
证明：作AH⊥BC于H
⑴若∠C为锐角，设BH=y,AH=x
得x2+y2=c2，
又∵a2+b2=c2，
∴a2+b2=x2+y2（A）
但a>y,b>x，∴a2+b2>x2+y2（B)
（A）与（B）矛盾，∴∠C不为锐角
⑵若∠C为钝角，设HC=y,AH=x
得a2+b2=c2=x2+（a+y）2=x2+y2+2ay+a2
∵x2+y2=b2，
得a2+b2=a2+b2+2ay
2ay=0
∵a≠0，∴y=0
这与∠C是钝角相矛盾，∴∠C不为钝角
综上所述，∠C必为直角几何原本中的证明在欧几里得的《几何原本》一书中提出勾股定理由以下证明后可成立。设△ABC为一直角三角形，其中A为直角。从A点划一直线至对边，使其垂直于对边上的正方形。此线把对边上的正方形一分为二，其面积分别与其余两个正方形相等。
在正式的证明中，我们需要四个辅助定理如下：
如果两个三角形有两组对应边和这两组边所夹的角相等，则两三角形全等。（SAS定理） 三角形面积是任一同底同高之平行四边形面积的一半。任意一个正方形的面积等于其二边长的乘积。任意一个四方形的面积等于其二边长的乘积（据辅助定理3）。证明的概念为：把上方的两个正方形转换成两个同等面积的平行四边形，再旋转并转换成下方的两个同等面积的长方形。
其证明如下：
设△ABC为一直角三角形，其直角为CAB。其边为BC、AB、和CA，依序绘成四方形CBDE、BAGF和ACIH。画出过点A之BD、CE的平行线。此线将分别与BC和DE直角相交于K、L。分别连接CF、AD，形成两个三角形BCF、BDA。∠CAB和∠BAG都是直角，因此C、A 和 G 都是线性对应的，同理可证B、A和H。∠CBD和∠FBA皆为直角，所以∠ABD等于∠FBC。因为 AB 和 BD 分别等于 FB 和 BC，所以△ABD 必须相等于△FBC。因为 A 与 K 和 L是线性对应的，所以四方形 BDLK 必须二倍面积于△ABD。因为C、A和G有共同线性，所以正方形BAGF必须二倍面积于△FBC。因此四边形 BDLK 必须有相同的面积 BAGF = AB^2。同理可证，四边形 CKLE 必须有相同的面积 ACIH = AC^2。把这两个结果相加， AB^2+ AC^2; = BD×BK + KL×KC 由于BD=KL，BD×BK + KL×KC = BD(BK + KC) = BD×BC 由于CBDE是个正方形，因此AB^2 + AC^2= BC^2。此证明是于欧几里得《几何原本》一书第1.47节所提出的 
勾股定理逆定理的证明方法简介勾股定理是余弦定理的一个特例。这个定理在中国又称为“商高定理”，在外国称为“毕达哥拉斯定理”或者“百牛定理“。（毕达哥拉斯发现了这个定理后，即斩了百头牛作庆祝，因此又称“百牛定理”），法国、比利时人又称这个定理为“驴桥定理”。他们发现勾股定理的时间都比中国晚，中国是最早发现这一几何宝藏的国家。目前初二学生学，教材的证明方法采用赵爽弦图，证明使用青朱出入图。　勾股定理是一个基本的几何定理，它是用代数思想解决几何问题的最重要的工具之一，是数形结合的纽带之一。　直角三角形两直角边的平方和等于斜边的平方。如果用a、b和c分别表示直角三角形的两直角边和斜边，那么a2+b2=c2。勾股定理指出直角三角形两直角边（即“勾”“股”短的为勾，长的为股）边长平方和等于斜边（即“弦”）边长的平方。　也就是说设直角三角形两直角边为a和b，斜边为c，那么 　a的平方+b的平方=c的平方　a2+b2=c2 勾股定理现发现约有500种证明方法，是数学定理中证明方法最多的定理之一。　中国古代著名数学家商高说：“若勾三，股四，则弦五。”它被记录在了《九章算术》中。勾股数组满足勾股定理方程a2+b2=c2；的正整数组（a，b，c）。例如（3，4，5）就是一组勾股数组。　由于方程中含有3个未知数，故勾股数组有无数多组。　勾股数组的通式：　a=M2-N2 　b=2MNc=M^2+N^2 　（M>N,M,N为正整数） 　推广⒈如果将直角三角形的斜边看作二维平面上的向量，将两直角边看作在平面直角坐标系坐标轴上的投影，则可以从另一个角度考察勾股定理的意义。即，向量长度的平方等于它在其所在空间一组正交基上投影长度的平方之和。　2．勾股定理是余弦定理的特殊情况。勾股定理
曲安京：商高、赵爽与刘徽关于勾股定理的证明。刊于《数学传播》20卷， 台湾， 1996年9月第3期， 20-27页。　周髀算经， 文物出版社，1980年3月， 据宋代嘉定六年本影印，1-5页。　陈良佐：周髀算经勾股定理的证明与出入相补原理的关系。刊於《汉学研究》，1989年第7卷第1期， 255-281页。　李国伟：论「周髀算经」“商高曰数之法出于圆方”章。刊於《第二届科学史研讨会汇刊》，台湾， 1991年7月， 227-234页。　李继闵：商高定理辨证。刊於《自然科学史研究》，1993年第12卷第1期，29-41页。
勾股定理
定理如果直角三角形两直角边分别为A，B，斜边为C，那么 A2+B2=C2 　； 即直角三角形两直角边长的平方和等于斜边长的平方。古埃及人用这样的方法画直角
如果三角形的三条边A，B，C满足A2+B2=C2；，还有变形公式：AB=根号（AC2+BC2），如：一条直角边是a，另一条直角边是b，如果a的平方与b的平方和等于斜边c的平方那么这个三角形是直角三角形。（称勾股定理的逆定理）勾股定理的来源毕达哥拉斯树是一个基本的几何定理，传统上认为是由古希腊的毕达哥拉斯所证明。据说毕达哥拉斯证明了这个定理后，即斩了百头牛作庆祝，因此又称“百牛定理”。毕达哥拉斯
在中国，《周髀算经》记载了勾股定理的公式与证明，相传是在商代由商高发现，故又有称之为商高定理；三国时代的赵爽对《周髀算经》内的勾股定理作出了详细注释，又给出了另外一个证明。法国和比利时称为驴桥定理，埃及称为埃及三角形。中国古代把直角三角形中较短的直角边叫做勾，较长的直角边叫做股，斜边叫做弦。　常用勾股数组（3,4,5）；（6,8,10）；（5,12,13）；（8,15,17） ；（7,24,25） 　有关勾股定理书籍 　《数学原理》人民教育出版社 　《探究勾股定理》同济大学出版社 　《优因培教数学》北京大学出版社 　《勾股书籍》 新世纪出版社 　《九章算术一书》 　《优因培揭秘勾股定理》江西教育出版社 　《几何原本》 （原著：欧几里得）人民日报出版社毕达哥拉斯树毕达哥拉斯树是由毕达哥拉斯根据勾股定理所画出来的一个可以无限重复的图形。又因为重复数次后 的形状好似一棵树，所以被称为毕达哥拉斯树。　直角三角形两个直角边平方的和等于斜边的平方。　两个相邻的小正方形面积的和等于相邻的一个大正方形的面积。　利用不等式A2+B2≥2AB可以证明下面的结论：　三个正方形之间的三角形，其面积小于等于大正方形面积的四分之一，大于等于一个小正方形面积的二分之常见的勾股数勾
股
弦
3K
4K
5K
6K
8K
10K
5K
12K
13K
7K
24K
25K
8K
15K
17K
9K
40K
41K
......
......
......
注：3K,4K,5K即3,4,5的同一倍数　勾股数　A=s2-t2 B=2st C=s2+t2 其中s>t，且s，t为正整数。勾、股、弦的比例1：√3：2 （一个锐角为30°的直角三角形） 1：1：√2（等腰直角三角形）
最早应用
从很多泥板记载表明，巴比伦人是世界上最早发现“勾股定理”的，这里只举一例。例如公元前1700年的一块泥板（编号为BM85196）上第九题，大意为“有一根长为5米的木梁（AB）竖直靠在墙上，上端（A）下滑一米至D。问下端（C）离墙根（B）多远？”他们解此题就是用了勾股定理，如图 　设AB=CD=l=5米，BC=a，AD=h=1米，则BD=l-h=5-1米=4米 　∵a=√[l2-（l-h)2]=√[52-（5-1）2]=3米，∴三角形BDC正是以3、4、5为边的勾股三角形。《周髀算经》中勾股定理的公式与证明　《周髀算经》算经十书之一。约成书于公元前二世纪，原名《周髀》，它是中国最古老的天文学著作，主要阐明当时的盖天说和四分历法。唐初规定它为国子监明算科的教材之一，故改名《周髀算经》。　首先，《周髀算经》中明确记载了勾股定理的公式：“若求邪至日者，以日下为句，日高为股，句股各自乘，并而开方除之，得邪至日”（《周髀算经》上卷二） 　而勾股定理的证明呢，就在《周髀算经》上卷一—— 　昔者周公问于商高曰：“窃闻乎大夫善数也，请问昔者包牺立周天历度——夫天可不阶而升，地不可得尺寸而度，请问数安从出？” 　商高曰：“数之法出于圆方，圆出于方，方出于矩，矩出于九九八十一。故折矩，以为句广三，股修四，径隅五。既方之，外半其一矩，环而共盘，得成三四五。两矩共长二十有五，是谓积矩。故禹之所以治天下者，此数之所生也。”　周公对古代伏羲（包牺）构造周天历度的事迹感到不可思议（天不可阶而升，地不可得尺寸而度），就请教商高数学知识从何而来。于是商高以勾股定理的证明为例，解释数学知识的由来。　 《周髀算经》证明步骤
“数之法出于圆方，圆出于方，方出于矩，矩出于九九八十一。”：解释发展脉络——数之法出于圆（圆周率三）方（四方），圆出于方（圆形面积=外接正方形*圆周率/4），方出于矩（正方形源自两边相等的矩），矩出于九九八十一（长乘宽面积计算依自九九乘法表）。　“故折矩①，以为句广三，股修四，径隅五。”：开始做图——选择一个 勾三（圆周率三）、股四（四方） 的矩，矩的两条边终点的连线应为5（径隅五）。　“②既方之，外半其一矩，环而共盘，得成三四五。”：这就是关键的证明过程——以矩的两条边画正方形（勾方、股方），根据矩的弦外面再画一个矩（曲尺，实际上用作直角三角），将“外半其一矩”得到的三角形剪下环绕复制形成一个大正方形，可看到其中有 边长三勾方、边长四股方、边长五弦方 三个正方形。　“两矩共长③二十有五，是谓积矩。”：此为验算——勾方、股方的面积之和，与弦方的面积二十五相等——从图形上来看，大正方形减去四个三角形面积后为弦方，再是 大正方形 减去 右上、左下两个长方形面积后为 勾方股方之和。因三角形为长方形面积的一半，可推出 四个三角形面积 等于 右上、左下两个长方形面积，所以 勾方+股方=弦方。　注意：　① 矩，又称曲尺，L型的木匠工具，由长短两根木条组成的直角。古代“矩”指L型曲尺，“矩形”才是“矩”衍生的长方形。　② “既方之，外半其一矩”此句有争议。清代四库全书版定为“既方其外半之一矩”，而之前版本多为“既方之外半其一矩”。经陈良佐、李国伟、李继闵、曲安京等学者研究，“既方之，外半其一矩”更符合逻辑。　③ 长指的是面积。古代对不同维度的量纲比较，并没有发明新的术语，而统称“长”。赵爽注称：“两矩者， 句股各自乘之实。共长者，并实之数。　由于年代久远，周公弦图失传，传世版本只印了赵爽弦图（造纸术在汉代才发明）。所以某些学者误以为商高没有证明（只是说了一段莫名其妙的话），后来赵爽才给出证明。　其实不然，摘录赵爽注释《周髀算经》时所做的《句股圆方图》——“句股各自乘， 并之为弦实，开方除之即弦。案：弦图又可以句股相乘为朱实二， 倍之为朱实四，以句股之差自相乘为中黄实， 加差实亦成弦实。” 　 赵爽弦图
注意“案”中的“弦图又可以”、“亦成弦实”，“又”“亦”二字表示赵爽认为勾股定理还可以用另一种方法证明，于是他给出了新的证明。　下为赵爽证明—— 　 青朱出入图
三角形为直角三角形，以勾a为边的正方形为朱方，以股b为边的正方形为青方。以盈补虚，将朱方、青方并成弦方。依其面积关系有A2+B2=C2.由于朱方、青方各有一部分在玄方内，那一部分就不动了。　以勾为边的的正方形为朱方，以股为边的正方形为青方。以盈补虚，只要把图中朱方（A2）的I移至I′，青方的Ⅱ移至Ⅱ′，Ⅲ移至Ⅲ′，则刚好拼好一个以弦为边长的正方形（C……2）．由此便可证得a2+b2=c2。
加菲尔德
1876年一个周末的傍晚，在美国首都华盛顿的郊外，有一位中年人正在散步，欣赏黄昏的美景，他就是当时美国俄亥俄州共和党议员加菲尔德。他走着走着，突然发现附近的一个小石凳上，有两个小孩正在聚精会神地谈论着什么，时而大声争论，时而小声探讨。由于好奇心驱使，加菲尔德循声向两个小孩走去，想搞清楚两个小孩到底在干什么。只见一个小男孩正俯着身子用树枝在地上画着一个直角三角形。于是加菲尔德 　便问他们在干什么？那个小男孩头也不抬地说：“请问先生，如果直角三角形的两条直角边分别为3和4，那么斜边长为多少呢？”加菲尔德答道：“是5呀。”小男孩又问道：“如果两条直角边分别为5和7，那么这个直角三角形的斜边长又是多少？”加菲尔德不假思索地回答到：“那斜边的平方一定等于5的平方加上7的平方．”小男孩说：“先生，你能说出其中的道理吗？”加菲尔德一时语塞，无法解释了，心里很不是滋味。加菲尔德不再散步，立即回家，潜心探讨小男孩给他出的难题。他经过反复思考与演算，终于弄清了其中的道理，并给出了简洁的证明方法。　如下：　解：在网格内，以两个直角边为边长的小正方形面积和，等于以斜边为边长的正方形面积。　勾股定理的内容：直角三角形两直角边a、b的平方和等于斜边c的平方， 　a^2+b^2=c^2;　说明：中国古代学者把直角三角形的较短直角边称为“勾”，较长直角边为“股”，斜边称为“弦”，所以把这个定理称为“勾股定理”。勾股定理揭示了直角三角形边之间的关系。　举例：如直角三角形的两个直角边分别为3、4，则斜边c的平方；= a的平方+b的平方=9+16=25即c=5 　则说明斜边为5。
多种证明
这个定理有许多证明的方法，其证明的方法可能是数学众多定理中最多的。路明思（Elisha Scott Loomis）的 Pythagorean Proposition（《毕达哥拉斯命题》）一书中总共提到367种证明方式。　有人会尝试以三角恒等式（例如：正弦和余弦函数的泰勒级数）来证明勾股定理，但是，因为所有的基本三角恒等式都是建基于勾股定理，所以不能作为勾股定理的证明（参见循环论证）。证法1作四个全等的直角三角形，设它们的两条直角边长分别为a、b ，斜边长为c. 把它们拼成如图那样的一个多边形，使D、E、F在一条直线上。过点C作AC的延长线交DF于点P. 　∵ D、E、F在一条直线上， 且RtΔGEF ≌ RtΔEBD， 　∴ ∠EGF = ∠BED， 　∵ ∠EGF + ∠GEF = 90°， 　∴ ∠BED + ∠GEF = 90°， 　∴ ∠BEG =180°―90°= 90° 　又∵ AB = BE = EG = GA = c， 　∴ ABEG是一个边长为c的正方形。　∴ ∠ABC + ∠CBE = 90° 　∵ RtΔABC ≌ RtΔEBD， 　∴ ∠ABC = ∠EBD. 　∴ ∠EBD + ∠CBE = 90° 　即 ∠CBD= 90° 　又∵ ∠BDE = 90°，∠BCP = 90°， 　BC = BD = a. 　∴ BDPC是一个边长为a的正方形。　同理，HPFG是一个边长为b的正方形. 　设多边形GHCBE的面积为S，则 　A2+B2=C2证法2作两个全等的直角三角形，设它们的两条直角边长分别为a、b（b>a） ，斜边长为c. 再做一个边长为c的正方形。把它们拼成如图所示的多边形，使E、A、C三点在一条直线上. 　过点Q作QP∥BC，交AC于点P. 　过点B作BM⊥PQ，垂足为M；再过点 　F作FN⊥PQ，垂足为N. 　∵ ∠BCA = 90°，QP∥BC， 　∴ ∠MPC = 90°， 　∵ BM⊥PQ， 　∴ ∠BMP = 90°， 　∴ BCPM是一个矩形，即∠MBC = 90°。　∵ ∠QBM + ∠MBA = ∠QBA = 90°， 　∠ABC + ∠MBA = ∠MBC = 90°， 　∴ ∠QBM = ∠ABC， 　又∵ ∠BMP = 90°，∠BCA = 90°，BQ = BA = c， 　∴ RtΔBMQ ≌ RtΔBCA. 　同理可证RtΔQNF ≌ RtΔAEF.即A2+B2=C2证法3作两个全等的直角三角形，设它们的两条直角边长分别为a、b（b>a） ，斜边长为c. 再作一个边长为c的正方形。把它们拼成如图所示的多边形. 　分别以CF，AE为边长做正方形FCJI和AEIG， 　∵EF=DF-DE=b-a，EI=b， 　∴FI=a， 　∴G,I,J在同一直线上， 　∵CJ=CF=a，CB=CD=c， 　∠CJB = ∠CFD = 90°， 　∴RtΔCJB ≌ RtΔCFD ， 　同理，RtΔABG ≌ RtΔADE， 　∴RtΔCJB ≌ RtΔCFD ≌ RtΔABG ≌ RtΔADE 　∴∠ABG = ∠BCJ，　∵∠BCJ +∠CBJ= 90°， 　∴∠ABG +∠CBJ= 90°，　∵∠ABC= 90°， 　∴G,B,I,J在同一直线上， 　A2+B2=C2。证法4作三个边长分别为a、b、c的三角形，把它们拼成如图所示形状，使H、C、B三点在一条直线上，连结 　BF、CD. 过C作CL⊥DE， 　交AB于点M，交DE于点L. 　∵ AF = AC，AB = AD， 　∠FAB = ∠GAD， 　∴ ΔFAB ≌ ΔGAD， 　∵ ΔFAB的面积等于， 　ΔGAD的面积等于矩形ADLM 　的面积的一半， 　∴ 矩形ADLM的面积 =. 　同理可证，矩形MLEB的面积 =. 　∵ 正方形ADEB的面积 　= 矩形ADLM的面积 + 矩形MLEB的面积 　∴ 即A2+B2=C2证法5（欧几里得的证法）《几何原本》中的证明 　在欧几里得的《几何原本》一书中提出勾股定理由以下证明后可成立。设△ABC为一直角三角形，其中A为直角。从A点划一直线至对边，使其垂直于对边上的正方形。此线把对边上的正方形一分为二，其面积分别与其余两个正方形相等。　在正式的证明中，我们需要四个辅助定理如下：　如果两个三角形有两组对应边和这两组边所夹的角相等，则两三角形全等。（SAS定理） 三角形面积是任一同底同高之平行四边形面积的一半。任意一个正方形的面积等于其二边长的乘积。任意一个四方形的面积等于其二边长的乘积（据辅助定理3）。证明的概念为：把上方的两个正方形转换成两个同等面积的平行四边形，再旋转并转换成下方的两个同等面积的长方形。　其证明如下：　设△ABC为一直角三角形，其直角为CAB。其边为BC、AB、和CA，依序绘成四方形CBDE、BAGF和ACIH。画出过点A之BD、CE的平行线。此线将分别与BC和DE直角相交于K、L。分别连接CF、AD，形成两个三角形BCF、BDA。∠CAB和∠BAG都是直角，因此C、A 和 G 都是线性对应的，同理可证B、A和H。∠CBD和∠FBA皆为直角，所以∠ABD等于∠FBC。因为 AB 和 BD 分别等于 FB 和 BC，所以△ABD 必须相等于△FBC。因为 A 与 K 和 L是线性对应的，所以四方形 BDLK 必须二倍面积于△ABD。因为C、A和G有共同线性，所以正方形BAGF必须二倍面积于△FBC。因此四边形 BDLK 必须有相同的面积 BAGF = AB&sup2；。同理可证，四边形 CKLE 必须有相同的面积 ACIH = AC2；。把这两个结果相加， AB2;+ AC2;; = BD×BK + KL×KC。由于BD=KL，BD×BK + KL×KC = BD(BK + KC) = BD×BC 由于CBDE是个正方形，因此AB2;+ AC2;= BC2；。此证明是于欧几里得《几何原本》一书第1.47节所提出的证法6（欧几里德（Euclid）射影定理证法）如图1，Rt△ABC中，∠ABC=90°，BD是斜边AC上的高 　通过证明三角形相似则有射影定理如下：　⑴（BD）2;=AD·DC， 　⑵（AB）2;=AD·AC ， 　⑶（BC）2;=CD·AC。　由公式⑵+⑶得：（AB）2;+（BC）2;=AD·AC+CD·AC =（AD+CD）·AC=（AC）2；， 　图1即 （AB）2;+（BC）2;=（AC）2，这就是勾股定理的结论。　 图1证法七（赵爽弦图）在这幅“勾股圆方图”中，以弦为边长得到正方形ABDE是由4个相等的直角三角形再加上中间的那个小正方形组成的。每个直角三角形的面积为ab/2；中间懂得小正方形边长为b-a，则面积为（b-a）2。于是便可得如下的式子：　4×（ab/2）+（b-a）2;=c2；　 　化简后便可得：a2;+b2;=c2; 　亦即：c=(a2;+b2;)1/2 　勾股定理的别名 勾股定理，是几何学中一颗光彩夺目的明珠，被称为“几何学的基石”，而且在高等数学和其他学科中也有着极为广泛的应用。正因为这样，世界上几个文明古国都已发现并且进行了广泛深入的研究，因此有许多名称。　中国是发现和研究勾股定理最古老的国家之一。中国古代数学家称直角三角形为勾股形，较短的直角边称为勾，另一直角边称为股，斜边称为弦，所以勾股定理也称为勾股弦定理。在公元前1000多年，据记载，商高（约公元前1120年）答周公曰“故折矩，以为句广三，股修四，径隅五。既方之，外半其一矩，环而共盘，得成三四五。两矩共长二十有五，是谓积矩。”因此，勾股定理在中国又称“商高定理”。在公元前7至6世纪一中国学者陈子，曾经给出过任意直角三角形的三边关系即“以日下为勾，日高为股，勾、股各乘并开方除之得邪至日。　在法国和比利时，勾股定理又叫“驴桥定理”。还有的国家称勾股定理为“平方定理”。　在陈子后一二百年，希腊的著名数学家毕达哥拉斯发现了这个定理，因此世界上许多国家都称勾股定理为“毕达哥拉斯”定理。为了庆祝这一定理的发现，毕达哥拉斯学派杀了一百头牛酬谢供奉神灵，因此这个定理又有人叫做“百牛定理”． 　前任美国第二十届总统伽菲尔德证明了勾股定理（1876年4月1日）。　1 周髀算经， 文物出版社，1980年3月， 据宋代嘉定六年本影印，1-5页。　2. 陈良佐：周髀算经勾股定理的证明与出入相补原理的关系。刊於《汉学研究》， 1989年第7卷第1期，255-281页。　3. 李国伟： 论「周髀算经」“商高曰数之法出于圆方”章。刊於《第二届科学史研讨会汇刊》， 台湾，1991年7月， 227-234页。　4. 李继闵：商高定理辨证。刊於《自然科学史研究》，1993年第12卷第1期，29-41页。　5. 曲安京： 商高、赵爽与刘徽关於勾股定理的证明。刊於《数学传播》20卷， 台湾，1996年9月第3期， 20-27页证法8（达芬奇的证法）达芬奇的证法
三张纸片其实是同一张纸，把它撕开重新拼凑之后，中间那个“洞”的面积前后仍然是一样的，但是面积的表达式却不再相同，让这两个形式不同的表达式相等，就能得出一个新的关系式——勾股定理，所有勾股定理的证明方法都有这么个共同点。观察纸片一，因为要证的是勾股定理，那么容易知道EB⊥CF，又因为纸片的两边是对称的，所以能够知道四边形ABOF和CDEO都是正方形。然后需要知道的是角A'和角D'都是直角，原因嘛，可以看纸片一，连结AD，因为对称的缘故，所以∠BAD=∠FAD=∠CDA=∠EDA=45°，那么很明显，图三中角A'和角D'都是直角。　证明：　第一张中多边形ABCDEF的面积S1=S正方形ABOF+S正方形CDEO+2S△BCO=OF2+OE2+OF·OE 　第三张中多边形A'B'C'D'E'F'的面积S2=S正方形B'C'E'F'+2△C'D'E'=E'F'2+C'D'·D'E' 　因为S1=S2 　所以OF2+OE2+OF·OE=E'F'2+C'D'·D'E' 　又因为C'D'=CD=OE,D'E'=AF=OF 　所以OF2+OE2=E'F'2 　因为E'F'=EF 　所以OF2+OE2=EF2 　勾股定理得证。证法9从这张图可以得到一个矩形和三个三角形，推导公式如下：
b (a + b)= 1/2c2; + ab + 1/2(b + a)(b - a) 　矩形面积 =（中间三角形）+（下方）2个直角三角形+（上方）1个直 　角三角形。　（简化） 2ab + 2b2;= c2; + b2;- a2;+ 2ab 　2b2; - b2;+ a2;= c2; 　a2; + b2;= c2; 　注：根据加菲尔德图进一步得到的图形。
习题答案
将直角三角形ABC绕直角顶点C旋转，使点A落在BC边上的A'，利用阴影部分面积完成勾股定理的证明。∠ACB=90°，BC=a,AC=b,AB=c；求证：a2+b2=c2. 　答案 　证明：作△A'B'C'≌△ABC使点A的对应点A'在BC上，连接AA' 、BB'， 延长B'A'交AB于点M。　∵△A'B'C是由△ABC旋转所得 　∴Rt△ABC≌Rt△A'B'C 　∴∠A'B'C=∠ABC 　延长B'A'交AB于点M 　则∠A'B'C+∠B'A'C=90° 　而∠B'A'C=∠MA'B（对顶角相等） 　∴∠MBA'+MA'B=90° 　∴B'M⊥AB 　∴Rt△ABC∽Rt△A'BM 　∴A'B/AB=A'M/AC 　即（a-b)/c=A'M/b 　∴A'M=(a-b）·b/c 　∴S△ABB'=（1/2）AB·B'M=（1/2）AB·[B'A'+A'M] 　=（1/2）·c·[c+(a-b）·b/c] 　=（1/2）c2+（1/2）（a-b）·b 　=（1/2）[c2+ab-b2] 　S△B'A'B=（1/2）A'B·B'C=（1/2）（a-b)a=（1/2）（a^2-ab) 　而S△ABB=2·S△ABC+S△B'A'B 　∴（1/2）[c2+ab-b2]=2·[（1/2）ab]+（1/2）（a2-ab) 　则c2+ab-b2=2ab+a2-ab 　∴a2+b2=c2.