勾股定理的总统证法及其他证法

证明勾股定理的4种方法2022-01-27勾股定理，是一个基本的几何定理，指直角三角形的两条直角边的平方和等于斜边的平方。

中国古代称直角三角形为勾股形，并且直角边中较小者为勾，另一长直角边为股，斜边为弦，所以称这个定理为勾股定理，也有人称商高定理。

以下是小编整理的证明勾股定理的4种方法，仅供参考，大家一起来看看吧。

证明勾股定理的4种方法勾股定理是一个基本的几何定理，是人类早期发现并证明的重要数学定理之一，用代数思想解决几何问题的最重要的工具之一，也是数形结合的纽带之一。

在中国，《周髀算经》记载了勾股定理的公式与证明，相传是在商代由商高发现，故又有称之为商高定理；三国时代的蒋铭祖对《蒋铭祖算经》内的勾股定理作出了详细注释，又给出了另外一个证明。

“勾三，股四，弦五”是勾股定理的一个最著名的例子。

当整数a,b,c满足a^2;+b^2;=c^2;这个条件时，(a,b,c)叫做勾股数组。

也就是说，设直角三角形两直角边为a和b，斜边为c，那么a^2;+b^2;=c^2;。

在中国数学史中同样源远流长，是中算的重中之重。

《周髀算经》中已有“勾三股四弦五”的记述，赵爽的《周髀算经》中将勾股定理表述为“勾股各自乘，并之，为弦实。

开方除之，即弦。

”勾股定理现发现约有400种证明方法，是数学定理中证明方法最多的'定理之一。

下面我们一起来欣赏其中一些证明方法：方法一：赵爽“弦图”三国时期吴国数学家赵爽在为《周髀算经》作注解时，创制了一幅“勾股圆方图”，也称为“弦图”，这是我国对勾股定理最早的证明。

2002年世界数学家大会在北京召开，这届大会会标的中央图案正是经过艺术处理的“弦图”，标志着中国古代数学成就。

方法二：刘徽“青朱出入图”约公元263年，三国时代魏国的数学家刘徽为古籍《九章算术》作注释时，用“出入相补法”证明了勾股定理。

方法三：欧几里得“公理化证明”希腊数学家欧几里得（Euclid，公元前330～公元前275）在巨著《几何原本》给出一个公理化的证明。

关于“勾股定理”的60种证法1.（面积法证明）1 证法1.1：证明：在直角三角形ABC 中，分别作以AB 、AC 、BC 为边的正方形ABED,正方形ACJI 和正方形BCHG ，连接线段IB 、CD 、AG 、CE 。

过点C 作DE 的垂线CK ，交DE 于点K ，交AB 于点L 。

90,,CAI BAD CAB CADCAB CAD AC AI AD AB ACD AIB∠=∠=∴∠=∠∠=∠==∴∆≅∆线段AI 平行于线段BJ ∴AIB ∆的面积等于AIC ∆ACD AIB ∆≅∆AIC ∴∆的面积等于ACD ∆ 线段AD 平行于线段CK∴矩形ADKL 的面积等于ACD ∆面积的两倍正方形ACJI 的面积等于AIC ∆的两倍，AIC ∆的面积等于ACD ∆ ∴矩形ADKL 的面积等于正方形ACJI 的面积同理，有：矩形BEKL 的面积等于正方形BCHG 的面积。

正方形ABED 的面积等于矩形ADKL 的面积加上矩形BEKL 的面积∴正方形ABED 的面积等于正方形ACJI 的面积与正方形BCHG 的面积之和即222AC BC AB +=.Remark ：此为欧几里得（Euclid,约公元前330年-公元前275年）在几何原本中的证明方法。

2 证法1.2:证明：在上图中，整个正方形的面积为2()a b +，又等于四个直角三角形的面积加上里面的小正方形的面积，等于22ab c +。

因此，22()2a b ab c +=+，此即：222a b c +=。

Remark :此证法据Bretschneider 和Hankel 的推测，为毕达哥拉斯（Pythagoras ，约公元前580～约前500）的证法。

3 证法1.3（总统证明法）如图，三角形ABC 与三角形BDE 完全相等，易证三角形ABE 为等腰直角三角形。

