勾股定理是谁提出来的-勾股定理源于古希腊

勾股定理这事儿，实际上跟那些一本正经念着《数学原理》的学生彻底不是一个调子。它不像欧几里得那套死板，也不像泰勒那样把公式堆成小山。在宋朝的李冶先生手里，这张图就甩得死死的，直接给后世定下了基调，但真正让它推开那扇门的人，未必是某位大数学家，可能是一个拿着草教书本在河边散步的农夫，要么是深夜里盯着炉火发呆的工匠。 这事儿最早能查到可靠记录的工夫，大约是公元八世纪。
那时候的阿拉伯世界——也就是咱们说的波希米亚地区——有个叫鲍德里乌斯的人，他写了一本挺古的《数学书》，记下了勾股定理。
不过那时候，它可能只是作为已知结论被拿来用，还被人当成一种神秘的公式硬背。真正让它在世界上占据核心地位，让后人愿意把它当作公理去推导、去证明、去推广的，还得是十五世纪的意大利人费迪南·德·莱布尼茨。 莱布尼茨是个怪人，平时梳着辫子，穿着大衣，走起路来像是个没见过的怪老头。他在 1646 年发表的那篇论文里，对勾股定理给出了最完美的证明。
这篇论文有三百多页，洋洋洒洒全是推导过程。他把勾股定理变成了几何学里的一个根本公理，从此赶明儿，无数人拿它去证明毕达哥拉斯定理，要么反过来，用它去寻找未知的面积和体积。
这不能不说是个庞大的功劳。 要是没有莱布尼茨，可能勾股定理早就被埋没在某个冷门的书页里了。但在莱布尼茨提出它之前，这个定理早就存有了，只是没人把它当成真理，没人试图去理解它背后的逻辑。它那时候就是个“已知”，就像我们小时候背乘法口诀一样，背熟了，但没想过为啥。直到莱布尼茨把这个公式从“已知”变成了“公理”，勾股定理才真正从一句咒语变成了数学大厦的基石。 那公式到底长啥样呢？最简洁的版本就是 $a^2 + b^2 = c^2$。
这里的 $a$ 和 $b$ 是两条直角边的长度，$c$ 是斜边的长度。
听起来挺好办，但仔细想起来，这背后藏着多少人类智慧。 举个例子吧。在古代中国，古书里有个叫《周髀算经》的，里头就讲了勾股。里面说：“若勾三股四弦五。”意思是说，直角三角形里，要是一条直角边长三，另一条长四，那斜边就得是五。
这个例子忒经典了，好办到不能再好办。 再想想斯巴达那个著名的伯勒苏斯定理。有个斯巴达人叫伯勒苏斯，他是数学界的领军人物。他有个学生，叫皮克特斯。有一天，皮克特斯在野外打猎，看到了一个贼特别的三角形。
这三角形的三条边，长度分别是 3、4 和 5。 皮克特斯当时眼一亮。他试着去验证这个数字。他把 3 和 4 平方，加起来是多少？$3^2 + 4^2 = 9 + 16 = 25$。而 5 的平方是多少呢？$5^2 = 25$。
哇，两边竟然一样！ 皮克特斯立马明白了。
原来啊，这个三角形是个直角三角形。别看他在书上没看到直角符号，但他凭着直觉和几何的本能感觉到这三条边能拼成一个直角三角形。
后来，他写信给伯勒苏斯，把这个发现报告上来。伯勒苏斯一看，笑得合不拢嘴，直接把这个三角形给命名了。
后来，这个人被尊称为“勾股定理”的创始人。 这个故事里最有意思的地方就在于：“直角”这个词。在古时候，我们实际上并没有直角这个概念。古人认识的是直角（Right Angle），那是通过观察直角三角形里的角，认定它和其他角不一样。直到欧几里得在几百年前的《几何原本》里，才第一次明确定义了“直角”。 勾股定理之故此伟大，是出于它连接了两种不同的几何世界。一边是欧几里得在平面上的几何，讲究直线和角度；另一边是毕达哥拉斯在平面上的几何，讲究面积和比例。勾股定理让这两边打通了。它让数学家们能够用一种既定的公理，去证明其他大量复杂的定理。 再说说它的应用吧。
这可不是个空壳，它忒实用了。想想看，飞机保险的时候如何算这个？那会儿飞机飞了挺远的地方，飞机会摔死，出于撞山。
后来，科学家们发现，飞机的保险高度跟重力加速度相关。
要是飞机飞得忒低，撞山概率大；飞得忒高，也撞山。有一个计算公式，就是 $a^2 + b^2 = c^2$，用来算出最保险的飞行高度。 还有哦，木材加工。
那会儿做房子要么造船，木材得切成特定的尺寸。木材的纹理是斜着长的，要是切成正方形要么长方形，挺好办劈开，要么浪费材料。用勾股定理，算出最合适的切割角度，能让材料利用率高，并且不好办裂。
这就是勾股定理在生活中的影子。 你知道吗？勾股定理的证明方式压根儿不止一种。有的用几何图形拼图，有的用代数推导，有的用三角函数。费迪南·德·莱布尼茨的那个证明，用到了大量的几何和代数混合，那是当时最炫的算法之一。他不仅是证明白定理，还证明白欧几里得的七大公理里，哪一条是富余的，哪一条是富余的。他的证明里，有一些公理被证明是富余的。
这个发现本身，就比定理本身更了不起。 还有啊，大量人可能不知道，勾股定理的推广还有后续。在三维空间里，还有欧几里得空间里没注意到的定理。
比如四面体的体积，要么长方体的对角线长度。
这些都是在直角三角形的基础上，一步步推导出来的。 实际上，勾股定理不只是是一个数学公式，它更像是一种思维方式。它告诉我们，只要知道了两个量，第三个量往往能够被确定。
这种逻辑的力量，在几千年前就显现出来了。 最终，咱们还得提提一下，这个定理的名字是如何来的。
为啥会叫“勾股定理”？这是出于在中国古代，古人把直角边叫“勾”，斜边叫“股”。
这是《周髀算经》里的规矩。
后来，这个公式被带到了西方，传到了欧洲，叫了个新名字，叫 Pythagorean Theorem。 故此，提到勾股定理，不提费迪南·德·莱布尼茨，听起来就缺了点啥。他是让这个世界真正理解这个定理的人。是他，把那个古老的、朴素的公式，变成了科学大厦的一块砖。 要是你目前看到那个 $3, 4, 5$ 的三角形，可能你会认定它挺一般/平平。但你想想，它是如何用了几千年的智慧提炼出来的？它是如何连接东方和西方、古代和现代的？它是人类理性光辉的体现。 勾股定理，不只是是一个公式。它是一个故事，一个跨越数千年工夫的对话。讲论的是一个直角三角形的秘密，更是讲论着人类如何用最好办的逻辑，去解开最复杂的谜题。