第5讲同余的概念和性质
同余的基本概念和性质

模相等的同余关系的运算性质
模相等的同余关系满足交换律和结合律 模相等的同余关系满足消去律 模相等的同余关系满足分配律 模相等的同余关系满足幂等律
同余的应用
同余在模方程中的应用
模方程的同余解法 同余在模方程中的应用实例 同余在模方程中的求解步骤 同余在模方程中的优势与局限性
同余在数论中的应用
整除理论:同余是整除理论中的重要概念,用于研究整数之间的除法关系。
● - 同余关系具有反身性,即任意整数a都与自身对模m同余,即a≡a(mod m)。 ● - 同余关系具有对称性,即如果a≡b(mod m),则b≡a(mod m)。 ● - 同余关系具有传递性,即如果a≡b(mod m)且b≡c(mod m),则a≡c(mod m)。 ● - 对于任意整数a、b和c,若a≡b(mod m)且b≡c(mod m),则a≡c(mod m)。
同余的性质
模相等的同余关系
● 定义:如果两个整数a和b除以同一个正整数m的余数相同,则称a和b对模m同余,记作 a≡b(mod m)。
● 性质: - 同余关系具有反身性,即任意整数a都与自身对模m同余,即a≡a(mod m)。 - 同余关 系具有对称性,即如果a≡b(mod m),则b≡a(mod m)。 - 同余关系具有传递性,即如果 a≡b(mod m)且b≡c(mod m),则a≡c(mod m)。 - 对于任意整数a、b和c,若a≡b(mod m)且 b≡c(mod m),则a≡c(mod m)。
同余的基本概念和性质
汇报人:XX
目录
同余的定义
同余的性质
01
02
同余的应用
同余的证明方法
03
04
同余的定义
什么是同余
同余的定义:两个整数除以某 个固定整数得到的余数相同, 则称这两个整数同余。
2.1 同余的概念与基本性质

2 同余同余是由大数学家高斯引入的一个概念.我们可以将它理解为“余同”,即余数相同.正如奇数与偶数是依能否被2整除而得到的关于整数的分类一样,考虑除以m (≥2)所得余数的不同,可以将整数分为m 类.两个属于同一类中的数相对于“参照物”m 而言,具有“余数相同”这个性质.这种为对比两个整数的性质,引入一个参照物的思想是同余理论的一个基本出发点.同余是初等数论中的一门语言,是一件艺术品.它为许多数论问题的表述赋予了统一的、方便的和本质的形式.2.1 同余的概念与基本性质定义 如果a 、b 除以m (≥1)所得的余数相同,那么称a 、b 对模m 同余,记作a ≡b (mod m ).否则,称a 、b 对模m 不同余,记作a b ≡(mod m ).性质1 a ≡b (mod m )的充要条件是|m a b -.性质2 若a ≡b (mod m ),c ≡d (mod m ),则a +c ≡b +d (mod m ),a -c ≡b -d (mod m ),ac ≡bd (mod m ). 证明 这些结论与等式的一些相关结论极其相似,它们都容易证明.我们只给出第3个式子的证明. 只需证明:|m ac bd -.因为ac -bd =ac -bc +bc -bd=(a -b )c +b (c -d )由条件|m a b -,|m c d -,知|m ac bd -.说明 与同余有关的许多结论都要用到性质1,事实上,很多数论教材中利用性质1来引入同余的定义.性质3 若a ≡b (mod m ),n 为正整数,则()mod n n a b m ≡.性质4 若a ≡b (mod 1m ),a ≡b (mod 2m ),则a ≡b (mod [1m ,2m ]).性质5 若ab ≡ac (mod m ),则()mod m b c a m ⎛⎫≡ ⎪ ⎪⎝⎭,. 在同余式两边约去一个数时,应将该数与m 的最大公因数在“参照物”中同时约去.性质6 如果(a ,m )=1,那么存在整数b ,使得ab ≡1(mod m ).这个b 称a 对模m 的数论倒数,记为()1mod a m -,在不会引起误解时常常简记为1a -.证明 利用贝祖定理,可知存在整数x 、y 使得ax +my =1.于是,|1m ax -,即()1mod ax m ≡,故存在符合条件的b . 说明 由数论倒数的定义,易知当(a ,m )=1时,()()11mod aa m ≡--.例1 求所有的素数p 、q 、r (p ≤q ≤r ),使得pq +r ,pq +2r ,qr +p ,qr +2p ,rp +q ,rp +2q 都是素数. 解:若p >2,则p 、q 、r 都是奇数,此时pq +r 是一个大于2的偶数,矛盾,故p =2.现在,数2q +r ,2q +2r ,qr +2,qr +4,2r +q ,2r +2q 都是素数.若q 、r 中有偶数,则qr +2为一个大于2的偶数,矛盾,故q 、r 都是奇素数.若q >3,则3qr .此时,若()1mod3qr ≡,则()20mod3qr ≡+,与qr +2为素数矛盾;若qr ≡2()mod3,则()40mod3qr ≡+,与qr +4为素数矛盾,故q =3.这样,数6+r ,6+2r ,3r +2,3r +4,2r +3,2r +9都是素数.若r ≠5,则()0mod5r ≡,但分别当1r ≡,2,3,4(mod5)时,对应地,数3r +2,3r +4,2r +9,6+r 为5的倍数,矛盾,故r =5.直接验证,可知它们满足条件,所求的素数为p =2,q =3,r =5.例2 设n 为大于1的正整数,且1!,2!,…,n !中任意两个数除以n 所得的余数不同.证明:n 是一个素数.证明:注意到,()!0mod n n ≡,而n =4时,有2!()3mod4≡!.因此,如果能够证明:当n 为大于4的合数,都有()()1!0mod n n ≡-,就能依题中的条件导出矛盾,从而证出n 为素数.事实上,若n 为大于4的合数,则可对n 作分解,变为下述两种情形.情形一 可写n =pq ,2≤p <q ,p 、q 为正整数,这时1<p <q <n -1,从而()|1!pq n -, 即()()1!0mod n n ≡-.情形二 当2n p =,p 为素数时,由n >4,知p ≥3,故11<p <2q <(n -1),从而p · (2p ) ()|1!n -,于是,()()1!0mod n n ≡-.综上可知,n 只能是素数.说明 反过来,当n 为素数时,并不能保证1!,2!,…,n !中任意两个数对模n 不同余.例如p =5时,()31mod5≡!!.例3 设整数x 、y 、z 满足()()()x y y z z x x y z ---=++. ①证明:x +y +z 是27的倍数.证明:考虑x 、y 、z 除以3所得的余数,如果x 、y 、z 中任意两个对模3不同余,那么()0120mod3x y z ≡≡++++,但是()()()3x y y z z x ---,这与①矛盾.现在x 、y 、z 中必有两个对模3同余,由对称性,不妨设()mod3x ≡,这时由①式知 3|x y z ++,于是 ()()2mod3z x y x x ≡≡≡-+-,这表明 ()mod3x y z ≡≡,从而由①式知 27|x y z ++.例4 是否存在19个不同的正整数,使得在十进制表示下,它们的数码和相同,并且这19个数之和为1999?解:此题需要用到一个熟知的结论:在十进制表示下,每个正整数与它的数码和对模9同余.(这个结论只需利用()101mod9k ≡即可得证)若存在19个满足条件的不同正整数,则由它们的数码和相同(设这个相同的数码和为k ),可知()199919mod9k ≡,故()1mod9k ≡.又这19个数之和为1999,故其中必有一个数不大于199919,即有一个数≤105,所以k ≤18.结合()1mod9k ≡,知k =1或10. 若k =1,则这19个数为1,10,100,…,和不可能为1999,所以,k =10.而当k =10时,最小的数码和为10的20个正整数是19,28,37,…,91,109,118,127,…,190,208.前面19个数之和为1990,故符合要求的19个正整数中必有一个≥208,此时这19个数之和≥208+(19+28+…+91)+(109+118+127+…+181)=2198>1999, 矛盾.所以不存在19个不同的整数满足条件.例5 设m 、n 、k 为正整数,n ≥m +2,k 为大于1的奇数,并且×21np k =+为素数, 2|21m p +.证明:()121mod n k p ≡-.证明:由条件知()221mod mp ≡-,而n ≥m +2,故12m +是12n n •-的因数,所以, ()()122211mod n t n p •≡--=(这里22n m t n •--=). 现在,由()21mod n k p •≡-,知()()111222211mod n n n n k p ••≡----=,结合上面的结论,即可得()121mod n k p ≡-.说明 本题的背景是讨论费马数(形如221m m F =+的数为费马数)的素因数的性质.例6 设m 为正整数,证明:存在整数a 、b 、k ,使得a 、b 都是奇数,而k ≥0,并且2011201122m a b k •=++. ①证明:①式等价于(在左边不小于右边的情形下)()201120112mod 2m a b =+. ② 我们先证明:满足②的奇数a 、b 是存在的.注意到,对任意奇数x 、y ,有()()111110910x y x y x x y y ⋯-=-+++,上式右边10910x x y y ⋯+++是11个奇数之和,它应为奇数,因此,()111120110mod 2x y ≡- ()2011mod 2x y ⇔≡.这表明:在2011mod 2的意义下,数20111,20113,…,20111121(-)是 数1,3,5,…,201121-的一个排列,从而,存在奇数0b ,使得()112011021mod 2b m ≡-.现在,取一个充分小的负奇数b ,使得 ()20110mod 2b b ≡,且1121m b --≥0,则 ()11112011021210mod 2m b m b ≡≡----,于是,令()1120112112m b a b k b ⎛⎫ ⎪⎝⎭--,,=,,,则符合①.所以,满足条件的a 、b 、k 存在.。
初等数论2.

