什么是大衍求一术？

Answer 1

大衍求一术

中国古代求解一类大衍问题的方法。大衍问题源于《孙子算经》中的“物不知数”问题：“今有物，不知其数，三三数之剩二，五五数之剩三，七七数之剩二，问物几何？”这是属于现代数论中求解一次同余式方程组问题。宋代数学家秦九韶在《数书九章》（1247年成书）中对此类问题的解法作了系统的论述，并称之为大衍求一术。德国数学家C.F.高斯是在1801年才建立起同余理论的，大衍求一术反映了中国古代数学的高度成就。

参考资料：http://info.yqie.com/D/D0300.htm

Answer 2

南宋，数学家秦九韶（公元1202~1261年）在1247年（淳佑七年）着成『数书九章』十八卷．全书共81道题，分为九大类：大衍类、天时类、田域类、测望类、赋役类、钱谷类、营建类、军旅类、市易类。这是一部划时代的巨着，它总结了前人在开方中所使用的列筹方法，将其整齐而有系统地应用到高次方程的有理或无理根的求解上去，其中对「大衍求一术」［一次同余组解法）和「正负开方术」［高次方程的数值解法）等有十分深入的研究。其中的”大衍求一术”［一次同余组解法），在世界数学史上占有崇高的地位。在古代＜孙子算经＞中载有”物不知数”这个问题，举例说明：有一数，三三数之余二，五五数之余二，七七数之余二，问此数为何？这一类问题的解法可以推广成解一次同余式组的一般方法．奏九韶给出了理论上的证明，并将它定名为”大衍求一术”。

中国剩余定理

数学研究所 李文林 袁向东

在我国古代劳动人民中，长期流传着“隔墙算”、“剪管术”、“秦王暗点兵”等数学游戏。有一首“孙子歌”①，甚至远渡重洋，输入日本：

“三人同行七十稀，五树梅花廿一枝，

七子团圆正半月，除百令五便得知。”

这些饶有趣味的数学游戏，以各种不同形式，介绍世界闻名的“孙子问题”的解法，通俗地反映了中国古代数学一项卓越的成就。

“孙子问题”在现代数论中是一个一次同余问题，它最早出现在我国公元四世纪的数学著作《孙子算经》中。《孙子算经》卷下“物不知数”题说：有物不知其数，三个一数余二，五个一数余三，七个一数又余二，问该物总数几何？显然，这相当于求不定方程组

N=3x+2，N=5y+3，N=7x+2

的正整数解N，或用现代数论符号表示，等价于解下列的一次同余组：

N 2(mod3) 3(mod5) 2(mod7)②

《孙子算经》所给答案是N＝23。由于孙子问题数据比较简单，这个答数通过试算也可以得到。但是《孙子算经》并不是这样做的。“物不知数”题的术文指出解题的方法：三三数之，取数七十，与余数二相乘；五五数之，取数二十一，与余数三相乘；七七数之，取数十五，与余数二相乘。将诸乘积相加，然后减去一百零五的倍数。列成算式就是：

N＝70×3＋21×3＋15×2－2×105。

这里105是模数3、5、7的最小公倍数，容易看出，《孙子算经》给出的是符合条件的最小正整数。对于一般余数的情形，《孙子算经》术文指出，只要把上述算法中的余数2、3、2分别换成新的余数就行了。以R1、R2、R3表示这些余数，那么《孙子算经》相当于给出公式

N＝70×R1＋21×R2＋15×R3－P×105（p是整数）。

孙子算法的关键，在于70、21和15这三个数的确定。后来流传的《孙子歌》中所说“七十稀”、“廿一枝”和“正半月”，就是暗指这三个关键的数字。《孙子算经》没有说明这三个数的来历。实际上，它们具有如下特性：

也就是说，这三个数可以从最小公倍数M＝3×5×7＝105中各约去模数3、5、7后，再分别乘以整数2、1、1而得到。假令k1＝2，K2＝1，K3＝1，那么整数Ki（i＝1，2，3）的选取使所得到的三数70、21、15被相应模数相除的时候余数都是1。由此出发，立即可以推出，在余数是R1、R2、R3的情况下，

