韩信点兵与中国剩余定理_第1页
韩信点兵与中国剩余定理_第2页
韩信点兵与中国剩余定理_第3页
韩信点兵与中国剩余定理_第4页
韩信点兵与中国剩余定理_第5页
已阅读5页,还剩67页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

第五节韩信点兵与中国剩余定理

2021/4/111

一、“韩信点兵”的故事和《孙子算经》中的题目

1.“韩信点兵”的故事

韩信阅兵时,让一队士兵5人一行排队从他面前走过,他记下最后一行士兵的人数(1人);再让这队士兵6人一行排队从他面前走过,他记下最后一行士兵的人数(5人);再让这队士兵7人一行排队从他面前走过,他记下最后一行士兵的人数(4人),再让这队士兵11人一行排队从他面前走过,他记下最后一行士兵的人数(10人)。然后韩信就凭这些数,可以求得这队士兵的总人数。2021/4/112

这里面有什么秘密呢?韩信好像非常重视作除法时的余数2021/4/113

2.《孙子算经》中的题目

我国古代数学名著《孙子算经》中有“物不知数”的题目:

今有物不知其数,三三数之剩2,五五数之剩3,七七数之剩2,问物几何?

2021/4/114

这里面又有什么秘密呢?题目给出的条件,也仅仅是作除法时的余数2021/4/115《孙子算经》2021/4/116

二.问题的解答

1.从另一个问题入手问题:今有物不知其数,二二数之剩1,三三数之剩2,四四数之剩3,五五数之剩4,六六数之剩5,七七数之剩6,八八数之剩7,九九数之剩8,问物几何?2021/4/117

1)筛法1,3,5,7,9,11,13,15,17,19,21,23,25,…(

用2除余1)5,11,17,23,…(

用3除余2)11,23,…(

用4除余3)2021/4/118

再从中挑“用5除余4”的数,…一直筛选下去,舍得下功夫,就一定可得结果。并且看起来,解,还不是唯一的;可能有无穷多个解。2021/4/119

化繁为简的思想当问题中有很多类似的条件时,我们先只看其中两三个条件,这就是化繁为简。一个复杂的问题,如果在简化时仍然保留了原来问题的特点和本质,那么简化就“不失一般性”。学会“简化问题”与学会“推广问题”一样,是一种重要的数学能力。

寻找规律的思想

把我们的解题方法总结为筛法,是重要的进步,是质的飞跃:——找到规律了。筛法是一般性方法,还可以用来解决其他类似的问题。2021/4/1110

2)公倍数法

①化繁为简我们还是先看只有前两个条件的简化题目。

1,3,5,7,9,11,13,15,17,19,21,23,25,…(

用2除余1)5,11,17,23,…(

用3除余2)上述筛选过程的第一步,得到:1,3,5,7,9,11,13,15,17,19,21,23,25,…

其实是列出了“用2除余1”的数组成的数列。这个数列实际上是用带余除法的式子得到的。2021/4/1111

所谓“带余除法”,是指整数的如下“除法”:被除数,除数,必唯一存在商和余,使

2021/4/1112当余时,则,称为“整除”,或“整除”,这是通常除法“”的另一种表达形式。所以,带余除法是通常除法的推广。2021/4/1113

回到求“用2除余1的数”的问题。设这样的数为,则。这里是被除数,2是除数,是商,1是余,且。2021/4/1114

这就是“带余除法”的式子。当取时,用上式求得的正好组成上述数列

1,3,5,7,9,11,13,15,17,19,21,23,25,…

2021/4/1115接着从中筛选出“用3除余2”的数,就是挑出符合下面“带余除法”表达式的数,这里可取0,1,2,3,4,…再继续做下去。。。。。。2021/4/1116如果我们不分上面两步,而是一上来就综合考虑两者,则就是要解联立方程组

2021/4/1117

那么,为了解这个方程组,除了刚才的筛法外,还有没有更加巧妙的解法?我们考察上边两个方程的特点,发现,两个“带余除法”的式子,都是“余数比除数少1”。于是想到,如果把被除数再加1,不是余数就为0了吗?换句话说,不是就出现整除的情况了吗?2021/4/1118于是把上边每个方程两边都加上1,成为

这说明,既是2的倍数,又是3的倍数,因此,它是2与3的公倍数。由此想到2021/4/1119对整个问题寻找规律问题:今有物不知其数,二二数之剩1,三三数之剩2,四四数之剩3,五五数之剩4,六六数之剩5,七七数之剩6,八八数之剩7,九九数之剩8,问物几何?2021/4/1120

