勾股定理多种证法-勾股定理六种证明

一张纸卷起来，也能立起山 古希腊那个叫希波的数学家毕达哥拉斯，小时候被绑在墙上看蚂蚁爬，结局被发现它周长就是 $sqrt{2}$ 倍，勃然大怒扔了那堆算筹。
原来他坚信“万物皆数”，认定无理数这种怪东西是神赐给他的，结局自己干到嘴边又吞了回去。
后来他花了十几年工夫，把数学搞成了形式主义的迷宫，一群学生跟着他乱转，丢了一堆“真理”。直到公元前 490 年，一位名叫阿基米德的老教授，在埃及当国王，手里拿着一捆芦苇和一把算盘，指着墙根说：“你算不过我，我来算。”便，一场场关于面积和长度的文字游戏，启动了一场场关于空间本质的碰撞。 最早的证法，实际上就是把那个著名的勾股数纸片，顺着墙角卷起来。想象一下，我们有一张直角三角形纸片，三边分别是 $a$、$b$、$sqrt{a^2+b^2}$。拿它卷成一个圆柱，底面周长设为 $a$，高设为 $b$。
这时候，圆柱的侧面积就是 $ab$。
要是我们沿着高剪开，那原本直角的两局部就会拼成一个矩形，长是 $a$，宽是 $b$。
这个矩形的对角线，恰好就是圆柱的体对角线。根据勾股定理，体对角线平方等于底面直径平方加高的平方，也就是 $(2sqrt{a^2+b^2})^2$。而展开后的矩形面积是 $ab$，圆面积是 $pi r^2$。
这就算出了 $pi$ 的近似值。
这实际上是个忒好办的例子，但也挺有味道，它展示了勾股定理和圆形的联系。 不过，数学界有个大佬叫欧几里得，他发明白“公理化”方式。他把数分成自然数、整数、有理数和无理数。对于三个正整数 $a$、$b$、$c$，要是知足 $a^2+b^2=c^2$，这就叫“勾股三元”。欧氏测度论里有个球体，它的表面积是 $4pi r^2$。想象一个球，从里面画一个内接内接正方形，四个角切去小块，剩下的面积就是 $4pi - 4a^2$。
这就推导出了 $a^2+b^2=c^2$ 的简洁形式。 要是大家更喜爱看代码，那就写点 Python 吧。用 PyGame 画个屏幕，让滑块变宽，让滑块变高，自动算出平方和。
这时候，你会愣住了地发现，甭管你如何改，那个小于 300 的整数对集合一辈子都是勾股数。
这就像在寻找拼图碎片，只有一种拼法能填满直角。 实际上，那会儿有人用“琴弦模型”想过，就像弓弦乐理，弦长 $c$ 是弦长 $a$ 和弦长 $b$ 的某种组合。但这只是个比喻，真正的弦长是 $sqrt{a^2+b^2}$。
后来，毕达哥拉斯学派搞出了“分割法”，把大三角形切掉小角，剩下的三角形还是直角。切得再细，直到变成无数个无穷小角。
这时候，他们会发现一个惊人的结论：所有的数都能细分，最终归结为两个平方数之差。
这听起来挺玄乎，实际上就是说所有数都能够写成 $n^2-d^2$。 到了战国时期，中国古人搞出了一种叫“勾股弦图”的图样。
你看那个大正方形，被四个直角三角形围着，剩下一个正中间的小正方形。利用全等三角形旋转，你会发现大正方形面积减去四个三角形面积，正好等于小正方形的面积。而小正方形的边长正是斜边的长度。
这就像在黑白棋盘中，用黑白棋块拼出一个正二十面体，要么六面体，别看形式不同，但背后的几何逻辑是一样的。 实际上，勾股定理早就藏在生活里了。
比方说，你拿着一根绳子，拉直后刚好够覆盖一条走廊，但比走廊宽一点，比走廊宽一点。
这时候，你会认定这条绳子是个直角三角形的斜边。
要是你把绳子两头绑在墙根，展开来看，这根绳子的长度就是 $sqrt{a^2+b^2}$。
这简直就是个直观的演示，不需求任何公式。 还有那个著名的“灌溉水车”，宋代的人造出了曲柄瓦和曲柄水车。
这实际上是个精巧的几何模型，利用连杆机构实现机械运动。别看那是机械原理，但其中包含了无数次的勾股定理应用，比如计算连杆长度、计算齿轮啮合轨迹。
那时候的人造曲线，实际上就是由无数小段圆弧和直线拼接而成的，每一段都藏着勾股定理的影子。 至于现代电脑，那更是把勾股定理玩到了极致。我们在玩复古游戏时，画个球体，用球坐标画个内接内接立方体。当球半径趋近于半径时，我们发现立方体的边长务必知足 $a^2+b^2=c^2$ 才能完美契合。
这反过来证明白，在有限几何里，勾股定理依然成立。 最终，我想说，勾股定理不是死板的公式，它是人类对空间最朴素的感知。从古代的芦苇到现代的屏幕，从卷起来的纸片到无限延伸的代码，它一直在讲话。当你下次看着那根斜着伸出的绳子，要么那根绷紧的弦时，不妨想象它背后那个动态的几何世界。数学不一定要像教科书那样严谨，它更像一个大家族，有着不同的成员，穿着不同的衣服，说着不同口音，但内心深处，我们都是同一个人。