- F.C.P.N.

UNIVERSIDAD MAYOR DE SAN ANDRES

PREUNIVERSITARIO I/2013

EJERCICIOS RESUELTOS MATEMATICA INDUCCION

Denici on 1. Sea a, b Z la notaci on a|b se lee a divide a b , y se dene por: a |b c Z : b = a c 1. Demostrar por inducci on matem atica que: 32n + 7 es divisible por 8 Dem. i) Demostrar para n = 1 321 + 7 = 9 + 7 = 16, es divisible por 8, pues existe el 2 Z : 16 = 8 2 ii) Supongamos que es verdad para n = k , es decir: 32k + 7 = 8 t, con t Z [Hip otesis]

Por demostrar que es verdad para n = k + 1, es decir 32(k+1) + 7 = 8 r?, con r Z, [ ]

Para demostrar esta igualdad, partimos del primer miembro, y aplicamos la hip otesis. 32(k+1) + 7 = 32k+2 + 7 = 32k 32 + 7 = 32k 32 + [ ] [ ] + 7, = 32k 32 + 32 7 32 7 + 7, = 32 (32k + 7) 63 + 7, = 9(8t) 56, = 8[9t 7] = 8 r, sum. y rest. un t ermino conveniente agrupamos y factorizamos aplicamos la hip otesis factorizamos 8 con r = 9t 7 Z

As se ha domostrado [ ], por tanto la proposici on es verdadera para todo n N 2. Demostrar por inducci on matem atica que: 7|32n+2 2n+1 , n N

Dem. Por la denici on de | (divide a), la proposici on equivale a: s Z : 32n+2 2n+1 = 7 s, 1 Lic. Miriam Cusi Rodr guez

 - F.C.P.N. UNIVERSIDAD MAYOR DE SAN ANDRES

PREUNIVERSITARIO I/2013

i) Demostrar para n = 1 321+2 21+1 = 34 22 = 81 4 = 77, es divisible por 7, pues existe el 11 Z : 77 = 7 11 ii) Supongamos que es verdad para n = k , es decir: 32k+2 2k+1 = 7 t, con t Z [Hip otesis]

Por demostrar que es verdad para n = k + 1, es decir 32(k+1)+2 2(k+1)+1 = 7 r?, con r Z, [ ]

Para demostrar esta igualdad, partimos del primer miembro, y aplicamos la hip otesis. 32(k+1)+2 2(k+1)+1 = 32k+2+2 2k+1+1 = 32k+2 32 2k+1 2 = 32k+2 32 [ ] + [ ] 2k+1 2, =3
2k+2 2

sum. y rest. un t ermino conveniente

k+1

3 2

k+1 2

3 +2

k+1 2

3 2

2, agrupamos y factorizamos aplicamos la hip otesis factorizamos 7

= 32 (32k+2 2k+1 ) +2k+1 (32 2), = 32 (7t) + 2k+1 (7), = 7[9t + 2k+1 ] = 7 r,

con r = 9t + 2k+1 Z

As se ha domostrado [ ], por tanto la proposici on es verdadera para todo n N

Lic. Miriam Cusi Rodr guez