勾股定理的故事：从商高、赵爽到毕达哥拉斯

故事

史实 巴比伦的一块泥板（约公元前 1800 年，编号 Plimpton 322）上列着一串数组，其中不少满足 $a^2+b^2=c^2$。这说明在很早的时候，人们已经掌握了一批能构成直角三角形三边的数。

有争议 中国《周髀算经》记载了商高答周公的话，提到「勾三股四弦五」。这段文字的成书年代学界有分歧，通常只能说：至迟到成书时，这组特例已被明确记录。

有争议 西方把它叫「毕达哥拉斯定理」。但毕达哥拉斯本人究竟证明了什么、是否由他或其学派首先给出证明，古代文献说法不一；可以确认的是，这个命名反映的是希腊传统，不等于「他第一个发现」。

史实 真正严格、可查的证明来自欧几里得《几何原本》卷 I 命题 47。它不依赖具体数字，而是给出了一整套推理，这也正是「定理」与「一组例子」的分界。

史实 公元 3 世纪，赵爽在注《周髀算经》时画了一张「弦图」：四个全等的直角三角形围出一个小正方形，外层再补成一个大正方形。比较两个正方形的面积，就得到 $c^2=(a-b{)}^2+2ab$，整理即得 $a^2+b^2=c^2$。这是中国数学史上最漂亮的证明之一。

时间线怎么看

这张时间线刻意用了「有争议」标注前两个节点：泥板与《周髀算经》能证明「人们当时知道某些三边的组合」，但不能直接证明「当时已有普遍定理」。把「知道例子」和「证明定理」混为一谈，是这段历史最容易被讲错的地方。

与数学的关系

赵爽弦图与课本上的面积法证明是同一思路：不测长度，改算面积。把四个直角三角形摆进正方形，用「整体面积 = 各部分面积之和」列出等式，移项就得到结论。这类证明之所以重要，是因为它说明了为什么成立，而不是列举了多少个成立的例子。

这条定理还是后续许多内容的接口：平面直角坐标系里的距离公式、三角函数里的 ${\sin }^2\alpha +{\cos }^2\alpha =1$、立体几何里的空间距离，都是它的不同外衣。

另外值得留意的是「特例与一般」的区别：$\sqrt{2}$ 不可公度、$3^2+4^2=5^2$ 这类具体结果都属于例子；而定理要求对任意直角三角形都成立。教材强调证明，原因正在于此。

还能往哪里读

顺着这条定理，可以读它的逆定理（如何判断一个三角形是不是直角三角形），也可以读距离公式与解直角三角形——它们都是同一个关系在不同情境下的用法。

说法与史实