书城教材教辅中学理科课程资源-了解数学名人
45445600000005

第5章 杨辉

一、宋元四大数学家之一

杨辉是浙江杭州人,生活于13世纪下半叶,生平不详。在数学史上与秦九韶以及元代的李冶、朱世杰合称宋元四大数学家。

现存的杨辉著作有以下5种:

①详解九章算法,1261年成书。

②日用算法,1262年成书。

③乘除变通本末,1274年成书。

④田亩比类乘除捷法,1275年成书。

⑤续古摘奇算法,1275年成书。

杨辉是我国历史上著名的数学教育家,他写书教课深入浅出,生动有趣,图文并茂,他是中国南方最受欢迎的老师,他是数学史上有名的“巧人”。

二、神农幻方的构作

杨辉对我国国宝级数学遗产“洛书”进行了研究,定义了“纵横图”的概念,“纵横图”也称为幻方,即从1到n2连续n2个自然数,排成n×n的方阵,使得每行之和、每列之和和每条对角线之和相等,都等于1+2+3+…+n2n=n(1+n2)2。

杨辉鬼斧神工,制作出3阶到10阶的幻方。

传说当年大禹治水成功之后,洛河上浮出一只巨大的神龟,背上驮着如图10的一张图,这张图称为“洛书”。上苍把“洛书”献给大禹,作为对他治水有功造福百姓的奖赏,同时也是蓄意考查大禹的智慧究竟有多大。大禹几经研究,始终看不透这张“洛书”的天机。

杨辉把“洛书”破译成方阵(图11),识破了洛书的数学意义:洛书上九组点子代表从1到9的9个数字,改写成(图11)方阵,发现各行之和、各列之和和两条对角线之和皆15。杨辉把(图11)方阵称为“神农幻方”。而且杨辉对神农幻方的构作作了如下的说明:在图12中把1,2,3;4,5,6;7,8,9分三组斜着抄入方格中,杨辉称此为“九子斜排”;把顶上的1下降三个格,下方的9上提三个格,杨辉称此为“上下对易,戴九履一”;再把图12中右端的3向左平移三个格,左端的7向右平移三个格,杨辉称此为“左右相更,左三右七”。于是制成图11的3×3神农幻方。

杨辉用这种方式又构造了(2k+1)×(2k+1)阶幻方。

图13是5×5幻方的构造过程,图14是7×7的幻方的构造过程,更高阶的奇阶幻方依次类推。

杨辉构作的10阶幻方如图15,他当时称此为“百子图”。

三、杨辉的面积割补法

杨辉的名著《续古摘奇算法》中有定理如下:

“直田之长名股,其阔名勾,于两隅角斜界一线,其名弦。弦之内外分二勾股,其一勾中容横,其一股中容直,二积之数皆同。”

刘徽的这条定理是说:过矩形对角线上任一点分别作两组对边的平行线,在此对角线两侧的两个矩形等积。

在图16中,设D为矩形ABCD的对角线册上任一点,直线RPS∥AB,TPQ∥BC,则矩形PQAR的面积等于矩形PSCT的面积。

事实上,△ABD=△BDC(指它们的面积等)

△PRD=△PTD

△PQB=△PSB

矩形PQAR=△ABD-△PRD-△PQB

矩形PSCT=△BDC-△PTD-△PSB

所以

矩形PSCT=矩形PQAR

四、杨辉三角

杨辉于1261年画了如下一张图17。

图17可以下向延展成无穷层,他画了一个等腰三角形的数字垛,第一层一个数,第二层两个,…,第n

层n个数,两腰上的数都是1,其余各数由上层邻近的两数求和得到。这种构造方法轻松有趣。值得注意的是,杨辉搞的这个“三角”阵,不仅仅是为了美观有趣,而且事实上,它含有深刻的数学内容,突出的有以下两条。

①杨辉三角的第n+1行是(a+6)n展开式的系数序列1,c1n,c2n,…,Cn-1n,cnn

(a+b)n=1an+c1nan-1b2+C2nan-2b2+…

+Cn-1nabn-1+Cnnbn

②杨辉三角的n+1行是(u(x)v(x))(n)(n阶导数)的系数序列:

(u(x)v(x))(n)=1u(n)(x)v(x)+C1nu(n-1)(x)v(1)(x)

+…+Cn-1nu(1)(x)v(n-1)(x)

+Cnnu(x)v(n)(x)

1654年,法国大数学家帕斯卡发明了一种“帕斯卡三角”,实质上那就是“杨辉三角”,不过已经比杨辉晚了400年左右。

五、级数求和公式与堆垛

杨辉曾解下面堆垛问题:有一四棱台堆垛,上底面后k2个果子组成,下底由(k+n-1)×(k+n-1)个果子组成,共n层,求果子总数。

此题就是求级数之和:

Sn=k2+(k+1)2+(k+2)2+…+(k+n-1)2=?

杨辉得出

Sn=n3[k2+(k+n-1)2+k(k+n-1)+n-12](10)

公式(10)可以用数学归纳法予以证明。

当n=1时,只一层,S1=k2,而式(10)右端恰为k2,归纳法起步成功。假设对于n=m已成立公式(10),往证n=m+l时,式(10)仍成立。

事实上,由Sn之定义及归纳法假设得

Sm+1=Sm+k+m)2

=m3[k2+(k+m-1)2+

k(k+m-1)+m-12]+(k+m)2

此Sm+1是否与

m+13[k2+(k+m)2+k(k+m)+m2]

相等呢?

m3[k2+(k+m-1)2+k(k+m-1)+m-12]+

(k+m)2-m+13[k2+(k+m)2+k(k+m)+m2]

=k2(m3-m+13)+m3[(k+m-1)2-(k+m)2]+m3[k(k+m-1)-k(k+m)]+m3(m-12-m2)+(k+m)2-13(k+m)2-13k(k+m)-16m

=-k23-m3(2k+2m-1)-mk3-m6+k2+m2+2km-23k2-23km-23m2-13km-m6

=0

证毕。

杨辉还得出公式

12+22+…+n2=n3(n+1)(n+12)

l+3+6+10+…+n(n+1)2=16(n+1)(n+2)

杨辉是古今中外天才数学家之一。