整个直角梯形ACDE 的面积为21()2a b +，又等于两个直角三角形的面积加上等腰直角三角形ABE 的面积，等于212ab c +，故2211()22a b ab c +=+。

勾股定理的十六种证明方法【证法1】（课本的证明）做8个全等的直角三角形，设它们的两条直角边长分别为a 、b ，斜边长为c ，再做三个边长分别为a 、b 、c 的正方形，把它们像上图那样拼成两个正方形.从图上可以看到，这两个正方形的边长都是a + b ，所以面积相等. 即abc ab b a 214214222⨯+=⨯++， 整理得 222c b a =+.【证法2】（邹元治证明）以a 、b 为直角边，以c 为斜边做四个全等的直角三角形，则每个直角三角形的面积等于ab 21.把这四个直角三角形拼成如图所示形状，使A 、E 、B 三点在一条直线上，B 、F 、C 三点在一条直线上，C 、G 、D 三点在一条直线上. ∵ Rt ΔHAE ≌ Rt ΔEBF, ∴ ∠AHE = ∠BEF .∵ ∠AEH + ∠AHE = 90º, ∴ ∠AEH + ∠BEF = 90º. ∴ ∠HEF = 180º―90º= 90º.∴ 四边形EFGH 是一个边长为c 的 正方形. 它的面积等于c 2.∵ Rt ΔGDH ≌ Rt ΔHAE, ∴ ∠HGD = ∠EHA .∵ ∠HGD + ∠GHD = 90º, ∴ ∠EHA + ∠GHD = 90º. 又∵ ∠GHE = 90º,∴ ∠DHA = 90º+ 90º= 180º.∴ ABCD 是一个边长为a + b 的正方形，它的面积等于()2b a +.∴ 222c b a =+. 【证法3】（赵爽证明） 以a 、b 为直角边（b>a ）， 以c 为斜边作四个全等的直角三角形，则每个直角三角形的面积等于ab 21. 把这四个直角三角形拼成如图所示形状.∵ Rt ΔDAH ≌ Rt ΔABE, ∴ ∠HDA = ∠EAB .∵ ∠HAD + ∠HAD = 90º， ∴ ∠EAB + ∠HAD = 90º，∴ ABCD 是一个边长为c 的正方形，它的面积等于c 2. ∵ EF = FG =GH =HE = b ―a , ∠HEF = 90º.∴ EFGH 是一个边长为b ―a 的正方形，它的面积等于()2a b -.∴ ()22214c a b ab =-+⨯.∴ 222c b a =+. 【证法4】（1876年美国总统Garfield 证明）以a 、b 为直角边，以c 为斜边作两个全等的直角三角形，则每个直角三角形的面积等于ab 21. 把这两个直角三角形拼成如图所示形状，使A 、E 、B 三点在一条直线上.∵ Rt ΔEAD ≌ Rt ΔCBE, ∴ ∠ADE = ∠BEC .∵ ∠AED + ∠ADE = 90º,∴ ∠AED + ∠BEC = 90º.∴ ∠DEC = 180º―90º= 90º. ∴ ΔDEC 是一个等腰直角三角形，它的面积等于221c .又∵ ∠DAE = 90º, ∠EBC = 90º,∴ AD ∥BC .∴ ABCD 是一个直角梯形，它的面积等于()221b a +. ∴ ()222121221c ab b a +⨯=+. ∴ 222c b a =+.【证法5】（梅文鼎证明）做四个全等的直角三角形，设它们的两条直角边长分别为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 ，则,21222ab S b a ⨯+=+ abS c 2122⨯+=,∴ 222c b a =+.【证法6】（项明达证明）做两个全等的直角三角形，设它们的两条直角边长分别为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 . 从而将问题转化为【证法4】（梅文鼎证明）.【证法7】（欧几里得证明）做三个边长分别为a 、b 、c 的正方形，把它们拼成如图所示形状，使H 、C 、B 三点在一条直线上，连结BF 、CD . 过C 作CL ⊥DE ，交AB 于点M ，交DE 于点L . ∵ AF = AC ，AB = AD ， ∠FAB = ∠GAD ， ∴ ΔFAB ≌ ΔGAD ， ∵ ΔFAB 的面积等于221aΔGAD 的面积等于矩形ADLM 的面积的一半，∴ 矩形ADLM 的面积 =2a 同理可证，矩形MLEB 的面积 =2b .∵ 正方形ADEB 的面积= 矩形ADLM 的面积 + 矩形MLEB 的面积 ∴ 222b a c += ，即 222c b a =+. 【证法8】（利用相似三角形性质证明）如图，在Rt ΔABC 中，设直角边AC 、BC 的长度分别为a 、b ，斜边AB 的长为c ，过点C 作CD ⊥AB ，垂足是D .在ΔADC 和ΔACB 中，∵ ∠ADC = ∠ACB = 90º，∠CAD = ∠BAC ， ∴ ΔADC ∽ ΔACB .AD ∶AC = AC ∶AB ， 即 AB AD AC •=2.同理可证，ΔCDB ∽ ΔACB ，从而有 AB BD BC •=2. ∴ ()222AB AB DB AD BC AC =•+=+，即 222c b a =+. 【证法9】（杨作玫证明）做两个全等的直角三角形，设它们的两条直角边长分别为a 、b （b>a ），斜边长为c . 再做一个边长为c 的正方形. 把它们拼成如图所示的多边形. 过A 作AF ⊥AC ，AF 交GT 于F ，AF 交DT 于R . 过B 作BP ⊥AF ，垂足为P . 过D 作DE 与CB 的延长线垂直，垂足为E ，DE 交AF 于H .∵ ∠BAD = 90º，∠PAC = 90º，∴ ∠DAH = ∠BAC .又∵ ∠DHA = 90º，∠BCA = 90º， AD = AB = c ， ∴ Rt ΔDHA ≌ Rt ΔBCA .∴ DH = BC = a ，AH = AC = b . 由作法可知， PBCA 是一个矩形， 所以 Rt ΔAPB ≌ Rt ΔBCA . 即PB = CA = b ，AP= a ，从而PH = b ―a .∵ Rt ΔDGT ≌ Rt ΔBCA , Rt ΔDHA ≌ Rt ΔBCA . ∴ Rt ΔDGT ≌ Rt ΔDHA .∴ DH = DG = a ，∠GDT = ∠HDA . 又∵ ∠DGT = 90º，∠DHF = 90º，∠GDH = ∠GDT + ∠TDH = ∠HDA+ ∠TDH = 90º， ∴ DGFH 是一个边长为a 的正方形.∴ GF = FH = a . TF ⊥AF ，TF = GT ―GF = b ―a .∴ TFPB 是一个直角梯形，上底TF=b ―a ，下底BP= b ，高FP=a +（b ―a ）. 用数字表示面积的编号（如图），则以c 为边长的正方形的面积为543212S S S S S c ++++= ①∵()[]()[]a b a a b b S S S -+•-+=++21438 =ab b 212-， 985S S S +=，∴ 824321S ab b S S --=+= 812S S b -- . ②把②代入①，得98812212S S S S b S S c ++--++== 922S S b ++ = 22a b +.∴ 222c b a =+.【证法10】（李锐证明）设直角三角形两直角边的长分别为a 、b （b>a ），斜边的长为c . 做三个边长分别为a 、b 、c 的正方形，把它们拼成如图所示形状，使A 、E 、G 三点在一条直线上. 用数字表示面积的编号（如图）.∵ ∠TBE = ∠ABH = 90º， ∴ ∠TBH = ∠ABE . 又∵ ∠BTH = ∠BEA = 90º， BT = BE = b ， ∴ Rt ΔHBT ≌ Rt ΔABE . ∴ HT = AE = a . ∴ GH = GT ―HT = b ―a .又∵ ∠GHF + ∠BHT = 90º，∠DBC + ∠BHT = ∠TBH + ∠∴ ∠GHF = ∠DBC .∵ DB = EB ―ED = b ―a ， ∠HGF = ∠BDC = 90º，∴ Rt ΔHGF ≌ Rt ΔBDC . 即 27S S =.过Q 作QM ⊥AG ，垂足是M . 由∠BAQ = ∠BEA = 90º，可知 ∠ABE = ∠QAM ，而AB = AQ = c ，所以Rt ΔABE ≌ Rt ΔQAM . 又Rt ΔHBT ≌ Rt ΔABE . 所以Rt ΔHBT ≌ Rt ΔQAM . 即 58S S =.由Rt ΔABE ≌ Rt ΔQAM ，又得QM = AE = a ，∠AQM = ∠BAE .∵ ∠AQM + ∠FQM = 90º，∠BAE + ∠CAR = 90º，∠AQM = ∠BAE ， ∴ ∠FQM = ∠CAR .又∵ ∠QMF = ∠ARC = 90º，QM = AR = a ，∴ Rt ΔQMF ≌ Rt ΔARC . 即64S S =.∵ 543212S S S S S c ++++=，612S S a +=，8732S S S b ++=，又∵ 27S S =，58S S =，64S S =，∴8736122S S S S S b a ++++=+ =52341S S S S S ++++=2c ， 即 222c b a =+.【证法11】（利用切割线定理证明）在Rt ΔABC 中，设直角边BC = a ，AC = b ，斜边AB = c . 如图，以B 为圆心a 为半径作圆，交AB 及AB 的延长线分别于D 、E ，则BD = BE = BC = a . 因为∠BCA = 90º，点C 在⊙B 上，所以AC 是⊙B 的切线. 由切割线定理，得AD AE AC •=2=()()BD AB BE AB -+=()()a c a c -+= 22a c -，即222a c b -=，∴ 222c b a =+.【证法12】在Rt ΔABC 中，设直角边BC = a ，AC = b ，斜边AB = c （如图）. 过点A 作AD ∥CB ，过点B 作BD ∥CA ，则ACBD 为矩形，矩形ACBD 内接于一个圆. 根据多列米定理，圆内接四边形对角线的乘积等于两对边乘积之和，有BD AC BC AD DC AB •+•=•，∵ AB = DC = c ，AD = BC = a ， AC = BD = b ，∴ 222AC BC AB +=，即 222b a c +=，∴ 222c b a =+.【证法13】（作直角三角形的内切圆证明）在Rt ΔABC 中，设直角边BC = a ，AC = b ，斜边AB = c . 作Rt ΔABC 的内切圆⊙O ，切点分别为D 、E 、F （如图），设⊙O 的半径为r .∵ AE = AF ，BF = BD ，CD = CE ，∴ ()()()BF AF CD BD CE AE AB BC AC +-+++=-+= CD CE += r + r = 2r,即 r c b a 2=-+， ∴ c r b a +=+2.∴ ()()222c r b a +=+，即 ()222242c rc r ab b a ++=++，∵ab S ABC 21=∆，∴ ABC S ab ∆=42， 又∵ AOC BOCAOB ABC S S S S ∆∆∆∆++= = br ar cr 212121++ = ()r c b a ++21= ()r c c r ++221= rc r +2，∴()ABC S rc r ∆=+442， ∴ ()ab rc r242=+，∴ 22222c ab ab b a +=++， ∴ 222c b a =+.【证法14】（利用反证法证明）如图，在Rt ΔABC 中，设直角边AC 、BC 的长度分别为a 、b ，斜边AB 的长为c ，过点C 作CD ⊥AB ，垂足是D .假设222c b a ≠+，即假设 222AB BC AC ≠+，则由AB AB AB •=2=()BD AD AB +=BD AB AD AB •+•可知 AD AB AC •≠2，或者 BD AB BC •≠2. 即 AD ：AC ≠AC ：AB ，或者 BD ：BC ≠BC ：AB .在ΔADC 和ΔACB 中，∵ ∠A = ∠A ，∴ 若 AD ：AC ≠AC ：AB ，则∠ADC ≠∠ACB . 在ΔCDB 和ΔACB 中， ∵ ∠B = ∠B ， ∴ 若BD ：BC ≠BC ：AB ，则 ∠CDB ≠∠ACB . 又∵ ∠ACB = 90º，∴ ∠ADC ≠90º，∠CDB ≠90º.这与作法CD ⊥AB 矛盾. 所以，222AB BC AC ≠+的假设不能成立.∴ 222c b a =+.【证法15】（辛卜松证明）设直角三角形两直角边的长分别为a 、b ，斜边的长为c . 作边长是a+b 的正方形ABCD . 把正方形ABCD 划分成上方左图所示的几个部分，则正方形ABCD 的面积为()ab b a ba 2222++=+；把正方形ABCD划分成上方右图所示的几个部分，则正方形ABCD 的面积为 ()22214c ab b a +⨯=+ =22c ab +.∴ 22222c ab ab b a +=++,∴ 222c b a =+.【证法16】（陈杰证明）设直角三角形两直角边的长分别为a 、b （b>a ），斜边的长为c . 做两个边长分别为a 、b 的正方形（b>a ），把它们拼成如图所示形状，使E 、H 、M 三点在一条直线上. 用数字表示面积的编号（如图）. 在EH = b 上截取ED = a ，连结DA 、则 AD = c .∵ EM = EH + HM = b + a , ED = a ∴ DM = EM ―ED = ()a b +―a = b . 又∵ ∠CMD = 90º，CM = a ， ∠AED = 90º， AE = b ， ∴ Rt ΔAED ≌ Rt ΔDMC .∴ ∠EAD = ∠MDC ，DC = AD = c . ∵ ∠ADE + ∠ADC+ ∠MDC =180º，∠ADE + ∠MDC = ∠ADE + ∠EAD = 90º， ∴ ∠ADC = 90º.∴ 作AB ∥DC ，CB ∥DA ，则ABCD 是一个边长为c 的正方形. ∵ ∠BAF + ∠FAD = ∠DAE + ∠FAD = 90º，D∴ ∠BAF=∠DAE .连结FB ，在ΔABF 和ΔADE 中，∵ AB =AD = c ，AE = AF = b ，∠BAF=∠DAE ， ∴ ΔABF ≌ ΔADE .∴ ∠AFB = ∠AED = 90º，BF = DE = a . ∴ 点B 、F 、G 、H 在一条直线上. 在Rt ΔABF 和Rt ΔBCG 中，∵ AB = BC = c ，BF = CG = a ， ∴ Rt ΔABF ≌ Rt ΔBCG .∵ 54322S S S S c +++=， 6212S S S b ++=， 732S S a +=，76451S S S S S +===，∴6217322S S S S S b a ++++=+ =()76132S S S S S ++++=5432S S S S +++=2c ∴ 222c b a =+.。