②寻找规律设问题中,需要求的数是,则被2,3,4,5,6,7,8,9去除,所得的余数都是比除数少1,于是我们把被除数再加1,则就可被2,3,4,5,6,7,8,9均整除。也就是说,是2,3,4,5,6,7,8,9的公倍数,从而是其最小公倍数[2,3,4,5,6,7,8,9]的倍数。2021/4/1121即

这就是原问题的全部解,有无穷多个解,其中第一个解是2519;我们只取正数解,因为“物体的个数”总是正整数。

2021/4/1122

[思]:①求“用2除余1,3除余2,…用m除余m-1”的数。②求“用a除余a-1,用b除余b-1,用c除余c-1”的数。(a,b,c是任意大于1的自然数)③求“用2,3,4,5,6,7,8,9除都余1”的数。④求“用5,7,9,11除都余2”的数。2021/4/1123

2.《孙子算经》中“有物不知其数”问题的解答

问题:今有物不知其数,三三数之剩2,五五数之剩3,七七数之剩2,问物几何?2021/4/11241)筛法.2,5,8,11,14,17,20,23,26,29,…(用3除余2)8,23,…(用5除余3)23,…(用7除余2)

由此得到,23是最小的一个解。至于下一个解是什么,要把“…”写出来才知道;实践以后发现,是要费一点儿功夫的。2021/4/1125

2)公倍数法现在仿照上边用过的“公倍数法”,设要求的数为,则依题意,得联立方程组2021/4/1126

按上一问题中“公倍数法”解决问题的思路:把方程两边同时加上或减去一个什么样的数,就能使三个等式的右边分别是3,5,7的倍数,从而等式左边就是3,5,7的公倍数了。这要通过反复的试算去完成。2021/4/1127一种试算的方法

2021/4/1128

从第三个等式入手,两边加5(或减2)则得

2021/4/1129

则右边是7的倍数了,但两边加5(或减2)并不能使前两式的右边分别是3的倍数和5的倍数,所以两边加5(或减2)并不能使右边成为3,5,7的公倍数。再继续从第三个等式入手,为使第三个等式右边仍然保持是7的倍数,可再加(或再减),则

(或)将代入试算、分析,2021/4/1130最后发现,为达到目的(三个等式的右边分别是3,5,7的倍数),最小的加数是82(时)(或最小的减数是23,即时)。2021/4/1131

用等式两边加82来求解,有

用等式两边减23来求解,有

多了一个“”,因这时也是正数,合要求。2021/4/1132

这两组解是一样的,都是“23,23+105,23+2×105,……”。原因是82+23=105,故令第一组解就成为便转化成第二组解。2021/4/1133但是,这82和23来之不易;并且如果题目中的余数变了,就得重新试算,所以这方法缺少一般性,为使它具有一般性,要做根本的修改。2021/4/1134

3)单因子构件凑成法

我们先对前几页(*)式作两个方面的简化:一方面是每次只考虑“一个除式”有余数的情况(即另两个除式都是整除的情况);另一方面是把余数都简化为最简单的1。这样得到三组方程。2021/4/1135(1)式意味着,在5和7的公倍数中(35,70,105,…)寻找被3除余1的数;(2)式意味着,在3和7的公倍数中(21,42,63,…)寻找被5除余1的数;(3)式意味着,在3和5的公倍数中(15,30,45,…)寻找被7除余1的数。2021/4/1136对(1)式而言,这个数可以取70,对(2)式而言,这个数可以取21,对(3)式而言,这个数可以取15。

于是(1)式两边同减70变为这样:第二式右边仍是5的倍数,第三式右边仍是7的倍数,而第一式右边因为减的70是“用3除余1”的数,正好原来也多一个1,减没了。第一式右边也成为了倍数,是3的倍数。

2021/4/1137(2)式两边同减21变为2021/4/1138(3)式两边同减15变为

于是得到

2021/4/1139现在重复一下:所得的x是被3除余1,被5和7除余0的数;y是被5除余1,被3和7除余0的数;z是被7除余1,被3和5除余0的数。2021/4/1140那么,凑出,s不就是我们需要求的数吗?

2021/4/1141

因为,用3去除s时,除y及除z均余0除3y及除2z均余0,又除x余1除2x余2,∴用3除s时余2。用5去除s时,除x及除z均余0除2x及除2z均余0,又除y余1除3y余3,∴用5除s时余3。用7去除s时,除x及除y均余0除2x及除3y均余0,又除z余1除2z余2,∴用7除s时余2。2021/4/1142

于是我们要求的数是这就是《孙子算经》中“物不知其数”一题的解,有无穷多解,最小的正整数解是23(时)。2021/4/1143

