例谈运用同余解题的取模技巧(xzh)

例谈运用同余解题的取模技巧

226400 江苏省如东县第一职业高级中学 邢忠虎

由德国数学家高斯引进的同余概念是研究数论问题的一个十分重要的工具．运用同余解题，可以避免繁琐的计算，抓住问题的实质和要害，而运用同余解题其关键则在选取恰当的模．本文通过若干例题介绍几种基本的取模技巧，供参考．

1 求余数或证明整除性问题，常以除数为模

例1 求20083

除以13的余数． 解 33 ≡271(mod13)≡,

∴200836691366966933(3)3133(mod13)⨯+==⨯≡⨯≡．

故20083除以13的余数为3．

注 求余数是同余的基本问题，在这种问题中，先求出与1±同余的数是一种基本技巧．这一技巧在后面的例3与例7中将再次得到运用．

2 求个位数（末两位数）问题，常以10（100）为模

求个位数与末两位数的问题，其实质也就是求一数被10或100除所得余数． 例2 求3581244752279+⨯的末位数字．

解 ∵3581244752279+⨯358124729≡+⨯

4834201454729⨯+⨯+⨯+=+⨯

314729≡+⨯321≡+⨯5(mod10)=

∴3581244752279+⨯的末位数字是5．

注 在求解本题的过程中用到了以下结论：任何正整数的乘方之个位数重复出现的周期为4，即4(mod10),k l l a a +≡其中a 是任意正整数，k 为自然数，1,2,3,4l =．请读者自行证明该结论．

例3 求4063的末两位数．

解 因为4

961(mod100)≡， 16941(mod100)≡，

2091(mod100)≡，

20320103399929(mod100)⨯+≡≡≡．

所以4063的末两位数是29．

3 与平方数有关的问题，常以4（或8）为模

偶数的平方是4的倍数，即2(2)4(mod 4)k ≡，而奇数的平方除以8（4）余1，即有2(21)4(1)11(mod8)k k k +=++≡和2(21)1(mod 4)k +≡．

例4 证明11,111,1111, 中没有平方数．

证明 平方数关于模4同余于0或1，换句话说，关于模4同余于2或3的数一定不是平方数．而1111113(mod 4)≡≡ ，故11,111,1111, 中没有平方数．

例5 能否找到自然数a 和b ，使22

2006a b =+？

解 不能． 设b 为一自然数，由2006

2(mo d 4)≡，20b ≡(mod 4)或21b ≡(mod 4)，知22006b +2(mo d 4)≡或

22006b +213(mod 4)≡+≡．这说明22006b +不是平方数，故找不到自然数a 和b ，使22

2006a b =+．

4 与奇偶性有关的问题，常以2为模

一个整数与它的相反数以及绝对值奇偶性都相同，两整数的和与差奇偶性相同，若用同余的语言可叙述如下：(mod 2)a a -≡，(mod2)a a ≡，(mod 2)a b a b +≡-． 例6 设1264,,,a a a ①

是自然数1,2,,64 的任意一种排列．令 112b a a =-，234b a a =-， ，326364b a a =-， ②

112c b b =-，234c b b =-， ，163132c b b =-， ③

112d c c =-，234d c c =-， ，81516d c c =-， ④

这样一直作下去，最后得到一个整数x ，求证：x 为偶数．

证明 因为1232b b b +++ 12346364a a a a a a =-+-++-

1234636412346364()()()

()()()(mod 2)

a a a a a a a a a a a a ≡-+-++-≡++++++

所以经过一步“运算”，①变成②，但和的奇偶性未发生变化． 同样，经多步“运算”依然如此，故12346364(mod2)x a a a a a a ≡++++++ ，即123640(mod 2)x ≡++++≡ ，x 为偶数．

5 与数字和有关的问题，常以9为模 若设十进制正整数110n n N a a a a -= ，则

110n n N a a a a -=

1110101010n n n n a a a a --=⨯+⨯++⨯+

110n n a a a a -≡++++ (mod9)，

即一个十进制正整数与它的各位数字之和关于模9同余．

例7 44444444写成一个多位数后，它的各位数字之和为M ，M 的各位数字之和为P ，P 的各位数字之和为Q ，求Q ．

解 先对Q 值的范围进行估计：由44444444444410000<，444410000共有444441177⨯+=位数，得M 917777159993<⨯=，因此15946P ≤+⨯=，从而4913Q ≤+=．

又Q P ≡M ≡44444444

≡444431481177⨯+≡≡31481(7)7=⨯14811481(343)717=⨯≡⨯ 7≡(mod9)，故7Q =．