第5讲 同余的概念和性质
初等数论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 的最小公倍数。
初等数论 同余
注意:这条与前面的(5)的推论和(7)不同, 模变了. 证明: m | (a-b) => km | k(a-b)
a b m a b mt t. d d d
2013年11月13日10时5分
我喜欢数学
性质(9)
若 a ≡b (mod m1), a ≡b (mod m2), m=[ m1, m2 ], 则 a ≡ b (mod m) . 证明: 由充要条件, 有 m2 | (a-b), m1 | (a-b)
2013年11月13日10时5分
性质的应用:
由 10≡1(mod 9),有 102≡12(mod 9), 103≡13(mod 9),…,10n≡1n(mod 9),
an an 1 a2 a1a0 an 10n an 1 10n 1 a1 10 a0 an an 1 a1 a0 (mod 9).
性质⑺ 同余式的“除”.
性质⑻⑼⑽
涉及模的改变!分别与a,b和m的约 数,倍数,公约数,最小公倍数有关.
性质⑾是关于a,b和m最大公约数的。
2013年11月13日10时5分
例 2
分析
今天是星期二,101000天之后的那天是星期几?
由于1乘a为a ,1n=1,先求得某数的n次幂与1对模同余 是非常方便的. 我们已知 7 | 1001, 即103 +1≡0 (mod 7), , 103 ≡-1(mod 7), 得106 ≡1 (mod 7).
又23m1 2(mod 7), 从而当且仅当
23m 2 4(mod 7),
n 3m时, 7 2n 1.
(2)由23m 1 2(mod 7),3m 1 1 3(mod 7), 23m 2 1 5(mod 7), 2 可知,对任何正整数n, 2n 1不能被7整除.
同余的概念和性质
銆€銆€浣犱細瑙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>。
同余
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
模同余在数论、代数和密码学等领域有广泛应用。
同余类的定义
同余类是指整数或多项式根据同余关系分成的等价类。
同余的概念及其基本性质
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
同余的性质-高中数学知识点讲解
同余的性质
1.同余的性质
【知识点的认识】
同余的基本性质
定义 1 给定正整数m,如果整数a 与b 之差被m 整除,则称a 与b 对于模m 同余,或称a 与b 同余,模m,记为a ≡b (modm),
此时也称b 是a 对模m 的同余.
如果整数a 与b 之差不能被m 整除,则称a 与b 对于模m 不同余,或称a 与b 不同余,模m,记为a b (modm).
定理 1 下面的三个叙述是等价的:
(ⅰ)a≡b (modm);
(ⅱ)存在整数q,使得a=b+qm;
(ⅲ)存在整数q1,q2,使得a=q1m+r,b=q2m+r,0£r<m.
定理 2 同余具有下面的性质:
(ⅰ)a≡a (modm);
(ⅱ)a≡b (modm)⇒b≡a (modm);
(ⅲ)a≡b,b≡c(modm)⇒a≡c (modm).
【知识点的知识】
定义:
(同余)设m>0,若m|(a﹣b),则称a 和b 对模m 同余,记作a≡b(modm).当 0≤b<m 时,a≡b (modm),则称b 是a 对模m 的最小非负剩余.
由带余除法可知,a 和b 对模m 同余的充要条件是a 与b 被m 除得的余数相同.对于固定的模m,模m 的同余式与通常的等式有许多类似的性质:。
同余
或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. 同余的定义和性质在数论中,同余是指两个整数除以某个整数所得的余数相等。
具体来说,设a、b、m为整数,如果a除以m的余数等于b除以m的余数,即a≡b(mod m),则称a与b同余,m为模数。
同余具有以下性质:1.1 传递性:若a≡b(mod m),b≡c(mod m),则a≡c(mod m)。
1.2 对称性:若a≡b(mod m),则b≡a(mod m)。
1.3 偏移性:若a≡b(mod m),则a±k≡b±k(mod m),其中k为任意整数。
1.4 乘法性:若a≡b(mod m),c≡d(mod m),则ac≡bd(mod m)。
1.5 幂法性:若a≡b(mod m),则a^n≡b^n(mod m),其中n为正整数。
同余的定义和性质在数论中具有重要的地位,为后续的模运算提供了基础。
2. 模运算的运算法则模运算是指对整数在同余关系下的加法、减法、乘法和幂运算。
2.1 模加法:设a、b、p为整数,p>0,则(a+b) mod p = [(a mod p) +(b mod p)] mod p。
2.2 模减法:设a、b、p为整数,p>0,则(a-b) mod p = [(a mod p) -(b mod p)] mod p。
2.3 模乘法:设a、b、p为整数,p>0,则(a*b) mod p = [(a mod p) *(b mod p)] mod p。
2.4 模幂运算:设a、b、p为整数,p>0,则(a^b) mod p = [(a modp)^b] mod p。
模运算的运算法则可以方便地计算在同余关系下的运算结果,有助于解决实际问题和简化计算步骤。
3. 模运算的应用模运算在密码学、编码与解码、随机数生成等领域有广泛的应用。
- 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 余多少?3.1993年的六月一日是星期二,这一年的十月一日是星期几?4.求33335555+55553333被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≡49888511是否正确?因为 5483≡5+4+8+3≡11≡2(mod 9),9117≡9+1+1+7≡0(mod 9),所以 5483×9117≡2×0≡0(mod 9)。
但是 49888511≡4+9+8+8+8+5+1+1≡8(mod9),所以 5483×9117≠49888511,即乘积不正确。
要注意的是弃九法只能知道原题错误或有可能正确,但不能保证一定正确。
例如,9875≡9+8+7+5≡2(mod 9),4873≡4+8+7+3≡4(mod 9),32475689≡3+2+4+7+5+6+8+9≡8(mod 9),这时,9875×4873≡2×4≡32475689(mod 9)。
但观察个位数字立刻可以判定9875×4873≠32475689.因为末位数字5和3相乘不可能等于9。
弃九法也可以用来检验除法和乘方的结果。
例6 用弃九法检验下面的计算是否正确:23372458÷7312=3544。
解:把除式转化为:3544×7312=23372458。
∵ 3544≡3+5+4+4≡7(mod 9),7312≡7+3+1+2≡4(mod 9),∴ 3544×7312≡7×4≡1(mod 9),但 23372458≡2+3+3+8≡7(mod 9)。
而 17(mod 9)∴ 3544×7312≠23372458,即 23372458÷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)成立,并说出它的含义。