为什么没人知道呢？因为祖冲之写了一本数学书《缀术》，也曾经被作为官方教材。但是这本书难度太大，虽然在中国古代所有的数学教材中学制是最长的，但学懂的人还是太少，结果就失传了。结论是：学渣误事啊！（大雾）

更广而言之，由于知其然而不知其所以然，中国古代的很多科技成就都是进一步退两步，没能形成积累。所以啊，你看武侠小说的时候，会感到随着时代的发展，中国的武功越来越退步了。早年用的是降龙十八掌、六脉神剑这种神功，后来却连点穴都成了高深武功，甚至连扔石灰都出来了！

在吐完血之后，你也许会问：其他国家的古代科技怎么样？

回答是：其实古代大多数国家都有同样的毛病，大家大哥别说二哥。

但是有一个例外，就是古希腊。古希腊出了一批了不起的数学家，他们的成果集中反映在欧几里得的《几何原本》里。《几何原本》总共有13篇，一开头就写出了23个定义，定义了点、线、面、圆、平行线等概念，然后写出了5条公理和5条公设。然后基于这些定义和公理，欧几里得就开始推导定理，一共推出了467个定理。勾股定理是《几何原本》第一篇的第47个定理，证明用到的图如下。此书的主体就是这些定理，以及对它们的证明。

《几何原本》对勾股定理的证明

由于时间关系，在这里我不能详细解释《几何原本》对勾股定理的证明过程，大家可以课下去查阅。基本思路是，以直角三角形的三条边为边长做三个正方形，从直角的顶点A向斜边BC做垂线，这条垂线把大的正方形分成两个长方形，然后论证左边和右边的长方形的面积分别等于左边和右边两个正方形的面积，因此大正方形的面积等于两个小正方形的面积之和，即 a2 + b2 = c2 。最重要的是，这是一个完全严格的证明过程。只要你承认欧几里得那5条公理、5条公设的正确性，你就会承认这条定理的正确性，没有任何含糊之处，所以任何人都能学懂。

你也许会感到很眼熟：这不就是初中数学课本的组织方式吗？

对呀！其实正是《几何原本》开创了这种框架：明确地写出公理，然后推出一个个的定理。我们现在感觉，数学书天经地义的就应该这么写。其实这只是因为我们从小就受这样的教育，习惯了，而这对古人来说，远远不是天经地义的。

《几何原本》提出这套公理证明体系，是对人类的认识论、科学方法论一个石破天惊的贡献，比它证明的那些具体的定理更加重要。刘徽也做了很多证明，但他没有写出公理，所以还是有所不足。

我们需要特别强调一下，科学方法论的重要性。科学好比点金术，牛顿三定律、元素周期表等具体的科学知识好比金子，而科学方法论就好比点金术的手指。中国古代捡到过不少金子，但从来没有发现过点金术的手指。

1953年，有一个叫斯威策（J. E. Switzer）的人写信给爱因斯坦，问他怎么看待中国古代的科学。爱因斯坦的回信如下：

爱因斯坦论科学的必要条件

“Development of Western Science is based on two great achievements: the invention of the formal logical system (in euclidean geometry) by the Greek philosophers, and the discovery of the possibility to find out causal relationships by systematic experiment (Renaissance). In my opinion, one has not to be astonished that the Chinese sages have not made these steps. The astonishing thing is that these discoveries were made at all.

【翻译：西方科学的发展以两个伟大的成就为基础：希腊哲学家发明形式逻辑体系（在欧几里得几何学中），以及发现通过系统的实验有可能找出因果关系（文艺复兴）。在我看来，人们不必对中国的贤哲没有走出这两步感到惊奇。人类居然作出了这些发现，才是令人惊奇的。】”

我来解读一下爱因斯坦的话。最重要的科学方法论有两个。

一，演绎法和逻辑体系，由古希腊数学家发现，代表作就是欧几里得的《几何原本》，它使得严密科学成为可能。

二，实验和试错的方法，由文艺复兴时的欧洲科学家发现，典型人物如伽利略，典型著作如《关于两门新科学的对话》，它使得实验科学成为可能。