Universidad Nacional de Ingenieria Facultad de Ciencias Ciclo: 2011-1 (Cod: CM 132 Curso: Caleulo Diferencial] (Tema: Métodos de demostracién,Peano, Cuerpos} Practica dirigida N° 2 1. Sean A,B C EB. Probar que: ANB =0 <=> AC CB. 2. Sean A y B dos conjuntos. Probar que AUBZO=> AFOVBO 3. Sin €Z*. Probar: si n? es miltiplo de 3, entonces n es miltiplo de 3. 4, Demuestre que para todo m,n,p € N, se cumple: 41 m+neN 42 mtnantm 43 mneNn 44 min + p) = mnt mp 4.5 sim =n, entonces m+p=n-+p 46 sim-+p=n +p, entonces m=n 4:7 sabiendo que m.p = n.p, entonces m =n 4.8 sim 2", paran>3 Demuestre que si a # 1, entonces existe b € N tal que a =b+1 7. Defina Ia sucesién por recurrencia a,=3 npr = Say +1 De una formula explicita para aq y demuestre que es vélido para todo n € N. 8. Un conjunto S CN no vacfo es limitado superiormente si existe un natural k de modo que para todo x € S, se cumpla ask Muestre que $ posee un mayor elemento, es decir existe m € S tal que x < m,Ve € S. 9. Demuestre las siguientes propiedades para elementos en N a) sin 1. 11. Probar que n s(n) < s(m) 12, Probar: a a+1 ye 5.2 @0 <=> 2-1 >0 23. Probar |a.y~| = |#||y|~* 24. Probar que V6 no es racional. 25, Probar que V2 + V3 no es racional. 26. Sea K un cuerpo ordenado. Probar que en K se cumple BO—elet+yl < v232. Sean a,b, x,y niimeros reales tales que a > b,x > y. Probar que ax + by > ay + be 83. Sea K un cuerpo ordenado y a,b,c € K. Probar a? +b? +e? > ab+ac+be 84, Sean a,b,c y d niimeros racionales. Probar que a+bvV3=c+dv2>a=cAb 35. Sea a un racional diferente del cero y x irracional. Probar que az y a+ son irracionales. ‘De un ejemplo de dos irracionales x e y tal que x +y e zy sean racionales. 36. Sean a y b dos racionales positivos. Probar que /@ + Vb es racional si y solo si Va y Vb son ambos racionales. 37, Sean a,b,c,d mimeros racionales tales que ad —be # 0. Six es irracional, pruebe que 22+ tambien es irracional. 38. Sean a y b dos enteros positivos. Pruebe que V2 esté entre las dos fracciones siguientes ox2h oe: by 39. Usando la desigualdad de Bernoulli, demuestre que si c > 1 entonces c* > ¢,Vn EN. 40. Sabiendo que 0 Sea sce fai, sisuporemos que eB ep xcAnxeB > xe ANB > ae nol Vik chee xgB > oc € CCB). 5 : & supengareeR que AnBep > AxeAN > xeAnxeB comoAcR xebinxeB, exeB ax CCB) Falso. Ord ae zp olafoverAd domestremes whhzmdo, p>ye ug-> Ap oLeego. ie pidon: ; . »\ OD hs \p ae NS TheG n6og eo Ame apongase que AUB #¢ el ace AWB xeA'vaceBe + > v BED NO! @ Pore all aritimo de les divi sir, se Bf qe paw cada nel: neak vneskdl vind ' Cl) 2 si neBKH > ne GK 46K L= 3( ak Fant 9 3 >yrnoa BX ai NeBKID>> NP Gp aK HH . =3¢ BKK 4) th 9,0 oto con lo cual ele (i), ae Keene recesavtreanenté 8 neaBx gq@ ed minelN Sean mmeLN dos ndlorales axbitvavie 2 gin da 2 cash: n=l > witcimtad Somecl casOde nd d por Axiome. ( de peano Alae nA : ys dof.) digos MiM=mt SCa) S\semiay . é ln mel. oo ok rafivd: (men) +p = m4 cnep) fire WO: mde don mel \ en ofectss Gea X= pmenl/ maysde pom = 42 Cs gale ea claro, y Ya que 4 debe eee £ poles esis inductva. a Tcl a! yZime x er dears, mM, d= 4. m tesias Scime Xs veamos: Sem. 4=(m +i) Nod Hinge IN, men=ingim yank ry & LSet Frinero pobaremos que: : X= oe neni} & GME =n “4X : enh be que. did AHL HD § ner , an decir Aine fesia: SCM= ued uw 4+S0n) = scum Ls cat 2 GH = sen) Hy& ahora $i para dl pablima : Considaremnas nme IN fo. Xx, {nell : manent} sol sesfo es citrl6, parlo arlene, msd=4tim ele ne en dea menentm tesis: sm=nieX mrScn) = Scmtn) Scnsrn) cnt) +1 necm4tl) n+ C(t) = (n+) $n = Scntm pa (4e3)oldmal: Fei, n.d 4.0 enefes Sea X ym CN tp) = m.11 {MP Tesis: separ callcdsings : menescp=m-(n ecpt4)) =m. nip 4) = menp) £m: mn + lm.p ttn 445, Mob, Ho} verd = m.N¢ mp Fi) = mn + Mm. Sep) ga4 40S sh m (mtx) p =N.p D MpHVUep =P como pel pw 43 2 m.p sly 4:20 deal 3.3> 30480) nD > itl anc é > 6Nta % QN43 = Ay cnt) f) ul Iya > (nin! = nannl Gray >. "9. git ae) © Enchdo: sea ell con a¢4 pn quecle por exiama de pone: Qe sun)” eal IN\ \Scw=44 > dbeN/ Q=S) " Y aQ=btip gt @) verl a pale [ axis a in ¢ @® detallay: @ a) sin m- nef a g- peP => paraxiama 4 oe P: (m-n) + cq-preP > mig) — crepreP > nep AxyetN / ment u) q= pry (2) chigo meg = Gtp) Oxy) cas camo xy € > pow defen: nip < m +g b) si n Ment~ —> mg =Ng XG a) q= Pid > gn = psn @ > ODen(l) mg =xq + pniyn) ing pn + (xgym) > p< Mg py c) Sime > men? tombiom sl me > m@ per fara de" Le g ae LN / d= Hothn ahora, podowos duidw endos casas: sobre bn, caso: Si MeL > 1 = To > 1= Scr) rade SC) : Impasi : Be ox le peane (ii) caso: sim fh % por axiama, InetN/ Im=Sen) om D> Lalo tM = NotSCH= SC Yotn) } > d=S Coth) wol , @® &) como n Fae/ yigem®' diego pov prapedid del peblem (9) 34,5 (tay td sam one por conmut. y asacjohue : necati) 2mei ineG+ad = mt! @etQeme > Sen #Q= Sem) , Queqo por difenh San < Scrm) oO. (=) como sens < Sern) > SD pelN/ sem tp = Sem 4% (iep= mil > NECiplo er A (nip) t= m4 por preh.n 4.6 Nep =m) come. pclN at ue 5 ‘nate: Ge sugyers alestidrarile aimoda de cnrkenamrorls hacer dicha dames. por contradiceran , (9). demasteinas en forma dueda — ‘Gomme axb > Ane IN/ aine= b Que se pueclo decir de ne casod: aimed 2 Aan : > ted, eae pare como X= ¥ a SY nysx ost aplig vamos a (y L > ari - \g llegar a uae eantradicesh 2) ¢ él regres ea. waldo? es decir: si ati ace© Hefado ce canfiadecic’ : a yma wrens $8 A yxetl/ n> pov pdb 12, camo. u mI np X pov tranaitividad de "< (a acc) mele nth est coimpesible ( Rabar! ) cos09! i “ye “xX 4 ob DS a. yc camposible. oo Se concluye que Ane exe Mtg ndl: 4) & absedra Que para se dimestacia’, peutihea, muchas Yo year iad prpiedadea, antes demesivadas, quese. poedon fomar como femas. a) Se obseway tambien, Je, mporleincio, dol mal fod i _ deconTradiceun . : ' sm =n eX \ ed ¥=IN IN evpmaamas que v0 Sea asl, en cher: : @ ug ivi Alnewl/4 PL «mod va cenpurte \ ={nct/ ng 4. 3. coms EX => eA cont lo lovevall Teiremon: a? AS uv AF «Hg cualea san las alse dd RBO. co Awe A i ng win A (elemiote rac _ athe 5g hea minimd? > neh | Wa + como seX > Nord on ef prablem 10) ad pel / Y= Sep) e claro que p< No ahem came No ea intone de A pgA > Pp eX Dpo@: apex NoeX Tinpasblpov lo teurler, dtbeness mega lo sups een @: Ww? L pany u(XgIN) > Y=IN oltep se cumple ct PIM obst se Suglere, all estudiante, vapesr| a pecbade eS POM => PB.O ® Lamar gi nexmdlfpleds 8 (ned), fe tig 8) (OD anon YEW 3 J : - alia al pera el problema: er eds _afny ay ‘has so +10: es eo curto yaa 4S 3 “ALL: ned » ee figs 3 A\ seaig,, Ser= m4 € Pex, eae”. \ y a (nH) : IS Xi fg ; At 15= af 199 “15 = WCLES) a (J aS gto 0 g {tt OE-ZEA YQ onne = Tambun ea solve eure denne ‘ we Fret ese B+ AX. a rertede oumbion ‘he! desguallod do Bera’: En edo cusrporordonado -K. VnelN, ¥xy-L, Gin > L4nX, pbaG8) limas nel n< 30) g - Supongenos que LN si tome ua te Co Mine: Sea imelN tall elemman’ > VneiN, 0s ow camo (1) @¥nelN, nes deja beted para. poco bua cvaluier nechval , en parce neSom, lt tall): tna) Gd-0 ase abe a alolad: Op aze Svante lage i aeb be 2c? b) fomad : €a)Cb)=-ab venficar rh (1. bred Eaebys ab Verificar, > “6 afer vegiconde oh pl ob Loma9: eb Ns hed =4 : IO, : ¢) calla’ “ase * ase! = a aby (awa a sepia bs “aca ab) b= (aa ab = Wb) b's BEL asec, axiomede |ego: (ab) (al b= 4 4 > poraxiama del imuerse y gacias a que esti afihce) pedames, dee’ por netacian que: a } @b) =9 By () _t eed Sable. d'e@buday + (ed ty b) pov asec. Y comme - lel = (ad) (Kd Je pcbidy dt “= @d tbe) CB'd") (ey ~ (ad thed(bd (9) nats: cvando Tentmos: por iy deste qe Keawncvego ordenado pari * saad > porcine nos Gaantca la Pek / i) FabeP, arbePn abeP (0 Weg ace K A ; é : > en fourm ica se ton qe. “SceP v ac=O y ely (Bel) MN Zee 4 7 + > yexeP n-B0 aiyxeRa -zeP. Lat) (ydeealePon on > coy cancePa xe Ne eP \> pordifnioh a YZ 9: “10 God), Sige eumple a XY nn WK yxePan a-aseP pdf ; perl) G-x) + C2-ayeP waive a par asec. Yconm. Y cana. Y-X= Y 4X, ae bg ober (ver!) (uz y-CuaeP ( ® MiSs YtF a 3 (ae D6 E cmos sgs in buen comino, dines pa frabajar can Uber ea pasar os fc ak, fag deallotlear sus cxidinas, i a - t «\ . as a y> Xoo V . afd: (ayes by ene bY Qabxy ae) cf cay- tls dy's8 = Qatry 0. @) acl dabuly< Ayfrbtec” “U9, ops @ sumanda en(3) 2 22 2 a8 9%, 12219 ue é dads by tBabay < a hal rey HP TW 9 i ca pe : (asirbyy Sota) BOB) © LS Quay o enlRy nel. a > A] bei b70/ eg, Sf ky \ y dimes: Cver elon lima lages pag 64) pornctacen : b= 4a" + apavtiv de all; verificooreemas vavins Cosas que riomalrsa te pe doya pasar, Wi st0 o > y0/ YQ > ratecol: 4-44) come > Ay?d/ yb » yy =e! ahora, sxpingamos que a6%9.< Vy mA @) yecard, vie. pep. de (66 veal - SINS Y >The, on xe yy ver! aplicande a @): Oe wey" an ail < impose por hipd esis, , : © SS nigaide @) 2 9@ y nel > Mgrs b en chs: par axiaima, de 1 wood: , bl: bis = par dinced’y ofird: obs 2 er glist.. ab ofr si gboO,nelN> Miao Lae q Rye ae > yaa" W tambien b>0 dated =bh 3 qe ‘i (a) ki) y@ ia re Lab adit se prueba por wnbecit cuer!). | M4 vg) = ab my YS \ core es werd lo Te -esima, ; Yi = Hab geet ae ey aplqvemos pare n=Q, dew) Temamas. . 0 dg 0) y@) (ae Sut } caveby rx (REF iy stent y's (08 ee) > por di "Abi “Sex byP's Jai fe / pe gid: paxteyls SCDOT ore 1 paytby) s, [eset TR List, oh: mchas echo Pnoscveshonany ¢ Parque camplicarse. gy implement sacar |a vole cyecheda” ? 2 Ya vespursla #2 sencilla, peau s somos decienciAS.(b) ver @) (at) =) por prop: Seacce Korb . . ) Pe 1 0 4 xO v X ~¥20, i yd io ' Depry 5070 sol + por lotento : x=0 ved VTiege came aeay® a Fy ‘oat 0 S ye =0 4 & ) dinds oO bay Pd, 2rd <> X20 (>) hp: x20 | como X40 D 4 ae K Ne Femgmog ves posib) oes BOW E=0,y VO, ty ai BO % wee=%0 ‘ 2 15a NO. poeta cle, vePO Oe como 230 Sree of. LX O.€ Bayz uo > VeP peo ‘sabemas qe aeP oer) pies jee) se. > oh inp ob de), slo quedo, omy slouna pebileeds sib BO12 «) olmas Huck x40, cid a cimos'kev | wy ship: 2220 can tenamos _ (zl'> 0 > po reando fo clemastecias an le suficoncia (=) ma ocpO, Oo. (Bpvtemas: Ho >) jxi | aflcdlomos xp LX T= en chelo c toma): were i) ahaa st, paedl prbliva: ; abl=al él ey a tna 9 ‘aay td ed @ yd epg lo cane D> a-téb > ae= oh a iee sy soy Lmad Pig : 4 ae nofaciat ot vio, ea décir > FabeN/ 4e=$ 5 My e(tl=2 xP veel 6 | Mcocab) >éls imposible 3 2 CED rh pidbar ternbom qué anda (). a: ferent aplicer @) (26) rao. prem peer ae X » Sie ust famoms €:5 ici > poche. dLihe copa xe< Es 265 Pe ae~ ac Tmpare ga onda i “Pysa feanO ‘3 @) consid LN={1,2, 3, hee4 90 ieteea? : dH A= Supengarmes ques (+ *) sea ur cug(po ua > Al eeNl/ yen, X4e= al crs eh > feect © / Staiet! zs 4d noes ea, la Tagen cle la foneuen udtoar's J N= IN ; (38) beala. nelar que: a+ exo ri (on ye _ (am Pe q 22 ey XeZ vse (PY cco atts a cediyt AP Laye ye. we: -g (2p) “aie. (yiie= 12a z 2 3 z J =) s x, a (20) consid. Z, as] Oe slig Oblast -i\4 wg Z= {07 z s 2 4 ) Z, + Be wipe di lon a eae df: Od(31) Gea ooye lh D0 s(aeyr phps: » oysctyts amet > cca ry < ach HL > Gy P pore probs 20: eyt's 12° Dd. oayls Vag. obs edd 1g 80) sere’ cierto? (52) como a-b7O A XeYZO Db) OM ZO le (23) Sea Abce K, aib > Cebtach-iecea yO | Bag as / » (20) (>) come Qjba= Brahe pes () >a-c como ace® ; (GE) ef 5 yp \PE@ Limposible ofgo d-b-O > bed, oe en(s a tbWactb® 27 So A &) verlHy (as) st ae @,a#o xeL . qe axe pee aes daved xe @ nol 3 axeI gq Svpieg: 0 a > ca came > axe @ www casad: cans. 18 y-VB cased: consid. “ay oo (j (>) Resordemes ques (AaB) CG VB) = a-b como 270 , brO > far0 nor ® AGN b yO ) prob ade hips (lab) 29 ew ~@-fo=@-») cansre @ » a The @ poo pr hpo: aoe (2) > por lauswa. aditiva en @: (IG -VB) + (VG tv) € @ > alae » vecdcuer!) aigin sete 09 ee Cy (3)eo) Esl eau bven eprcio vimador dence en una demos da casen ve dwidana vi fled cevomon tt Sepang lacorteot0,ea deems ab e@ (0) cxid >ApgeZ, 9f0 Doe / 48454 / axth _P wy : oxida FT) > aqx +b =epx+dp f > @q-cp)X = djp~ ba, Qs casal si ag-

x= Gpxb4) (ag- xed Cinpastbl, por hypol: ot ES casol no se puede dar, caso8 ¢ a ag-cp=© > ag =ep (3) roti que gto subeasal 3° P= da(3) a=O Awe de @) como ag -cp =O > dp ba =O Ddpzbg s come p=O > b=O oligo calevlando qd-be= o-O=0 NO por hipdtesis. o peo eximpashe, saquv fag obs caso.