張新春

同余是初等數(shù)論的重要組成部分。同余的概念可以說(shuō)來(lái)源于現(xiàn)實(shí)?，F(xiàn)實(shí)生活中有很多周期性變化的事物。比如星期，以7天為一個(gè)周期，于是考慮10天后是星期幾，只需要考慮3天后是星期幾。再如生肖紀(jì)年，以12年為一個(gè)周期。2017年是雞年，再過(guò)12年還是雞年，而再過(guò)30年是什么年，就只要看過(guò)6年是什么年就行了。這里10和3對(duì)于7，30和6對(duì)于12，都具有某種相同的關(guān)系。把這種關(guān)系抽象出來(lái)，就是同余的概念。

同余式的定義

給定一個(gè)正整數(shù)m，如果整數(shù)a和b被m除所得的余數(shù)相同，則稱a和b對(duì)于模m同余，記作a≡b（modm）。這里的mod是英文modulus的簡(jiǎn)寫，讀作模，a≡b（modm）可讀作a和b對(duì)于模m同余。

整數(shù)a和b被m除所得的余數(shù)相同，就意味著a和b的差能被m整除。于是a≡b（modm）就意味著有整數(shù)k，使得a-b=km。

這可以理解為同余的另一種等價(jià)的定義方式。在以后證明同余的有關(guān)性質(zhì)時(shí)，用這個(gè)定義將更方便。

表示同余的符號(hào)“≡”由“數(shù)學(xué)王子”高斯發(fā)明。1801年，年僅24歲的高斯寫就著名的數(shù)論專著《算術(shù)研究》。在此書中，高斯用這個(gè)符號(hào)表示同余。他在書中寫道：“今后我將用符號(hào)≡表示兩個(gè)數(shù)的同余式，模則放在括弧內(nèi)，如-16≡9（mod5）；-7≡15（mod11）?！保ㄐ炱贩?，張紅.數(shù)學(xué)符號(hào)史[M].第338頁(yè).科學(xué)出版社，2006.9）

同余式的基本性質(zhì)

同余式具備如下三條基本性質(zhì)。

1.反身性，a≡a（modm）；

2.對(duì)稱性，若a≡b（modm），則b≡a（modm）；

3.傳遞性，若a≡b（modm），b≡c（modm），則a≡c（modm）。

反身性與對(duì)稱性是非常明顯的，我們只證明傳遞性。

事實(shí)上，由a≡b（modm）知a-b=km，由b≡c（modm）知b-c=lm。

上述兩式相加，有a-c=（k+l）m。

這就意味著a≡c（modm）。傳遞性得證。

以上性質(zhì)都與等式的性質(zhì)完全類似。此外，同余式還具有如下運(yùn)算性質(zhì)。

1.若a≡b（modm），c≡d（modm），則a+c≡b+ d（modm）。

2.若a≡b（modm），c≡d（modm），則a-c≡bd（modm）。

3.若a≡b（modm），c≡d（modm），則ac≡bd（modm）。特別地，若a≡b（modm），c是整數(shù)，則ac≡bc（modm）。

4.若a≡b（modm），k>0，則ak≡bk（modmk）。

6.若a≡b（modm），d是m的因數(shù)，則a≡b（modd）。

7.若ac≡bc（modm），且（c，m）=1（即c，m互質(zhì)），則a≡b（modd）。

8.若a≡b（modm），則an≡bn（modm）。

以上性質(zhì)的證明不難，只需運(yùn)用同余的定義即可。而且，這些性質(zhì)也與等式的一些性質(zhì)極為相似。需要注意的是，性質(zhì)7與通常的等式性質(zhì)不一樣，同余式的兩邊并不是可以任意除以同一個(gè)數(shù)的，除非這個(gè)數(shù)與模互質(zhì)。

作為同余的一個(gè)應(yīng)用，我們來(lái)討論一下一種“棄九法”的檢驗(yàn)計(jì)算結(jié)果的方法。比如，給定一個(gè)加法算式2313+5829+7043=15175，我們需要檢驗(yàn)這個(gè)等式是否成立，可以先將加數(shù)的各個(gè)數(shù)位上的數(shù)字相加，則有2+3+1+3=9，5+8+2+9=24，7+0+4+3=14。這些和中還有非一位數(shù)，繼續(xù)作類似的加法，有2+4=6，1+4=5。