我喜欢数学
性质(6)
性质(7)
若a =a1d, b =b1d, (m, d) =1, a ≡b (mod m),则 a1 ≡ b1 (mod m) .
性质(8) 若a ≡b (mod m),k 为正整数 , 则 ka ≡ kb (mod km) .
a b m (mod ). d为a,b及m的任一正公约数,则 d d d
2019年4月13日11时56分
性质(5) 若a ≡b (mod m),c ≡d (mod m) , 则 ac ≡ bd (mod m) .
同余式可以相乘。
推论
若a ≡b (mod m), 则 a k ≡ b k (mod m), k 为任意整数.
同余式的数乘。
推广
E
2019年4月13日11时56分
2019年4月13日11时56分
2、同余的性质:
(1) 反身性: a ≡ a (mod m). (2) 对称性:若 a ≡ b (mod m), 则 b ≡ a (mod m). (3) 传递性:若 a ≡ b (mod m), b ≡ c (mod m), 则 a ≡ c (mod m). (4) 若a ≡b (mod m),c ≡d (mod m) , 则 a + c ≡ b + d (mod m) , a-c ≡ b-d (mod m). 同余式可以相加减。
例7 用弃九法验算 28947×34578 =1001865676 是否正确. 解 28947≡3 (mod 9), 34578≡0 (mod 9) 应有28947×34578 ≡0 (mod 9), 而 1001865676 ≡0 (mod 9), 所以计算必有错误. 弃九法只是运算结果正确的必要条件,而非充 分条件 ! 因此只能判误.
同余的概念与性质