综合以上三式又可得到

因为M＝3×5×7可被它的任一因子整除，于是又有：

这里P是整数。这就证明了《孙子算经》的公式。应用上述推理，可以完全类似地把孙子算法推广到一般情形：设有一数N，分别被两两互素的几个数a1、a2、……an相除得余数R1、R2、……Rn，即

N≡Ri（modai）（i＝1、2、……n），

只需求出一组数Ki，使满足

那么适合已给一次同余组的最小正数解是

（P是整数，M＝a1×a2×……×an），这就是现代数论中著名的剩余定理。如上所说，它的基本形式已经包含在《孙子算经》“物不知数”题的解法之中。不过《孙子算经》没有明确地表述这个一般的定理。

孙子问题出现在公元四世纪的中国算书中，这并不是偶然的。我国古代天文历法资料表明，一次同余问题的研究，明显地受到天文、历法需要的推动，特别是和古代历法中所谓“上元积年”的计算密切相关。大家知道，一部历法，需要规定一个起算时间，我国古代历算家把这个起点叫做“历元”或“上元”，并且把从历元到编历年所累积的时间叫做“上元积年”。上元积年的推算需要求解一组一次同余式。以公元三世纪三国时期魏国施行的《景初历》做例，这部历法规定以冬至、朔旦（朔日子夜）和甲子日零时会合的时刻作为历元。设a是一回归年日数，b是一朔望月日数，当年冬至距甲子日零时是R1日，离平朔时刻是R2日，那么《景初历》上元积元数N就是同余组

aN≡Ri（mod60）≡R2（modb）

的解①。到了南北朝时期，祖冲之《大明历》（公元462年）更要求历元必须同时是甲子年的开始，而且“日月合壁”、“五星联珠”（就是日、月、五大行星处在同一方位），月亮又恰好行经它的近地点和升交点。这样的条件下推算上元积年，就相当于要求解十个同余式了。天文历法数据一般又都十分庞杂，所以，在《孙子算经》成书前后的魏晋南北朝时期，我国的天文历算家无疑已经能够求解形式比《孙子算经》“物不知数”题复杂得多的一次同余式，因而必定掌握了按一定程序计算一次同余式的方法①。《孙子算经》比例题的形式总结、反映了这一事实。以后天文历算家长期沿用孙子算法推算上元积年，这中间肯定会引起更加深入的探讨。到公元十三世纪，大数学家秦九韶集前法之大成，终于在一次同余式的研究上获得了超越前人的辉煌成果。

秦九韶，字道古，生活于南宋时期，自幼喜好数学，经过长期积累和苦心钻研，于公元1247年写成《数书九章》。这部中世纪的数学杰作，在许多方面都有创造，其中求解一次同余组的“大衍求一术”和求高次方程数值解的“正负开方术”，更是具有世界意义的成就。

这里主要介绍秦九韶对一次同余论的伟大贡献。

秦九韶在《数书九章》中明确地系统地叙述了求解一次同余组的一般计算步骤。秦的方法，正是前述的剩余定理。我们知道，剩余定理把一般的一

的一组数Ki的选定。秦九韶给这些数起名叫“乘率”，并且在《数书九章》卷一“大衍总术”中详载了计算乘率的方法——“大衍求一术”。

为了介绍“大衍求一术”，我们以任一乘率ki的计算作例。如果Gi＝

Gi≡gi（modai），

于是kiGi≡Kigi（modai），

但是因为kiGi≡1（modai），

所以问题归结为求ki使适合kigi≡1（modai）。秦九韶把ai叫“定数”，gi叫“奇数”，他的“大衍求一术”，用现代语言解释，实际就是把奇数gi和定数ai辗转相除，相继得商数q1、q2、……qn和余数r1、r2、……rn，在辗转相除的时候，随即算出下面右列的c值：

