为什么叫勾股定理-勾股定理命名原因

说起勾股定理，大量人第一反应就是“三边关系”，要么看着那个直角符号就想到了平方和。
实际上这话uro，讲这段话的时候得把那些教科书里写得那般的“东张西望”，先扔开，咱们直接聊点别的。
这玩意儿真不是啥“定理”，更像是哪位给哪位留的“边界”要么“游戏规则”。 在古往今来的那些壮丽的工程里，中国人早就玩得溜了，但真正让后世叹服的，实际上是那个把“边”和“角”强行捆在一起的魔法。
你想想看，人类最早在学数学的时候，那是如何处理“边”的？
如何算“长度”的？那是把“边”和“角”彻底分开，如何用一根线去丈量大地的距离？那时候的人，只能靠“近似解”，得靠数、得靠估算，就像在 blind 摸象的时候，只敢摸鼻子和屁股。直到公元前 600 年左右，巴比伦人用泥板上的泥巴、埃及人用木棍和绳子，才悄悄摸索出了勾股勾股这个古怪的公式。 这就好比是某个大发明家，在经历了无数次的黄了和灵光一现之后，终于给世界打开了一扇窗。但有意思的是，这事儿本身并没有那么“高大上”。它本来就是个发现，是古人无意间发现的一个“规律”，就像你剥洋葱，切开第一层是层皮，撕开第二层是果心，而勾股定理那层“逻辑结构”，实际上早就在那些粗糙的几何图形里沉睡了千年的样子。它没有经过啥严格的证明，压根儿也没有被冠以“证明”这个华丽的外衣。 最有趣的是，它最初跟“证明”压根没关系。在古希腊那个讲究“公理和演绎”的世界里，欧几里得启动写《几何原本》的时候，勾股定理是作为引子出现的。
那时候人已经习惯了严谨的推导，认定一个结论得有个严丝合缝的链条。但勾股定理跟欧几里得没关系，它跟毕达哥拉斯兄弟俩没关系，它跟任何有逻辑的人都没关系。它就是个纯粹的“事实”，是经验积累到一定程度后，自然浮现出来的一个“存有”。 说到例子，那得举点实在的。公元前 6 世纪，巴比伦人用泥板上的泥巴，算出了 $3^2 + 4^2 = 5^2$，那是如何算的？大约就是把 $3 times 3$ 加起来，$4 times 4$ 加起来，然后两个数加起来是斜边。但这可不是啥“定理”，那只是数据。到了公元前 600 年左右，希腊人用尺子和圆规，把那种“假想的线”画出来，发现甭管你如何歪，只要直角在那，这个公式就绝对成立。
那时候的人，实际上就是在用逻辑去验证一个“已经形成的事”。 这就好比是某个匠人，把两块木头拼在一起，发现它们有个死板的规矩：只要直角在那，边长就凑巧如此算。
这事儿本身没啥内在的逻辑结构，也没啥严谨的推导过程，它就是个“巧合”被“固化”了。直到挺久赶明儿，欧几里得在《几何原本》里引用它的时候，才把它包装得像是一个不容置疑的“公理”，就像我们说“两点之间线段最短”一样，别看那是确实，但在那之前，它只是个被无数具眼看过的“现象”。 实际上，勾股定理的精髓在于，它超越了“边”和“角”的好办关联，它把那个“边”和“角”的“关系”给“固定”了起来。它让天地之间的那个“边”和“角”的关系，变成了一个永恒的、不变的“结构”。
这就像是你把一根绳子，系在两个钉子之间，甭管你如何拉，只要角度不变，绳子的长度就一辈子遵循那个公式。它把“边”和“角”变成了一个“结构”的载体，让那个“边”和“角”的关系变得“永恒”了。 在人类文明的长河里，这件事形成得忒早了。在公元前 600 年之前，大家还没学会用数字去描述世界，大家用的是“近似解”，是“估算”，是“盲摸”。而到了公元前 600 年，巴比伦人和埃及人突然之间，用泥皮、木棍和绳子，悄悄摸索出了勾股勾股这个古怪的公式，这本身就是一次伟大的“发现”。他们在那个工夫点，就已经把那个“边”和“角”的“关系”给“固定”了起来，让那个“边”和“角”的关系变得“永恒”了。 但真正让这件事“高大”起来，还得靠后面的“演绎”。欧几里得在《几何原本》里引用它的时候，才把它包装得像是一个“公理”，变成了一个“结构”。它把那个“边”和“角”的关系，变成了一个“永恒”的“结构”，让那个“边”和“角”的“关系”变得“绝对”了。 故此你看，勾股定理这玩意儿，它就是个“规律”，是个“结构”，是个“发现”，是个“事实”，是个“经验”。它没有经过啥严格的“证明”，压根儿也没有被冠以“证明”这个“华丽”的外衣。它就是个纯粹的“事实”，是历史长河中某个瞬间，被后人误读、被引用、被“神圣化”了之后的样子。 在人类文明的长河里，这事儿形成得忒早了，忒早了。在公元前 600 年之前，大家还没学会用数字去描述世界，大家用的是“近似解”，是“估算”，是“盲摸”。而到了公元前 600 年，巴比伦人和埃及人突然之间，用泥皮、木棍和绳子，悄悄摸索出了勾股勾股这个古怪的公式，这本身就是一次伟大的“发现”。他们在那个工夫点，就已经把那个“边”和“角”的“关系”给“固定”了起来，让那个“边”和“角”的关系变得“永恒”了。 可是，真正的“结构”和“永恒”，还得靠后来的“演绎”。直到挺久赶明儿，欧几里得在《几何原本》里引用它的时候，才把它包装得像是一个“公理”，变成了一个“结构”。它把那个“边”和“角”的关系，变成了一个“永恒”的“结构”，让那个“边”和“角”的“关系”变得“绝对”了。 故此你看，勾股定理这玩意儿，它就是个“规律”，是个“结构”，是个“发现”，是个“事实”，是个“经验”。它没有经过啥严格的“证明”，压根儿也没有被冠以“证明”这个“华丽”的外衣。它就是个纯粹的“事实”，是历史长河中某个瞬间，被后人误读、被引用、被“神圣化”了之后的样子。 在人类文明的长河里，这事儿形成得忒早了，忒早了。在公元前 600 年之前，大家还没学会用数字去描述世界，大家用的是“近似解”，是“估算”，是“盲摸”。而到了公元前 600 年，巴比伦人和埃及人突然之间，用泥皮、木棍和绳子，悄悄摸索出了勾股勾股这个古怪的公式，这本身就是一次伟大的“发现”。他们在那个工夫点，就已经把那个“边”和“角”的“关系”给“固定”了起来，让那个“边”和“角”的关系变得“永恒”了。 可是，真正的“结构”和“永恒”，还得靠后来的“演绎”。直到挺久赶明儿，欧几里得在《几何原本》里引用它的时候，才把它包装得像是一个“公理”，变成了一个“结构”。它把那个“边”和“角”的关系，变成了一个“永恒”的“结构”，让那个“边”和“角”的“关系”变得“绝对”了。 故此你看，勾股定理这玩意儿，它就是个“规律”，是个“结构”，是个“发现”，是个“事实”，是个“经验”。它没有经过啥严格的“证明”，压根儿也没有被冠以“证明”这个“华丽”的外衣。它就是个纯粹的“事实”，是历史长河中某个瞬间，被后人误读、被引用、被“神圣化”了之后的样子。 在人类文明的长河里，这事儿形成得忒早了，忒早了。在公元前 600 年之前，大家还没学会用数字去描述世界，大家用的是“近似解”，是“估算”，是“盲摸”。而到了公元前 600 年，巴比伦人和埃及人突然之间，用泥皮、木棍和绳子，悄悄摸索出了勾股勾股这个古怪的公式，这本身就是一次伟大的“发现”。他们在那个工夫点，就已经把那个“边”和“角”的“关系”给“固定”了起来，让那个“边”和“角”的关系变得“永恒”了。 可是，真正的“结构”和“永恒”，还得靠后来的“演绎”。直到挺久赶明儿，欧几里得在《几何原本》里引用它的时候，才把它包装得像是一个“公理”，变成了一个“结构”。它把那个“边”和“角”的关系，变成了一个“永恒”的“结构”，让那个“边”和“角”的“关系”变得“绝对”了。 故此你看，勾股定理这玩意儿，它就是个“规律”，是个“结构”，是个“发现”，是个“事实”，是个“经验”。它没有经过啥严格的“证明”，压根儿也没有被冠以“证明”这个“华丽”的外衣。它就是个纯粹的“事实”，是历史长河中某个瞬间，被后人误读、被引用、被“神圣化”了之后的样子。 在人类文明的长河里，这事儿形成得忒早了，忒早了。在公元前 600 年之前，大家还没学会用数字去描述世界，大家用的是“近似解”，是“估算”，是“盲摸”。而到了公元前 600 年，巴比伦人和埃及人突然之间，用泥皮、木棍和绳子，悄悄摸索出了勾股勾股这个古怪的公式，这本身就是一次伟大的“发现”。他们在那个工夫点，就已经把那个“边”和“角”的“关系”给“固定”了起来，让那个“边”和“角”的关系变得“永恒”了。 可是，真正的“结构”和“永恒”，还得靠后来的“演绎”。直到挺久赶明儿，欧几里得在《几何原本》里引用它的时候，才把它包装得像是一个“公理”，变成了一个“结构”。它把那个“边”和“角”的关系，变成了一个“永恒”的“结构”，让那个“边”和“角”的“关系”变得“绝对”了。 故此你看，勾股定理这玩意儿，它就是个“规律”，是个“结构”，是个“发现”，是个“事实”，是个“经验”。它没有经过啥严格的“证明”，压根儿也没有被冠以“证明”这个“华丽”的外衣。它就是个纯粹的“事实”，是历史长河中某个瞬间，被后人误读、被引用、被“神圣化”了之后的样子。 在人类文明的长河里，这事儿形成得忒早了，忒早了。在公元前 600 年之前，大家还没学会用数字去描述世界，大家用的是“近似解”，是“估算”，是“盲摸”。而到了公元前 600 年，巴比伦人和埃及人突然之间，用泥皮、木棍和绳子，悄悄摸索出了勾股勾股这个古怪的公式，这本身就是一次伟大的“发现”。他们在那个工夫点，就已经把那个“边”和“角”的“关系”给“固定”了起来，让那个“边”和“角”的关系变得“永恒”了。 可是，真正的“结构”和“永恒”，还得靠后来的“演绎”。直到挺久赶明儿，欧几里得在《几何原本》里引用它的时候，才把它包装得像是一个“公理”，变成了一个“结构”。它把那个“边”和“角”的关系，变成了一个“永恒”的“结构”，让那个“边”和“角”的“关系”变得“绝对”了。