同余的概念与性质同余:设m 是大于1的正整数,若用m 去除整数b a ,,所得余数相同,则称a 与b 关于模m 同余,记作)(mod m b a ≡,读作a 同余b 模m ;否则称a 与b 关于模m 不同余记作)(mod m b a ≠。
性质1:)(mod m b a ≡的充要条件是Z t mt b a ∈+=,,也即)(|b a m -。
性质2:同余关系满足下列规律:(1)自反律:对任何模m 都有)(mod m a a ≡;(2)对称律:若)(mod m b a ≡,则)(mod m a b ≡;(3)传递律:若)(mod m b a ≡,)(mod m c b ≡,则若)(mod m c a ≡。
性质 3:若,,,2,1),(mod s i m b a i i =≡则).(mod ),(mod 21212121m b b b a a a m b b b a a a s s s s ≡+++≡++推论: 设k 是整数,n 是正整数,(1)若)(mod m c b a ≡+,则)(mod m b c a -≡。
(2)若)(mod m b a ≡,则)(mod m a mk a ≡+;)(mod m bk ak ≡;)(mod m b a n n ≡。
性质4:设)(x f 是系数全为整数的多项式,若)(mod m b a ≡,则 ))(mod ()(m b f a f ≡。
性质5:若)(mod m bd ad ≡,且1),(=m d ,则)(mod m b a ≡。
性质6:若)(mod m b a ≡,且m d b d a d |,|,|,则)(mod d m d b d a ≡。
性质7:若)(mod m b a ≡,且m m |1,则)(mod 1m b a ≡。
性质8:若)(mod i m b a ≡,s i ,,2,1 =,则]),,,(mod[21s m m m b a ≡这里],,,[21s m m m 表示s m m m ,,,21 的最小公倍数。
同余的概念和性质

銆€銆€浣犱細瑙g瓟涓嬮潰鐨勯棶棰樺悧锛?/p>銆€銆€闂1锛氫粖澶╂槸鏄熸湡鏃ワ紝鍐嶈繃15澶╁氨鏄?ldquo;鍏?middot;涓€”鍎跨鑺備簡锛岄棶“鍏?middot;涓€”鍎跨鑺傛槸鏄熸湡鍑狅紵銆€銆€杩欎釜闂骞朵笉闅剧瓟.鍥犱负锛屼竴涓槦鏈熸湁7澶╋紝鑰?5÷7=2…1锛屽嵆15锛?×2+1锛屾墍浠?ldquo;鍏?middot;涓€”鍎跨鑺傛槸鏄熸湡涓€銆?/p>銆€銆€闂2锛?993骞寸殑鍏冩棪鏄槦鏈熶簲锛?994骞寸殑鍏冩棪鏄槦鏈熷嚑锛?/p>銆€銆€杩欎釜闂涔熼毦涓嶅€掓垜浠?鍥犱负锛?993骞存湁365澶╋紝鑰?65=7×52+1锛屾墍浠?994骞寸殑鍏冩棪搴旇鏄槦鏈熷叚銆?/p>銆€銆€闂1銆?鐨勫疄璐ㄦ槸姹傜敤7鍘婚櫎鏌愪竴鎬荤殑澶╂暟鍚庢墍寰楃殑浣欐暟.鍦ㄦ棩甯哥敓娲讳腑锛屾椂甯歌娉ㄦ剰涓や釜鏁存暟鐢ㄦ煇涓€鍥哄畾鐨勮嚜鐒舵暟鍘婚櫎锛屾墍寰楃殑浣欐暟闂.杩欐牱灏变骇鐢熶簡“鍚屼綑”鐨勬蹇?濡傞棶棰?銆?涓殑15涓?65闄や互7鍚庯紝浣欐暟閮芥槸1锛岄偅涔堟垜浠氨璇?5涓?65瀵逛簬妯?鍚屼綑銆?/p>銆€銆€鍚屼綑瀹氫箟锛氳嫢涓や釜鏁存暟a銆乥琚嚜鐒舵暟m闄ゆ湁鐩稿悓鐨勪綑鏁帮紝閭d箞绉癮銆乥瀵逛簬妯鍚屼綑锛岀敤寮忓瓙琛ㄧず涓猴細銆€銆€a≡b锛坢odm锛? 锛?锛?/p>銆€銆€涓婂紡鍙浣滐細銆€銆€a鍚屼綑浜巄锛屾ām銆?/p>銆€銆€鍚屼綑寮忥紙*锛夋剰鍛崇潃锛堟垜浠亣璁綼≥b锛夛細銆€銆€a-b=mk锛宬鏄暣鏁帮紝鍗砿锝滐紙a-b锛?銆€銆€渚嬪锛氣憼15≡365锛坢od7锛夛紝鍥犱负365-15=350=7×50銆?/p>銆€銆€鈶?6≡20锛坢od9锛夛紝鍥犱负56-20=36锛?×4銆?/p>銆€銆€鈶?0≡0锛坢od10锛夛紝鍥犱负90-0锛?0=10×9銆?/p>銆€銆€鐢变緥鈶㈡垜浠緱鍒板惎鍙戯紝a鍙m 鏁撮櫎锛屽彲鐢ㄥ悓浣欏紡琛ㄧず涓猴細a≡0锛坢odm 锛夈€?/p>銆€銆€渚嬪锛岃〃绀篴鏄竴涓伓鏁帮紝鍙互鍐?/p>銆€銆€a≡0锛坢od 2锛?/p>銆€銆€琛ㄧずb鏄竴涓鏁帮紝鍙互鍐?/p>銆€銆€b≡1锛坢od 2锛?/p>銆€銆€琛ュ厖瀹氫箟锛氳嫢m锛坅-b锛夛紝灏辫a 銆乥瀵规ām涓嶅悓浣欙紝鐢ㄥ紡瀛愯〃绀烘槸锛?/p>銆€銆€ab锛坢odm锛?/p>銆€銆€鎴戜滑涔﹀啓鍚屼綑寮忕殑鏂瑰紡锛屼娇鎴戜滑鎯宠捣绛夊紡锛岃€屼簨瀹炰笂锛屽悓浣欏紡涓庣瓑寮忓湪鍏舵€ц川涓婄浉浼?鍚屼綑寮忔湁濡備笅涓€浜涙€ц川锛堝叾涓璦銆乥銆乧銆乨鏄暣鏁帮紝鑰宮鏄嚜鐒舵暟锛夈€?/p>銆€銆€鎬ц川1锛歛≡a锛坢od m锛夛紝锛堝弽韬€э級銆€銆€杩欎釜鎬ц川寰堟樉鐒?鍥犱负a-a=0=m·0銆?/p>銆€銆€鎬ц川2锛氳嫢a≡b锛坢od m锛夛紝閭d箞b≡a锛坢od m锛夛紝锛堝绉版€э級銆?/p>銆€銆€鎬ц川3锛氳嫢a≡b锛坢od m锛夛紝b≡c 锛坢od m锛夛紝閭d箞a≡c锛坢od m锛夛紝锛堜紶閫掓€э級銆?/p>銆€銆€鎬ц川4锛氳嫢a≡b锛坢od m锛夛紝c≡d 锛坢od m锛夛紝閭d箞a±c≡b±d锛坢od m锛夛紝锛堝彲鍔犲噺鎬э級銆?/p>銆€銆€鎬ц川5锛氳嫢a≡b锛坢od m锛夛紝c≡d 锛坢od m锛夛紝閭d箞ac≡bd锛坢od m锛夛紙鍙箻鎬э級銆?/p>銆€銆€鎬ц川6锛氳嫢a≡b锛坢od m锛夛紝閭d箞an≡bn锛坢od m锛夛紝锛堝叾涓璶涓鸿嚜鐒舵暟锛夈€?/p>銆€銆€鎬ц川7锛氳嫢ac≡bc锛坢od m锛夛紝锛坈锛宮锛?1锛岄偅涔坅≡b锛坢od m锛夛紝锛堣鍙凤紙c锛宮锛夎〃绀篶涓巑鐨勬渶澶у叕绾︽暟锛夈€?/p>銆€銆€娉ㄦ剰鍚屼綑寮忔€ц川7鐨勬潯浠讹紙c锛宮锛夛紳1锛屽惁鍒欏儚鏅€氱瓑寮忎竴鏍凤紝涓よ竟绾﹀幓锛屽氨鏄敊鐨勩€?/p>銆€銆€渚嬪6≡10锛坢od 4锛夛紝鑰?5锛坢od 4锛夛紝鍥犱负锛?锛?锛?ne;1銆?/p>銆€銆€璇蜂綘鑷繁涓句簺渚嬪瓙楠岃瘉涓婇潰鐨勬€ц川銆?/p>銆€銆€鍚屼綑鏄爺绌惰嚜鐒舵暟鐨勬€ц川鐨勫熀鏈蹇碉紝鏄彲闄ゆ€х殑绗﹀彿璇█銆?/p>渚? 鍒ゅ畾288鍜?14瀵逛簬妯?7鏄惁鍚屼綑锛?4涓?0鍛紵銆€銆€瑙o細鈭?88-214=74=37×2銆?/p>銆€銆€∴288≡214锛坢od37锛夈€?/p>銆€銆€鈭?4-20=54锛岃€?754锛?/p>銆€銆€∴7420锛坢od37锛夈€?/p>渚? 姹備箻绉?18×814×1616闄や互13鎵€寰楃殑浣欐暟銆?/p>鍒嗘瀽鑻ュ厛姹備箻绉紝鍐嶆眰浣欐暟锛岃绠楅噺澶ぇ.鍒╃敤鍚屼綑鐨勬€ц川鍙互浣?ldquo;澶ф暟鍖栧皬”锛屽噺灏戣绠楅噺銆?/p>銆€銆€瑙o細鈭?18≡2锛坢od13锛夛紝銆€銆€814≡8锛坢od13锛夛紝1616≡4锛坢od13锛夛紝銆€銆€∴ 鏍规嵁鍚屼綑鐨勬€ц川5鍙緱锛?/p>銆€銆€418×814×1616≡2×8×4≡64≡12锛坢od13锛夈€?/p>銆€銆€绛旓細涔樼Н418×814×1616闄や互13浣欐暟鏄?2銆?/p>渚? 姹?4389闄や互7鐨勪綑鏁般€?/p>鍒嗘瀽鍚屼綑鐨勬€ц川鑳戒娇“澶ф暟鍖栧皬”锛屽嚒姹傚ぇ鏁扮殑浣欐暟闂棣栧厛鑰冭檻鐢ㄥ悓浣欑殑鎬ц川鍖栧ぇ涓哄皬.杩欓亾棰樺厛鎶婂簳鏁板湪鍚屼綑鎰忎箟涓嬪彉灏忥紝鐒跺悗浠庝綆娆″箓鍏ユ墜锛岄噸澶嶅钩鏂癸紝鎵炬壘鏈変粈涔堣寰嬨€?/p>銆€銆€瑙f硶1锛氣埖143≡3锛坢od7锛?/p>銆€銆€∴14389≡389锛坢od 7锛?/p>銆€銆€鈭?9锛?4+16+8+1銆€銆€鑰?2≡2锛坢od 7锛夛紝銆€銆€34≡4锛坢od7锛夛紝銆€銆€38≡16≡2锛坢od 7锛夛紝銆€銆€316≡4锛坢od 7锛夛紝銆€銆€332≡16≡2锛坢od 7锛夛紝銆€銆€364≡4锛坢od 7锛夈€?/p>銆€銆€鈭?89≡364·316·38·3≡4×4×2×3≡5锛坢od 7锛夛紝銆€銆€∴14389≡5锛坢od 7锛夈€?/p>銆€銆€绛旓細14389闄や互7鐨勪綑鏁版槸5銆?/p>銆€銆€瑙f硶2锛氳瘉寰?4389≡389锛坢od 7锛夊悗锛?/p>銆€銆€36≡32×34≡2×4≡1锛坢od 7锛夛紝銆€銆€∴384≡锛?6锛?4≡1锛坢od 7锛夈€?/p>銆€銆€∴389≡384·34·3≡1×4×3≡5锛坢od 7锛夈€?/p>銆€銆€∴14389≡5锛坢od 7锛夈€?/p>渚? 鍥涚洀鐏鍥炬墍绀虹粍鎴愯垶鍙板僵鐏紝涓旀瘡30绉掗挓鐏殑棰滆壊鏀瑰彉涓€娆★紝绗竴娆′笂涓嬩袱鐏簰鎹㈤鑹诧紝绗簩娆″乏鍙充袱鐏簰鎹㈤鑹诧紝绗笁娆″張涓婁笅涓ょ伅浜掓崲棰滆壊锛?hellip;锛岃繖鏍蜂竴鐩磋繘琛屼笅鍘?璇烽棶寮€鐏?灏忔椂鍥涚洀鐏殑棰滆壊濡備綍鎺掑垪锛?/p>鍒嗘瀽涓庤В绛旂粡瑙傚療璇曢獙鎴戜滑鍙互鍙戠幇锛屾瘡缁忚繃4娆′簰鎹紝鍥涚洀鐏殑棰滆壊鎺掑垪閲嶅涓€娆★紝鑰?灏忔椂=60鍒嗛挓=120×30绉掞紝鎵€浠ヨ繖閬撻瀹炶川鏄眰120闄や互4鐨勪綑鏁帮紝鍥犱负120≡0锛坢od 4锛夛紝鎵€浠ュ紑鐏?灏忔椂鍥涚洀鐏殑棰滆壊鎺掑垪鍒氬ソ鍚屼竴寮€濮嬩竴鏍枫€?/p>銆€銆€鍗佷綅锛?hellip;涓婄殑鏁扮爜锛屽啀璁綧=a0锛媋1锛?hellip;锛媋n锛屾眰璇侊細N≡M锛坢od 9锛夈€?/p>鍒嗘瀽棣栧厛鎶婃暣鏁癗鏀瑰啓鎴愬叧浜?0鐨勫箓鐨勫舰寮忥紝鐒跺悗鍒╃敤10≡1锛坢od 9锛夈€?/p>銆€銆€銆€銆€鍙堚埖1≡1锛坢od 9锛夛紝銆€銆€10≡1锛坢od 9锛夛紝銆€銆€102≡1锛坢od 9锛夛紝銆€銆€…銆€銆€10n≡1锛坢od 9锛夛紝銆€銆€涓婇潰杩欎簺鍚屼綑寮忎袱杈瑰垎鍒悓涔樹互a0銆乤1銆乤2銆?hellip;銆乤n锛屽啀鐩稿姞寰楋細銆€銆€a0锛媋1×10+a2×102+…+an×10n銆€銆€≡a0锛媋1锛媋2锛?hellip;锛媋n锛坢od 9锛夛紝銆€銆€鍗?N≡M锛坢od 9锛?銆€銆€杩欓亾渚嬮璇佹槑浜嗗崄杩涘埗鏁扮殑涓€涓壒鏈夌殑鎬ц川锛?/p>銆€銆€浠讳綍涓€涓暣鏁版ā9鍚屼綑浜庡畠鐨勫悇鏁颁綅涓婃暟瀛椾箣鍜屻€?/p>銆€銆€浠ュ悗鎴戜滑姹備竴涓暣鏁拌9闄ょ殑浣欐暟锛屽彧瑕佸厛璁$畻杩欎釜鏁存暟鍚勬暟浣嶄笂鏁板瓧涔嬪拰锛屽啀姹傝繖涓拰琚?闄ょ殑浣欐暟鍗冲彲銆?/p>銆€銆€渚嬪锛屾眰1827496琚?闄ょ殑浣欐暟锛屽彧瑕佸厛姹傦紙1+8锛?锛?锛?锛?锛?锛夛紝鍐嶆眰鍜岃9闄ょ殑浣欐暟銆?/p>銆€銆€鍐嶈瀵熶竴涓嬩笂闈㈡眰鍜屽紡.鎴戜滑鍙互鍙戠幇锛屽拰涓嶄竴瀹氳姹傚嚭.鍥犱负鍜屽紡涓?锛?锛?+7锛?琚?闄ら兘浣?锛屾眰浣欐暟鏃跺彲涓嶄簣鑰冭檻.杩欐牱鍙渶姹?锛?琚?闄ょ殑浣欐暟.鍥犳锛?827496琚?闄や綑鏁版槸1銆?/p>銆€銆€鏈変汉鏃跺父鍒╃敤鍗佽繘鍒舵暟鐨勮繖涓壒鎬ф楠屽嚑涓暟鐩稿姞銆佺浉鍑忋€佺浉涔樼殑缁撴灉瀵逛笉瀵癸紝杩欑妫€鏌ユ柟娉曞彨锛氬純涔濇硶銆?/p>銆€銆€寮冧節娉曟渶缁忓父鍦版槸鐢ㄤ簬涔樻硶.鎴戜滑鏉ョ湅涓€涓緥瀛愩€?/p>銆€銆€鐢ㄥ純涔濇硶妫€楠屼箻寮?483×9117≡49888511鏄惁姝g‘锛?/p>銆€銆€鍥犱负5483≡5锛?锛?锛?≡11≡2锛坢od 9锛夛紝銆€銆€9117≡9锛?锛?锛?≡0锛坢od 9锛夛紝銆€銆€鎵€浠?5483×9117≡2×0≡0锛坢od 9锛夈€?/p>銆€銆€浣嗘槸49888511≡4+9锛?+8+8锛?+1+1銆€銆€≡8锛坢od9锛夛紝銆€銆€鎵€浠?5483×9117≠49888511锛屽嵆涔樼Н涓嶆纭€?/p>銆€銆€瑕佹敞鎰忕殑鏄純涔濇硶鍙兘鐭ラ亾鍘熼閿欒鎴栨湁鍙兘姝g‘锛屼絾涓嶈兘淇濊瘉涓€瀹氭纭€?/p>銆€銆€渚嬪锛?875≡9锛?+7+5≡2锛坢od 9锛夛紝銆€銆€4873≡4锛?锛?锛?≡4锛坢od 9锛夛紝銆€銆€32475689≡3+2+4+7锛?+6+8+9銆€銆€≡8锛坢od 9锛夛紝銆€銆€杩欐椂锛?875×4873≡2×4≡32475689锛坢od 9锛夈€?/p>銆€銆€浣嗚瀵熶釜浣嶆暟瀛楃珛鍒诲彲浠ュ垽瀹?875×4873≠32475689.鍥犱负鏈綅鏁板瓧5鍜?鐩镐箻涓嶅彲鑳界瓑浜?銆?/p>銆€銆€寮冧節娉曚篃鍙互鐢ㄦ潵妫€楠岄櫎娉曞拰涔樻柟鐨勭粨鏋溿€?/p>渚? 鐢ㄥ純涔濇硶妫€楠屼笅闈㈢殑璁$畻鏄惁姝g‘锛?/p>。
六同第五讲 余数问题

第五讲余数问题教学课题:余数问题教学课时:两课时教学目标:1、熟悉被除数,除数,商,余数之间的关系。
2、了解同余的定义。
3、掌握同余的性质。
4、结合质数合数分解质因数内容解决综合性题目。
教学重点:掌握同余的3个重要性质。
教学难点:运用同余解决实际问题。
教学准备:教学过程:一、导入(韩信点兵)汉高祖刘邦曾问大将韩信:“你看我能带多少兵?”韩信斜了刘邦一眼说:“你顶多能带十万兵吧!”汉高祖心中有三分不悦,心想:你竟敢小看我!“那你呢?”韩信傲气十足地说:“我呀,当然是多多益善啰!”刘邦心中又添了三分不高兴,勉强说:“将军如此大才,我很佩服。
现在,我有一个小小的问题向将军请教,凭将军的大才,答起来一定不费吹灰之力的。
”韩信满不在乎地说:“可以可以。
”刘邦狡黠地一笑,传令叫来一小队士兵隔墙站队,刘邦发令:“每三人站成一排。
”队站好后,小队长进来报告:“最后一排只有二人。
”“刘邦又传令:“每五人站成一排。
”小队长报告:“最后一排只有三人。
”刘邦再传令:“每七人站成一排。
”小队长报告:“最后一排只有二人。
”刘邦转脸问韩信:“敢问将军,这队士兵有多少人?”韩信脱口而出:“二十三人。
”聪明的同学们知道是怎么算出来的吗?学完今天的内容大家就会算了,让我们一起学习今天的课程吧!二、新课学习例1:□÷17=38……□,问要使余数最大,被除数是多少?师:余数最大能够是多少呢?生:16。
师:那么被除数怎么求解呢?生:被除数=商╳除数+余数师:对,被除数为17×38+16=662例2:一个两位数除310的余数是37,求这样的两位数?师:A除B,A除以B的区别是什么大家知道吗?生:A除B=B÷A,A除以B=A÷B师:能否把余数37先踢走呢?则310-37=273。
该两位数一定是273的什么数呢?生:两位数一定是273的因数。
273 = 3×13×73、13、7 相乘可以组合的2位数有13、21、39、91根据余数大于除数,其中符合除310余37的有39和91例3:两个数相除,商是22,余数是8,被除数、除数、商、余数之和为866。
数学公式知识:同余与模运算的定义、性质及其应用

数学公式知识:同余与模运算的定义、性质及其应用同余与模运算是数学中一个重要的概念,它们在整数与群论、代数数论、数论几何等不同数学分支中都有着广泛的应用。
本文将着重介绍同余与模运算的定义、性质以及其在数学中的应用。
一、同余和模运算的定义1、同余定义同余是数学中一个非常基本的概念,它是指模相同的两个整数之间的差值是模的整数倍。
换句话说,若整数a与b满足a – b能够被整数n整除,那么就称a和b在模n意义下同余,记为a ≡ b (mod n)。
例如,对于n = 5,可以得到以下同余关系:3 ≡ 13 (mod 5)14 ≡ -1 (mod 5)25 ≡ 0 (mod 5)同余运算具有传递性、反对称性以及自反性,即若a ≡ b (mod n),b ≡ c (mod n),则有a ≡ c (mod n);若a ≡ b (mod n),则不成立b ≡ a (mod n);对于任意整数a,有a ≡ a (mod n)。
2、模运算定义模运算可以看做是一种求余数的运算,它的操作是将一个整数除以另一个整数,然后取余数。
例如,对于a和b两个整数,并设n是一个正整数,则a对n取模为r,可以写成a mod n = r。
这里,r表示整数a除以n所得到的余数,称为模n意义下的a的余数。
二、同余与模运算的性质1、同余的基本性质同余运算具有可加性、可乘性和可减性,即若a₁ ≡ b₁ (mod n),a₂ ≡ b₂ (mod n),则有a₁ + a₂ ≡ b₁ + b₂ (mod n)a₁ × a₂ ≡ b₁ × b₂ (mod n)a₁– a₂ ≡ b₁ - b₂ (mod n)2、模运算的基本性质模运算具有基本的反转性和线性性质,即若a₁ mod n = r₁,a₂mod n = r₂,则有a₁ + a₂ mod n ≡ (r₁ + r₂) mod na₁ × a₂ mod n ≡ (r₁ × r₂) mod n3、Euler定理性质Euler定理是基于费马小定理而得到的一个命题。
同余

a 用a modm表示余数r,则 a [ ]m ( a m odm ) m
定理3 整数a, b模m 同余 a modm=b modm
ab (modm) m|a-b a modm=b modm
a=b+km
性质:
(1) ( 2) ( 3)
[(a modm ) (b modm )]modm (a b) modm [(a modm ) (b modm )]modm (a b) modm [(a modm ) (b modm )]modm (a b) modm
(r r ) a b (q q)m
m a b的充分必要条件是 m r r. 但因为 0 r r m , 因此,
且 m r r 的充分必要条件是 r r 0 ,所以 m a b 的充分必 要条件是 r r 0. 这就是定理的结论.
2
2003
2
22 1 4 4(mod 7).
故第 22003 天是星期二。 定理5 若 x y(mod m),
ai bi (mod m),
0 i k, 则 0 i k.
a0 a1 x ak x k b0 b1 y bk yk (mod m).
故 3 n, 9 | n.
k 定理7 设 n ak 1000 a11000 a0 , 0 ai 1000. 则7或11,或
13 n 7或11或 13 a0 a2 - a1 a3 .
例4 设 n 637693.
例5 设n 75312289.
定理10 设a b ( mod m) . 若d | m, 则a b ( mod d) .
同余的 概念与性质

由上例可知,同样的两个数关于不同的模同余关系可能不相同.
例3. 2 求证:(1) 如果a除以m的余数为r(0≤r<m), 那么 a≡r (modm); (2)如果a ≡r (modm),0≤r<m,那么a 除以m的 余数为r。
证明 (1) 由题意得可设, a=mq+r ( 0≤r<m ) . 由于0≤r<m ,所以r除以m的不完全商为0,余数为r,即 r =m· 0+r ( 0≤r<m ) . 根据同余概念,可得a≡r(modm); (2) 因为a ≡ r(modm),所以由同余概念可得· a=mq1+R , r=mq2+R,( 0≤R<m ), 又因为0≤r<m,所以q2=0,即R=r. 因此 得 a=mq1+r (0≤r<m).即a被m除,所得的余数为r.
例3. 12 把由1开始的自然数依次写下来,直写到 第201位为止,就是 201位
12345678910111213…
试问这个数除以3的余数等于几?
解 因为1~9写在一起构成九位数,10~99写在一 起为90 X 2=180位数,所以由1开始的自然数依 次写到99,合计为189位数,由于201-189=12, 因此只需在1写到99后再写上100,101,102,103 四个数.即从1开始的自然数依次写到103就构成 一个201位数(由103个连续的自然数组成). 因为每三个连续自然数的各位数字之和能被3除, 103≡1(mod3),所以这个数除以3的余数为1.
从例3.6的证明,还可以得出如下的结论:
如果 a ≡ b (modm),又d 能整除m以及整除a,b两 个数中的一个,则d 必能整除a,b中的另一个.
离散数学-11.3-5同余

费马小定理
总结词
费马小定理是数论中的一个定理,它提供了判断一个数 是否为质数的方法。
详细描述
费马小定理是数论中的一个定理,它提供了判断一个数 是否为质数的方法。
中国剩余定理
总结词
中国剩余定理是数论中一个著名的定理,它 解决了线性同余方程组的求解问题。
详细描述
中国剩余定理指出,对于一组线性同余方程 ,如果每个方程都有解,并且解的个数与方 程的个数相同,那么这组方程的解可以由一 个特定的解来表示。这个定理在编码理论、
算法设计
在算法设计中,同余定理可以用于优化算法,提高算法的效率和正确性。
在数论中的应用
模数运算
在数论中,模数运算是常见的一种运算 方式,而同余定理是模数运算的基础。
VS
素数检测
通过同余定理,可以检测一个数是否为素 数。例如,根据费马小定理,如果一个数p 是素数,那么对于任意的整数a,都有 a^(p-1)≡1(mod p)。
密码学和计算机科学中有广泛的应用。
05
同余的证明方法
反证法
总结词
通过假设相反情况,然后推导出矛盾,从而证明原命题的正确性。
详细描述
反证法是一种常用的证明方法,其基本思想是先假设与原命题相反的情况,然后通过一 系列推理和演绎,导出矛盾或与已知事实相违背的结论,从而证明原命题的正确性。在
证明同余命题时,反证法可以帮助我们排除一些不可能的情况,从而简化是指整数或多项式除以模的余数相同。
02
在模同余下,整数或多项式被分为不同的等价类, 每个等价类称为模同余类。
03
模同余在数论、代数和密码学等领域有广泛应用。
同余类的定义
同余类是指整数或多项式根据同余关系分成的等价类。
2同余教案

第五节:同余一、基本性质整除的性质非常重要,但是并不能解释所有的问题,为此我们进行了推广——同余。
同余最早是由数学家Gauss 引入的概念,我们可以将其理解为“余同”(余数相同)。
首先来看一下同余的表达方式和定义。
定义1:如果a 、b 除以m(m>1)得到的余数相同,那么称a 、b 对于模m 同余,记作(mod )a b m ≡。
否则称a 、b 对模m 不同余。
性质1:(mod )a b m ≡也就是说m | a-b 性质1非常重要,由性质1可证得其余性质。
性质2:可加性:若(mod ),(mod )a b m c d m ≡≡,那(mod ),a c b d m +≡+(mod )a c a d m -≡-;性质3:可乘性:若(mod ),(mod )a b m c d m ≡≡则(mod )ac bd m ≡ 性质4:可乘方性:若(mod )a b m ≡,那么(mod )nna b m ≡ 性质5:若(mod ),(mod ),a b m a b n ≡≡那么(mod [,])a b m n ≡ 性质6:如果(,)1a m =,那么存在一个整数b ,使得1(mod )ab m ≡性质7:如果(mod )(mod)(,)mab ac m b c a m ≡⇒≡特别的,若(a,m )=1则第六节:同余应用及常见的题型一、求余数问题常见的问题如求星期几之类的题型,其实也就求被7整除的余数。
通过同余的运算,可以很快地求得结果。
24天以后是星期几?例1:如果今天是周六,求2009例2:某数除680,970和1521余数相同,这个数最大是几?例3:126547+324除以13的余数是多少?二、整除特征判别法:注意:一个数能否被2、3、4、5、6、7、8、9、11、13等数整除,都有其特别的判别方法。
如何选取合适的方法,并对此作为推广是我们必须要学会的内容。
(1)可以被2整除的数:最末一位数是2的倍数。
同余的概念及其基本性质

4.证明:641 232 1 解:依次计算对模641的同余数
22 4,24 16,28 256, 216 256 256 154(mod641) 232 154 154 1(mod641) 232 1 0(mod641)
5.设a为奇数,则a2n 1(mod 2n2 ) (n 1). 解:设a = 2m 1, 当n = 1时,有 a2 = (2m 1)2 = 4m(m 1) 1 1 (mod 23)(*)成立。 设式(*)对于n = k成立,则有
a2k 1(mod 2k2 ) a2k 1 q 2k2 所以 a2k1 (1 q 2k2 )2 1 q 2k3 q2 2(k2)2 记 1 q'2k3 1(mod 2k3 ),q' Z. 这说明式(*)当n = k 1也成立。由归纳法得证.
一般地,求a bc 对模m的同余的步骤如下: ① 求出整数k,使ak 1 (mod m);
② 求出正整数r,r < k,使得bc r (mod k);
③ abc ar (mod m)
——减小幂指数
练习:若a Z ,证明 10|a1985 a1949 . 提示:a5 a(mod10)
一、问题的提出 1、今天是星期一,再过100天是星期几? 再过1010 天呢? 2、3145×92653=2910 93995的横线处漏写了一个 数字,你能以最快的办法补出吗?
3、13511,13903,14589被自然数m除所得余数 相同,问m最大值是多少?
同余问题知识点总结

同余问题知识点总结一、基本概念1.1 同余关系对于给定的整数a、b和正整数m,如果m能整除a-b,即(a-b)/m为整数,则称a与b 对模m同余,记作a≡b(mod m)。
同余关系满足以下性质:自反性:a≡a(mod m)对称性:若a≡b(mod m),则b≡a(mod m)传递性:若a≡b(mod m)且b≡c(mod m),则a≡c(mod m)1.2 同余类对于给定的正整数m,同余关系将整数集合Z划分为m个不相交的子集,这些子集称为同余类。
同余类的定义:[a]={b∈Z|a≡b(mod m)}同余类的性质:同余类是模m下的等价类,它将整数集合划分为m个不相交的等价类。
二、同余的运算规则2.1 加法和乘法的运算规则加法:若a≡b(mod m)且c≡d(mod m),则a+c≡b+d(mod m)乘法:若a≡b(mod m)且c≡d(mod m),则ac≡bd(mod m)2.2 幂运算规则对于正整数n,有以下同余关系成立:a≡b(mod m) => a^n≡b^n(mod m)三、同余性质3.1 最小非负剩余对于给定整数a和模m,存在唯一的最小非负整数r,满足a≡r(mod m)且0≤r<m。
r称为整数a对模m的最小非负剩余。
3.2 同余方程同余方程的一般形式为:ax≡b(mod m)同余方程的求解:若最大公约数(gcd)为1,即a与m互质,则同余方程有唯一解;若gcd不为1,即a与m不互质,则同余方程有无穷多解。
3.3 中国剩余定理中国剩余定理:若模数m1、m2、...、mk两两互质,即gcd(mi,mj)=1(i≠j),则对于任意的整数a1、a2、...、ak和模数m1、m2、...、mk,模方程组x≡a1(mod m1)x≡a2(mod m2)...x≡ak(mod mk)有唯一模m=m1*m2*...*mk的解x。
中国剩余定理的应用:用于快速求解大整数的同余方程组,加速计算过程。
同余理论—同余的概念与同余基本性质(小学数学课件)

则有:127156 = 5056 = 5054 × 502 = 5027
2
× 502
又因为502 ≡ 58 111 ,503 ≡ 14 111 ,509 ≡ 80 111 ,
(509 )3 ≡ 68(111), 5027
2
× 502 ≡ 16(111)
即可得(16 + 34)28 除以111
5028 = 5027 × 50 ≡ 68 ×50(mod111)≡ 70(111)
同余基本性质在小学中的应用
例1.求437×309×1993被7除的余数。
思路分析:如果将437×309×1993算出以后,再除以7,从而应得到,即
437×309×1993=269120769,此数被7除的余数为1。但是能否寻找更为简变的办法呢?
(mod m)。
1.可加性
a c b d (mod m)
;
2.可乘性
ac bd (mod m);
3.可幂性
ak ≡ bk (modm).
同余基本性质的运用
例1.今天是星期日,过20042004 天后的今天是星期几?
分析:20042004 这个数很大,我们很难直接判断7除20042004 的余数是几。现在我们想办法把
20042004 变小。首先考虑的是7除底数2004的余数是几,利用这个余数替换底数2004,然后降次,
反复进行这个过程,直至去掉指数。
解:
因为2004=7×286+2,所以2004≡ 2 7 .由同余的性质,
又20042004 ≡ 22004 (7)
而22004 = 8668 ,所以22004 ≡ 8668 (7)
又因为8 ≡1(7),所以8668 ≡ 1668 7
同余

或21+X+Y=36,X-Y+13=22
X+Y=6,X-Y=-2,或X+Y=15,X-Y=9, 解得X=2,Y=4。
例3 :求111 被7除的余数。
50
解:∵111111被7整除,
∴
11 1
50
≡11(mod 7)≡4(mod 7)
即余数为4。
例4:求( 257
解: ( 257
i0
( 1 ) a i (mod
i
7)
n
即有7|a的充要条件是 7| 对模11和13同理可证。 注:这里用的是1000进制。
( 1) a i
i
i0
例1:1234567891011…2005 除以3的余数是多少.
解:因为一个数除以3的余数,即其各位数字和 除以3 的余数.所以所求余数
解:两边关于9同余,则有8*3 所以错误. 5,不成立
例判断 28997*39495=1114523641 5是否正确
解:两边关于9同余,则有8*3 所以错误. 5,不成立
定义:称k0 ,k1,…km-1叫做模m的剩余类,设 a0,a1…am-1是m个整数,并且其中任何两数都不 在一个剩余类里,则a0,a1…am-1叫做模m的一个 完全剩余系(简称完系)
第三章 同余
§1 同余的概念及其基本性质
在日常生活中,我们常接触到一些周 期为正整数性的问题.例如:问火车下午2 点从金华出发,30小时后到广州,则到广州 是几点?就是24去除30所得的余数6加2,即 晚上8点到广州,这就是同余问题.今天是星 期一,问过了100天后是星期几等…….,现 在同余理论已发展成为初等数论中内容丰
b. 由同余的定义可知: 相等必同余,同余未 必相等,不同余肯定不相等,这是一种很好 的方法,尤其在证明不相等时非常有用。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
第5讲同余的概念和性质解题思路:理解并熟记同余的性质,运用同余性质把数化小、化易。
同余定义:若两个整数a、b被自然数m除有相同的余数,那么称a、b对于模m同余,用式子表示为: a≡b(modm).性质1:若a≡b(mod m),b≡c(mod m),那么a≡c(mod m),(传递性)。
★性质2:若a≡b(mod m),c≡d(mod m),那么a±c≡b±d(mod m),(可加减性)。
★性质3:若a≡b(mod m),c≡d(mod m),那么ac≡bd(mod m)(可乘性)。
性质4:若a≡b(mod m),那么a n≡b n(mod m),(其中n为自然数)。
性质5:若ac≡bc(mod m),(c,m)=1,那么a≡b(mod m),(记号(c,m)表示c与m的最大公约数)。
例1 判定288和214对于模37是否同余,74与20呢例2 求乘积418×814×1616除以13所得的余数。
例3 求14389除以7的余数。
例4 四盏灯如图所示组成舞台彩灯,且每30秒钟灯的颜色改变一次,第一次上下两灯互换颜色,第二次左右两灯互换颜色,第三次又上下两灯互换颜色,…,这样一直进行下去.请问开灯1小时四盏灯的颜色如何排列十位,…上的数码,再设M=0a +0a +…+n a ,求证:N ≡M (mod 9)例6 求自然数1002+1013+1024的个位数字。
习题1.验证对于任意整数a 、b ,式子a ≡b (mod1)成立,并说出它的含义。
2.已知自然数a 、b 、c ,其中c ≥3,a 除以c 余1,b 除以c 余2,则ab 除以c 余多少年的六月一日是星期二,这一年的十月一日是星期几4.求+被7除的余数。
5.所有自然数如下图排列.问300位于哪个字母下面6. 数,被13除余多少7.求1993100的个位数字.第五讲同余的概念和性质你会解答下面的问题吗问题1:今天是星期日,再过15天就是“六·一”儿童节了,问“六·一”儿童节是星期几这个问题并不难答.因为,一个星期有7天,而15÷7=2…1,即15=7×2+1,所以“六·一”儿童节是星期一。
问题2:1993年的元旦是星期五,1994年的元旦是星期几这个问题也难不倒我们.因为,1993年有365天,而365=7×52+1,所以1994年的元旦应该是星期六。
问题1、2的实质是求用7去除某一总的天数后所得的余数.在日常生活中,时常要注意两个整数用某一固定的自然数去除,所得的余数问题.这样就产生了“同余”的概念.如问题1、2中的15与365除以7后,余数都是1,那么我们就说15与365对于模7同余。
同余定义:若两个整数a、b被自然数m除有相同的余数,那么称a、b对于模m同余,用式子表示为:a≡b(modm). (*)上式可读作:a同余于b,模m。
同余式(*)意味着(我们假设a≥b):a-b=mk,k是整数,即m|(a-b).例如:①15≡365(mod7),因为365-15=350=7×50。
②56≡20(mod9),因为56-20=36=9×4。
③90≡0(mod10),因为90-0=90=10×9。
由例③我们得到启发,a可被m整除,可用同余式表示为:a≡0(modm)。
例如,表示a是一个偶数,可以写a≡0(mod 2)表示b是一个奇数,可以写b≡1(mod 2)补充定义:若m(a-b),就说a、b对模m不同余,用式子表示是:a b(modm)我们书写同余式的方式,使我们想起等式,而事实上,同余式与等式在其性质上相似.同余式有如下一些性质(其中a、b、c、d是整数,而m是自然数)。
性质1:a≡a(mod m),(反身性)这个性质很显然.因为a-a=0=m·0。
性质2:若a≡b(mod m),那么b≡a(mod m),(对称性)。
性质3:若a≡b(mod m),b≡c(mod m),那么a≡c(mod m),(传递性)。
性质4:若a≡b(mod m),c≡d(mod m),那么a±c≡b±d(mod m),(可加减性)。
性质5:若a≡b(mod m),c≡d(mod m),那么ac≡bd(mod m)(可乘性)。
性质6:若a≡b(mod m),那么a n≡b n(mod m),(其中n为自然数)。
性质7:若ac≡bc(mod m),(c,m)=1,那么a≡b(mod m),(记号(c,m)表示c与m的最大公约数)。
注意同余式性质7的条件(c,m)=1,否则像普通等式一样,两边约去,就是错的。
例如6≡10(mod 4),而35(mod 4),因为(2,4)≠1。
请你自己举些例子验证上面的性质。
同余是研究自然数的性质的基本概念,是可除性的符号语言。
例1 判定288和214对于模37是否同余,74与20呢解:∵288-214=74=37×2。
∴288≡214(mod37)。
∵74-20=54,而3754,∴7420(mod37)。
例2 求乘积418×814×1616除以13所得的余数。
分析若先求乘积,再求余数,计算量太大.利用同余的性质可以使“大数化小”,减少计算量。
解:∵418≡2(mod13),814≡8(mod13),1616≡4(mod13),∴根据同余的性质5可得:418×814×1616≡2×8×4≡64≡12(mod13)。
答:乘积418×814×1616除以13余数是12。
例3 求14389除以7的余数。
分析同余的性质能使“大数化小”,凡求大数的余数问题首先考虑用同余的性质化大为小.这道题先把底数在同余意义下变小,然后从低次幂入手,重复平方,找找有什么规律。
解法1:∵143≡3(mod7)∴14389≡389(mod 7)∵89=64+16+8+1而32≡2(mod 7),34≡4(mod7),38≡16≡2(mod 7),316≡4(mod 7),332≡16≡2(mod 7),364≡4(mod 7)。
∵389≡364·316·38·3≡4×4×2×3≡5(mod 7),∴14389≡5(mod 7)。
答:14389除以7的余数是5。
解法2:证得14389≡389(mod 7)后,36≡32×34≡2×4≡1(mod 7),∴384≡(36)14≡1(mod 7)。
∴389≡384·34·3≡1×4×3≡5(mod 7)。
∴14389≡5(mod 7)。
例4 四盏灯如图所示组成舞台彩灯,且每30秒钟灯的颜色改变一次,第一次上下两灯互换颜色,第二次左右两灯互换颜色,第三次又上下两灯互换颜色,…,这样一直进行下去.请问开灯1小时四盏灯的颜色如何排列分析与解答经观察试验我们可以发现,每经过4次互换,四盏灯的颜色排列重复一次,而1小时=60分钟=120×30秒,所以这道题实质是求120除以4的余数,因为120≡0(mod 4),所以开灯1小时四盏灯的颜色排列刚好同一开始一样。
十位,…上的数码,再设M=a0+a1+…+an,求证:N≡M(mod 9)。
分析首先把整数N改写成关于10的幂的形式,然后利用10≡1(mod 9)。
又∵ 1≡1(mod 9),10≡1(mod 9),102≡1(mod 9),…10n≡1(mod 9),上面这些同余式两边分别同乘以a0、a1、a2、…、a n,再相加得:a0+a1×10+a2×102+…+a n×10n≡a0+a1+a2+…+a n(mod 9),即 N≡M(mod 9).这道例题证明了十进制数的一个特有的性质:任何一个整数模9同余于它的各数位上数字之和。
以后我们求一个整数被9除的余数,只要先计算这个整数各数位上数字之和,再求这个和被9除的余数即可。
例如,求1827496被9除的余数,只要先求(1+8+2+7+4+9+6),再求和被9除的余数。
再观察一下上面求和式.我们可以发现,和不一定要求出.因为和式中1+8,2+7,9被9除都余0,求余数时可不予考虑.这样只需求4+6被9除的余数.因此,1827496被9除余数是1。
有人时常利用十进制数的这个特性检验几个数相加、相减、相乘的结果对不对,这种检查方法叫:弃九法。
弃九法最经常地是用于乘法.我们来看一个例子。
用弃九法检验乘式5483×9117≡是否正确因为 5483≡5+4+8+3≡11≡2(mod 9),9117≡9+1+1+7≡0(mod 9),所以 5483×9117≡2×0≡0(mod 9)。
但是≡4+9+8+8+8+5+1+1≡8(mod9),所以 5483×9117≠,即乘积不正确。
要注意的是弃九法只能知道原题错误或有可能正确,但不能保证一定正确。
例如,9875≡9+8+7+5≡2(mod 9),4873≡4+8+7+3≡4(mod 9),≡3+2+4+7+5+6+8+9≡8(mod 9),这时,9875×4873≡2×4≡(mod 9)。
但观察个位数字立刻可以判定9875×4873≠.因为末位数字5和3相乘不可能等于9。
弃九法也可以用来检验除法和乘方的结果。
例6 用弃九法检验下面的计算是否正确:÷7312=3544。
解:把除式转化为:3544×7312=。
∵ 3544≡3+5+4+4≡7(mod 9),7312≡7+3+1+2≡4(mod 9),∴ 3544×7312≡7×4≡1(mod 9),但≡2+3+3+8≡7(mod 9)。
而 17(mod 9)∴ 3544×7312≠,即÷7312≠3544。
例7 求自然数2100+3101+4102的个位数字。
分析求自然数的个位数字即是求这个自然数除以10的余数问题。
解:∵2100≡24×25≡625≡6(mod 10),3101≡34×25·31≡125·31≡3(mod 10),4102≡(22)100·42≡6·6≡6(mod 10),∴ 2100+3101+4102≡6+3+6≡5(mod 10),即自然数2100+3101+4102的个位数字是5.习题五1.验证对于任意整数a、b,式子a≡b(mod1)成立,并说出它的含义。
2.已知自然数a、b、c,其中c≥3,a除以c余1,b除以c余2,则ab除以c余多少年的六月一日是星期二,这一年的十月一日是星期几4.求+被7除的余数。