数学论文——勾股定理的证明方法探究

第一篇：数学论文——勾股定理的证明方法探究

勾股定理的证明方法探究

勾股定理是初等几何中的一个基本定理。所谓勾股定理，就是指在直角三角形中，两条直角边的平方等于斜边的平方。数学公式中常写作：a2 + b2=c2（直角三角形两直角边分别为a，b，斜边为c）。

那么勾股定理是怎么证明的呢？方法很多很多。1940年出版过一本名为《毕达哥拉斯命题》的勾股定理的证明专辑，其中收集了367种不同的证明方法。实际上还不止于此，有资料表明，关于勾股定理的证明方法已有500余种，仅我国清末数学家华蘅芳就提供了二十多种精彩的证法。

在这数百种证明方法中，有的十分精彩，有的十分简洁，有的因为证明者身份的特殊而非常著名。

在国外，尤其在西方，勾股定理通常被称为毕达哥拉斯定理．这是由于，他们认为最早发现直角三角形具有“勾2+股2=弦2（即如上所说：a2 + b2=c2）”这一性质并且最先给出严格证明的是古希腊的数学家毕达哥拉斯（Pythagoras，约公元前580－公元前500）．

实际上，在更早期的人类活动中，人们就已经认识到这一定理的某些特性．除我国在公元前1000多年前发现勾股定理外，据说古埃及人也曾利用“勾三股四弦五”的法则来确定直角．但是，这一传说引起过许多数学史家的怀疑．比如，美国的数学史家M·克莱因教授曾经指出：“我们也不知道埃及人是否认识到毕达哥拉斯定理．我们知道他们有拉绳人，但所传他们在绳上打结，把全长分成长度为3、4、5的三段，然后用来形成直角三角形之说，则从未在任何文件上得到证实．”不过，考古学家们发现了几块大约完成于公元前2000年左右的古巴比伦的泥版书，据专家们考证，其中一块上面刻有如下问题：“一根长度为30个单位的棍子直立在墙上，当其上端滑下6个单位时，请问其下端离开墙角有多远？”这是一个三边为3:4:5三角形的特殊例子；专家们还发现，在另一块版板上面刻着一个奇特的数表，表中共刻有四列十五行数字，这是一个勾股数表：最右边一列为从1到15的序号，而左边三列则分别是股、勾、弦的数值，一共记载着15组勾股数．这说明，勾股定理实际上早已开始在人们的知识土地中“萌芽”了。

因为勾股定理的证明方法太多，不可能全数叙述。所以，我们就来了解一下较简洁、易懂的几种方法。

方法一：课本内的方法

如图所示，S大正方形=S三角形×4+S小正方形。即(a+b)2= 4(1/2ab)+c2，化简后为：a2 + b2=c2。

方法二：

以a,b为直角边（b＞a），以c为斜边作4个全等的直

角三角形，则每个直角三角形的面积为1/2ab。把这4个三角形拼成如图所示的正方形。

∵Rt△DAH≌Rt△ABE

∴∠HDA=∠EAB

∵∠HDA+∠HAD=90°

∴∠HAD+∠EAB=90°

∵ABCD是个边长为c的正方形，面积为c

2又∵∠HEF+∠BEA=180°

∴∠HEF=90°

∴EFGH是一个边长为b-a的正方形，面积为（b-a）2

∴4×1/2ab+（b-a）2=c2

∴a2 + b2=c2

方法三： C

以a、b为直角边，以c为斜边做两个全等的直角三角

形，则每个直角三角形的面积等于1/2ab。把这两个直角三角形拼成如图所示形状，使A,E,B三点在一条直线上。

∵RtEAD≌Rt△CBE

∴∠ADE=∠BEC

∵∠AED+∠ADE=90°

∴∠AED+∠BEC=90°

∴∠DEC=180°—90°=90°

∴△DEC是一个等腰直角三角形，面积为1/2 c

2又∵∠DAE=90°，∠EBC=90°

∴AD∥BC

∴ABCD是个直角梯形，面积为1/2（a+b）2

∴1/2（a+b）2=2×1/2ab+1/2 c2

∴a2 + b2=c2

方法四：

作三个变长分别为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

∵△FAB的面积为1/2a2.△GAD的面积等于矩形ADLM的面积的一半。

∴矩形ADLM的面积为a2，同理可得，矩形MLEB的面积为b2

∵矩形ADLM+矩形MLEB的面积=矩形ADEB的面积

∴a2 + b2=c2

如上列举了的4种方法，都较为简洁、通俗的证明了勾股定理。勾股定理的证明方法仍然在不断增加，探究也在不断深入。

第二篇：勾股定理的证明方法探究

《勾股定理的证明方法探究》

勾股定理又叫毕氏定理：在一个直角三角形中，斜边边长的平方等于两条直角边边长平方之和。

据考证，人类对这条定理的认识，少说也超过 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。

这一证法，看来正确，而且简单，实际上却犯了循环证论的错误。原因是余弦定理的证明来自勾股定理。

人们对勾股定理感兴趣的原因还在于它可以作推广。

欧几里得在他的《几何原本》中给出了勾股定理的推广定理：“直角三角形斜边上的一个直边形，其面积为两直角边上两个与之相似的直边形面积之和”。

从上面这一定理可以推出下面的定理：“以直角三角形的三边为直径作圆，则以斜边为直径所作圆的面积等于以两直角边为直径所作两圆的面积和”。

勾股定理还可以推广到空间：以直角三角形的三边为对应棱作相似多面体，则斜边上的多面体的表面积等于直角边上两个多面体表面积之和。

若以直角三角形的三边为直径分别作球，则斜边上的球的表面积等于两直角边上所作二球表面积之和。

