Đang tải... (xem toàn văn)
sử dụng hệ thặng dư đầy đủ, thặng dư thu gọn, thặng dư trung hoa để giải toán số họ tài liệu, giáo án, bài giảng , luận...
1 BàiviếtnàycủathầyNguyễnDuyLiênđãđượcđăngtrongTạpchíToánHọcvà TuổiTrẻtronghaisốtháng8và9năm2013.Cảm ơnthầygửiđến chia sẻ với www.laisac.page.tl SỞGIÁODỤCVÀ ĐÀOTẠOVĨNHPHÚC TRƯỜNGTHPTCHUYÊNVĨNHPHÚC BÁOCÁOKẾTQUẢ SÁNGK IẾNK INHNGHIỆM TÊNSÁNGKIẾNKINHNGHIỆM:SỬDỤNGHỆTHẶNGDƯĐẦYĐỦ, THẶNGDƯTHUGỌN,THẶNGDƯTRUNGHOAĐỂGIẢITOÁNSỐHỌC. MÔN :TOÁNHỌC TỔBỘMÔN :TOÁNTIN Mà :55 NGƯỜITHỰCHIỆN:NGUYỄNDUYLIÊN ĐIỆNTHOẠI:01233045361 Email: lientoancvp@vinhphuc.edu.vn 2 LỜINÓIĐẦU Ngạn ngữ Pháp có câu: "Le Mathématique est le Roi des Sciences mais L’ArithmétiqueestlaReine",dịchnghĩa:"Toánhọclàvuacủacáckhoahọcnhưng SốhọclàNữhoàng".ĐiềunàynóilêntầmquantrọngcủaSốhọctrongđờisốngvà khoahọc.Sốhọcgiúpconngườitacócáinhìntổngquát,sâurộnghơn,suyluận chặtchẽvàtưduysángtạo. TrongcáckìthichọnhọcsinhgiỏicáccấpTHCS,THPTcấptỉnh,cấpQuốc gia,cấpkhu vực, cấp quốc tế,cácbàitoán về Số họcthườngđóngvaitròquan trọng.ChúngtacóthểlàmquennhiềudạngbàitoánSốhọc,biếtnhiềuphương phápgiải,nhưngcũngcóbàichỉcómộtcáchgiảiduynhất.Mỗikhigặpmộtbài toánmớichúngtalạiphảisuynghĩtìmcáchgiảimới.Sựphongphúđadạngcủa các bàitoánSốhọcluôn làsựhấpdẫnđốivớimỗi giáoviên,họcsinhgiỏi yêu toán.Xuấtpháttừnhữngýnghĩđótôiđãsưutầmvàhệthốnglạimộtsốbàitoán đểviếtlênchuyênđề"Sửdụnghệthặngdưđầyđủ,hệthặngdưthugọn,thặngdư TrungHoađểgiảitoán Sốhọc". Chuyênđềgồmcácphần: PhầnI:Kiếnthứccơbản. PhầnII:Ứng dụnghệthặngdưđểgiảitoán · Ứng dụng1: Sửdụnghệthặngdưđểtínhtổng · Ứng dụng2:Sửdụnghệthặngdưtrongcácbàitoánđathức,dãy sốnguyên. · Ứngdụng3:Sửdụnghệthặngdưtrongtậpcontậpsốnguyêndương,bài toánsốhọcchiahết · Ứng dụng4: Sửdụnghệthặngdưtrongphươngtrình Đi ÔPhăng bậcnhất. Phần III:Bàitậptươngtự. Mụctiêuởđâylàmộtsốbàimẫu,mộtsốbàikhácbiệtcănbảnđãnóilên được phần chính yếu của chuyên đề. Tuy vậy, những thiếu sót nhầm lẫn cũng khôngthểtránhkhỏiđượctấtcả,vềphươngdiệnchuyênmôncũngnhưphương diệnsưphạm.Lốitrìnhbàybàigiảicủatôikhôngphảilàmộtlốiduynhất.Tôiđã cốgắngápdụngcáchgiảichophùhợpvớichuyênđề,họcsinhcóthểtheomà khônglạchướng.Ngoàiralúcviếttôiluônluônchúýđếncácbạnvìnhiềulído phảitựhọc,vìvậygiảndịvàđầyđủlàphươngchâmcủatôikhiviếtchuyênđề này. Tôixintrânthànhcảmơncácthầycôgiáo,cácemhọcsinhgópýthêmcho nhữngchỗthôlâuvàphêbìnhchânthànhđểcódịptôisửachữachuyênđềnày hoànthiệnhơn. VĩnhYên,TrungThu,năm2012 NGUYỄNDUYLIÊN 3 PHẦNI.KIẾNTHỨCCƠBẢN 1.Hệthặngdưđầyđủ Chotập { } 1 2 n A a ,a , ,a . = Giảsử i i r ,0 r n 1 £ £ - làsốdưkhichia i a cho i r. Nếutậpsốdư { } 1 2 n r ,r , ,r trùngvớitập { } 0,1, ,n 1 - thìtanóiAlàmộthệthặng dưđầyđủ(gọitắtlàHĐĐ)modunn. Dễ thấy: Tập A lập thành một HĐĐ(modun n) nếu và chỉ nếu: ( ) i j i j a a modn ¹ Þ ¹ . Nếu { } 1 2 n A a ,a , ,a = làHĐĐmodnthìtừđịnhnghĩadễsuyra · Vớimọi mÎZ tồntạiduynhất i a A Î saocho ( ) i a m modn º . · Vớimọi a ÎZ tập { } 1 2 n a A a a ,a a , ,a a + = + + + làHĐĐmodn · Vớimọi cÎZ, ( ) c,n 1 = ,tập { } 1 2 n cA ca ,ca , ,ca = làHĐĐmodn. Tập { } * A 0,1,2, ,n 1 = - làHĐĐmodnkhôngâmnhỏnhất. SốphầntửcủatậpAbằng A n = 2.Hệthặngdưt hugọn. Chotập { } 1 2 k B b ,b , ,b = làmộttậphợpksốnguyênvà ( ) i b ,n 1 = vớimọi i 1,2, ,k = .Giả sử i i i i b q n r ,1 r n = + £ < .Khi đó dễ thấy ( ) i r ,n 1 = . N ếu tập { } 1 2 k r ,r , ,r bằngtập K gồmt ất cả các sốnguyêndươngbé hơn nvà nguyên tố cùngnhauvớinthìBđượcgọilàhệthặngdưthugọnmodn,gọitắtlàHTGmod n. Dễthấytập { } 1 2 k B b ,b , ,b = gồmksốnguyênlậpthànhmộtHTGmodn khivàchỉkhi: 1) ( ) i b ,n 1 = ; 2) ( ) i j b b modn ¹ với1 i j k £ ¹ £ ; 3)SốphầntửcủaBlà ( ) n j (trongđó ( ) n j làhàmƠlecủan. Điềukiện3)tươngđươngvới ' 3 )Vớimọi x ΢ , ( ) x,n 1 = tồntạiduynhất i b B Î saochox º ( ) i b modn . Từ định nghĩa ta suy ra nếu tập { } 1 2 k B b ,b , ,b = là HTG mod n vớic , ΢ ( ) c,n 1 = thìtập { } 1 2 k B cb ,cb , ,cb = cũnglàHTGmodn. 4 Ngy xa ngi ta ó s dng H,HTG chng minh cỏc nh lớ le,Fộcma.trongchuyờntakhụngnúilina. 2.nhlýthngdTrungHoa. nh lớthng d Trung Hoa l mt trong nhng viờn Kimcngca toỏn hc .nhlớnyvamangtớnhpmtcaToỏnhcthuntuý,vacúngdngsõu xa.Triquanhiuthii,núccibiờndinhiuhỡnhthc,chocToỏnhc cinlnhini. a)nhlýthngdTrungHoadngngin. Gi r v s lcỏcsnguyờndngnguyờntcựngnhau, a v blhaisnguyờn tuý.Khiútntimtsnguyờn N saocho: ( ) ( ) mod mod N a r N b s ỡ ù ớ ù ợ ngoira, N c xỏcnhduynhttheomodulo rs b)nhlýthngdTrungHoadngtngquỏt. Cho k s nguyờn dng 1 2 3 , , , , k n n n n ụi mt nguyờn t cựng nhau v k s nguyờnbtkỡ 1 2 3 , , , , k a a a a .Khiútntisnguyờn a thomónh: ( ) mod i i a a n vi 1,2, ,i k " = (1).S nguyờn btho món (1) khi v ch khi ( ) modb a n trongú 1 2 3 . k n n n n n = . PHNII.NGDNGHTHNGDGIITON ã ngdng1.Sdnghthngd tớnhtng,snghim camtphngtrỡnh. Vớd1.1. Vimicpsnguyờndngnguyờntcựngnhau ( ) p,q t ( ) p 1 q q 2q S p p p - ộ ự ộ ự ộ ự = + + + ờ ỳ ờ ỳ ờ ỳ ở ỷ ở ỷ ở ỷ L ,trong ú [ ] x l s nguyờn ln nht khụng vt quỏx.Hóyxỏcnhcỏcgiỏtrcap,qSlmtsnguyờnt. Ligii: Vimi a ẻĂ t { } [ ] a a a = - .Khiúvi k ẻƠ tacú k kq r p p ỡ ỹ = ớ ý ợ ỵ õy k r lsdtrongphộpchia kq chopdovy: k 0 r p 1 Ê Ê - , ( ) p 1 1 2 r p 1 q q 2q r r S p p p p p p - - ổ ử = + + + - + + + ỗ ữ ố ứ L L 5 vì ( ) p,q 1 = k r 0 k 1,2, ,p 1 Þ ¹ " = - từ đó ta thấy tập { } 1 2 p 1 A r ,r , ,r - = chính là mộthoánvịcủatập { } A 1,2, ,p 1 = - thậyvậyngượclại: { } i, j 1,2, ,p 1 ,i j $ Î - < mà i j r r = ( ) 1 j i p 2 1 j i p 2 j i q p j i p £ - £ - £ - £ - ì ì Þ Û í í - - î î M M vôlí Từđó p 1 1 2 r r r 1 2 p 1 p 1 p p p p 2 - + + + - - + + + = = L L ( )( ) p 1 q 1 S 2 - - Þ = ( ) 1 Từ ( ) 1 đểSlàsốnguyêntốcầncóp 1,q 1 ¹ ¹ vàítnhất1trong2sốp,qlẻ Trườnghợp1:p,qcùnglàsốlẻ p,q 3,p q Þ ³ ¹ do ( ) p,q 1 = ,kếthợp(1) S Þ làsốchẵnlớnhơn2 S Þ khônglàsốnguyêntố. Trườnghợp2: plàsốchẵnqlàsốlẻ. ( ) ( ) ( ) ( ) ( ) p,q 1 p 1 1 p 2 q 1 q 2h 1 h 2 S q 3 p,q 1 p t 1 t ,t 2 mod3 p 1 q 1 1 2 é ì ê = ï ê ï - = í ê = é ì ï ê - ê í ï Îà ê = + Îà î ê î ê ÎÃÛ Û ê ê = ì ì ï ê ê í = ï ê = + Îà º / ê ï î ï ë - Îà ê í ê ï - ê ï = î ë (2) ởđâykíhiệu Ãlàtậpsốnguyêntố Trườnghợp3:qlàsốchẵnplàsốlẻdotínhđốicủap,qcủabiểuthứcxácđịnhS theotrườnghợp2: ( ) ( ) ( ) p 2m 1 m q 2 p 3 q n 1 n ,n 2 mod3 é = + Îà ì êí = î ê ê = ì ï ê í ê = + Îà º / ï î ë (3) Vậytómlạitấtcảcácgiátrịp,qcầntìmlàcáccặpxácđịnhở(2)và(3). Vídụ1.2.Tínhtổng: k 2006 k 4 17 S 11 = é ù = ê ú ë û å . Lờigiải: Nhậnxét1:nếu ( ) a r modb º ,vớia,b,r ,0 r b 1 Î £ £ - Z thì a a r b b - é ù = ê ú ë û 6 Nhnxột2:Vỡ ( ) 10 17 1 mod11 nờntp { } 10t 10t 1 10t 9 B 17 ,17 , ,17 + + = l HTG mod 11núlmthoỏnvcatp { } 1,2, ,10 . Nhnxột3: mi [ ] i 09 ẻ ầ Z gi i nl s phn t ca tp hp ( ) { } i D k 4 k 2006,k i mod10 = ẻ Ê Ê Z kimtratadthy: 4 5 6 n n n 201, = = = v 0 1 2 3 7 8 9 n n n n n n n 200 = = = = = = = . Tcỏcnhnxộtsuyra: ( ) 2006 k k 2006 0 1 2 3 4 5 6 7 8 9 k 4 k 1 17 n 6n 3n 7n 9n 10n 5n 8n 4n 2n 17 11 11 = = - + + + + + + + + + ộ ự = ờ ỳ ở ỷ ồ ồ ( ) 2003 10 4 j 1 17 1 17 . 9 10 15 200 j 17 1 11 = - - + + - - = ồ 2007 17 259905 176 - = . Vy 2007 17 259905 S 176 - = Vớd1.3.Chom,nl2snguyờndngnguyờntcựngnhauvimchnvnl .Chngminhrng:Tng ( ) mk n 1 n k 1 mk S 1 . n - ộ ự ờ ỳ ở ỷ = ỡ ỹ = - ớ ý ợ ỵ ồ 1 2n + khụngphthucvom,n. Ligii: Tachngminhrng ( ) mk n 1 * n k 1 mk 1 1 S 1 . n 2 2n - ộ ự ờ ỳ ở ỷ = ỡ ỹ = - = - ớ ý ợ ỵ ồ Tacú: k mk mk n r n ộ ự = + ờ ỳ ở ỷ trongú { } k 0 r n 1 k 1,2, ,n 1 Ê Ê - " ẻ - . Tathyrng: a) Do ( ) { } k m,n 1 r 0 k 1,2, ,n 1 = ị ạ " ẻ - tútp { } 1 2 n 1 B r ,r , ,r - = lmthoỏnvcatp: { } 1,2, ,n 1 - . b) k mk r n n ỡ ỹ = ớ ý ợ ỵ vik 1,2, ,n 1 = - . c) Vimchnnl ( ) k mk r mod2 n ộ ự ờ ỳ ở ỷ . Tú ( ) ( ) k nk r m 1 1 k 1,2,3, ,n 1 ộ ự ờ ỳ ở ỷ - = - " = - ( ) ( ) ( ) k n 1 r * k k 1 1 S 1 r 2 4 n 1 1,3, ,n 2 n - = = - = + + + - - - ộ ự ở ỷ ồ L L 1 1 2 2n = - (pcm) Vớd1.4. Choplsnguyờnt ( ) ( ) p 3 mod8 p 5 mod8 ,vp=2q+1 ( ) qẻ 7 Tớnhtng p 1 2 4 2 S - = w + w + + w L (vi 1 w ạ lnghimcapt: p 1 w = ) Ligii: ( ) p 3 mod8 ị 2khụnglschớnhphngmodp 2 1 p ổ ử = - ỗ ữ ố ứ ( ) ( ) ( ) ( ) p 1 * q 2q 2 2 1 modp 2 1 modp 2 1 mod p - - - ị .Gihlcpca2theo modp ( ) h 2 1 modp ị .Vytacú h p 1 2q - = doqẻ h 1 h 2 h q h 2q ị = = = = . ã h 1 = ( ) ( ) 2 1 mod p 1 0 modp ị (loi) ã h 2 = ( ) 2 2 1 mod p p 3 q 1 ị ị = ị = khụnglsnguyờnt(loi) ã h q = ( ) ( ) ** q 2 1 modp ị t(*),(**) ( ) 2 0 modp ị p 2 ị = (loi) ã h 2q p 1 = = - ị 2lcnnguyờnthumodp ị { } 1 2 p 1 A 2 ,2 , ,2 - = lHTG modpnúlmthoỏnvcatp { } 1,2,3, ,p 1 - tútacútng ( ) p 1 p 1 2 4 2 2 p 1 1 S 1 - - - w w - = w + w + + w = w+ w + + w = w - L L p 1 1 1 1 w -w - w = = = - w - w- Vớd1.5. Cho p l s nguyờn t l vi mi i 1,2, ,p 1 = - .Kớ hiu: ( ) p i i r modp ( i rphn d ca p i khi chia cho p).Tớnh tng : 1 2 p 1 S r r r - = + + + L . Ligii: ( ) ( ) ( ) 1 p 1 2 p 2 p 1 1 2S r r r r r r - - - = + + + + + + L tacú ( ) p p i p i r r i p i i 1,2, ,p 1 - + = + - " = - m ( ) p p p 1 p 1 2 p 2 2 p 11 p 1 p p p i p i p C p i C p i C pi - - - - + - = - + + + L do ( ) i p p C 0 modp i 1,2, ,p 1 ẻị " = - ( ) 2 i p i r r 0 mod p - ị + m 2 2 2 i p i i p i 0 r p ,0 r p r r p i 1,2, ,p 1 - - < < < < ị + = " = - .Tútathuc ( ) 2 3 2 p 1 p p p S 2 2 - - = = . Vớd1.6 Tỡmsnguyờndngnhnhtcútớnhcht:Chia7d5,chia11d7vchia13d3. Gii 8 Xét hệ phương trình: ( ) ( ) ( ) 5 mod7 7 mod11 3 mod13 x x x º ì ï º í ï º î ta có ( ) ( ) ( ) 7,11 11,13 13,7 1 = = = nên theo địnhlýthăngdưTrunghoahệtrêncó1nghiệmlà 3 1 j j j j a N b a = = å trongđó 1 1 2 2 3 3 7, 11 13143, 11, 13.7 91, 13, 7.11 77n N n N n N = = × = = = = = = .Nêntacó: ( ) 1 1 1 1 3 1 mod7 2N b b b º º Þ = - tươngtự 2 3 4, 1b b = = - vậy ( ) ( ) 143. 2 .5 91.4.7 77. 1 .3 887a = - + + - = .Tấtcảcácnghiệmcủahệcódạng ( ) 887 1001b t t = + Î¥ .Vậysốcầntìmlà887. Vídụ1.7. Cho m làmộtsốnguyêndương,tìmsốnghiệmcủaphươngtrình: ( ) 2 modx x m º . Giải.Giảsử ( ) 1 2 1 2 , k k i i m p p p p a a a = Îà a Î¥ .Tacó ( ) 2 modx x m º khivàchỉkhi ( ) ( ) ( ) ( ) ( ) 2 mod 1,2, , 1 0 mod 1,2, , i i i i x x p i k x x p i k a a º " = Û - º " = Vì ( ) ( ) ( ) , 1 1 : 1 0 mod i i x x pt x x p a - = Þ - º cóhainghiệmmodulo i i p a là ( ) 0 mod i i x p a º và ( ) 1 mod i i x p a º .TheođịnhlíthặngdưTrungHoa,vớimỗibộ 1 2 , , , k a a a .Hệphươngtrình ( ) mod 1,2, , i i i x a p i k a ì º ï í = ï î luôncónghiệmduynhấtmodulo m . Do mỗiphương trình. ( ) ( ) 1 0 mod i i x x p a - º đềucó hai nghiệm modulo i i p a nên phươngtrìnhđãchocó 2 k nghiệm. Vídụ1.8(VMO2008) Cho 2008 2007 .m = Hỏicóbaonhiêusốnguyêndương n m £ thoảmãn điềukiện: ( )( ) 2 1 5 2n n n m + + M . Giải: Tacó 2008 2008 4016 2008 1 2 9 .223 3 .223 . .m n n = = = Do ( ) 10, 1m = nên ( )( ) 2 1 5 2n n n m + + M ( )( ) ( )( ) ( )( ) |10.5.2 . 2 1 5 2 10 10 5 10 4 | 5 4m n n n n n n m x x x Û + + = + + Û + + trong đó 10x n = .Tacó ( )( ) ( ) ( )( ) ( ) ( )( ) ( ) 1 2 0 mod10 | 5 4 5 4 0 mod 5 4 0 mod x m x x x x x x n x x x n º ì ï + + Û + + º í ï + + º î Vì3khônglàướcchungcủa , 4, 5x x x + + nên ( )( ) ( ) 1 5 4 0 modx x x n + + º khivà chỉkhi ( ) 1 1 modx r n º ởđó { } 1 0, 4, 5r Î - - .Tươngtự ( )( ) ( ) 2 5 4 0 modx x x n + + º khivàchỉkhi ( ) 2 2 modx r n º ởđó { } 1 0, 4, 5r Î - - . Vậy ( )( ) ( ) ( ) ( ) 1 1 2 2 | 2 5 5 4 0 mod10 ; mod ; modm n n n x x r n x r n + + Û º º º .(1) 9 Vậycácsố n m £ thoảmãn điềukiện bằngsốcácsố 1 2 10 .x n n £ thoảmãn(1).Với mỗicáchchọn { } { } 1 2 0, 4, 5 & 0, 4, 5r r Î - - Î - - theođịnhlíTrungHoatacóduy nhấtmộtsố 1 2 10 .x n n £ thoảmãn(1).Vậycó9sốthoảmãn điềukiệnbàira. · Ứngdụng2 :Sửdụngh ệthặngdưtrong cácbàitoánđa thức,dãysống uyên… Vídụ2.1.Chosốnguyêndươngnvàsốnguyêntốplớnhơnn+1.Chứngminh rằngđathức ( ) 2 p x x x P x 1 n 1 2n 1 pn 1 = + + + + + + + L khôngcónghiệmnguyên. Lờigiải: ( ) p p 1 2 p p 1 2 1 0 P x 0 a x a x a x a x a 0 - - = Û + + + + + = L (*)trongđó ( )( ) ( ) ( ) i n 1 2n 1 pn 1 a i 0,1,2, ,p in 1 + + + = Î = + Z .Từgiảthiết ( ) p,n 1 = Þ Tập { } A 1.n 1,2.n 1, ,p.n 1 = + + + là HĐĐ mod p k Þ $ duy nhất { } k 1,2, ,p Î saocho ( ) kn 1 0 modp + º hơnnữa 2 k 1,0 kn 1 p kn 1 ¹ < + < Þ + M 2 p . Vìvậyvớisốkđócó k a M pđồngthờiphệsốcònlạitrongđócó 0 1 a ,a của pt(*)đềuchiahếtchopnhưngkhôngchiahếtcho 2 p (**). Giảsửpt(*)cónghiệmnguyên x c = .Khiđó: p p 1 2 p p 1 2 1 0 a c a c a c a c a 0 - - Þ + + + + + = L , theo(**)thì { } i a p i 0,1,2, ,0 ,i k,k 0;1 " Î ¹ ¹ M .Từđósuyra k k a c pM (do p ) Îà { } ( ) k i 2 2 i 1 c p c p a c p i 2,3, p & a c p Þ Þ Þ " Î M M M M vì 1 a p,c pM M .Từđósuy ra 2 0 a pM mâuthuẫnvới(**)vậyđiềugiảsửlàsai,tứclàpt(*)khôngcónghiệm nguyên ( ) P x Û khôngcónghiêmnguyên(đpcm). Vídụ2.2.Chođathức ( ) 3 2 P x x 11x 87x m = - - + trongđó mÎZ.Chứng minh rằngvớimọimtồntạisốnguyênnsaocho ( ) P n 191M . Lờigiải: Bổđề:Cho ( ) ( ) ( ) 3 3 p ,p 2 mod3 , x,y ,x y modp x y modp Îà º " Î º Þ º Z Thậtvậy: · Nếu ( ) ( ) ( ) ( ) 3 x 0 modp y 0 modp y 0 modp x y mod p º Þ º Þ º Û º · Nếu x p y p / / Þ M M ,do ( ) ( ) p 2 mod3 p 3k 2 k º Þ = + Î¥ ,theođịnh lí Fécma: ( ) ( ) p 1 3k 1 p 1 3k 1 x x 1 mod p , y y 1 mod p - + - + = º = º 10 ( ) 3k 1 3k 1 x y modp + + Þ º theogiảthiết ( ) ( ) 3 3 3k 3k x y modp x y mod p º Þ º Vậy ( ) ( ) ( ) ( ) 3k 1 3k 3k y x.x x.y modp x y modp do y,p 1 + º º Û º = Trởlạibàitoán: ( ) 3 2 P n n 11n 87n m = - - + Tachứngminh ( ) ( )( ) 1 2 P n P n mod191 º với 1 2 n ,n ÎZ thì ( ) 1 2 n n mod191 º .Thật vậydo ( ) ( )( ) ( ) ( )( ) 1 2 1 2 P n P n mod191 27P n 27P n mod191 º Û º Û ( ) ( ) ( ) 3 3 3 3 1 1 2 2 3n 11 18.191n 11 27m 3n 11 18.191n 11 27m mod191 - - + + º - - + + ( ) ( ) ( ) 3 3 1 2 3n 11 3n 11 mod191 Û - º - theobổđềtacó: ( ) ( ) 1 2 1 2 3n 11 3n 11 mod191 n n mod191 - º - Û º (do(27,191)=(3,191)=1) { } 1 2 n ,n A 1,2, ,191 " Î = A là HĐĐ mod191 thoả mãn 1 2 n n ¹ thì ( ) ( )( ) 1 2 P n P n mod191 º / . ( ) ( ) ( ) { } * A P 1 ,P 2 , ,P 191 Û = làHĐĐmod191 Từđósuyra { } n A 1,2, ,191 $ Î = saocho ( ) ( ) P n 191 mod191 º ( ) P n 191 Û M .Vậyvớimọimtồntạisốnguyênnsaocho ( ) P n 191M . Vídụ2.3. Chodãysố { } n n 1 a +¥ = đượcxácđịnhbởi 1 n n 1 n 2 a 1,a a a - é ù ê ú ë û = = + với n 2,3, " = Chứngminhrằngdãy { } n n 1 a +¥ = chứavôsốsốnguyênchiahếtcho7. Lờigiải: Phảnchứng.Giảsửchỉcóhữuhạnsốtrongdãychiahếtcho7và k a làsố cuốicùngcủadãychiahếtcho7,khiđótừcôngthứcxácđịnhcủadãytacó: 2k 2k 1 k 2k 1 2k k a a a ;a a a - + = + = + nên ( ) 2k 1 2k 2k 1 a a a b mod7 - + º º º , ( ) b 0 mod7 º / ( ) bÎZ Mặtkhác: 4k 3 4k 3 a a 0.b - - = + ( ) 4k 2 4k 3 2k 1 4k 3 a a a a 1.b mod7 - - - - = + º + ( ) 4k 1 4k 2 2k 1 4k 3 a a a a 2.b mod7 - - - - = + º + ( ) 4k 4k 1 2k 4 k 3 a a a a 3.b mod7 - - = + º + ( ) 4k 1 4k 2 k 4k 3 a a a a 4.b mod7 + - = + º + ( ) 4k 2 4k 1 2k 1 4k 3 a a a a 5.b mod7 + + + - = + º + ( ) 4k 3 4k 2 2k 1 4k 3 a a a a 6.b mod7 + + + - = + º + do ( ) b,7 1 = Þtập { } 6 4k 3 i 0 A a ib - = = + làHĐĐmod7 nêntrongbảysố: 4k 3 4k 2 4 k 1 4k 4k 1 4 k 2 4 k 3 a ;a ;a ;a ;a ;a ;a - - - + + + tồntaimộtsốchiahết cho7màsốnàylạilớnhơn k a mâuthuẫnvới k a làsốcuốicùngcủadãychiahết cho7.Điềugiảsửsainêntacóđpcm.