秦九韶指出，当rn＝1而n是偶数的时候，最后得到的cn就是所求乘率ki。如果r1＝1而n是奇数，那么把rn-1和rn相除，形式上令qn＋1＝rn-1－1，那么余数rn＋1仍旧是1，再作cn+1=qn+1Cn+Cn-1，这时n＋1是偶数，cn＋1就是所求的ki。不论哪种情形，最后一步都出现余数1，整个计算到此终止，秦九韶因此把他的方法叫做“求一术”（至于“大衍”的意思，秦九韶本人在《数书九章》序中把它和《周易》“大衍之数”相附会）。可以证明，秦九韶这一算法是完全正确，十分严密的式。

在秦九韶那个时代，计算仍然使用算筹。秦九韶在一个小方盘上，右上布置奇数g，右下布置定数a，左上置1（他叫它做“天元1”），然后在右行上下交互以少除多，所得商数和左上（或下）相乘并入左下（或上），直到右上方出现1为止。下页就是秦九韶的一般筹算图式，右边是一个数字例子（g＝20，a＝27，K＝ c4＝23）。

秦九韶在《数书九章》中采集了大量例题，如“古历会积”、“积尺寻源”、“推计土功”、“程行计地”等等，广泛应用大衍求一术来解决历法、工程、赋役和军旅等实际问题。在这些实际问题中，模数ai并不总是两两互素的整数。秦九韶区分了“元数”（ai是整数）、“收数”（ai是小数）、“通数”（ai是分数）等不同情形，并且对每种情形给出了处理方法。“大衍总术”把“收数”和“通数”化成“元数”的情形来计算，而对于元数不两两互素的情形，给出了可靠的程序，适当选取那些元数的因子作定数而把问题归结为两两互素的情形①。所有这些系统的理论，周密的考虑，即使以今天的眼光看来也很不简单，充分显示了秦九韶高超的数学水平和计算技巧。

秦九韶小时曾跟随他父亲到南宋京城杭州，向太史局（主管天

天元
奇gi
1，20

定ai
27

1，
gi
1，20

c1=q1，
r2
1，7

(q1)

(q2)

c2=c1q2+1，
r2
3，6

c1，
r1
1，7

cn-2，
rn-2
3，6

cn-1=cn-2qn-1+cn-3，
rn-1
4，1

(qn-1)

(qn)

cn=cn-1qn+cn-2，
1
23，1

cn-1，
rn-1
4，1

文历法的机构）的官员学习天文历法，“大衍求一术”很可能就是他总结天文历法计算上元积年方法的结果。但是“大衍求一术”似乎没有为他同时代的人所充分理解。明中叶以后几乎失传。一直到清代，“大衍求一术”又重新被发掘出来，引起了许多学者（张敦仁、李锐、骆腾凤、黄宗宪等）的兴趣。他们对“大衍求一术”进行了解释、改进和简化，其中黄宗宪《求一术通解》对模数非两两互素的情形给出了更加简明的方法，但是时代已是晚清。

从《孙子算经》“物不知数”题到秦九韶的“大衍求一术”，我国古代数学家对一次同余式的研究，不仅在中国数学史上而且在世界数学史上占有光荣的地位。在欧洲，最早接触一次同余式的，是和秦九韶同时代的意大利数学家裴波那契（1170—1250），他在《算法之书》中给出了两个一次同余问题，但是没有一般的算法。这两个问题从形式到数据都和孙子物不知数题相仿，整个水平没有超过《孙子算经》。直到十八、十九世纪，大数学家欧拉（1707—1783）于公元1743年、高斯（1777—1855）于公元1801年对一般一次同余式进行了详细研究，才重新获得和秦九韶“大衍求一术”相同的定理，并且对模数两两互素的情形给出了严格证明。欧拉和高斯事先并不知道中国人的工作。公元1852年英国传教士伟烈亚力（1815—1887）发表《中国科学摘记》，介绍了《孙子算经》物不知数题和秦九韶的解法，引起了欧洲学者的重视。1876年，德国马蒂生（1830—1906）首先指出孙子问题的解法和高斯方法一致，当时德国著名数学史家康托（1829—1920）看到马蒂生的文章以后，高度评价了“大衍术”，并且称赞发现这一方法的中国数学家是“最幸运的天才”。直到今天，“大衍求一术”仍然引起西方数学史家浓厚的研究兴趣。如1973年，美国出版的一部数学史专著《十三世纪的中国数学》中，系统介绍了中国学者在一次同余论方面的成就，作者力勃雷希（比利时人）在评论秦九韶的贡献的时候说道：“秦九韶在不定分析方面的著作时代颇早，考虑到这一点，我们就会看到，萨顿②称秦九韶为‘他那个民族、他那个时代、并且确实也是所有时代最伟大的数学家之一’，是毫不夸张的。”

