fo. (0 ler nteretado encontrar a dae oreo ano no And mn) 0, 2 a(cetexiva) One be beam neh eisinéics) ac bencem se cltanntiva) Oacbabes {As poprindades ©, a0 gacantem que < & us els de aden ta sobre Deas decree vim ean wen, BE LZventina = bea eb faa > b (exnvamente).A demonstra qu fi eta parma corres Sentem IN (Apeaie[ 5.2) € vida tren no ea preset, 0, gb arecbte, WEL (6 Ccompatve coma aio) On gbe0Gc m ac cde (< Empat! com a muliliario) vt propridade sgh bcs me og ba a tite Seca Socks iikbeccdaascebaa Regrade cnn $a > 06 D0 = ab 3051 Bede b>0 > ad<0, Provemosii: Dea < Deb £ Drea que Opara todo w €Z © at > Oemprequea #0 De fito, se 40.00 a.<0, entio a sera de sins gerante que tach eer 0 aebe aectecerdmech teecbeeeco aah Soja Sum mebeonjusto ago vaslo de Z. Todo demon k EZ tl que aesaascar dems airnao Pay Admitamon sada gue sj el ovr o seine vedas. Parador >a, 0B € verdad, ete Py sé & verdad, Nena condos Py verdadeira par ode > ‘Ncemonsracio da valde deste principio ofr em nada Gagoela se fl ft d pact andogo erm IN (cp. My 31). Da no afer 1: Proverot, undo 0 primi pine de indo, que Bean? paroles > aah ae NE? Ser > Le muponhames 2°! > ++ 2 (hipstse de indus arab BAI 23 e42)-2 (el pes de indo). Mae (242) 2 = 2-44 w (643) HEED Bre 3, vino gue, wencor > —Iy eatin 41> 0. Ami POM eee (ERED4.2 Segundo principio de indugao ScjaPy uma afimacioasmcind td 9 maior ue otal ui er 01 €Z, dao pr. Suposhaos qu wa poste prov as duss cond 4 yp verdad 1 Para odo > oo yf verdad temps que 8 << st Py te in verde, Bot Py verdad pra qualquer m > Prova: Sej $= (m € Z|ma 2 2 € Py flea). Deverce prover que S= 8, Admitemos que se pudene cer'S #3 e sje, epundo Op smo mia(S) Como Py € verdad, devo 2 ips f,entba my > ge, parstndok © 2, 5 < 4 < my, Py vera (pair 0 mri im'b para. qin By al). Dome, pla hip, Po) tab & Vardar oqueé shard ‘Asim, eiamenteS = Be, Eecdadecaparatodom > a, 4.3 Somatorios @ produtorios em Z Adicio a mubilcagio em Z podem er extendas param pacelas © nares (2 > 2) rerpecivamene, pr recent como fete em IN senna EZ Stat teeta tad ta, fre 86 ten aed “Tambés ao rots para madara gota atatotas 3m ane Ta (© tatice i wand podeva ser substi por ualer ou seria convenicnte) Sen = 1, arse aty 8 Tha, ‘Com no, «usando indo, € ome generaizar viras propredaes| ‘ints 7m Operates ereagho de ondem em em 3), Para ant 0 ess Tendamenta nies Eve Earwe halk (oad aye splemmente expres of cones inrodids net en com x nota (ho mais convenient SSeayap crab EZ(O> endo ME) Ee “(Ee) Sein > 1 esuposhanos ‘i of sje Em 6(E a) 0(E aren) = 9(E a) +o mat daae Fe Ea & umm genralzaco de popriedade daebutva de mailto em agi halo (4; 3.2). ' Tudo que de gral fo vito no cau I (3.2) sabre somatiis e profs ‘en de neon natura trber vale quando een sho mabstitaton poe Ensiosquaqucr. © mov, obviamente,€ que propridaden em gue quel rescore apiam tant valem em IN como em Z. Bor exemple ems rntodos €Z coreg trae cotey ene os1 Apropinade "a gb.e ¢ 1 siponham Envae Ehthun Eh S. ‘vera mais commun deat groprindade € que n deipaldades4,0, ents 0 e poranto ~ <0; daf —a-0 € b>0, ante ab > 06 portam [abl = ab = [ab]. Seco e030, eatio [alm na, [ol= be fab] = (ab) pa ab <0; como [al fb) © ajo = (a), eso [ab = fal fo. Sea C0 © BO, enzo 350 e poran |ab| ab, [3 = nae |b]==b; © posto gue [al To} = (0) -b) = a, ene ab] = fl (8) 4S. < 0,0 -laisasel -bi 1 ipa, 158. Pare ago > 0, prove que: aE eno » Fore 196. Use intugio para provar que: soca 0c, ono acd aca, Woo acom aco, veo Resolugio & 0 a0: a! a= 2.60 porkipsien Sear > Demponharee a°71<0, (Como 2° 6, pla iptee de indo, e como 28> 0 (pie x #0), endo C0, Donde a1 0, 157, Seam et lementn de Ze coosiereos x = a +f. Mote que ps ‘into n> Orsi a, €Z.de modo gue” = at +1 150, Seam a,x Lexie 2, © Z pare oul t Resokug (pr ino we aabataG i= Sejat > Oenmponhumes x = at Iyonde = 2641 oto: 207 ght xP a Cyt = 1) t= DF t= DD 159. 162, 164, Gt = 2004), Podemos far a= at +L Galt Zaye = Sac # 1 onde, = aft 25, Lego Be mee GEN QC DR, onde a = 0 #4 = 8 Se a, BEZ, prove por indusfo sobre m que at be Gert paeab Lab Fe), parton 3 @-n) Sciam cb mero intcion(a1#004 0), Provequea!ab-+b'>0 Sugestdo: Pars 0 cao a>0.¢ b 0) |. Para quaoquer a, BEZ, prove que: # 0¢supoainmcs Matpend pad nei famanks nasser pnd pune np pesines betwen ee eet Pre ates De ee eee Teg Geleed pees es tes pena o |e fe $s o lita je165. Um buono Sde ZS, i linia prem rrodo que

1 Prove qu, para td n 0: 2) TI) yale +7) ©) 1+ ¢ yy ‘sempre um mimeo par. Ea ierenga entre ox eos de dente Sea m um ee, 5) Mostre qu oreo da visto dem por $ £04 1 1) Sem €inpar, more que oto da de dem por 4 Resolugo de 8): Como m= 2h +1, eno m= 444 4k = eight (qa k'+1) Pada unicidad’ do reo rda vate em ela, ‘Sea um incr no vise por 2 nem por 3, prove qt 24+ 23) Desnontre qe: pra qua! ~ baja kip de 3 neces af- siene que = bhai de 3. Se a 4b Emig de 7, prove gue a? = amb Sen aur nev tal que Bae 3a, Prove que 24(2! 1). Resolugdo: Aplcand sloriemo da divisio para como dividends € S como dior: w= 6 + 8 6 = 0,1) & 3, 404 5). Como 2a e Mi nc tou 425, No peimeio cou: aL afer f= t= See Lae = 121Gr +1), Sere ps, ean 1 & mitiple de 26 x ‘meno se pode Ser, porno, de! ~ i; er €impar nto 341 ar, dal 24(' ~ 1). Oca 9~ 9 pode rr etrentdo pela mesma li sha de cic 1056.3 Maximo divisor comum DEFINIGAO 3 Sejm + ¢ nimeros ineizo gesnguer.Eatende sa por mins dinate ds nates po ea, 2 mer eke postive define por re(a 8) = mea [61D ne segundo meats inn, abt «fs. ciblem B ‘Que de(a byes € Sic, para quai a,b EEN, fo imple oa dig 3, dear da tora do mfsimo dr comet er 5 cp.) Outta consegitacia€ que mde(a ) = we, b), pars 080 par ‘de chementon 2,8 € 2. ‘Se mde(osb) = 1s ise que a bso rine nto ue rim com (oa viewer Por exemplo: sel -—4,6) = des, 6) = 2 sde(=2,~3) = mde, 9) = 1 srek(0, 1) = mde, #) 4 PROPOSICAO 4 Vm wimero d €0 méximo divisor comum de ae (0,0 €2) 16, somente favo ale eae i cla eclb = cla Demonstrasio: (=) pn d= mdete, 8) =: Ib, exko 4> 0. Por bie Alal dllbl oquetmpie lac. Fale, rela e elt er Ulf al eel | bh do go segue el meta Tol) Dae (=) Como dlae ab nto] a1 Secflel ¢ e[lbleatocla e lbs ea eld dev = 7 PROPOSIGAO 5 se», eato mde(a, 8) = Jl Demonstragio: i Ooviamente [a > 0. Como x= [al (21), em 1 ¢muipa de [ale como a/b eno [alf it See eB, eno PROPOSIGAO 6 se = t+ endo mée(a, ») = me, 0) ‘A demand deta ina propsiao € andogs 9 da proprio 2 (em 6, 9p 1) prin nko fare, 106 A propaices 5 « 6servem de te pra determinago de mde, 8) pla proce de divide ucmiva, tae no ca ree Pr exe, aeleebo it Tee eet ‘Acticin Gusta) do proce mbm cont doen 6, expt. ‘nde(-26, 19) = md (26, 18) = 2 1 PROPOSIGAO 7 Se d~ mie(, b), tbo exsem 5, ys €Z de demton Demonstragio: Se> fx 0 = One + ye Sen'# 0 0g b# 0 (ou anton), eo: 0, eno d= Oe qualquer pat, Yai S = fan byln, y EZ} Como a: 440 ba a4 BE Sea! HU > O(puina # Doub #0), cntio fem Shiclementos svtamente postivon Sed €0 senor dewer inten moe teem qued = mde, b). De fate Came d €5, entfo exten sy, yy Ze mods qued = ate + by. Ap ‘ands 9 agar da divsdoworchamenton sed sedges Oerca) Subwimuinds nena iguadade plo segundo mento da igual veri = (ext bya te Fe a(h 04) + Faye) drones concai quer€ S. Sendo pov elevande em conta gu d © menor do elements eetitamente porter de 5, eno r= 0, Donde fag © le Analgamente we prova que db {8 Como d = any + bys tne divine dew be vr de . 07