这里,(1),(2),(3)三式分别叫三个“单子因构件”,分别解得每个单因子构件,都是用某一个数去除余1,用另两个数去除均余0的情况。再据题目要求余数分别是2,3,2的情况,凑成2021/4/1144

所以,上述方法叫“单因子构件凑成法”——解决“由几个平行条件表述的问题”的方法(也称“孙子—华方法”)这种方法的最大优点是,可以任意改变余数,加以推广:

题:有物不知其数,三三数之剩a,五五数之剩b,七七数之剩c,问物几何?

答:解为(的选取应使).2021/4/11454)歌诀

推广了的“物不知其数”问题的解为

明朝数学家程大位在《算法统宗》中把上式总结为一首通俗易懂的歌决:

三人同行七十稀,五树梅花廿一枝,七子团圆正半月,除百零五便得知。其中正半月是指15,这个口诀把3,5,7;70,21,15及105这几个关键的数都总结在内了。详细说,歌诀的含义是:用3除的余数乘70,5除的余数乘21,7除的余数乘15,相加后再减去(“除”当“减”讲)105的适当倍数,就是需要求的(最小)解了。2021/4/1146

当然,解,不是唯一的,每差105,都是另一个解答,但如果结合实际问题,答案往往就是唯一的了。例如一队士兵的大约人数,韩信应是知道的。2021/4/1147

三、中国剩余定理

1247年南宋的数学家秦九韶把《孙子算经》中“物不知其数”一题的方法推广到一般的情况,得到称之为“大衍求一术”的方法,在《数书九章》中发表。这个结论在欧洲要到十八世纪才由数学家高斯和欧拉发现。所以世界公认这个定理是中国人最早发现的,特别称之为“中国剩余定理”(Chineseremaindertheorem)。2021/4/1148

该定理用现在的语言表达如下:设两两互素,设分别被除所得的余数为,则可表示为下式

其中是的最小公倍数;是的公倍数,而且被除所得余数为1;是任意整数。2021/4/1149

要注意的是,用上述定理时,必须两两互素。前面的问题中,3,5,7是两两互素的,所以“三三数,五五数,七七数”得余数后可用此公式。但“四四数,六六数,九九数”得余数后就不能用此公式,因为4、6、9并不是两两互素的。2021/4/1150

“中国剩余定理”不仅有光辉的历史意义,直到现在还是一个非常重要的定理。1970年,年轻的苏联数学家尤里.马季亚谢维奇(Матиясевич)(28岁)解决了希尔伯特提出的23个问题中的第10个问题,轰动了世界数学界。他在解决这个问题时,用到的知识十分广泛,而在一个关键的地方,就用到了我们的祖先一千多年前发现的这个“中国剩余定理”。2021/4/1151希尔伯特的第10个问题:丢番图方程的可解性能求出一个整系数方程的整数根,称为丢番图方程可解。希尔伯特问,能否用一种由有限步构成的一般算法判断一个丢番图方程的可解性?1970年,苏联的IO.B.马季亚谢维奇证明了希尔伯特所期望的算法不存在。

希尔伯特2021/4/1152四、有趣的应用

某单位有100把锁,分别编号为1,2,3,…,100。现在要对钥匙编号,使外单位的人看不懂,而本单位的人一看见锁的号码就知道该用哪一把钥匙。

2021/4/1153

能采用的方法很多,其中一种就是利用中国剩余定理,把锁的号码被3,5,7去除所得的三个余数来作钥匙的号码(首位余数是0时,也不能省略)。这样每把钥匙都有一个三位数编号。例如23号锁的钥匙编号是232号,52号锁的钥匙编号是123号。2021/4/1154

8号锁——23119号锁——14545号锁——00352号锁——123因为只有100把锁,不超过105,所以锁的号与钥匙的号是一一对应的。如果希望保密性再强一点儿,则可以把刚才所说的钥匙编号加上一个固定的常数作为新的钥匙编号系统。甚至可以每过一个月更换一次这个常数。这样,仍不破坏锁的号与钥匙的号之间的一一对应,而外人则更难知道了。2021/4/1155趣题——找次品:

1)有5个外形相同的乒乓球,其中只有1个重量不标准的次品乒乓球。现再给你一个标准球;请用一架不带砝码的天平,最多两次使用该天平,找出上述次品乒乓球。2021/4/1156最优化思想最少次数完成预定任务最大限度发挥该天平的作用2021/4/1157思考题2021/4/1158趣题——找次品:

2)有12个外形相同的乒乓球,其中只有1个重量不标准的次品乒乓球。请用一架不带砝码的天平,最多三次

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论