从物不知数问题到中国剩余定理
原创 Prime ideal 素理想 2020-08-12
从物不知数问题到中国剩余定理
物不知数问题是我国古代数学名著《孙子算经》中的一道非常有趣的题目:今有物不知其数,三三数之余二,五五数之余三,七七数之余二,问物几何?
如何解决像这样的一类问题呢?我们要从数的整除性入手,首先我们来介绍几个相关的概念.
整除
这里我们只在整数的范围类讨论整除的概念.
整除:设
,
都是整数,若存在
,使得
,则称
整除
或
能被
整除,记为![](/__local/8/0B/3A/A6641CD879DB4EC21F1CF9220B9_81F665C0_54.gif)
.
模
同余:设
,若
满足![](/__local/3/12/39/E22EEF8905E4659C9F63C794C78_26D04042_58.gif)
,则称
和
模
同余,记为
.
最大公因数:设
,若
满足![](/__local/8/0B/3A/A6641CD879DB4EC21F1CF9220B9_81F665C0_54.gif)
,![](/__local/8/0B/3A/A6641CD879DB4EC21F1CF9220B9_81F665C0_54.gif)
,则称
是
和
的公因数;若
是
和
的一个公因数,并满足
和
的任一个公因数都能整除
,则称
是
和
的最大公因数,记为
.
互素:若
和
的最大公因数为1,则称
和
互素.
关于最大公因数,我们有如下定理:
定理1 若
是
和
的最大公因数,则存在
,使得
.
这一定理的证明需要用到辗转相除法,读者可以翻看参考文献1的P17,这里略去.
最后,我们在介绍一个关于互素的结论:
定理2 设
是两两互素的整数,则对
有
.
在有了这些预备的概念和结论后,我们就可来着手解决物不知数问题了.
物不知数问题的解法
我们设总数为
,则由
满足“三三数之余二,五五数之余三,七七数之余二”,可知
3
,![](/__local/8/0F/15/9F072FE99E0DDD5F069B47B0094_0DB8E107_56.gif)
,![](/__local/D/99/3B/71DDC7C1B42E5A815823937B04F_ED94D4F8_56.gif)
![](/__local/0/C2/66/EDFC27DC68B0F1E3D799481D0F8_F7D98F76_96.gif)
用同余的观点来看,也就是
![](/__local/7/C5/3A/F9FFC50949167D5B7F26FB67CF9_23A026C8_20A.gif)
注意到是两两互素的,于是由定理2,我们有
![](/__local/B/1C/97/D675CE4F252AAE123AF0D95F83B_4F5D3A49_14D.gif)
再由定理1,知存在
,使得
![](/__local/8/DB/A0/A24B98BAD3A3D434620DFAD7A09_F0AD60DA_C7.gif)
![](/__local/8/28/C3/51E175090970F6ACFF034FA134E_C649CB5A_CB.gif)
![](/__local/0/AE/DC/E638E5A7981528B576C678890D1_5AE2431B_C5.gif)
则
能被5和7整除,但被3除余1;
能被3和7整除,但被5除余1;
能被3和5整除,但被7除余1;
进一步得到
能被5和7整除,但被3除余2;
能被3和7整除,但被5除余3;
能被3和5整除,但被7除余2;
所以
就是满足问题条件的一个解,而将
再加上3,5,7的倍数后所得到结果依然满足条件,于是该问题的通解就为
![](/__local/C/23/1C/5817AB4B459E755CF43DC02055B_C730551D_1D4.gif)
接下来,只要将
求出来便完全解决了这个问题.不难发现
![](/__local/3/E3/D9/FBFF06192C8BA037FDAEEB856BC_57E30208_F4.gif)
![](/__local/0/D2/09/724D77C1CC52135FA2DCF0C2C3F_8388A0C4_EA.gif)
![](/__local/7/0A/46/72390AE3512703F42D578180BA0_83289235_E3.gif)
所以
![](/__local/7/9D/E3/481B8627EE2FE1014C764E5411D_040097F8_C1.gif)
![](/__local/8/28/BE/011C26C8DBAC01A926F91EE00AF_75477E04_BC.gif)
![](/__local/7/62/8E/1B7D2DA0AA3C706935C1C8DD10C_ED1BD4BA_B7.gif)
于是
=23
故原问题的通解就为
.
明朝数学家程大位在他的《算法统宗》中将求解物不知数问题的解答总结为一首歌诀:
三人同行七十稀,五树梅花廿一枝.
七子团圆正半月,除百零五便得知.
我们将上面求解物不知数问题的方法加以一般化,便可以得到著名的中国剩余定理
中国剩余定理设
是两两互素的大于1的整数,则对于任意给定的整数
,一次同余方程组
![](/__local/C/08/29/63650CE984332E733393E12FA4A_8300A92E_257.gif)
在Z中有解,并且它的通解为
![](/__local/5/9D/E6/7F792D0E20B30B3A8FF7E85B926_B631DFD6_11B.gif)
这里
+
+...![](/__local/D/8B/8F/863F8D2EF88F13E261E013A0700_AD35C5B8_CE.gif)
且
满足
![](/__local/3/A0/02/BF3C78C870CCAA06403A4F692F6_672478BC_114.gif)
我们将上面分析物不知数问题的过程一般化便可以得到中国剩余定理的证明.
南宋数学家秦九韶在《数书九章》中系统的介绍了求解一次同余方程组的一般方法,秦九韶将他求解的方法称为"大衍求一术",本质上就是在做辗转相除法.秦九韶的方法是正确的但却没有给出证明,直至18,19世纪,Euler和Gauss分别对一次同余方程组做了研究,并独立地获得与秦九韶的"大衍求一术"相同的定理.年德国数学家Mattiessen首先指出秦九韶的方法和Gauss的算法是一致的,因此求解一次同余方程组的剩余定理被称为中国剩余定理.
韩信点兵问题
相信大家也一定听说过韩信点兵问题:
有一队士兵,五五数之余一,六六数之于五,七七数之余四,十一十一数之余十,问这一队士兵有多少人?
这个问题就是物不知数问题,请读者利用中国剩余定理去解决它.
参考文献
1.数学的思维方式与创新,丘维声,北京大学出版社 2.数学文化,顾沛,高等教育出版社