【www.guakaob.com--高考励志】
在中国，《周髀算经》记载了勾股定理的公式与证明，相传是在商代由商高发现，故又有称之为商高定理；三国时代的赵爽对《周髀算经》内的勾股定理作出了详细注释，又给出了另外一个证明[2]。埃及称为埃及三角形。
实际上，早在毕达哥拉斯之前，许多民族已经发现了这个事实，而且巴比伦、埃及、中国、印度等的发现都有真凭实据，有案可查。相反，毕达哥拉斯的著作却什么也没有留传下来，关于他的种种传说都是后人辗转传播的。可以说真伪难辨。这个现象的确不太公平，其所以这样，是因为现代的数学和科学来源于西方，而西方的数学及科学又来源于古希腊，古希腊流传下来的最古老的著作是欧几里得的《几何原本》，而其中许多定理再往前追溯，自然就落在毕达哥拉斯的头上。他常常被推崇为“数论的始祖”，而在他之前的泰勒斯被称为“几何的始祖”，西方的科学史一般就上溯到此为止了。至于希腊科学的起源只是近一二百年才有更深入的研究。因此，毕达哥拉斯定理这个名称一时半会儿改不了。不过，在中国，因为我们的老祖宗也研究过这个问题，因此称为商高定理，而更普遍地则称为勾股定理。中国古代把直角三角形中较短的直角边叫做勾，较长的直角边叫做股，斜边叫做弦。[3]
(1)勾股定理是联系数学中最基本也是最原始的两个对象——数与形的第一定理。
(2)勾股定理导致不可通约量的发现，从而深刻揭示了数与量的区别，即所谓“无理数"与有理数的差别，这就是所谓第一次数学危机。
(3)勾股定理开始把数学由计算与测量的技术转变为证明与推理的科学。
(4)勾股定理中的公式是第一个不定方程，也是最早得出完整解答的不定方程，它一方面引导到各式各样的不定方程，包括著名的费尔马大定理，另一方面也为不定方程的解题程序树立了一个范式。[3]
有关勾股定理的书籍 这个定理有许多证明的方法，其证明的方法可能是数学众多定理中最多的。路明思（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 + ∠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的正方形。【毕达哥拉斯的ppt排版】
同理，HPFG是一个边长为b的正方形.
设多边形GHCBE的面积为S，则
A2+B2=C2
证法2
作两个全等的直角三角形，设它们的两条直角边长分别为a、b（b>a） ，斜边长为c. 再做一个边长为c的正方形。把它们拼成如图所示的多边形，使E、A、C三点在一条直线上.
过点Q作QP∥BC，交AC于点P.【毕达哥拉斯的ppt排版】
过点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的面积等于，【毕达哥拉斯的ppt排版】
Δ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^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节所提出的
证法6（射影定理）
如图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，这就是勾股定理的结论。
证法7（赵爽弦图）
在这幅“勾股圆方图”中，以弦为边长得到正方形ABDE是由4个相等的直角三角形再加上中间的那个小正方形组成的。每个直角三角形的面积为ab/2；中间懂得小正方形边长为