Universidad De Santiago De Chile

Algebra B-08
Prof: Eugenio Rivera M.
Ayud: Alejandro Salazar S.

Control No 2
Ano 2009

1 1 1 1 1 1 1 1 1
1. Observe que: 1 = ; 1 1 = ; 1 1 1 = ... etc
2 2 2 3 3 2 3 4 4
Deduzca la ley general y demuestrela por induccion.
2. Se define la sucesion por recurrencia mediante:
a0 = 0
a1 = 1
an = 5 an1 6 an2 ; n 2

a) Demuestre que si n es par, entonces an es multiplo de 5.

b) Demuestre que si n es par, entonces bn = 3n 2n ; n 0 es multiplo de 5.
c) Es an = bn ?

3. Si el medio aritmetico entre a y b es dos veces mayor que el medio geometrico entre a y b. Demuestre que:

a 2+ 3 a 2 3
= o =
b 2 3 b 2+ 3

X
n+1
k

n+2

4. Demuestre que para todo n N se tiene que =
2 3
k=2
n
1
5. En el desarrollo del binomio de ax + 2 con n N, determinar las condiciones sobre n para que exista el
bx
termino independiente de x y calcularlo para dicha condicion.
 Solucion Control No 2.

1 1 1 1 1 1 1 1 1
1. Observe que: 1 = ; 1 1 = ; 1 1 1 = ... etc
2 2 2 3 3 2 3 4 4
Deduzca la ley general y demuestrela por induccion.
La ley general es

1 1 1 1 1
P (n) : 1 1 1 1 = con n N
2 3 4 n+1 n+1
Probemos esto utilizando induccion matematica:

1 1 1
Verifiquemos la veracidad de P (1). Tenemos P (1) : 1 = =
2 2 1+1

1 1 1 1 1
Hipotesis de induccion P (k) : 1 1 1 1 = con 1 k n
2 3 4 k+1 k+1

1 1 1 1 1 1
Tesis de induccion P (k + 1) : 1 1 1 1 1 =
2 3 4 k+1 k+2 k+2
Demostremos esto ultimo:

1 1 1 1 1 1 1
P (k + 1) : 1 1 1 1 1 = 1
2 3 4 k+1 k+2 k+1 k+2
| {z }
Hipotesis

1 k+1 1
= =
k+1 k+2 k+2

De esta forma, se prueba la veracidad de P (n) n N.

2. Se define la sucesion por recurrencia mediante:
a0 = 0
a1 = 1
an = 5 an1 6 an2 ; n 2

a) Demuestre que si n es par, entonces an es multiplo de 5.

Demostracion por induccion matematica:
Si n = 2 se tiene que a2 = 5 a1 6 a2 = 5 que claramente es multiplo de 5.
Hipotesis de induccion: a2n = 5 a2n1 6 a2n2 , es multiplo de 5, esto es a2n = 5 (n).
Tesis de induccion: a2n+2 = 5 a2n+1 6 a2n , es multiplo de 5.
En efecto, como a2n es multiplo de 5, esto es a2n = 5 (n) se tiene que
a2n+2 = 5 a2n+1 6 5 (n) = 5[a2n+1 6 (n)] que es multiplo de 5.
Luego la proposicion es verdadera.
b) Demuestre que si n es par, entonces bn = 3n 2n ; n 0 es multiplo de 5.
Demostracion por induccion matematica, considerando P (n) : 3n 2n . Si n es par entonces:
P (2k) : 32k 22k = 9k 4k
Si k = 1 tenemos P (2) : 91 41 = 5, que claramente es multiplo de 5.
Hipotesis de induccion: suponemos que P (2k) : 9k 4k es multiplo de 5, esto es 9k 4k = 5 (k).
Tesis de induccion: Debemos probar que P (2k + 2) : 9k+1 4k+1 , es multiplo de 5.
En efecto, si realizamos la division 9k+1 4k+1 9k 4k

9k+1 4k+1 9k 4k = 9
(9k+1 9 4k )
9 4k ) 4k+1
9k+1 4k+1 9 4k 4k+1 9k+1 4k+1 9 (9k 4k ) + 9 4k 4k+1
De esto se deduce que k k
= 9+ k k
, luego k k
=
9 4 9 4 9 4 9k 4k
 Lo relevante de lo anterior es que
