发现并证明勾股定理

勾股定理是一个基本几何定理，是人类早期发现并证明的重要数学定理之一，用代数思想解决几何问题的最重要的工具之一，也是数形结合的纽带之一。勾股定理是余弦定理的一个特例。

世界上几个文明古国如古巴比伦、古埃及都先后研究过这条定理。我国也是最早了解勾股定理的国家之一，被称为“商高定理”。

成书于公元前1世纪的我国最古老的天文学著作《周髀算经》中，记载了周武王的大臣周公问于皇家数学家商高的话，其中就有勾股定理的内容。

这段话的主要意思是，周公问：“我听说你对数学非常精通，我想请教一，天没有梯子可以上去，地也没法用尺子去一段一段丈量，那么关于天的高度和地面的一些测量的数据是怎么样得到的呢？”

商高说：“数的产生来源于对圆和方这些图形的认识。其中有一条原理：当直角三角形‘矩’得到的一条直角边‘勾’等于3，另一条直角边‘股’等于4的时候，那么，它的斜边‘弦’就必定是5。”

这段对话，是我国古籍中“勾三、股四、弦五”的最早记载。用现在的数学语言来表述就是：在任何一个不等腰的直角三角形中，两条直角边的长度的平方和等于斜边长度的平方。也可以理解成两个长边的平方相减与最短边的平方相等。基于上述渊源，我国学者一般把此定理叫做“勾股定理”或“商高定理”。

商高没有解答勾股定理的具体内容，不过周公的后人陈子曾经运用他所理解的太阳和大地知识，运用勾股定理测日影，以确定太阳的高度。这是我国古代人民利用勾股定理在科学上进行的实践。

周公的后人陈子也成了一个数学家，他详细地讲述了测量太阳高度的全套方案。这位陈子是当时的数学权威，《周髀算经》这本书，除了最前面一节提到商高以外，剩下的部分说的都是陈子的事。

据《周髀算经》说，陈子等人的确以勾股定理为工具，求得了太阳与镐京之间的距离。为了达到这个目的，他还用了其他一系列的测量方法。

陈子用一只长8尺，直径0.1尺的空心竹筒来观察太阳，让太阳恰好装满竹筒的圆孔，这时候太阳的直径与它到观察者之间距离的比例正好是竹筒直径和长度的比例，即1：80。

经过诸如此类的测量和计算，陈子和他的科研小组测得日下60千里，日高80千里，根据勾股定理，求得斜至日整10万里。

这个答案现在看来当然是错的。但在当时，陈子对他的方案充分信心。他进一步阐述了这个方案。

在夏至或者冬至这一天的正午，立一根8尺高的竿来测量日影，根据实测，正南1千里的地方，日影1.5尺，正北1千里的地方，日影1.7尺。这是实测，下面就是推理了。

越往北去，日影会越来越长，总有一个地方，日影的长会正好是6尺，这样，测竿高8尺，日影长6尺，日影的端点到测竿的端点，正好是10尺，是一个完美的“勾三股四弦五”的直角三角形。

这时候的太阳和地面，正好是这个直角三角形放大若干倍的相似形，而根据刚才实测数据来说，南北移动1千里，日影的长短变化是0.1尺，那由此往南60千里，测得的日影就该是零。

也就是说从这个测点到“日下”，太阳的正下方，正好是60千里，于是推得日高80千里，斜至日整10万里。

接下来，陈子又讲天有多高地有多大，太阳一天行几度，在他那儿都有答案。

陈子根本没有想到这一切都是错的。他要是知道他脚下大的没边的大地，只不过是一个小小的寰球，体积是太阳的1／130万，就像漂在空中的一粒尘土，真不知道他会是什么表情。

书的最后部分，陈子指出，一年有265天4分日之一，有12月19分月之7，一月有29天940分日之499。这个认识，有零有整，而且基本上是对的。

现在大家都知道一年有365天，好像不算是什么学问，但在那个时代，陈子的学问不是那么简单的，虽然他不是全对。

勾股定理的应用，在我国战国时期另一部古籍《路史后记十二注》中也有记载：大禹为了治理洪水，阻止决流江河，根据地势高低，决定根据水流走向，因势利导，使洪水注入海中，不再有大水漫溺的灾害，是应用勾股定理的结果。

勾股定理在几何学中的实际应用非常广泛，较早的应用案例有《九章算术》中的一题：有一个正方形的池塘，池塘的边长为一丈，有一棵芦苇生长在池塘的正中央，并且芦苇高出水面部分有一尺，如果把芦苇拉向岸边则恰好碰到岸沿，问水深和芦苇的高度各多少？

这是一道很古老的问题，《九章算术》给出的答案是“12尺”，这是用勾股定理算出的结果。

汉代的数学家赵君卿，在注《周髀算经》时，附了一个图来证明“商高定理”。这个证明是400多种“商高定理”的证明中最简单和最巧妙的。

外国人用同样的方法来证明的，最早是印度数学家巴斯卡拉·阿查雅，那是1150年的时候，可是比赵君卿还晚了1000年。

东汉初年，根据西汉和西汉时期以前数学知识积累而编纂的一部数学著作《九章算术》里面，有一章就是讲“商高定理”在生产事业上的应用。可惜后来对这个定理很少作进一步的研究，直至清代才有华蘅芳、李锐、项名达、梅文鼎等创立了这个定理的几种巧妙的证明。

勾股定理是人们认识宇宙中形的规律的自然起点，在东西方文明起源过程中，有着很多动人的故事。

我国古代数学著作《九章算术》的第九章即为勾股术，并且整体上呈现出明确的算法和应用性特点，表明已懂得利用一些特殊的直角三角形来切割方形的石块，从事建筑庙宇、城墙等。

这与欧几里得《几何原本》第一章的毕达哥拉斯定理及其显现出来的推理和纯理性特点恰好形成熠熠生辉的对比，令人感慨。

拓展阅读

“商高定理”在外国称为“毕达哥拉斯定理”。毕达哥拉斯是古希腊数学家，他是公元前5世纪的人，比商高晚出生500多年。希腊另一位数学家欧几里得在编著《几何原本》时，认为这个定理是毕达哥达斯最早发现的，所以他就把这个定理称为“毕达哥拉斯定理”。