勾股定理基本四种证明方法-勾股定理四种经典证明

皮亚诺公理下的几何梦 欧几里得的《几何原本》里，勾股定理被描述成了一条“若 C 为直角三角形斜边，A 与 B 为直角边，则 C 必大于 A 且 C 必大于 B"的好办陈述。可当百年后，我也曾试图用那块刚擦干净利落的长方形木板，在纸上画出一个能直接“变”出直角面积的模型时，才惊觉：我们需求的不是课本上那些像镜子一样反射的定理，而是把上帝给的那块神秘的大理石——皮亚诺公理——重新捡起来，坐上了自己的车。 这 Marble 不像教科书里那样挺直腰杆地站着，它更像是一个会呼吸的圆点，被无限地割成无穷小份，又拼凑成无限大的图形。它告诉我们要做的，就是把“无限”拆解成“有限”，再把“有限”拼起来，让那个直角在逻辑的迷宫里自动浮现。 想象一下，我们要从这块 Marble 里挖出一个直角三角形，它的三边分别是 A 和 B，斜边 C。我们起初得给这块 Marble 取个名字，比如叫它 $mathcal{M}$。根据欧几里得的故事，我们得定义 A 和 B 是“线段”，C 是“矩形”，而 $mathcal{M}$ 就是“圆”。当我们在圆上画两个点 A 和 B，把弦 AB 当作直角边时，圆本身就得被视为斜边——要么说，圆是那个最大的直角，而 AB 是它的影子。 我们要动手。把这块 Marble 切成无数个极小的片。
这些片忒密了，密到简直没有缝隙。
然后，我们把这些片一块一块地拼凑起来。
如何拼？我们得用“移动”和“翻折”这两个动作。就像俄罗斯方块里的一块块积木，我们不能把它们往旁边斜着挪，也不能把它们踩扁，只能硬生生地把它们从圆的那头推到圆的另一头。 这一步是关键，也是最费力的。出于圆本身是个圆，要是我们把圆上的点 A 挪到圆上的点 B 去，那 AB 这条线段就变了。一旦 AB 变了，那个直角三角形 ABC 的斜边边框就得跟着动。我们要让斜边边框严格沿着圆的轮廓走，不能穿过圆，也不能在圆外。
这意味着我们务必把圆“压扁”，把它变成一条直线，要么说是把圆“拉伸”成一个最薄实的矩形。 当圆真正变成一条线时，我们切得再细，再细，直到线宽为零，这时候，圆就彻底化作了直线段 AB 加上线段 BC。只不过，为了保持逻辑的“不变性”，我们得把切割的痕跡保留下来。我们在 A 和 B 之间画一个极窄的矩形条，然后在 B 和 C 之间也画一个同样的条，这两个条夹着的是那个细小的直角。 接着，这就是最魔幻的时刻。我们拿着那个含有直角痕跡的矩形条，把它倒过来，翻个身。
原来，A 点还是那个 A 点，B 点还是那个 B 点，但整条含直角痕跡的矩形条，出于翻过身了，目前它的直角边就变成了斜边的边！ 这时，三角形 ABC 的三边终于合龙了。A 到 B 的距离是直角边，B 到 C 的距离是另一条直角边，而 A 直接连到 C，这条边自然就成了斜边。我们不需求再画那个含直角痕跡的矩形条了，出于它已经“长得”像斜边了。
这块 Marble 在逻辑上已经是一块完美的长方形了。 要是你再仔细量一下，你会发现那个曾经存有于圆内部的直角三角形，目前已经变成了实心的三角形，并且它的面积公式——$frac{1}{2} times AB times BC$——在几何意义上，正好等于斜边 C 以 AB 和 BC 为邻边构成的矩形面积。
这就是勾股定理的另一种面貌：它不是那个判定定理，而是那个“面积守恒”的公理。 在这个过程中，有没有啥细节好办出错？自然有。
比方说，我们在切割时，要是不小心让线宽变得忒粗，要么在翻折时让直角没对齐，那整个逻辑链条就会崩塌。但这不怪，出于这是从“无限”到“有限”的跨越，容错率本来就挺低。
不过，一旦我们接纳了“无限割裂、有限拼凑”这种操作，这种低容错率反而成了我们通往真理的必经之途。 有时候，你会认定这种证明忒“玄”，忒绕，不像是在推导一个定理，倒像是在做一场心理剧。
看着那块圆形的 Marble，突然认定它实际上不是圆，而是一个庞大的直角三角形，被无限分割成了无数个细小的直角三角形。所有的切割痕迹，实际上就是那些细小三角形的斜边。当我们把这些痕迹全体抹去，只留下斜边，圆就消亡了，只剩下那个直角三角形 ABC 的存有。 这简直忒搞笑了。我们为了证明一个“若 C 大于 A 且 C 大于 B"的结论，却不得不把这个结论本身，通过“无限分割、有限拼凑”的操作，硬生生地变成了“若 C 大于 A 且 C 大于 B"的推论。逻辑的闭环是完美的，只是形式上有点反直觉。我们证明白一个命题，却证明白命题本身。 故此，勾股定理在皮亚诺公理下，不再是一个冰冷的公式，而是一个关于“无限可能性”的魔术。它告诉我们，只要准我们将事物拆解得充足细，再充足碎，然后准我们将碎片重新组合、翻转、重叠，让直角在逻辑的缝隙中自我显现，这个奇迹就会形成。 那块 Marble 已经搞定了它的使命。它既证明白直角的存有，又证明白直角的存有。它没有在地上画留痕，却让无数条逻辑的线索，像蜘蛛网一样，在天与地的交界处，紧紧交织在一起。 你看，这就是几何的魅力。它不需求教科书那样规整划一的语言，就连不需求任何枯燥的推导步骤。它只需求一块圆形的石头，一把剪刀，一双能看透无限的眼，和一颗愿意信任“有限能够拼出无限”的心。当你把圆压扁成线，再把线翻面时，世界就会在你眼前旋转，直角会自行浮现，而勾股定理，就在这旋转中，搞定了它永恒的使命。