印度学者对一次同余论也有过重要贡献。从公元六世纪到十二世纪，他们发展了一种称为“库塔卡”的算法，用来求解和一次同余式等价的不定方程组。“库塔卡”法出现在孙子算法之后，印度数学家婆罗门笈多（七世纪）、摩柯吠罗（九世纪）等人的著作中，都有和物不知数题相同的一次同余问题。这当然不是要借此断言“库塔卡”法一定受到了孙子算法的影响，但是有人（如万海依等）硬说中国的“大衍求一术”来源于“库塔卡”，就是毫无根据的妄说了。万海依居然把中国算法中数码从左到右横写作为“大衍术”受印度影响的重要根据。大家知道，中国古代至迟从春秋战国时期就开始使用算筹记数，我们今天还可以从现存的公元前三世纪的货币上看到这种从左到右的记数方法。由此可见，万海依的论点多么荒唐可笑。中国古代数学家对一次同余论的研究有明显的独创性和继承性，“大衍求一术”在世界数学史上的崇高地位是毋容置疑的，正因为这样，在西方数学史著作中，一直公正地称求解一次同余组的剩余定理为“中国剩余定理”。

--------------------------------------------------------------------------------

① “孙子歌”又名“韩信点兵”，载于明程大位《算法统宗》（公元1592年），但是实际上在这以前早已流传民间。
① 按历元的定义，从历元到当年冬至，恰好经过N个回归年，合a×N日。甲子纪日，以甲子为首60日一周期，所以60除aN，余数应该是当年冬至离最近一个甲子日的日数，这就得到同余式aN≡R1（mod60）。按同样道理可以得出第二个同余式。
① 积年的方法，原来开始于汉代。但是由于汉代天文历法家利用了当时天文观测的特殊数据，他们推算上元积年，只要解一二个数据不太复杂的一次同余式。例如可以验证，《三统历》（公元前一世纪）的上元积年满足形如145×4617×p≡135（mod 1728）（P是整数，积年数x＝4617×p）
式 。这样的同余式是通过试算就可以得到答案的。从公元三世纪开始，随着天文测量技术的提高，对历法提出更精密的要求来，这时推算上元积年的同余式越来越复杂，这就促使当时的天文历算家去寻求一次同余式的一般计算方法。
① 事实上，设l2＝q2，L3＝q3L2＋1，L4＝q4L3＋L2，……Ln＝qnln-1＋ln-2，那么r1=ai-giq1=ai-c1gi, r2=gi-r1q2=gi-(ai-c1gi)q2=c2g4-l2a4,r3=r1-r2g4=(ai-c1gi)-(c2gi-l2ai)q3=l3ai-c3gi,…………当rn＝1并且n是偶数的时候（根据正文所说，总可以把n是奇数情形化作偶数情形来处理），显然有rn-1=lI-1；rn=cngi-liai=1，就是cngi(modai)。这就证明了Cn就是所求的K3。
② 秦九韶采用的方法是在那些元数ai中约去适当的公因子，从而对每个元数求得一个因子ti，使得m＝t1×t2×……×tn是那些ai的最小公倍数，而且各个ti两两互素，然后以这些ti为定数，按大衍求一术计算相应的ki。