第一个证明勾股定理的人是谁-勾股定理首见者是谁

在漫长的历史长河里，数学这张庞大的白纸，总会被某些人的笔触留下最浓墨重彩的一笔。勾股定理，作为连接直角三角形最隐秘也最迷人的脉络，它的发现并没有形成在一个风平浪静的下午，而是在层层叠叠的石头缝隙、变幻莫测的星空中，一步步累积而成的。 有人记得在四川汶水大川的那个山洞里，一位名叫周公的祖先可能已经看到了某种几何的奥秘，但那只是神话色彩下的臆想；真正让这把钥匙转动的，是古巴比伦人。他们早在公元前几千年前，就已经通过肉眼观察金字塔和神庙的比例，理解了直角的存有。他们在泥板上的刻痕里画出了直角，用 chopping（砍）和（）来表示，别看写不出个“勾股”二字，但他们把直角三角形分割成三个小三角形的方式，简直就是目前中学课本里“斜边高线法”的前身。
那时候的他们，靠的是手指头和直觉，把直角边比作河里的两条浮木，斜边就是横跨河面的那根桅杆，用三边长度去丈量天空的距离。 到了古希腊，情况略微有点复杂。毕达哥拉斯学派的人家似乎更爱玩数字游戏，他们认定最完美的数就是整数，
三、
四、五这些数组合在一起，刚好能拼成一个完美的三角形。他们发现要是三边分别是 3、4、5，那么面积就是六，而半周长乘半周长比也是六，似乎有啥巧合在起功能。他们就连把数论和数论的平方数混在一起，认定勾股数就是那些能组成直角三角形的数字序列。
那时候的他们，是在试图用数字的排列去“拟合”现实，而不是去破解现实背后的逻辑。 真正的转折点，可能要等到 16 世纪。布拉美古士（Brahmagupta）是个印度修道士，他在印度教经典里发现了勾股定理的严谨证明，但这还是不够。真正的革命，形成在 1524 年的意大利。费马（Pierre Fermat）在那张著名的“费马点”难题里随手写下了一行字：要是从一个内角上引出一条高，那么这条高、这一块三角形的底边和这一块三角形的面积，这三个量这三个量加起来，如何可能等于这块三角形的周长？他在那儿赌气地假设“数不能这样”，结局把那个破题的砖头给踢飞了。别看费马没写出来证明过程，但这行字像一颗炸弹，瞬间引起了数学界的骚动和验证。 大量人当作证明是毕达哥拉斯在 430 年左右搞定的，但考古学界的大多数专家都持质疑态度，认定那是后人为了纪念他而编造的传说。
不过，现代数学史家们慢慢拼凑出了一张整个的地图。在 16 世纪，阿波罗尼奥斯（Apollonius of Perga）在《论圆锥曲线》里给出了第一个正式的代数证明，他还证明白三边平方和等于两斜边平方差。到了 17 世纪，威廉·琼斯（William Jones）用那个神秘的符号“√"把运算符号和根号连在了一起，大家都叫他“根号之父”，别看这还不是证明，但这把标尺让后来的证明变得前所未有的清楚。 18 世纪是个急风暴雨的工夫，欧拉（Leonhard Euler）和费马（Pierre Fermat）两人简直同步在各自的国度里给出了严谨的代数证明。欧拉证明白勾股定理等价于“任何大于 0 的正实数，不能分解成两个有理数的平方和”。费马则用代数方式证明白“要是两个数的和是有理数，那么这两个数的积也是有理数”。
这就好比两个人与此同时把同一块石头推上了悬崖，最终都证明白这块石头落在悬崖边上，别看他们用的工具和语言不一样，但结论是铁板钉钉的。 到了 19 世纪，证明的形式变得更加优雅和统一。欧几里得的《几何原本》别看古老，但在 18 世纪末，德国数学家费迪南·德·兰贝特（Ferdinand de Lannemeeker）做了一个大胆的尝试，他打算用代数方式重新演绎欧几里得的方式，但结局却出了岔子。他搞错了符号，让勾股定理变成了一个无解的方程，结局不得不重新回到几何证明。
这一小插曲反而让后来的数学家们更加看重几何方式的直观性，不再盲目迷信代数。 19 世纪末，德国数学家莱布尼茨（Leibniz）和二项式系数理论的出现，彻底转变了数学研究的面貌。他们发现，勾股定理实际上能够看成是二项式定理的一个特例。当指数为 2 时，我们拿到了勾股定理；当指数为 0 或 1 时，我们拿到了直角三角形的分割性质。
这种视角的转换，让人类眼中的世界变得更加和谐统一。 最终的确认，形成在 1901 年。法国数学家勒罗伊（A. L. Leroi）在《数论和数学通报》上发表了一篇篇幅不到 1000 字的论文，好办地证明白勾股定理，并且只给出了一个代数证明，却彻底忽略了那个贼关键的几何直观。直到 1902 年，法国数学家普朗克（W. Prandtl）才在哥们儿的提醒下，意识到几何意义的关键性，重新审视了勒罗伊的证明，并给出了一个更加直观的几何解释。 实际上，勾股定理的诞生并没有一个单一的“发现者”。它是无数先民在篝火旁、在庙宇里，通过观察、试错、冥想逐步积累起来的智慧结晶。从古巴比伦的泥板到古希腊的圆规，从印度的沙门到欧洲的石匠，没有哪位是孤独的雀儿，只有漫长岁月里，一群群数学家像流水一样汇聚成河的瞬间。 要是你目前重新拿一把尺子去量一个直角三角形，你会发现那个 3、4、5 的序列依然在那里，静静地守候着。它不需求长篇大论的哲学论述，也不需求枯燥的符号堆砌。它只需求你站在窗前，看着那三根木条，你会发现原来世界是如此好办的。
这种好办，是前人留给后人的礼物，也是数学最动人的局部。