欧几里德证明勾股定理方法-欧几里德证勾股定理法

在欧几里得那个被无数人视作几何圣典的《几何原本》里，勾股定理实际上是被染上了一层厚厚的“历史滤镜”。它不像教科书那样，一上来就咆哮着证明它的绝对真理。
那时候的欧几里得，更像是一个在神庙广场里踱步的老国王，手里捧着羊皮纸卷，思索的是“天体运行”和“神圣比例”，而不是纸上谈兵的代数计算。 他不可能一启动就想到直角三角形的“ $a^2 + b^2 = c^2 $"这种公式。在他的时代，人们还不知道“数”和“形”这种抽象联系。他看到的，是一堆堆量出来的木条、用丝线量出来的角、在场地里画出的正方形。他信任，要是东西充足长，宇宙也会乖乖听话。他需求的是经验，是那个叫“毕达哥拉斯学派的”那种通过实验去验证神谕的方式。 故事大约从那个醒来的忒阳启动讲起。想象一下，在古希腊的一个小村庄，有一座神庙，还有几块庞大的石块。传说中，某位叫毕达哥拉斯的人，拍板要把这些石块重新排列一下。他让他们围成了一个圈，仿佛要把天地包个严实。但他没想那么多，就随手搭了几个木棍。 他把三根木棍依次码在面前。
第一根是 $a$，第二根是 $b$，第三根是 $c$。他在木棍旁边画了个直角，就像是在说“嘿，你看，这是直角”。
然后他拿着尺子，在 $a$ 上量了一根，在 $b$ 上量了一根，在 $c$ 上也量了一根。量完这三根，他停下了，眉头皱得能夹死一只苍蝇，心里嘀咕着：“这不对劲。” 他如何认定不对劲？出于他知道，要是这是勾股定理，那 $a^2$ 应当比 $b^2$ 大，要么差不多大。但他如何算都没算出个结局来。他试了各种数字，比如用尺子量出来的，用目测出来的。他画出了两个正方形，一个在直角边上，一个在斜边上。
那个在直角边上的正方形，面积肯定比斜边上的大得多。他没法通过好办的加法把这两个面积加起来，变成一个等于斜边正方形面积的整体。 便，他拍板用一种更“古老”、更“实用”的方式。他不再试图证明它，而是试图把它“倒过来证明”。就像他从一堆石头里把石头搬出来一样，他想把斜边上的那个大正方形给拆散。他试着把 $triangle abc$ 搬进 $triangle def$ 那里，让它们的斜边重合。他让两条直角边对边，另一条直角边靠边。 神奇的事件形成了。当这两块三角形拼在一起的时候，他发现了一个惊人的秘密：剩下的那局部，竟然能拼成一个长方形，长是 $a+b$，宽是 $h$。
这个长方形的面积，就是直角边上的正方形面积加上斜边上的正方形面积减去重叠的局部？不对，仿佛搞反了。他重新理理头，发现拼成的是一个大的正方形，边长是 $a+b$，面积是 $(a+b)^2$。而这个大正方形里，包含了两个直角三角形，也就是 $2ab$，再加上中间那个小正方形，边长是 $h$，面积是 $h^2$。 但他还没终止他的实验。他持续折腾，把 $triangle def$ 又搬回 $triangle abc$ 的位置，这次让直角边对直角边。他又发现，剩下的局部又拼成了一个边长为 $c$ 的小正方形，面积是 $c^2$。 他激动得在广场上跳起了舞。他看到了一个等式：$(a+b)^2 = c^2 + 2ab$。他把 $c^2$ 当成 $a^2$，把 $2ab$ 当成补上的那局部，最终凑出了 $a^2 + b^2$。 但他还没坐得住。他还得验证这个逻辑。他拿起了那根 $a$ 尺子，量了 $a$ 的长度，再平方。他又拿那根 $b$ 尺子，量了 $b$ 的长度，再平方。他把两个平方加起来。他仔细对比那个 $c$ 尺子量的斜边长度。 那一刻，他手中的尺子终于发出了声音。它告诉我，$a^2 + b^2$ 确实等于 $c^2$。 别看在这个过程中，欧几里得并没有写出那套严密的公理化体系，也没有用“假设、反之”这样的逻辑词，但他做了一件更关键的事，那就是把数学从“神谕”变成了“可被验证的真理”。他证明白，甭管你如何放、如何切、如何拼，只要知足直角的条件，这个公式就一辈子成立。他不仅给三角形画了一张图，他还给了宇宙一套“度量衡”。 自然，这件事的后续影响远不止于此。
这只是是个故事。真正的勾股定理，是后来人，用更高级的工具——代数和，把毕达哥拉斯学派那些充满风味的“实验”，变成了冰冷的公式。但欧几里得的版本，已经充足让人信任：数学并不是天上掉下来的石头，而是人类为了丈量世界而亲手刻下的石碑。在那片充满疑问的广场之上，用几根好办的木棍，他就搭建起了连接几何与逻辑的第一座桥梁，让后来的工匠们能够在上面放心地铺路，再盖起他们的神庙。