第三篇：勾股定理的证明方法探究

勾股定理的证明方法

勾股定理是初等几何中的一个基本定理。这个定理有十分悠久的历史，两千多年来，人们对勾股定理的证明颇感兴趣，因为这个定理太贴近人们的生活实际，以至于古往今来，下至平民百姓，上至帝王总统都愿意探讨和研究它的证明．下面乃几千年来前人所发现的证明方法。

【证法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节所提出的

第四篇：勾股定理证明方法

勾股定理证明方法

勾股定理的种证明方法(部分)

【证法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，则,∴.【证法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.【证法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在同一直线上，【证法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的面积

∴，即.勾股定理的别名

勾股定理，是几何学中一颗光彩夺目的明珠，被称为“几何学的基石”，而且在高等数学和其他学科中也有着极为广泛的应用。正因为这样，世界上几个文明古国都已发现并且进行了广泛深入的研究，因此有许多名称。

我国是发现和研究勾股定理最古老的国家。我国古代数学家称直角三角形为勾股形，较短的直角边称为勾，另一直角边称为股，斜边称为弦，所以勾股定理也称为勾股弦定理。在公元前1000多年，据记载，商高(约公元前1120年)答周公曰“勾广三，股修四，经隅五”，其意为，在直角三角形中“勾三，股四，弦五”.因此，勾股定理在我国又称“商高定理”.在公元前7至6世纪一中国学者陈子，曾经给出过任意直角三角形的三边关系即“以日下为勾，日高为股，勾、股各乘并开方除之得邪至日。

在法国和比利时，勾股定理又叫“驴桥定理”。还有的国家称勾股定理为“平方定理”。

在陈子后一二百年，希腊的著名数学家毕达哥拉斯发现了这个定理，因此世界上许多国家都称勾股定理为“毕达哥拉斯”定理.为了庆祝这一定理的发现，毕达哥拉斯学派杀了一百头牛酬谢供奉神灵，因此这个定理又有人叫做“百牛定理”.前任美国第二十届总统加菲尔德证明了勾股定理(1876年4月1日)。

证明

这个定理有许多证明的方法，其证明的方法可能是数学众多定理中最多的。路明思(ElishaScottLoomis)的pythagoreanproposition一书中总共提到367种证明方式。

有人会尝试以三角恒等式(例如：正弦和余弦函数的泰勒级数)来证明勾股定理，但是，因为所有的基本三角恒等式都是建基于勾股定理，所以不能作为勾股定理的证明(参见循环论证)。

第五篇：勾股定理证明方法（精选）

勾股定理证明方法

勾股定理是初等几何中的一个基本定理。所谓勾股定理，就是指在直角三角形中，两条直角边的平方和等于斜边的平方。这个定理有十分悠久的历史，几乎所有文明古国（希腊、中国、埃及、巴比伦、印度等）对此定理都有所研究。勾股定理在西方被称为毕达哥拉斯定理，相传是古希腊数学家兼哲学家毕达哥拉斯于公元前550年首先发现的。

中国古代对这一数学定理的发现和应用，远比毕达哥拉斯早得多。中国最早的一部数学著作——《周髀算经》的开头，记载着一段周公向商高请教数学知识的对话：周公问：“我听说您对数学非常精通，我想请教一下：天没有梯子可以上去，地也没法用尺子去一段一段丈量，那么怎样才能得到关于天地得到数据呢？” 商高回答说：“数的产生来源于对方和圆这些形体的认识。其中有一条原理：当直角三角形‘矩'得到的一条直角边‘勾'等于3，另一条直角边’股'等于4的时候，那么它的斜边'弦'就必定是5。这个原理是大禹在治水的时候就总结出来的呵。” 如果说大禹治水因年代久远而无法确切考证的话，那么周公与商高的对话则可以确定在公元前1100年左右的西周时期，比毕达哥拉斯要早了五百多年。其中所说的勾3股4弦5，正是勾股定理的一个应用特例。所以现在数学界把它称为勾股定理是非常恰当的。

在《九章算术》一书中，勾股定理得到了更加规范的一般性表达。书中的《勾股章》说；“把勾和股分别自乘，然后把它们的积加起来，再进行开方，便可以得到弦。”《九章算术》系统地总结了战国、秦、汉以来的数学成就，共收集了246个数学的应用问题和各个问题的解法，列为九章，可能是所有中国数学著作中影响最大的一部。

中国古代的数学家们最早对勾股定理进行证明的，是三国时期吴国的数学家赵爽。赵爽创制了一幅“勾股圆方图”，用形数结合得到方法，给出了勾股定理的详细证明。

上中间的那个小正方形组成的。

每个直角三角形的面积为ab/2；

中间的小正方形边长为b-a，则面积为（b-a）2。

于是便可得如下的式子：

4×（ab/2）+（b-a）2=c

2化简后便可得： a2+b2=c2

在这幅“勾股圆方图”中，以弦为边长得到正方形ABDE是由4个相等的直角三角形再加

刘徽在证明勾股定理时也是用以形证数的方法，刘徽用了“出入相补法”即剪贴证明法，他把勾股为边的正方形上的某些区域剪下来(出)，移到以弦为边的正方形的空白区域内(入)，结果刚好填满，完全用图解法就解决了问题。

1876年4月1日，伽菲尔德在《新英格兰教育日志》上发表了他对勾股定理的证法。1881年，伽菲尔德就任美国第二十任总统后来，人们为了纪念他对勾股定理直观、简捷、易懂、明了的证明，就把这一证法称为“总统”证法

古代数学家们对于勾股定理的发现和证明，在世界数学史上具有独特的贡献和地位。尤其是其中体现出来的“形数统一”的思想方法，更具有科学创新的重大意义。