中国剩余定理-NTNU.PDF

6中國剩餘定理 “孫子算經”是中國古代一部優秀數學著作，確切的出版年月無從考證。其中有 “物不 知其數”一問，原文如下：“今有物不知其數，三三數之賸二，五五數之賸三，七七數 之賸二，問物幾何？” 這類的問題在中國古代數學史上有不少有趣的名稱。除上所說的 “物不知其數”外，還 有稱之為“鬼谷算”的，“秦王暗點兵”的，“神奇妙算”的 ，“大衍求一術”的，…， 等等。 這問題是屬於數論中算術數列（等差數列）的範疇。在這節裡，我們將對這樣的問題進 行更為一般的探索。值得一提的是，本節所用的同餘符號“≡”是高斯在 1799 年時所 引進，發明的。由於同餘符號“≡”的方便好用，後來廣為數學家所使用。可以說是一 個家喻戶曉的數學符號。 6.1 等差數列與同餘式 首項是 2 ，而公差為5的等差數列是 2,7,12,17,22, , 但被 5除之，餘數為 2的同餘數列為 , 18, 13, 8, 3,2,7,12,17,22, . 因此等差數列是同餘數列的一部份。為了方便，將被 5除之，餘數為 2的同餘數列 , 18, 13, 8, 3,2,7,12,17,22, 用同餘式 x  2 mod 5 表示。因此同餘式 x a (mod n) n a 代表所有被 除之，餘數為 的整數。 6.2中國剩餘定理 韓信叫兩個人去清點他的士兵，如果他們都用很偷懶的幾個士兵一數的點兵方式，回報 a n 給韓信的可能是 “士兵個一數剩 人； 個一數剩 人”這樣的結果。為了解決這樣 m b 的“韓信點兵問題”，我們 需要判別兩個同餘式（或等差數列）何時有共同的解，而且 如何去求它們的共同解。這就是有名的中國剩餘定理（或孫子定理）。 定理6.1 (中國剩餘定理 ) 設 是互質的正整數， 為整數，則同餘式 m,n a,b x  a (mod m)  x  b (mod n) x x 有共同的整數解 ，且所有共同的整數解也構成一個同餘式為 0 x  x0 (mod mn). 【証明】因為 是互質的正整數，所以可以找到整數 使得（根據定理 5.2 ） m,n x, y mx ny b a. 令x0 mx a ny b ，則 x0  a (mod m),  x0  b (mod n). x 現在令整數 滿足 x  a (mod m) x  x0  0 (mod m)    x  b (mod n) x  x0  0 (mod n )  x  x0  0 (mod mn )