勾股定理的证明【证法1】（课本的证明）做8个全等的直角三角形，设它们的两条直角边长分别为a 、b ，斜边长为c ，再做三个边长分别为a 、b 、c 的正方形，把它们像上图那样拼成两个正方形.从图上可以看到，这两个正方形的边长都是a + b ，所以面积相等. 即ab c ab b a 214214222⨯+=⨯++， 整理得 222c b a =+.【证法2】（邹元治证明）以a 、b 为直角边，以c 为斜边做四个全等的直角三角形，则每个直角三角形的面积等于ab 21. 把这四个直角三角形拼成如图所示形状，使A 、E 、B 三点在一条直线上，B 、F 、C 三点在一条直线上，C 、G 、D 三点在一条直线上.∵ Rt ΔHAE ≌ Rt ΔEBF ,∴ ∠AHE = ∠BEF .∵ ∠AEH + ∠AHE = 90º, ∴ ∠AEH + ∠BEF = 90º. ∴ ∠HEF = 180º―90º= 90º.∴ 四边形EFGH 是一个边长为c 的正方形. 它的面积等于c 2. ∵ Rt ΔGDH ≌ Rt ΔHAE , ∴ ∠HGD = ∠EHA . ∵ ∠HGD + ∠GHD = 90º, ∴ ∠EHA + ∠GHD = 90º. 又∵ ∠GHE = 90º,∴ ∠DHA = 90º+ 90º= 180º.∴ ABCD 是一个边长为a + b 的正方形，它的面积等于()2b a +.∴()22214c ab b a +⨯=+. ∴ 222c b a =+.【证法3】（赵爽证明） 以a 、b 为直角边（b>a ）， 以c 为斜边作四个全等的直角三角形，则每个直角三角形的面积等于ab 21. 把这四个直角三角形拼成如图所示形状. ∵ Rt ΔDAH ≌ Rt ΔABE,∴ ∠HDA = ∠EAB .∵ ∠HAD + ∠HAD = 90º， ∴ ∠EAB + ∠HAD = 90º， ∴ ABCD 是一个边长为c 的正方形，它的面积等于c 2. ∵ EF = FG =GH =HE = b ―a , ∠HEF = 90º.∴ EFGH 是一个边长为b ―a 的正方形，它的面积等于()2a b -.∴ ()22214c a b ab =-+⨯.∴ 222c b a =+. 【证法4】（1876年美国总统Garfield 证明）以a 、b 为直角边，以c 为斜边作两个全等的直角三角形，则每个直角三角形的面积等于ab21. 把这两个直角三角形拼成如图所示形状，使A 、E 、B 三点在一条直线上.∵ Rt ΔEAD ≌ Rt ΔCBE ,∴ ∠ADE = ∠BEC .∵ ∠AED + ∠ADE = 90º, ∴ ∠AED + ∠BEC = 90º. ∴ ∠D EC = 180º―90º= 90º. ∴ ΔDEC 是一个等腰直角三角形，它的面积等于221c .又∵ ∠DAE = 90º, ∠EBC = 90º, ∴ AD ∥BC .∴ ABCD 是一个直角梯形，它的面积等于()221b a +.∴ ()222121221c ab b a +⨯=+. ∴ 222c b a =+.【证法5】（梅文鼎证明）做四个全等的直角三角形，设它们的两条直角边长分别为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 ，则,21222ab S b a ⨯+=+ab S c 2122⨯+=, ∴ 222c b a =+.【证法6】（项明达证明）做两个全等的直角三角形，设它们的两条直角边长分别为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 . 从而将问题转化为【证法4】（梅文鼎证明）.【证法7】（欧几里得证明）做三个边长分别为a 、b 、c 的正方形，把它们拼成如图所示形状，使H 、C 、B 三点在一条直线上，连结 BF 、CD . 过C 作CL ⊥DE ，交AB 于点M ，交DE 于点L .∵ AF = AC ，AB = AD ， ∠FAB = ∠GAD ， ∴ ΔFAB ≌ ΔGAD ， ∵ ΔFAB 的面积等于221a ， ΔGAD 的面积等于矩形ADLM 的面积的一半，∴ 矩形ADLM 的面积 =2a . 同理可证，矩形MLEB 的面积 =2b .∵ 正方形ADEB 的面积 = 矩形ADLM 的面积 + 矩形MLEB 的面积 ∴ 222b a c += ，即 222c b a =+.【证法8】（利用相似三角形性质证明）如图，在Rt ΔABC 中，设直角边AC 、BC 的长度分别为a 、b ，斜边AB 的长为c ，过点C 作CD ⊥AB ，垂足是D .在ΔADC 和ΔACB 中， ∵ ∠ADC = ∠ACB = 90º， ∠CAD = ∠BAC ， ∴ ΔADC ∽ ΔACB .AD ∶AC = AC ∶AB ，即 AB AD AC ∙=2. 同理可证，ΔCDB ∽ ΔACB ，从而有 AB BD BC ∙=2.∴ ()222AB AB DB AD BC AC =∙+=+，即 222c b a =+.【证法9】（杨作玫证明）做两个全等的直角三角形，设它们的两条直角边长分别为a 、b （b>a ），斜边长为c . 再做一个边长为c 的正方形. 把它们拼成如图所示的多边形. 过A 作AF ⊥AC ，AF 交GT 于F ，AF 交DT 于R . 过B 作BP ⊥AF ，垂足为P . 过D 作DE 与CB 的延长线垂直，垂足为E ，DE 交AF 于H .∵ ∠BAD = 90º，∠P AC = 90º， ∴ ∠DAH = ∠BAC . 又∵ ∠DHA = 90º，∠BCA = 90º， AD = AB = c ，∴ Rt ΔDHA ≌ Rt ΔBCA .∴ DH = BC = a ，AH = AC = b .K由作法可知， PBCA 是一个矩形， 所以 Rt ΔAPB ≌ Rt ΔBCA . 即PB = CA = b ，AP= a ，从而PH = b ―a .∵ Rt ΔDGT ≌ Rt ΔBCA ,Rt ΔDHA ≌ Rt ΔBCA . ∴ Rt ΔDGT ≌ Rt ΔDHA .∴ DH = DG = a ，∠GDT = ∠HDA . 又∵ ∠DGT = 90º，∠DHF = 90º，∠GDH = ∠GDT + ∠TDH = ∠HDA+ ∠TDH = 90º， ∴ DGFH 是一个边长为a 的正方形.∴ GF = FH = a . T F ⊥AF ，TF = GT ―GF = b ―a .∴ TFPB 是一个直角梯形，上底TF=b ―a ，下底BP= b ，高FP=a +（b ―a ）. 用数字表示面积的编号（如图），则以c 为边长的正方形的面积为543212S S S S S c ++++= ①∵()[]()[]a b a a b b S S S -+∙-+=++21438 = ab b 212-， 985S S S +=， ∴824321S ab b S S --=+= 812S S b -- . ②把②代入①，得98812212S S S S b S S c ++--++== 922S S b ++ = 22a b +. ∴ 222c b a =+.【证法10】（李锐证明）设直角三角形两直角边的长分别为a 、b （b>a ），斜边的长为c . 做三个边长分别为a 、b 、c 的正方形，把它们拼成如图所示形状，使A 、E 、G 三点在一条直线上. 用数字表示面积的编号（如图）.∵ ∠TBE = ∠ABH = 90º， ∴ ∠TBH = ∠ABE .又∵ ∠BTH = ∠BEA = 90º，BT = BE = b ，∴ Rt ΔHBT ≌ Rt ΔABE . ∴ HT = AE = a . ∴ GH = GT ―HT = b ―a .又∵ ∠GHF + ∠BHT = 90º，∠DBC + ∠BHT = ∠TBH + ∠∴ ∠GHF = ∠DBC .∵ DB = EB ―ED = b ―a ，∠HGF = ∠BDC = 90º，∴ Rt ΔHGF ≌ Rt ΔBDC . 即 27S S =.过Q 作QM ⊥AG ，垂足是M . 由∠BAQ = ∠BEA = 90º，可知 ∠ABER= ∠QAM ，而AB = AQ = c ，所以Rt ΔABE ≌ Rt ΔQAM . 又Rt ΔHBT ≌ Rt ΔABE . 所以Rt ΔHBT ≌ Rt ΔQAM . 即 58S S =.由Rt ΔABE ≌ Rt ΔQAM ，又得QM = AE = a ，∠AQM = ∠BAE .∵ ∠AQM + ∠FQM = 90º，∠BAE + ∠CAR = 90º，∠AQM = ∠BAE ， ∴ ∠FQM = ∠CAR .又∵ ∠QMF = ∠ARC = 90º，QM = AR = a ， ∴ Rt ΔQMF ≌ Rt ΔARC . 即64S S =.∵ 543212S S S S S c ++++=，612S S a +=，8732S S S b ++=， 又∵ 27S S =，58S S =，64S S =，∴8736122S S S S S b a ++++=+ =52341S S S S S ++++=2c ，即 222c b a =+.【证法11】（利用切割线定理证明）在Rt ΔABC 中，设直角边BC = a ，AC = b ，斜边AB = c . 如图，以B 为圆心a 为半径作圆，交AB 及AB 的延长线分别于D 、E ，则BD = BE = BC = a . 因为∠BCA = 90º，点C 在⊙B 上，所以AC 是⊙B 的切线. 由切割线定理，得AD AE AC ∙=2=()()BD AB BE AB -+ =()()a c a c -+= 22a c -，即222a c b -=， ∴ 222c b a =+.【证法12】（利用多列米定理证明）在Rt ΔABC 中，设直角边BC = a ，AC = b ，斜边AB = c （如图）. 过点A 作AD ∥CB ，过点B 作BD ∥CA ，则ACBD 为矩形，矩形ACBD 内接于一个圆. 根据多列米定理，圆内接四边形对角线的乘积等于两对边乘积之和，有BD AC BC AD DC AB ∙+∙=∙， ∵ AB = DC = c ，AD = BC = a ，AC = BD = b ，∴ 222AC BC AB +=，即 222b a c +=，∴ 222c b a =+.【证法13】（作直角三角形的内切圆证明）在Rt ΔABC 中，设直角边BC = a ，AC = b ，斜边AB = c . 作Rt ΔABC 的内切圆⊙O ，切点分别为D 、E 、F （如图），设⊙O 的半径为r .∵ AE = AF ，BF = BD ，CD = CE ，∴ ()()()BF AF CD BD CE AE AB BC AC +-+++=-+= CD CE += r + r = 2r,即 r c b a 2=-+， ∴ c r b a +=+2.∴ ()()222c r b a +=+，即 ()222242c rc r ab b a ++=++，∵ab S ABC 21=∆，∴ ABC S ab ∆=42，又∵ AO C BO CAO B ABC S S S S ∆∆∆∆++= = brar cr 212121++ = ()r c b a ++21= ()r c c r ++221= rc r +2，∴()ABC S rc r ∆=+442， ∴ ()ab rc r242=+，∴ 22222c ab ab b a +=++， ∴ 222c b a =+. 【证法14】（利用反证法证明）如图，在Rt ΔABC 中，设直角边AC 、BC 的长度分别为a 、b ，斜边AB 的长为c ，过点C 作CD ⊥AB ，垂足是D .假设222c b a ≠+，即假设 222AB BC AC ≠+，则由AB AB AB ∙=2=()BD AD AB +=BD AB AD AB ∙+∙可知 AD AB AC ∙≠2，或者 BD AB BC ∙≠2. 即 AD ：AC ≠AC ：AB ，或者 BD ：BC ≠BC ：AB .在ΔADC 和ΔACB 中， ∵ ∠A = ∠A ， ∴ 若 AD ：AC ≠AC ：AB ，则 ∠ADC ≠∠ACB . 在ΔCDB 和ΔACB 中， ∵ ∠B = ∠B ，∴ 若BD ：BC ≠BC ：AB ，则 ∠CDB ≠∠ACB . 又∵ ∠ACB = 90º，∴ ∠ADC ≠90º，∠CDB ≠90º.这与作法CD ⊥AB 矛盾. 所以，222AB BC AC ≠+的假设不能成立.∴ 222c b a =+.【证法15】（辛卜松证明）E设直角三角形两直角边的长分别为a 、b ，斜边的长为c . 作边长是a+b 的正方形ABCD . 把正方形ABCD 划分成上方左图所示的几个部分，则正方形ABCD的面积为()ab b a b a 2222++=+；把正方形ABCD 划分成上方右图所示的几个部分，则正方形ABCD 的面积为()22214c ab b a +⨯=+ =22c ab +.∴ 22222c ab ab b a +=++,∴ 222c b a =+.【证法16】（陈杰证明）设直角三角形两直角边的长分别为a 、b （b>a ），斜边的长为c . 做两个边长分别为a 、b 的正方形（b>a ），把它们拼成如图所示形状，使E 、H 、M 三点在一条直线上. 用数字表示面积的编号（如图）.在EH = b 上截取ED = a ，连结DA 、DC ，则 AD = c .∵ EM = EH + HM = b + a , ED = a ，∴ DM = EM ―ED = ()a b +―a = b . 又∵ ∠CMD = 90º，CM = a ， ∠AED = 90º， AE = b ，∴ Rt ΔAED ≌ Rt ΔDMC . ∴ ∠EAD = ∠MDC ，DC = AD = c . ∵ ∠ADE + ∠ADC+ ∠MDC =180º， ∠ADE + ∠MDC = ∠ADE + ∠EAD = 90º，∴ ∠ADC = 90º.∴ 作AB ∥DC ，CB ∥DA ，则ABCD 是一个边长为c 的正方形. ∵ ∠BAF + ∠FAD = ∠DAE + ∠FAD = 90º， ∴ ∠BAF=∠DAE .连结FB ，在ΔABF 和ΔADE 中，∵ AB =AD = c ，AE = AF = b ，∠BAF=∠DAE ， ∴ ΔABF ≌ ΔADE .∴ ∠AFB = ∠AED = 90º，BF = DE = a . ∴ 点B 、F 、G 、H 在一条直线上. 在Rt ΔABF 和Rt ΔBCG 中， ∵ AB = BC = c ，BF = CG = a ， ∴ Rt ΔABF ≌ Rt ΔBCG .∵ 54322S S S S c +++=， 6212S S S b ++=， 732S S a +=，D DC M76451S S S S S +===， ∴6217322S S S S S b a ++++=+ =()76132S S S S S ++++=5432S S S S +++=2c ∴ 222c b a =+.勾股定理有367种证明方法，最著名的有5种：梅文鼎证明、项明达证明、赵浩杰证明、欧几里得证明、欧几里得的证法。