勾股定理的100种证明方法-勾股定理百种证明

老认定直角三角形那几根骨头有点硬邦邦的，非得凑成个正方形才能显示它的性格。
那会儿学生时代只知道那个课本上印了百遍的“勾股定理”，认定那是张纸上的墨迹，实际上那是对世界观察到的一个规律。大量人当作只要数字对上了就行，但数学这东西，光有数字可没意思，得有人把它“活”过来。就像庄子说的“天地有大美而不言”，勾股定理就是大自然里一个沉默的大美，它不讲话，但只要你愿意蹲下来看，它就在那里，静静地等着你辨认出它的脸。 最启动总有人问我，这公式到底是不是真理，如何证明都行不通？实际上大量证明方式听起来都挺花哨，像是要用魔法打败魔法，但核心就在那一点：把那个抽象的直角三角形，塞进一个正方形里，看看边长之间的关系。
比如赵爽那个弦图，就像一锅煮得稀烂却热气腾腾的汤，边上的小正方形里全是全等的直角三角形，中间的空隙正好能拼出来个小正方形。
这时候你会发现，小正方形的边长实际上就是 $c$，而周围那大正方形的一边就是 $a+b$。
既然总面积不变，那 $a^2 + b^2$ 和 $(a+b)^2$ 肯定相等。展开算一算，$a^2 + b^2 = a^2 + 2ab + b^2$，两边消掉 $a^2$ 和 $b^2$，剩下的 $0 = 2ab$？不对，肯定哪儿算错了，哦，是中间那个小正方形边长是 $c$，故此应当是 $(a+b)^2 - c^2 = 2ab$。
这个思路别看绕了点弯，但把图看清了自然就明白了，就像把散沙堆成塔，只要堆得稳，重力就塌不下来了。 再看西方人是如何想吧。他们喜爱用相似三角形，专门找那一对“最像”的角。从 $a$ 到 $c$ 的连线，把原大三角切成了两头小的，两头小的和原的大三角一模一样。
这就好比把一张纸条对折了如此多倍，每一折都是一样的形状。
这时候你会发现，小三角的直角边实际上就是 $a$ 和 $b$ 的一局部，而斜边还是 $c$。根据平行线分线段成比例定理，对应边成比例是硬道理。算出来最终一步，$a^2 + b^2 = c^2$ 就顺理成章地跳出来了。
这一步要是没做对，后面所有推导都得重来，故此这个比例关系务必像钉子一样钉死在逻辑链条的末端。 还有些人认定勾股定理是面积守恒，哪位折腾哪位就错。
这实际上是个误解。面积守恒在矩形里是真香，但在直角三角形里，要是你非要算面积，那就要引入高了啥的，要么用海伦公式，那玩意儿比勾股定理还绕。真正的证明者，往往是那些不靠面积，而是靠长度比的。
比如毕达哥拉斯悖论，那个全是圆的拼图，别看画出来像是有漏洞，但逻辑推导要是严谨，也能导出 $a^2 + b^2 = c^2$。
这说明数学有时候有点自相矛盾，但换个角度一拨，矛盾就消亡了。
这就好比放大镜看东西，细节越放大，连线越清楚，那些原本不清楚的界限瞬间就分得清清楚楚。 还有那些用代数坐标法的。给三角形三个顶点分别设个坐标 $A(x_1, y_1)$, $B(x_2, y_2)$, $C(x_3, y_3)$。点到直线的距离公式嘛，那是初中几何还学不中的吧？先算 $xy$ 的乘积，再平方，展开，最终化简。你会发现只需求用到勾股定理的平方形式，连 $xy$ 的乘积都不用管，直接消掉，$a^2 + b^2$ 自然就出来了。
这种方式不用画图，不用管线段长度，全是纯数字游戏。就像下棋，不用管棋子是不是木头做的，只看走一步棋的步数对不对。 有些证明方式有点忒暴力，像是直接暴力破解。
比如把三角形绕着斜边中点旋转 180 度，拼个平行四边形。
这时候你会发现，那剩下的两个小三角形和原来的大三角形全等，并且它们拼在一起，边长关系就一目了然了。
这种旋转对称的思路，在艺术创作里特别常见，把对称的东西拼起来，往往能形成意想不到的美感。数学里也有类似的，比如欧几里得在《几何原本》里讲的那些公理，别看看起来像是定义，但一旦你接纳了这些公理，推导出定理就像水流一样顺。 实际上证明方式千千万，关键在于“转化”。勾股定理本质上是在说直角的存有是如何形成平方和的。
不同的证明，只是换了一种说法。赵爽用的是弦图，勾股数的性质就是弦图；西方的用相似，勾股数的性质就是相似；坐标法是用代数，勾股数的性质就是代数运算。
这就好比你吃三种不同做法的同一道菜，味道可能不一样，但本质都是“咸”。有些学生死磕弦图的计算，认定比勾股数好办，实际上好办算错；有些死磕代数，认定好办精通，计算量却未必小。每种方式都有它的苦和乐，乐在通晓，苦在繁琐。 数学家们后来给勾股定理起了个名字，叫毕达哥拉斯定理，出于他是第一个大力推广的人，但也可能只是出于他名字好记。
实际上哪位都不记得哪位，它是大家的共同发现。就像“相对论”不是哪位发明的，它是两千多年前爱迪生第一次听到“质能等效”这句话时，突然认定“嘿，这玩意儿确实能解释原子”，然后天才地悟出来的。勾股定理也是这样，它不需求哪位来发明，只要你愿意把那个直角三角形塞进正方形，让你数一数，数出来就行。 最终还得提提那些现代证明，比如用微积分。别看微积分是高级工具，但那套逻辑也是严丝合缝的。极限的思想，把无限分割成无限小的片段，再组合成极限状态。当片段无限小的时候，积分算出来，$a^2 + b^2 = c^2$ 就出现了。
这比古代那些几何证明更优美，也更抽象。它告诉我们，数学真理有时候藏在那些“无穷”和“极限”的缝隙里。 故此，别再被那些复杂的证明吓住了。
看到一坨乱七八糟的代数符号，想想赵爽那个弦图，要么西方那个相似三角形，就连想想自己脑子里照样有个直角三角形。
只要那个直角在那里，$a^2 + b^2 = c^2$ 就在那里。
这就像一家人，不管外面风雨多大，只要核心成员还在，家就在。