Propiedades: Sean ay. ¥ bnémeros enteros S82, be Z crtonceg abe z+ 2. SlaeZy beg entonces abe z+ 3. Siae Zt y 4 €z entonces ab ¢ za 4.SiaeZ y bez entonces, ab € Z 6 ab=0, Pe Zt 5. ae Z Paratodo aen Z con ayo, 6.aeZ* S-aez- 7.0 0, para todoa eZ. 81 Escaneado con CamScanner2 lal=o = a=0 slalsas lal para todoae Z. 4 lab] = lal lol, para todo a, be Z Sla+bl < Jal+[bl, paratodo a,b eZ 6 |~a I= lal, para todo a eZ x lav] = lal- Ib, para todo a,be Z. 8] lal. lol | Sla~bl], paratodoa,b¢ Z. Demostracién: "Por definicion de valor absotuto, [al 20 paratodo a2 - ar" Fa 2. Por definicién, Jo] =0, lalé ie Tosa Mh ey Por otro lado, Suponga que |a|=0yas0,entoncesa<0 6 a>0. Luego: Si a<0, entonces 0<_g= la], to que contradice que [al =0 Si a>0, entonces 0 6 a<0, Si 220, por la Definicién 2.6,, se tiene que -lals00,b>0. Luego, ab>0 y lab] =ab= lal [bl Caso 4: a> 0,0<0. Lucgo, ab<0.=>|ab| =-ab=a(-by= lal bl Caso S: a.<0, b> 0 (similar al caso 5) Caso 6: 2<0,b <0, entonces ab>Oy [abl =ab=(-a) (-b) = lal [bl Porlo tanto, |ab| = al lvl para todo a,b eZ. 5.Seana,beZ . Caso 1:a=0,b=0. Entonces |a+b| = |o| = [al +|b| Caso 2: a=0, b#0. Entonces|a+b| = |0+b| = |b] = [al + |b] Caso 3: a#0, b=0 (similar al caso 2) Caso 4:a40, b#0. Entonces, la+bl? = la+bl |a+bl = |(a+bya+d)| por la parte 4 de este teorema. =la+byl =(a+by yaque(at+b)eZ* =a? +2ab +b? yatta 2 lolly ell? < &+2[ab| +b? por la parte 3 de este teorema. 83 Escaneado con CamScannerwateatal lb] +b! porlapared dese, ; rem = lal + Ibly? Por consiguiente, Javbl? s (lal + [bly ( Observe que si la+b| > [al + |b], entonces lasdl? = Jae} larbl > larbl(lal + bl alesoP edsl slob, => la+b/? > (lal + [blye ly Lo que contradice (*). Porlo tanto, [a+b] < lal + |b] 6. Como -a=(-I)a_ para todo aen Z,, se tiene que [=a [-1] fal =1 lal = 7. Por la parte, 5 se tiene que Jal=|a+Cey+bl< lab] + |b] Luego, |a—b| > |al - |b] 8. Por la parte 7 de este teorema, se tiene que: - Ib] < la-bl q) Por otro lado, -(lal-|bly=lo1-lal < |b-al por la parte 7 de este teorema =la-b] por la parte 6 de este teorema Entonces, —(lal -|bl) < la-b | @) Y como 84 Escaneado con CamScannerbl-[b) . ~(lal-Ib) 5s Hal - [ol = @) De(1)(2)y (3). setiene que Ilal- [bl] 0. Entonces existen nimeros enteros tinicos q yr tales que x9 a=bqtr con O 0. Considere el conjunto S={neZ: n= —bx 2 0, para algin xeZ } Observe que SCN. Ademés, como, b> 1, se tiene que lal b= lal y a—(Clalyb= a+lal b= a+lal>0 Por lo tanto, a-b(-lal) 5S. Luego, S#2. 85 Escaneado con CamScanner