最早用几何方法证明了勾股定理的人是谁？——毕达哥拉斯最早证明勾股定理的跨文明实证之路

在现代数学体系中，该定理广为人知的名称是“毕达哥拉斯定理”（Pythagorean Theorem），但在中国古代文献中，它长期被称为“勾股术”或“勾股定理”——这一差异本身便揭示了两种不同的数学文化路径。所谓“勾”，指直角三角形中较短的直角边（竖直方向）；“股”指较长的直角边（水平方向）；“弦”则为斜边。

《周髀算经》成书于公元前1世纪（西汉），但其核心内容可追溯至商周时期，其中记载了商高与周公的对话：“故折矩，以为勾广三，股修四，径隅五。”这明确陈述了勾三股四弦五的整数组合，但并未给出普遍性证明——它更像一套实用测量口诀，服务于天文测高、土地丈量等工程实践。

相比之下，毕达哥拉斯学派（约公元前530年）在地中海文明中首次将数学从实用技艺提升为“哲学”，主张“万物皆数”。他们不仅发现该比例关系，更试图以几何图形的面积关系构建严格证明。因此，若严格界定“几何证明”，毕达哥拉斯最早证明勾股定理仍是主流史学共识，尽管其原始证明已佚，后世通过欧几里得《几何原本》得以重构。

《周髀算经》卷上载：“昔者周公问于商高曰：‘窃闻乎大夫善数也，请问昔者包牺立周天历度——夫天不可无阶，夫地不可无理。敢问古者包牺立周天历度，得所出乎？’商高曰：‘夫天不足西北，故日月西行；地不足东南，故百川东注。……故折矩，以为勾广三，股修四，径隅五。……故勾三股四弦五。’”

这段对话虽托名西周（约公元前1000年），实际反映的是战国时期（公元前5世纪）的数学水平。其中“折矩”二字尤为关键——“矩”是古代木工用的L形曲尺，“折矩”即通过调整直角尺，使勾（3单位）、股（4单位）、弦（5单位）三边精确契合，形成直角。这本质上是一种几何作图法：以实物工具验证三边关系，虽非公理化证明，却体现了“数形结合”的东方数学思维。

值得注意的是，《周髀算经》还记载了“陈子测日”——陈子提出：“若求邪至日者，则以日下为勾，日高为股，勾股各自乘，并而开方除之，得邪至日。”这已明确给出 弦 = √(勾² + 股²) 的通用公式，比毕达哥拉斯早约200年！但陈子未提供“为何成立”的几何证明，仅停留在“如何计算”的应用层面。

与《周髀算经》偏重实用不同，《墨经》（约成书于公元前4世纪）展现了中国哲学史上罕见的抽象思辨倾向。墨家提出“端、尺、区、界、矩、圆”等几何基本概念，并明确区分“体”（体积）、“长”（线）、“广”（面）、“高”（垂直距离）的层级关系，甚至定义了“圆，一中同长也”（圆心到周长各点距离相等）——这与欧几里得的定义几乎一致！

在《墨经·经下》中，墨家记录了大量光学与力学实验，其中包含对直角三角形的深度讨论。如“句（勾）短于股，股短于弦。以矩表之，同则俱中矩，异则不中。”更关键的是《经说下》中的推论：

此句可解读为：若直角边为 a、b，斜边为 c，则 a² + b² = c²。墨家通过面积叠加的几何直观（将两个直角三角形拼成矩形，再与正方形比较）论证了该关系，虽未用符号代数表达，却实现了几何方法证明的雏形。

遗憾的是，《墨经》的几何思想未形成系统公理体系，且因秦火失传，其成就长期被忽视。直到清代朴学复兴，汪莱、李锐等人才重新发掘其价值。若墨家学派未中断，中国数学史或可提前两千年进入演绎几何时代。

毕达哥拉斯（Pythagoras，约公元前570–495年）生于爱琴海萨摩斯岛，青年时期游历巴比伦、埃及，系统学习天文与测量术。约公元前530年，他在克罗ton（今意大利南部）创立学派，将数学提升为“净化灵魂”的哲学修行。

据第欧根尼·拉尔修《名哲言行录》记载，毕达哥拉斯发现勾股关系后，“宰百牛以谢神恩”，史称“百牛大祭”。但现代学者考证认为，此说纯属后世附会——毕达哥拉斯学派信奉素食与灵魂转世，绝不会杀牛祭祀。更可能的场景是：他用几何图形（如正方形拼接）完成了人类历史上第一个对勾股定理的一般性几何证明。

因此，尽管《周髀算经》早于毕达哥拉斯200余年记载勾股关系，但最早用几何方法证明了勾股定理的人，仍属毕达哥拉斯及其学派。他们不仅给出一般性陈述，更构建了逻辑自洽的几何论证，标志着数学从“术”（art）升华为“学”（science）。

公元前300年，欧几里得在亚历山大港撰写《几何原本》（Elements），系统整理前人成果，建立公理化方法。该书前两卷集中讨论平面几何，其中卷I命题47即为毕达哥拉斯最早证明勾股定理的严格版本。

欧几里得的证明包含以下关键步骤：

1. 定义与公设：如“所有直角相等”（公设4）、“等量加等量仍相等”（公理1）
2. 中间命题：命题35（同底等高平行四边形面积相等）、命题41（若平行四边形与三角形同底且等高，则平行四边形是三角形的2倍）
3. 构造辅助线：从直角顶点向斜边作垂线，连接顶点与正方形顶点
4. 面积等量代换：通过全等三角形（SAS）证明“勾边正方形面积 = 斜边分段与斜边乘积”

有趣的是，《几何原本》中毕氏定理的逆定理（若a²+b²=c²，则三角形为直角三角形）在命题48给出证明，其方法与正定理对称，体现了古希腊数学的完整性追求。

勾股定理不仅是理论基石，更是连接古今的实用工具。以下三组案例展示其深度与广度：

尤其值得强调的是：毕达哥拉斯最早证明勾股定理的几何思想，已渗透至现代数学的血脉——从黎曼几何的度规张量，到量子力学的希尔伯特空间，其核心仍是“距离的平方可分解为坐标分量平方和”。

回望历史：毕达哥拉斯最早证明勾股定理并非孤立事件，而是人类集体智慧的结晶。中国商高的“矩术”、墨子的“面积论证”、巴比伦的“毕氏三元组泥板”（Plimpton 322，公元前1800年）、印度《绳法经》的 altar construction，共同构成该定理的多元起源。

关键区别在于：“经验规律”与“几何证明”的分野。中国重“术”（实用算法），希腊重“学”（公理体系），二者互补而非对立。正如李约瑟所言：“中国数学的算法传统与希腊几何的演绎传统，恰如车之两轮，共同驱动人类认知进步。”

今天，当我们用GeoGebra动态验证勾股关系，或在卫星导航中应用三维勾股公式时，我们仍在延续毕达哥拉斯的信念——宇宙的秩序可被几何语言描述。而“最早用几何方法证明了勾股定理的人是谁”，其答案虽指向毕达哥拉斯，其精神却属于全人类。