历代文学网 历代文学
收录来自古今中外 20 多个朝代,近 60个 国家的作者超 3万 人,诗词曲赋、文言文等作品数近 60万 个,名句超 10万 条,著作超 2万 部。

中国古代数学 作者:郭书春 近现代)

章节目录树

第四节 大衍总数术与大衍求一术

上一章 下一章
章节插图
章节插图

这里要计算到右上rn=1,故有“求一”之名。可以证明,这种求乘率k的方法是正确的。在上述方法中,诸Ai必须是两两互素的正整数,但是在实际问题中诸Ai不一定互素,甚至不一定是整数,可能是分数或小数。秦九韶针对不同的情况,提出了化约各种不同的问题为定数的程序。由于中国古代没有因数分解的概念,化约过程走了弯路,但毕竟比较成功地解决了这个问题。

若Ai(i=1,2……)是两两互素的正整数,Ri

每箩米数3193合,甲、丙盗米各为3192合,乙盗米3179合,共盗米9563合。

N≡1(mod 19)≡14(mod 17)≡1(mod 12)

中国民间历来流传着“秦王暗点兵”、“韩信点兵”、“鬼谷算”、“隔墙算”、“剪管术”等数字游戏,实际上都是一种方法,它导源于《孙子算经》“物不知数”问,秦九韶称作“大衍总数术”,即今之一次同余式组解法。同余是数论中的一个重要概念,给定一个正整数m,如果二整数a、b,使a-b被m整除,就称a、b对模m同余,记作a≡b(mod m)。“物不知数”题是:“今有物不知数,三三数之剩二,五五数之剩三,七七数之剩二,问物几何?”这是世界数学史上首次提出同余式问题。用现代符号表示,此题是求满足同余式:N≡2(mod 3)≡3(mod 5)≡2(mod 7)的最小正整数N。《孙子算经》的解法是

同余式解法还来自于历法制定中上元积年的计算。中国古代的历法,要假定远古有一个甲子日,那一年的冬至与十一月的合朔都恰好在这一日的子时初刻。有这么一天的年度叫上元,从上元到制定历法的本年的总年数叫上元积年。已知本年冬至时刻及十一月平朔时刻,求“上元积年”在数学上便是同余式问题。但是,“历家虽用,用而不知”(《数书九章序》),在中国数学史也是世界数学史上第一次提出一次同余式组完整解法的是南宋数学家秦九韶。

章节插图

秦九韶把大衍总数术不仅用于历法推算,而且用于建筑、行程、粟米交易、库额利息,甚至断案等问题。谨以“余米推数”问为例。有一米铺投诉被盗去三箩筐米,不知数量。左箩剩1合,中箩剩14合,右箩剩1合。后捉到盗米贼甲、乙、丙。甲说,当夜他摸得一只马杓,一杓杓将左箩的米舀入布袋;乙说,他踢着一只木履,将中箩的米舀入布袋;丙说,他摸得一只漆碗,将右箩的米舀入布袋。三人将米拿回家食用,日久不知其数,遂交出作案工具。量得一马杓容19合,一木履17合,一漆碗12合。问共丢失的米数及三人所盗的米数。这是求同余式组的解N。

于是N≡1×15×204+14×5×228+1×11×323(mod 3876)≡22573(mod 3876)=3193.

求k2的程序:

章节插图

N=2×70+3×21+2×15-2×105=23。

欧洲现代数学大师欧拉(公元1707—1783年)、拉格郎日(公元1736—1813年)都对同余式问题作过研究。高斯(公元1777—1855年)的《算术探究》(公元1801年)中明确写出了上述定理。来华传教士伟烈亚力(公元1815—1887年)1852年将“物不知数”题介绍到西方,人们发现它与上述定理一致,遂称之为中国剩余定理。

求k3的程序:

由于19、17、12两两互素,便为定数。衍母为19×17×12=3876,衍数依次是17×12=204,19×12=228,19×17=323。求分别满足k1×204≡1(mod 19),k2×228≡1(mod 17),k3×323≡1(mod 12)的乘率k1,k2,k3。由于衍数分别大于定数,便用定数减衍数,得奇数14,7,11。问题变成求分别满足k1×14≡1(mod 19),k2×7≡1(mod 17),k3×11≡1(mod 12)的k1,k2,k3。求k1的程序:

N≡Ri(mod Ai)i=1,2……如果能找到诸正整数ki,使

章节插图

其根据是:70=2×5×7≡1(mod 3),21=3×7≡1(mod 5),15=3×5≡1(mod 7)。可见《孙子算经》的作者在一定程度上明白了下面这个定理:

秦九韶的方法称为大衍总数术。他将诸ki叫作乘率,诸Ai叫作定数,章节插图叫作衍母,章节插图叫衍数,而方法的核心是大衍求一术,即求乘率ki的方法。为叙述方便,我们将章节插图记为G,将Ai记为A,ki记为k,求一术变成在A、G互素的情况下求满足kG≡1(mod A)的k值。秦九韶首先提出,如果G>A,若G≡g(mod A),0

上一章 下一章