秦九韶算法
秦九韶算法是中国南宋时期的数学家秦九韶表述求解一元高次多项式的值的算法——正负开方术。它也可以配合牛顿法用来求解一元高次多项式的根。
历史
[编辑]![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/10/Wylie_on_Ling_lung_Kae_fang.jpg/300px-Wylie_on_Ling_lung_Kae_fang.jpg)
19世纪初,英国数学家威廉·乔治·霍纳重新发现并证明,后世称作霍纳算法(Horner's method、Horner scheme)[1]。但是,19世纪英国传教士伟烈亚力 Alexander Wylie. (1815–1887) 最早对霍纳的发明权提出质疑。他在1852年著的《中国科学札记》(Jottings on the Science of the Chinese)一篇论文中,详细介绍秦九韶的正负开方术之后写道“读者不难认出这就是霍纳在1819年因为发表《解所有次方程》论文,被数学家奥古斯都·德·摩根评为‘必使其发明人因发现此算法而置身于重要发明家之列’的方法;我以为应该对霍纳的发明权提出辩驳。欧洲的朋友们可能会觉得意外,一位来自天朝帝国的竞争者,有更大的机会确立他的优先权”[2]。[3]此后,日本数学史家三上义夫在《中日数学史》一书中在详述秦九韶的正负开方术后写道:“谁能否认,霍纳的辉煌方法,至少在早于欧洲六百年之前,已经在中国运用了。”[4]。三上义夫还最先指出,秦九韶算法起源于汉代《九章算术》的开方法。其后王玲和李约瑟有专文论述秦九韶算法起源于《九章算术》。前苏联数学史家尤什克维奇说“这是中国传统数学最伟大成就之一”,他还说印度人不知有此方法,而阿拉伯数学家可能从中国前人传入此方法[5]。
下面以自今到古的顺序,列出早在霍纳之前对该算法的发现:
- 1809年,保罗·鲁菲尼[6][7]
- 1669年,艾萨克·牛顿(但缺乏详细引文)
- 14世纪,中国数学家朱世杰[7]
- 13世纪,中国数学家秦九韶在《数书九章》中
- 12世纪,波斯的伊斯兰数学家萨拉夫·丁·图西[8]
- 11世纪(宋朝),中国数学家贾宪
- 汉朝(公元前202到公元220年),刘徽所注的《九章算术》中[9][可疑]
霍纳在1819年发表的《解所有次方程》论文中的算例,其算法程序和数字处理都远不及五百多年前的秦九韶有条理;秦九韶算法不仅在时间上早于霍纳,也比较成熟。[10]
秦九韶算法
[编辑]精确解x=840
近似解x=20.5
南宋数学家秦九韶将贾宪的增乘开方术推广,以求解任意高次方程的实数根的数值解。秦九韶的《数书九章》详细叙述用秦九韶算法求解二十六个二次到十次方程的的实数根的数值解,其中包含二十个二次方程,一个三次方程,四个四次方程和一个十次方程。[11];其中有些得到精确解;多数得近似解。
《数书九章》“《遥度圆城》”题列出一个十次方程,求解圆城的直径:
- ,得精确解x=3[12]。
《数书九章》“《兴田求积》”题列出一个四次方程,
将方程式写成一般式
第一次估根~800;作y=x-800减根代换,估出根的第二位数字为y=40;经过第二次减根代换z=y-40后常数项抵消为0;得精确解 y=40;x=800+y=800+40=840。右图为用阿拉伯数字表示的解此四次方程的秦九韶程序图(c'、d'、e'是运算过程中的临时数,最终分别并入c、d、e)。
《数书九章》“《环田三积》”题列出另一个四次方程,
其中经过x=10x'扩根代换和 x'=y+2减根代换得
再次作扩根变换令z=10y 得:
筹算程序:
- 置6262506.25为实
- 置15245为上廉
- 置1为益隅
- 上廉超二位,益隅超三位。
- 置商20步
- 以商乘益隅入下廉
- 以下廉乘商生负廉
- 以负廉与正廉相消得正上廉
- 以商乘上廉为方
- 以方乘商除实
- 又以商乘益隅入下廉
- 以下廉乘商生负廉
- 负廉与正廉相消
- 商与上廉生方
- 商隅相乘入下廉
- 商与下廉生负廉
- 负廉与正廉相消
- 商又与隅生下廉
- 下廉三退,隅四退
- 无商(商第二位为0),以上廉并入方,并益隅入下廉
- 益隅并负廉与正方廉相消,命为母
- 约分
得x~ 其中:不等于0,其第一位有效数字=0.5;即商的下一位数字为5,商~20.5,按秦九韶程序的一般规则,运算须继续进行下去直到“实”=0为止;但秦九韶在商=20.5而止,因20.5的精确度已满足在相关问题的需要。
三上义夫特别指出(1)秦九韶在处理这一类四次方程式时,绝非作为 的二次方程式来求解(所谓双二次方程),而是按四次方程来求解的。(2)秦九韶算法同样可以求出小数点后的数值,后来的中国数学家和日本数学正是这么做的。[16]
原理
[编辑]设有项的次函数
将前项提取公因子,得
再将括号内的前项提取公因子,得
如此反复提取公因子,最后将函数化为
令
......
则即为所求
应用示例
[编辑]求当时的值。
反复提取公因子后,原函数可以写成。建立下列系数表可以用来加快演算速度:
| 3 | 2 -6 2 -1 | 6 0 6 |---------------------- 2 0 2 5
第四行中的数是表中本列上方两数之和。第三行的数字是x的值与左下方第四行数的乘积。第二行的数是多项式各项按照次数从大到小排列后的系数。表中右下角的数就是函数的值:5。
效率
[编辑]对于一个n次的多项式函数,用常规方法(用重复乘法计算幂,再把各项相加)计算出结果最多需要n次加法和次乘法。若用x迭代的方法计算幂则需要n次加法和2n+1次乘法。如果计算中的数值数据是以字节方式储存的,那么常规方法约需要x占用的字节的2n倍空间。
而使用秦九韶算法时,至多只需作n次加法和n次乘法,最多需要x占用的字节的n倍空间。
意义
[编辑]该算法看似简单,其最大的意义在于将求n次多项式的值转化为求n个一次多项式的值。在人工计算时,利用秦九韶算法和其中的系数表可以大幅简化运算;对于计算机程序算法而言,加法比乘法的计算效率要高很多,因此该算法仍有极大的意义,用于减少中央处理器运算时间。
参考文献
[编辑]引用
[编辑]- ^ Horner Scheme History Basic Idea Horner Algorithm-MASTERLINES. [2008-10-12]. (原始内容存档于2008-12-03).
- ^ Alexander Wylie Jottings on the Sciences of The Chinese p188 1852
- ^ 吴文俊主编《中国数学史大系》第五卷533-537
- ^ Yoshio Mikami, The Development of Mathematics in China and Japan, Chelsia, New York, 1913 edition, p77
- ^ Urich Librecht Chinese Mathematics in Thirteen Century平08 Dover
- ^ Florian Cajori, Horner's method of approximation anticipated by Ruffini (页面存档备份,存于互联网档案馆), Bulletin of the American Mathematical Society, Vol. 17, No. 9, pp. 409–414, 1911 (read before the Southwestern Section of the American Mathematical Society on November 26, 1910).
- ^ 7.0 7.1 约翰·J·奥康纳; 埃德蒙·F·罗伯逊, Horner, MacTutor数学史档案 (英语)
- ^ Berggren, J. L. Innovation and Tradition in Sharaf al-Din al-Tusi's Muadalat. Journal of the American Oriental Society. 1990, 110 (2): 304–309. doi:10.2307/604533.
- ^ Temple, Robert. (1986). The Genius of China: 3,000 Years of Science, Discovery, and Invention. With a forward by Joseph Needham. New York: Simon and Schuster, Inc. ISBN 0-671-62028-2. Page 142.
- ^ 白尚恕 《中国数学史研究白尚恕文集》 47页
- ^ Urich Librecht Chinese Mathematics in the Thirteen Century p189 Dover
- ^ 吴文俊主编 中国数学史大系第五卷 302-309页
- ^ 吴文俊主编中国数学史大系第五卷 293-298页
- ^ 吴文俊主编中国数学史大系第五卷 299-302页
- ^ Jean Claude Matzloff, A History of Chinese Mathematics, p233-245 ISBN 3-54033782-2
- ^ Yoshio Mikami ,Mathematics in China and Japan p77, 1912
来源
[编辑]- 书籍
- 李庆扬、王能超、易大义 (编). 《数值分析》 第四版. 清华大学出版社、Springer出版社. ISBN 7-302-04561-5.
参见
[编辑]
|
|