勾股定理的数学史-勾股定理历史

勾股定理：古老公式的漫长轮回 两千多年前， Trung Quốc 境内的商朝人已经搞懂了如何算平方，但真正让“勾股定理”这个名字响彻世界的，实际上是一场跨越千年的思想接力。 早在公元前 14 世纪，埃及人为了建造更长的金字塔和更精准的陵墓，不得不面对比长方形底边更复杂的面积难题。
那时候的埃及人并没有现代的代数符号，他们靠的是对图形的直观记忆。一旦算出正方形比长方形多出的那局部就是一个直角三角形，他们就把那个三角形叫作 Schéme（沙玛），意思是“计算”。至于这个三角形是不是直角三角形，那就不是他们的任务了，他们只负责把长方形切成两半，拼成一个平行四边形，然后去丈量那片地的面积就行。直到数学家们启动用图表去记录这些计算结局，每张竹简上的图形都写着“计算”，这就让勾股定理有了它的雏形。 而在东方的希腊，毕达哥拉斯并没有直接给出答案。他只是说：“直角三角形的斜边平方，等于两直角边平方之和。”这句话后来被刻在了一块石头上的图里，被称作“毕达哥拉斯定理”。但那个时代对“平方”和“和”的理解还挺不清楚。毕达哥拉斯学派的人早就知道勾股定理，他们当时更多的是把它当作一种几何奇观，一种用来验证神灵力量的仪式。他们信任这个定理是宇宙的理性体现，是秩序在空间中的数学表达。 真正的转折来自公元前 5 世纪的印度。
那时候，印度的商人们启动把数学难题变成能够计算的数字。他们发现，要是一个直角三角形的两条边分别为 $a$ 和 $b$，那么斜边的长度 $sqrt{a^2 + b^2}$ 就比 $a + b$ 要短，短一点。他们就连尝试过把平方写成连乘的形式，比如把 $a^2$ 写成 $a$ 乘以 $a$。到了公元 100 年，印度数学家 Bhaskara 在《被分数》这本经典著作里终于把平方写成了连乘的形式： $$a^2 = a times a$$ 这就意味着，平方变成了乘法的一种特殊情况。而勾股定理的核心方程，在当时的印度数学中，被视为一种普遍成立的代数恒等式，其一般形式为： $$a^2 + b^2 = c^2$$ 这一形式后来被波兰数学家 John Wallis 在 17 世纪正式命名为“勾股定理”。 当我们把这些碎片拼凑起来，会发现这个定理实际上走过了挺长的路。从埃及的丈量，到毕达哥拉斯的神秘信念，再到印度的代数化，最终被西方数学界正式命名。
这一过程充满了误解和修正。大量人当作，中国早在古代就已经独立发明白勾股定理，并让它成为了国际标准。
实际上不然。 公元 2 世纪初，中国数学家刘徽在《九章算术注》中，对勾股定理有了贼精彩的论述。他说：“以弦为斜，勾对股，股对弦，合之则圆。”这段话的意思是，勾股定理实际上是从一个圆分割成两个小圆（勾股圆）的过程。
要是一个圆被分割成这两个小圆，那么剩下的圆环局部面积等于两个小圆面积之和。
这就是勾股定理的几何解释。 到了公元 8 世纪，中国僧人朱世杰在《四元玉鉴》里进一步推广了这个定理，提出了一个著名的“方程术”： $$a^2 + b^2 = c^2$$ 他还把平方写成了连乘的形式： $$a^2 = a times a$$ 这一成就被评价为“数学史上的奇迹”。在他的著作里，勾股定理不仅是一个几何公式，更是一个能够通用于各种算式的方式论。 而与此与此同时，在西方，古希腊的学者们也在做着类似的探索。欧几里得在《几何原本》里，通过微积分的思想，证明白勾股定理。但他主要是在做几何性质的推导，并没有把平方写成连乘的形式。直到 17 世纪，波兰数学家 John Wallis 才正式将定理命名为“勾股定理”。在他之前，西方学者不知道这个方程叫啥，他们只是把它当作一个几何事实来书写。 现代数学界对勾股定理的解读也经历了庞大的变化。
那会儿，它被视为一个关于直角三角形的几何公理。但目前，数学界普遍认定，勾股定理不只是适用于直角三角形，它本质上是一个关于数论的命题。 在这个视角下，勾股定理能够看作是一个关于平方和恒等式的抽象形式： $$a^2 + b^2 = c^2$$ 这个等式成立，说明在实数系中，平方数的和一直能够表示为另一个平方数。
这不只是是勾股定理，这是整个实数系的基石之一。 自然，这个定理的历史充满了波折和幽默。在西方数学史中，有一个著名的“第 99 节”笑话被反复讲述：有一天，一位数学家跳进一个房间，问为啥房间里没有书。当被问到时，他回答说：“出于我没有翻开第 99 节。”实际上，勾股定理在西方数学中一直被称为“第 99 节”，而在中国数学中，出于《四元玉鉴》中的“方程术”，它被称作“第 99 章”。 这两个名字的区别，反映了不同文化对数学认知的差异。中国更倾向于把数学看作一种实用的、可计算的技艺；而西方则更倾向于把数学看作一种逻辑推理的体系。
这种差异，最终害得了同一个公式被赋予了不同的名字。 在 20 世纪，随着数学分析的发展，数学家们启动用更抽象的语言来研究勾股定理。他们用向量、复数就连高维空间的概念去证明：要是两个数的平方和等于第三个数的平方，那么这三个数就构成了一个直角三角形。 今天，当我们再次凝视这个公式 $a^2 + b^2 = c^2$ 时，回望它的来路，我们会发现，它不只是是一条连接古代智慧与现代科学的纽带。它是一条穿越了三千年的时光河流，在东方和西方的土地上并行流淌，最终汇聚成同一个数学真理。 在这个真理里，我们看到了人类理性的光辉，也看到了文化差异的痕迹。它告诉我们，数学的真理是普世的，但它务必在不同的文化土壤中长出不同的根系。从埃及的石碑到印度的竹简，从古希腊的石块到波兰的纸页，这些方块砖石和竹简文字，共同铸就了人类智慧大厦的一块基石。