用同余理论解决整除问题

用同余理论解决整除问题

重庆沙坪坝杨公桥小学 蒋焘

摘 要：在数的整除理论中，经常要判断一个数能否被另一个数整除。虽然用初等方法也能证明判断的正确性，但其技巧性很强,而技巧性的东西是一时难于捕捉到的。如果用同余理论解决这类问题，就简捷明了。本文主要利用同余性质给出一些整除问题的判别方法并阐述同余理论在整除问题中的一些应用。

关键词：同余;整除;判别方法

1 同余的基本概念和性质

整除性的证明被公认为是中学数学、特别是数学竞赛的难题之一，但用同余思想方法指导解决整除性问题就要容易和易于掌握得多。本文主要阐述同余理论在整除问题中的一些应用。

定义1.１ 设a,b 是任意两个整数，其中b ≠0，如果存在一个整数q 使得等式a ＝bq 成立，我们就说b 能整除a 或a 能被b 整除，记作b|a ，否则记作b a 。

定义1.２ 给定一个正整数m ，把它叫做模。如果用ｍ去除任意两个整数a 和b 所得的余数相同，我们就说a ，b 对模ｍ同余，记做()mod a b m ≡。如果余数不相同，我们就说a ，b 对模ｍ不同余，记做a ()mod b m 。

定理1.1 ()mod a b m ≡的充分必要条件是|m a b -。 性质1.1 ()mod a a m ≡。

性质1.2 若()mod a b m ≡，则()mod b a m ≡。

性质1.3 若()mod a b m ≡，()mod b c m ≡，则()mod a c m ≡。

性质1.4 若()11mod a b m ≡，()22mod a b m ≡，则1a ±2a 1b ≡±2b ()mod m 。 若(mod )a b c m +≡，则(mod )a c b m ≡-。

性质1.5 若()11mod a b m ≡，()22mod a b m ≡，

则()1212mod a a bb m ≡，()11mod a c b c m ≡，c 为任意整数。

性质1.6 若()mod a b m ≡，且11,,(,)1a a d b b d d m ===，则11(mod )a b m ≡。 性质1.7 若()mod a b m ≡，k o >，则()mod ak bk mk ≡。

若()mod a b m ≡，d 为a,b 及m 的任一正公因数，则(mod )a b m

d d d

≡。 性质1.8 同余式组()mod i a b m ≡，i=1,2,

,k,同时成立的充要条件是

[]()12mod ,,

,k a b m m m ≡。

性质1.9 若()mod a b m ≡，,0d m d >，则()mod a b d ≡。 定理1.2[3] 设()110n n n n f x a x a x a --=++

+是整系数多项式，

若()mod m αβ≡，则()()()mod f f m αβ≡。

定理1.3[1]（Euler ） 设m 是大于1的整数，(),1a m =,则()()1mod m a m ϕ≡。 定理1.4[4] 若m ()11≥=，ａ,ｍ,则存在c Z ∈,使()1mod ca m ≡，

我们称c 是a 对模m 的逆，记作1a -。

2 利用同余性质给出一些整除的判别法

例２.１ 任何一个整数1

10n n a a a a a -=，其中010,0i n a a ≤<≠，0,1,2,

,.i n = 则

025|a 25|a ⇔、、

证法一 设11010n n a a a a a -=⨯+

∵2|1110n n a a a -⨯

∴2|1

1010n n a a a a -⨯+⇔2|0a

故02|a 2|a ⇔

同理可证0|5|5a a ⇔。 证法二 设()110n n n n f x a x a x a --=+++是整系数多项式。

∵()100mod2≡

∴由定理1.2得()()()100mod2f f ≡ 即a ≡0a ()mod2 则02|a 2|a ⇔

对模m=5的情形同理论证。 例2．2 1

210n n a a a a a a -=，其中010,0i n a a ≤<≠，0,1,2,

,.i n = 则

10425|a 425|a a ⇔、、

证明 ∵1

210100n n a a a a a a -=⨯+

又∵()1000mod4≡ ∴()1

21

21000mod4n n n n a a a a a a --⨯≡⨯

于是()10mod4a a a ≡ 故104|4|a a a ⇔

对模m=25的情形同理论证。 例２.3 1

210n n a a a a a a -=，其中010,0i n a a ≤<≠，0,1,2,

,.i n =

则2108125|8125|a a a a ⇔、、

证明 ∵1

32101000n n a a a a a a a -=⨯+

又∵ ()10000mod8≡ ∴()1

31

310000mod8n n n n a a a a a a --⨯≡⨯

于是()210mod8a a a a ≡ 故2108|8|a a a a ⇔

对模m=125的情形同理论证。 例2.4 任何一个整数110n n a a a a a -=，其中010,0i n a a ≤<≠，则0

39|39|n

i i a a =⇔∑、

、

证法一 ∵1

10n n a a a a a -=

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

+⨯+

()()

()1

110919191n

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

+⨯++

()()()1110919191n n n n a q a q a a --=⨯++⨯+++⨯++

1109n n q a a a a -=+++++

09n

i i q a ==+∑

∴03|3|n i i a a =⇔∑

同理可证∑=⇔n

i i a a 0

|9|9。

证法二 设()1

10n

n n n f x a x a x

a --=++

+是整系数多项式。