勾股定理是一个基本的平面几何定理,在初中的数学课程中,大家都是学过的。勾股定理这个名字很有中国特色,很多人看到以后都会有扬眉吐气的感觉,觉得这是我们中国人的老祖宗第一个发现的数学定理。
那么,我们从时间顺序上来看看这个事情的真相吧。
在中国,西汉时期的《周髀算经》记载了勾股定理的一些朦胧的说法,这些说法简单地说就是“勾三,股四,弦五”。西汉是刘邦建立的朝代,《周髀算经》大约出现在公元前1世纪。众所周知的是,公元元年是以传说中耶稣基督的生年为公历元年,这一时期相当于中国西汉平帝元始元年。在《周髀算经》中,提到勾股定理最早是由商高发现,故又有称之为商高定理。
那么,商高又是什么人呢?
他是商朝末年西周初年的数学家。也就是说,此人活动于周武王灭商的峥嵘岁月。
目前历史学界还没有考证出商朝到底是哪一年灭亡的——夏商周断代工作缺乏强悍的证据。但总的说来,按照《周髀算经》的说法,勾股定理在中国被发现,发生在周武王灭商(公元前1046年(一说公元前1057年)正月)这一特殊的历史时期。
《周髀算经》中记载了这样一件事——有一次周公(周武王姬发的弟弟,后来的摄政王)问商高:古时作天文测量和订立历法,天没有台阶可以攀登上去,地又不能用尺寸去测量,请问数是怎样得来的?商高回答说:数是根据圆和方的道理得来的,圆从方来,方又从矩来。这里的“矩”原是指包含直角的作图工具,可能就是一个长方形。在这个对话里,商高说明了“勾股测量术”,即可用3∶4∶5的办法来构成直角三角形,这就是历史书上经常提到的“勾三,股四,弦五”。
因此,从文献上记录来看,商高在公元前1000年发现勾股定理的一个特例:勾三,股四,弦五。而这一时间早于意大利的数学家毕达哥拉斯发现此定理证明五百到六百年。
但是,非常可惜的是,商高没有提供更详细的证明(见下图,用面积法来证明)。因为商高所提供的数据(3,4,5)只是勾股定理的一个特例。比如(7,24,25)也满足勾股定理,但却是商高没有指出来的。因此,不能认为商高发现了勾股定理。
而在商高去世大约500年后,活动于意大利 的毕达哥拉斯学派,则提出了对这一定理的证明,而且据此发现了无理数的存在。而在这之后又过了大概350年,西汉中期的数学家写了一本书,叫《九章算术》,在这本书的最后一章,作者才给出了勾股定理的完整证明。因此,勾股定理不是中国人首先发现的,中国人只是发现了它的一个特例。
(作者:张轩中)