9k+1 4k+1 = 9 (9k 4k ) +9 4k 4k+1 = 9 5 (k) + 9 4k 4 4k = 5 [9 (k) + 4k ].
| {z }
hipotesis
De esta forma la proposicion es verdadera.
Observacion: Otra demostracion para la tesis puede ser:
P (2k + 2) : 9k+1 4k+1 = 9 9k 4 4k = (10 1) 9k (5 1) 4k = 10 9k 9k 5 4k + 4k
: 9k+1 4k+1 = 5[2 9k 4k ] [9k 4k ] = 5[2 9k 4k ] 5 (k) = 5[2 9k 4k (k)].
| {z }
hipotesis

c) Es an = bn ?
Consideremos la proposicion: P (n) : an = bn , n 0. Demostremos utilizando induccion matematica.
Verifiquemos la veracidad de P (0) y P (1), para esto calculemos b0 = 30 20 = 0 = a0 , y b1 = 31 21 =
1 = a1
Hipotesis de induccion: suponemos que an = bn , esto es

P (n) : an = 5 an1 6 an2 = 3n 2n = bn , n 2

Tesis de induccion: Por demostrar que P (n + 1) es verdadera.

P (n + 1) : an+1 = 5 an 6 an1 = 3n+1 2n+1 = bn+1

De la Hipotesis tenemos que an = 3n 2n y tambien que an1 = 3n1 2n1 . Luego
P (n + 1) : an+1 = 5 an 6 an1 = 5 (3n 2n ) 6 (3n1 2n1 )
|{z} | {z }
hipotesis hipotesis
P (n + 1) : an+1 = 5 3n 5 2n 2 3n + 3 2n = 3 3n 2 2n = 3n+1 2n+1 = bn+1
Lo que prueba la proposicion.

3. Si el medio aritmetico entre a y b es dos veces mayor que el medio geometrico entre a y b. Demuestre que:

a 2+ 3 a 2 3
= o =
b 2 3 b 2+ 3
Del enunciado se tiene que
a+b
= 2 ab, entonces, a + b = 4 ab. Si elevamos al cuadrado obtenemos (a + b)2 = 16ab, desarrollando
2 a 2 a
a + 2ab + b2 = 16ab a2 14ab + b2 = 0, dividiendo por b2 tendremos
2
14 + 1 = 0 que es una
b b
a
ecuacion cuadratica en , resolviendo:
b

a a (2 3)2 (2 3)2
= 7 4 3 = 4 3 + 3 = (2 3)2 . Para obtener el resultado, miremos que = = ,
b b 1 4 23
a (2 3)
ademas note que 4 3 se puede escribir como el producto entre (2 + 3)(2 3), luego =
b (2 + 3)(2 3)
de donde se tiene que
a 2+ 3 a 2 3
= o =
b 2 3 b 2+ 3

X
n+1
k

n+2

4. Demuestre que para todo n N se tiene que =
2 3
k=2
Trabajando el primer miembro de la igualdad
X k n+1
n+1 X k! 1 X
n+1
k!
n
1 X (k + 1)!
n
1 X (k 1)! k (k + 1) 1 X
n
= = = = = k(k+1).
2 (k 2)! 2! 2 (k 2)! |{z} 2 (k 1)! 2 (k 1)! 2
k=2 k=2 k=2 reloj k=1 k=1 k=1

Desarrollando la suma
 " n #
X
n+1
k
n
1 X 2 1 X 2 X
n
1 n(n + 1)(2n + 1) n(n + 1)

n(n + 1) 2n + 1

= (k + k) = k + k = + = +1
2 2 2 2 6 2 4 3
k=2 k=1 k=1 k=1
n(n + 1) 2n + 4 n(n + 1)(n + 2)
= = .
4 3 3!
Arreglando lo anterior, usando el truco que se muestra a continuacion, el resultado es inmediato.

X
n+1
k

(n 1)! n(n + 1)(n + 2) (n + 2)!

n+2

= = =
2 (n 1)! 3! (n 1)! 3! 3
k=2
n
1
5. En el desarrollo del binomio de ax + 2 con n N, determinar las condiciones sobre n para que exista el
bx
termino independiente de x y calcularlo para dicha condicion.
Sabemos que
n X n k X n Xn
1 n nk 1 n nk 2 k n nk 2k n3k
ax + 2 = (ax) = (ax) (bx ) = a b x
bx k bx2 k k
k=0 k=0 k=0
Xn
n 1
= an xn3k . Esto nos dice que existira el termino independiente de x si n3k = 0 n = 3k,
k (ab)k
k=0
esto es n debe ser multiplo de 3.
Luego el termino correspondiente, se obtiene suponiendo n = 3r donde r N.
n 3r 2 n3
n a 3r a n an n a
Tk+1 = Tr+1 = finalmente T n
3 +1
= n n = n .
k (ab)k r (ab)r 3 (ab) 3
3 b