勾股定理简洁证明

勾股图

最初的证明是分割型的。设a、b为直角三角形的直角边，c为斜边。考虑下图两个边长都是a+b的正方形A、B。将A分成六部分，将B分成五部分。由于八个小直角三角形是全等的，故从等量中减去等量，便可推出：斜边上的正方形等于两个直角边上的正方形之和。这里B中的四边形是边长为c的正方形是因为，直角三角形三个内角和等于两个直角。如上证明方法称为相减全等证法。B图就是我国《周髀算经》中的“弦图”。
下图是H．珀里加尔（Perigal）在1873年给出的证明，它是一种相加全等证法。其实这种证明是重新发现的，因为这种划分方法，labitibn Qorra（826～901）已经知道。（如：右图）下面的一种证法，是H•E•杜登尼（Dudeney）在1917年给出的。用的也是一种相加全等的证法。
如右图所示，边长为b的正方形的面积加上边长为a的正方形的面积，等于边长为c的正方形面积。
下图的证明方法，据说是L•达•芬奇（da Vinci, 1452～1519）设计的，用的是相减全等的证明法。
欧几里得（Euclid）在他的《原本》第一卷的命题47中，给出了勾股定理的一个极其巧妙的证明，如次页上图。由于图形很美，有人称其为“修士的头巾”，也有人称其为“新娘的轿椅”，实在是有趣。华罗庚教授曾建议将此图发往宇宙，和“外星人”去交流。其证明的梗概是：
(AC)2=2△JAB=2△CAD=ADKL。
同理，(BC)2=KEBL
所以
(AC)2+(BC)2=ADKL+KEBL=(BC)2
印度数学家兼天文学家婆什迦罗（Bhaskara，活跃于1150年前后）对勾股定理给出一种奇妙的证明，也是一种分割型的证明。如下图所示，把斜边上的正方形划分为五部分。其中四部分都是与给定的直角三角形全等的三角形；一部分为两直角边之差为边长的小正方形。很容易把这五部分重新拼凑在一起，得到两个直角边上的正方形之和。事实上，
婆什迦罗还给出了下图的一种证法。画出直角三角形斜边上的高，得两对相似三角形，从而有
c/b=b/m，
c/a=a/n,
cm=b2
cn