勾股定理的发现者故事：希帕索斯的悲剧与数学革命
历史记载中的希帕索斯并非毕达哥拉斯本人，而是其学派的杰出成员。他发现了无理数的存在，这一发现直接动摇了毕达哥拉斯“万物皆数”（仅指有理数）的哲学根基，最终导致他被学派除名甚至溺亡——这是数学史上最著名的“真理与权威”的冲突事件。
希帕索斯：被抹去的发现者
希帕索斯（Hippasus of Metapontum）活跃于公元前5世纪，是古希腊哲学家、数学家，也是毕达哥拉斯学派的成员。他通过研究正五边形的对角线与边长之比，首次发现存在无法用整数比表示的量——即无理数（如√2）。
- 他计算出正五边形的对角线长度为边长的1+√5⁄2倍（黄金分割比），其中√5为无理数；
- 在单位正方形中，对角线长度为√2，而√2无法表示为两个整数之比；
- 这一发现直接挑战了毕达哥拉斯“一切量皆可公度”的信条。
据古希腊学者扬布利科斯（Iamblichus）记载，希帕索斯因泄露这一秘密而被学派除名，甚至传说他海上遇险溺亡——被视为神对“泄露神圣知识”的惩罚。但现代学者认为此说缺乏可靠史料支持。
毕达哥拉斯：被神化的“命名者”
毕达哥拉斯（Pythagoras，约前570–前495年）是古希腊哲学家、数学家，毕达哥拉斯学派的创始人。他并非勾股定理的“发现者”，而是该定理最早的系统化者与推广者。
- 《周髀算经》（约前11世纪）早于毕氏200余年记载“勾三股四弦五”，中国称为“勾股术”；
- 巴比伦《普林顿322》泥板（前1800年）已列出15组勾股数；
- 毕达哥拉斯学派首次给出严格证明，并将其纳入哲学体系，提出“数是万物的本源”。
学界共识：定理以毕氏命名，是因他在西方首次系统阐述并证明该定理，但绝非“唯一发现者”。
希帕索斯的“水下实验”传说辨析
您提到的“希帕索斯在水中沉木棍”“水面浮起三分之二”等情节，实为现代网友二次创作的虚构故事，并无任何古籍记载。原始文献如亚里士多德《物理学》、第欧根尼·拉尔修《名哲言行录》仅简略提及希帕索斯因泄露无理数秘密而受罚。
? 真实历史线索：无理数的发现是通过几何构造（如正五边形、等腰直角三角形）的逻辑推理得出，而非“水位实验”。希帕索斯可能使用了“无限下降法”的雏形——假设√2 = a/b（最简分数），推出a、b均为偶数，矛盾，故假设不成立。
该传说虽生动，但混淆了史实与文学演绎，建议以学术文献为准。
勾股定理发现史时间轴
从巴比伦泥板到欧几里得《几何原本》，勾股定理的演进跨越三千年文明史
巴比伦《普林顿322》泥板
发现15组勾股数（如119-120-169），表明巴比伦人已掌握构造直角三角形的方法，但无文字记载证明方法。
中国《周髀算经》成书
记载“勾三股四弦五”，提出“勾股各自乘，并而开方除之”，即a² + b² = c²的特例。商高答周公问，标志中国独立发现。
毕达哥拉斯学派系统化
毕氏学派首次给出一般性证明，将勾股定理纳入其“数本源”哲学体系。定理以毕氏命名，实为对其学派的致敬。
希帕索斯发现无理数
通过正五边形与等腰直角三角形研究，发现√2等无理数，动摇学派根基，导致其被除名。此事件标志数学从“可公度量”迈向“实数连续统”。
欧几里得《几何原本》
第I卷命题47给出勾股定理的公理化证明（面积法），第X卷系统讨论可公度量与不可公度量，奠定无理数理论基础。