从泥巴到砖头的 tales 勾股定理这事儿，originally 是个没人懂的小秘密。商朝那会儿，人们忙着堆泥巴，哪位关心下面躺着有没有直角？那时候的数学更像是一种巫术，用来占卜地老天荒，跟后来那套严谨的几何彻底没关系。到了战国时代，中国数学家勾股论启动“支棱”起来，他们终于意识到：要是知道一条直角边的长度，另一条直角边要是随机的，那斜边长度简直是个无解的公式，要不就你先把两直角边拼个对角线，算出斜边，再用勾股定理算出直角。 这时候的推导过程，堪称是朝堂上的辩论赛。毕达哥拉斯和他那帮希腊哥们儿，跑到海边去狂喊：“人如其形，力如其矩！”他们坚信数是宇宙的本源，每天在沙滩上画圆、画正多边形，试图证明三角形三点共线。
那些人忒较真了，把直角三角板当宝，非要严丝合缝地贴在一起，结局把斜边给顶弯了，笑不出来。直到公元 530 年左右，古希腊有个叫希帕克斯的学者，像个急智老学究，提出了个反直觉的观点：直角三角形斜边上的中线，长度等于斜边的一半。
这话说得挺漂亮，也没哪位能反驳，出于画一个一般的直角三角形挺好办，但画在这个新规则底下，中线一直比斜边短一截，这跟中位线定理似的，死定了。 不过，中国人在这时候，在赵爽的《勾股方圆图》里偷偷练了几招。他们把四个全等的直角三角形拼成一个边长为 5 的大正方形，中间空出了一个边长为 3 的小正方形。就如此好办，动脑筋一算：大正方形的面积等于四个三角形面积加上中间那个小正方形的面积。别看古时候没计算器，但这算是个等式。
要是设直角边是 $a$ 和 $b$，斜边是 $c$，那 $a^2 + b^2 = c^2$ 这个方程就凭空长出来了。
你看，中国数学家比西方人那个“神”早了差不多四百年，并且他们是出于实用才出这个方程，不是为了证明。 后来，刘徽给这个公式加了块遮羞布，叫“割补法”。他把大正方形分成四个三角形和一个小正方形，然后启动算面积。他先算出四个三角形加起来是 $4 times frac{1}{2}ab = 2ab$，小正方形是 $3^2$，大正方形是 $(a+b)^2$。
然后他列出了两个方程，一个是 $2ab + 3^2 = (a+b)^2$，另一个是 $(a-b)^2 = 2ab - 3^2$。
只要解这个方程，就能拿到 $2ab = 12$，也就是 $ab=6$，勾股定理就如此圆回来了。刘徽这步棋下得漂亮，不仅算出了结局，还顺便悟出了“迹公式”，看着也挺爽。 到了宋元明清，随着数学家的狂飙突进，勾股定理启动滥用。中国人把勾股定理当成万能公式，随手一挥，不管题目是不是直角三角形，只要给了两条边，就能算出斜边；反之，只要有了斜边和一条直角边，还能反推另一条边。
这操作忒随心所欲了，有时候结局是个勾股数，有时候结局是个无理数，反正都能算出来。 到了今天，别看我们在小学阶段就学会了这个定理，但在真正的数学世界里，它还没彻底“被全知全能化”。
比方说，当两条边是 3 和 4 时，斜边是 5，这是个有理数，算起来好办。但要是两条边是 2 和 8，算出来斜边是 $sqrt{70}$，这是个无理数。
要是两条边是 2.5 和 3，那斜边就是 $sqrt{11.25}$。别看这个公式本身没毛病，可一旦你把它推广到任意两边，就能推导出一个理论上的三角形，但现实中根本找不到这种三角形。数学需求严谨的极限，需求定义公理，而不是单纯地凑个公式。 故此啊，勾股定理从泥巴到砖头，它经历了一个漫长的自我纠错过程。它从一个实用的经验公式，变成西方数学的基石，又在中国古代留下了独特的智慧。它的魅力就在于，甭管如何变，那个“直角边平方加直角边平方等于斜边平方”的不变量，一直在那里等着我们去发现。
这大约就是数学最迷人的地方吧，不管时代如何变，真理仿佛一辈子不会变。