Question

勾股定理的几种证明方法

图，格式，过程越详细越好，跪谢

Answer 1

【证法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，则
,
∴ BDPC的面积也为S，HPFG的面积也为S由此可推出：a^2+b^2=c^2
【证法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 = °，
∠ABC + ∠MBA = ∠MBC = 90°，
∴ ∠QBM = ∠ABC，
又∵ ∠BMP = 90°，∠BCA = 90°，BQ = BA = c，
∴ RtΔBMQ ≌ RtΔBCA.
同理可证RtΔQNF ≌ RtΔAEF.即a^2+b^2=c^2
【证法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在同一直线上，
所以a^2+b^2=c^2
【证法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的面积
∴ 即a的平方+b的平方=c的平方
【证法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^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节所提出的

Answer 2

梯形面积：S梯形=(a+b)(a+b)/2

               =（a方+b方+2ab）/2

               =a^2/2+b^2/2+ab

∵S梯形=ab/2+ab/2+c^2/2

       =ab+c^2/2

∴a^2/2+b^2/2+ab=ab+c^2/2

两边同乘2得：a平方+b平方+2ab=2ab+c平方

               ∴a平方+b平方=c平方

Answer 3

最早对勾股定理进行证明的，是三国时期吴国的数学家赵爽。赵爽创制了一幅“勾股圆方图”，用形数结合得到方法，给出了勾股定理的详细证明。在这幅“勾股圆方图”中，以弦为边长玫秸叫蜛BDE是由4个相等的直角三角形再加上中间的那个小正方形组成的。每个直角三角形的面积为ab/2；中间懂得小正方形边长为b-a，则面积为（b-a）2。于是便可得如下的式子：
4×（ab/2）+（b-a）2=c2
化简后便可得：
a2+b2=c2
亦即：
c=（a2+b2）(1/2)
http://www.mmit.stc.sh.cn/telecenter/CnHisScience/ggdl.htm
稍后一点的刘徽在证明勾股定理时也是用以形证数的方法，刘徽用了“出入相补法”即剪贴证明法，他把勾股为边的正方形上的某些区域剪下来(出)，移到以弦为边的正方形的空白区域内(入)，结果刚好填满，完全用图解法就解决了问题。
再给出两种
1。做直角三角形的高，然后用相似三角形比例做出。
2。把直角三角形内接于圆。然后扩张做出一矩形。最后用一下托勒密定理。
http://www.glshf.com/kzwy/sxz/lunwenzs/lhx1.htm
这里还有多种证明方法。
参考资料：
http://www.glshf.com/kzwy/sxz/lunwenzs/lhx1.htm

Answer 4

希腊方法
直接在直角三角形三边上画正方形，如图。
容易看出，
△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。
至于三角形面积是同底等高的矩形面积之半，则可用割补法得到（请读者自己证明）。这里只用到简单的面积关系，不涉及三角形和矩形的面积公式。
这就是希腊古代数学家欧几里得在其《几何原本》中的证法。
以上两个证明方法之所以精彩，是它们所用到的定理少，都只用到面积的两个基本观念：
⑴ 全等形的面积相等；
⑵ 一个图形分割成几部分，各部分面积之和等于原图形的面积。
这是完全可以接受的朴素观念，任何人都能理解。

Answer 5