再將每個(gè)加數(shù)通過(guò)這種處理后得到的數(shù)加起來(lái)，有9+6+5=20。繼續(xù)作加法，得2+0=2。這樣最終得到一個(gè)一位數(shù)，我們把這個(gè)數(shù)作為加數(shù)的檢驗(yàn)數(shù)。

用同樣的方法，我們計(jì)算和的檢驗(yàn)數(shù)，有1+5+1+7+5=19。用相同的方法再計(jì)算，有1+9=10，1+0=1。得到和的檢驗(yàn)數(shù)為1，與加數(shù)的檢驗(yàn)數(shù)不同，因此可以判斷原加法算式是錯(cuò)誤的。值得注意的是，只有當(dāng)兩個(gè)檢驗(yàn)數(shù)不相等時(shí)，才能應(yīng)用這種方法判斷計(jì)算是否有誤。而當(dāng)檢驗(yàn)數(shù)相等時(shí)，這種方法得不出什么結(jié)論。比如10+11=30，10+11=21。這兩個(gè)算式應(yīng)用“棄九法”會(huì)發(fā)現(xiàn)檢驗(yàn)數(shù)相等，無(wú)法做出判斷。事實(shí)上第一個(gè)算式是錯(cuò)誤的，而第二個(gè)算式是正確的。

我們來(lái)說(shuō)明這種方法為何是有效的。

首先，我們有如下結(jié)論：10n≡1（modm）。

再來(lái)看算式：2313+5829+7043=15175。

2+3+1+3=9，于是2313≡9（mod9），而9≡0（mod9），從而2313≡0（mod9）；

同樣的道理，有5829≡6（mod9），7043≡5（mod9）。

這樣2313+5829+7043≡0+6+5（mod9），而0+ 6+5=11≡2（mod9），所以2313+5829+7043≡2（mod9）。

但15175≡1+5+1+7+5（mod9），而1+5+1+7+5= 19≡1（mod9），所以15175≡1（mod9）。于是2313+ 5829+7043≠15175。（從上面兩個(gè)同余式可以看出，該式左右兩邊除以9的余數(shù)都不相同，顯然不可能相等）

這種方法同樣可以用來(lái)檢驗(yàn)乘法。比如，檢驗(yàn)271×828=224288。因?yàn)?71≡1（mod9），828≡0（mod9），所以271×828≡0（mod9）。但224288≡8（mod9），所以271×828≠224288。

以下是一個(gè)與“棄九法”原理相關(guān)的數(shù)學(xué)游戲。這個(gè)游戲由甲、乙兩個(gè)同學(xué)玩。具體程序如下：

甲任意想一個(gè)數(shù)（比如1589），為了方便，要求各個(gè)數(shù)位上的數(shù)不相同，也不包含數(shù)字“0”。再任意把這個(gè)數(shù)重新排列得到一個(gè)新數(shù)（如5891），然后將兩個(gè)數(shù)相減（大數(shù)減小數(shù)），這里是5891-1589=4302。甲再在4302中去掉一個(gè)數(shù)字，比如3，這時(shí)得到一個(gè)數(shù)402。甲做的以上所有工作都不用告訴乙，只需把最后的數(shù)402告訴乙。乙就能猜出甲最后去掉的數(shù)字是3。

游戲的原理是這樣的。

因此，只要甲把去掉一個(gè)數(shù)字后的數(shù)告訴乙，乙若發(fā)現(xiàn)這個(gè)數(shù)各個(gè)數(shù)位上的數(shù)字之和不是9的倍數(shù)，就可以推算出甲去掉的數(shù)字是多少了。事實(shí)上，乙只需考慮這個(gè)數(shù)各個(gè)數(shù)位上的數(shù)字之和再加多少就是9的倍數(shù)即可，需要加上的數(shù)即是甲去掉的數(shù)。在這上面的游戲中，甲最后告訴乙的數(shù)是402，而4+0+2=6，不是9的倍數(shù)，需增加3才得到9的倍數(shù)，因此甲去掉的數(shù)是3。當(dāng)然，如果甲給乙的最后的數(shù)是9的倍數(shù)，則甲去掉的數(shù)字可能是0，也可能是9。乙無(wú)法判斷到底是0還是9。比如上面的游戲中，若甲去掉0而告訴乙是432，則乙只能說(shuō)甲去掉的數(shù)字可能是0，也可能是9。endprint