勾股定理证明的方法-勾股定理五种证法

古人比我们目前智慧，他们也不吃老本，直接搬来“欧几里得”那套硬通货来教人。但那套逻辑，像极了中世纪的机械复制机。古人想把勾股定理证明得更像神话，更像是一种直觉的“顿悟”，便他们把刀锋磨到了极致，把图形剪成了无数细碎。 我想说的是，勾股定理的证法，实际上就是古人为了把两个看似不可辩驳的“事实”，强行拼凑成一个逻辑闭环而造的“童话故事”。 先把那个经典的“赵爽弦图”拿出来看看。
这图里有个大正方形，边长是 $c$。
这个正方形被拆成了八个全等的直角三角形和一个小正方形。八个三角形围在外面，中间的空洞是个小正方形，边长是 $a$ 减去 $b$ 的那个差值。八个三角形的面积总和，就是 $8 times frac{1}{2}ab = 4ab$。而大正方形的面积，自然是 $c^2$。
这就得出了 $c^2 = 4ab + (a-b)^2$。展开算一算，全是 $a^2+b^2=ab$ 这种废话。
这证明法忒像代数运算了，彻底没体现出“形”的妙处，更像是把周长和面积公式混为一谈。 直到后来的宋代数学家朱世杰，才把图形拉得更细，把角分得更碎。他把大正方形拆成了四个小正方形、四个矩形和四个全等三角形。四个小正方形实际上就是那四个 $a^2$ 和 $b^2$，加起来就是 $2(a^2+b^2)$。中间四个矩形面积是 $4ab$。中间那个大正方形呢？它的边长是 $c$。
什么的，朱世杰的证明法有个致命弱点，就是它没法直接证明 $c^2$ 就等于 $a^2+b^2$，它只能推导出 $4ab$ 加上那四个小正方形加上中间那个小正方形等于总和。
这就像是一个多米诺骨牌，你推倒了中间的，两边才肯倒。它少了那种“一箭双雕”的惊艳感。 到了明清之际，数学家们终于悟出了“割补法”的真正奥义，也就是到了我们常说的“以直代曲”和“消元法”。他们不再知足于静态的分割，而是动态地、贼巧妙地，把图形给“折叠”了。 就拿正方形内接圆来证吧。把一个大正方形铺在纸上，然后往里面画一个内切圆。你会发现圆的半径恰好是正方形边长的一半。
这时候，要是用割补法把四个角落的四个三角形剪下来，贴到圆外面去，刚好能拼成一个小正方形。
这个拼成的新正方形，边长就是原大正方形边长。
这就怪了，如何会变？原来是出于我们把四个三角形给“折叠”了，让它们填补了中间的空白。 这个过程就是“消元”。
原来的图中有两个变量 $a$ 和 $b$，一个未知量 $c$。通过剪拼，两个变量被消掉了，只剩下等式两边一模一样的量。
这时候的等式，就是 $a^2+b^2=c^2$。
这种证明法，不像是代数变形，倒像是把一张纸揉成团，再展开，最终发现背面写着同样的字。 还有一种更硬核的证明，比如利用相似三角形。把一条直角边看作 $a$，另一条看作 $b$，斜边看作 $c$。在两个相似的直角三角形中，让它们共用一条边。把其中一个三角形剪下来，旋转 90 度，拼接到旁边。你会发现，原本省下的那个角，刚好能形成一个直角。
这时候，利用相似比 $frac{a}{b} = frac{b}{c}$，交叉相乘就必然得出 $b^2=ac$。再换一组三角形，交叉相乘得出 $a^2=bc$。把这两个式子加起来，$a^2+b^2=ac+bc=bc+ac=c(a+b)$。
这时候，要是还凑巧那个 $b$ 和 $c$ 的比例关系恰好知足某种特定的几何约束（比如李超那种特殊的结构），就能逼出 $a^2+b^2=c^2$。
这种证明法，充满了寓言色彩，它告诉我们要信任图形的对称性和互补性，而不是死扣定义。 实际上，几何的证明，本质上就是人类的“变形术”。我们一直喜爱用那个最直观、最不好办出错的方式，去解释最抽象、最难以捉摸的真理。勾股定理就是最完美的受害者，它被证明成了许多证明的终极目标。 目前的数学界，大多采用解析几何的方式，用坐标和方程去解。但回到古人的视野，他们看到的是那个动态的、可变的、能够无限扭曲的平面。在那样的世界里，没有先验的公理，只有“看起来就成立”的本能。 故此，当你看到 $a^2+b^2=c^2$ 时，不要只把它看作一个代数恒等式。它的背后，是古人无数次在纸上折叠、拼接、旋转，最终拼凑出一个完美正圆的奇迹。
那是中华民族独有的几何浪漫，是我们在冷冰冰的符号学校里缺失的那份温度。真正的理解，往往不在于推导出啥公式，而在于体会到那种图形在变、在动、在最终归于平静的过程。