凡事之所贵,必贵其难。
——舒梦兰
中国的数学发展到宋元时期,走到了它的高峰。在这个数学创新的黄金时期,各种数学成果层出不穷,令人目不暇接。其中特别引人注目的,当首推北宋数学家贾宪创制的“贾宪三角”了。
史书没有贾宪的传记,人们今天对这位数学家的生平事迹已经无法搞清楚了,只知道他曾经当过宋代“左班殿直”的小官,是当时天文数学家楚衍的学生,还写过两部数学著作,可惜这两部著作现在都失传了。幸亏南宋数学家杨辉在他的书中引述了贾宪的许多数学思想资料,才使人们今天得以了解贾宪在数学上的重大贡献。
贾宪最著名的数学成就,是他创制了一幅数字图式,即“开方作法本源图”。这幅图现见于杨辉的书中,但杨辉在引用了这幅图后特意说明:“贾宪用此术”。所以过去我国数学界把这幅图称为“杨辉三角”,实际上是不妥当的,应该称为“贾宪三角”才最为恰当。这样一种二项式系数的展开规律,在西方数学史上被称为“帕斯卡三角形”。帕斯卡是法国数学家,他在1654年所著的书中给出类似于贾宪“开方作法本源图”的数字三角形表。其实在欧洲,类似的数字三角形也并非帕斯卡最先发明,只是开始没有广泛流传罢了。西方最古的此类数字三角形,可以上溯到1527年,但与贾宪的这个图相比,已经晚了400多年。因此我们完全有理由把这项中国人最先发明的数学成果称为“贾宪三角”而载入史册。
不仅如此,贾宪的这个图还蕴含了图中数字的产生规律。这个三角形的两条斜边都是由数字1所组成的,而其他的数都等于它肩上的两个数相加。按此规律,这个数字三角形可以写到任意多层;也就是说,二项式任意正整次幂的系数展开都可按这个图很容易地得到。
根据杨辉的记载,贾宪求“开方作法本源图”中各项系数的方法,就是他在开平方、开立方中所用的新法——“增乘开方法”。应用这种“增乘开方法”,既可求得任意高次展开式系数,又可进行任意高次幂的开方。在贾宪之前,从汉代一直到唐代的1000多年时间里,中国古代数学家只能进行正数的开平方和开立方运算,对于四次方以上的高次幂开方没有什么好的方法。直到贾宪的“增乘开方法”问世,才真正找到了开高次方的最佳方法,并能用它开任意有理数的高次方。
这在中国数学史乃至世界数学史上,都具有极其重要的价值。以后的数学家在这个基础上继续前进,又把它推广为任意高次方程的数值解法。南宋时期的数学家秦九韶在系统总结前人成果的基础上,终于把以增乘开方法为主体的高次方程数值解法发展到了十分完备的程度。其解法与现代通常使用的“霍纳法”(由英国数学家霍纳于1819年给出)基本一致,但比霍纳法要早了五百多年。从贾宪到秦九韶逐步发展完备起来的高次方程数值解法,是中国数学在宋元时期的一项杰出的创造。
任何成果的取得都是在系统地学习前人、总结前人经验和教训的基础上形成和发展起来的。一项技术,只有站在前人的肩膀上进行学习和扬弃,才能有所进步。