Taller 6 Sistemas Numéricos

Inducción Matemática y Recursión

David Enrique Molina Rodríguez

Estudiante de ciencias de la computación
Universidad Nacional de Colombia Sede Bogotá

Mayo 2019

1. Ejercicio 6.3.1
Pruebe cada una de las siguientes formulas para todo n ∈ N

1.1. 4

Pruebe que 13 + 33 + 53 + ... + (2n − 1) = n2

En este ejercicio se va a hacer la inducción sobre la variable n. Veamos que nuestra hipótesis se cumple
para el caso base n = 1

(2n − 1)3 = (2(1) − 1)3

= (2 − 1)3
= (1)3
=1
= 12
= 12 (2 − 1)
= 12 (2(1)2 − 1)
= n2 (2n2 − 1)

Supongamos que se cumple para n ahora veamos que también se cumple para n + 1

1
 13 + 33 + ... + (2n − 1)3 + (2(n + 1) − 1)3 = [13 + 33 + ... + (2n − 1)3 ] + (2(n + 1) − 1)3
= n2 (2n2 − 1) + (2(n + 1) − 1)3
= 2n4 − n2 + (2n + 2 − 1)3
= 2n4 − n2 + (2n − 1)3
= 2n4 − n2 + 8n3 + 12n2 + 6n + 1
= 2n2 + 8n3 + 10n2 + 6n + 1
= 2n2 + 4n3 + n2 + 43 + 8n2 + 2n + 2n2 + 4n + 1
= (n2 + 2n + 1)(2n2 + 4n + 1)
= (n + 1)2 (2n2 + 4n + 2 − 1)
= (n + 1)2 (2(n2 + 2n + 1) − 1)
= (n + 1)2 (2(n + 1)2 − 1)

Como se cumple para n+1 queda demostrado por inducción matemática que 13 +33 +53 +...+(2n−1) = n2 .

1.2. 6
1 1 1 1 n
Pruebe que 1∗2 + 2∗3 + 3∗4 + ... + n(n+1) = n+1

En este ejercicio se va a hacer la inducción sobre la variable n. Veamos que nuestra hipótesis se cumple
para el caso base n = 1

n 1
X 1 X 1
=
i=1
i(i + 1) i=1
i(i + 1)
1
=
1(1 + 1)
1
=
1(2)
1
=
2
1
=
1+1
n
=
n+1

Supongamos que se cumple para n ahora veamos que también se cumple para n + 1

2
 n+1 n
X 1 X 1 1
= +
i=1
i(i + 1) i=1
i(i + 1) n + 1(n + 1 + 1)
n 1
= +
n + 1 n + 1(n + 2)
1 1
= (n + )
n+1 n+2
1 n(n + 2) + 1)
= (
n+1 n+2
1 n2 + 2n + 1
= ( )
n+1 n+2
1 (n + 1)2
= ( )
n+1 n+2
n+1
=
n+2

1 1 1 1
Como se cumple para n+1 queda demostrado por inducción matemática que 1∗2 + 2∗3 + 3∗4 +...+ n(n+1) =
n
n+1 .

2. Ejercicio 6.3.2
Pruebe que 1 + 2n  3n para todo n ∈ N Lo demostraré por inducción matemática sobre la variable n.
Primero veamos que se cumple para el caso base, es decir, para n = 1
1 + 2(n) = 1 + 2(1) = 1 + 2 = 3
3n = 31 = 3
Así tenemos que 1 + 2n  3n Supongamos que se cumple para n, es decir 1 + 2n  3n , luego esa es nuestra
hipotesis, ahora veamos si se cumple para n + 1

1 + 2(n + 1) = 1 + 2n + 2
= (1 + 2n) + 2(P orHip.Ind)
 3n + 2

Ahora devemos revisar que 3n + 2  3n+1 , así que lo demostraré por inducción con n∈N Para el caso
base notese n = 1

3n + 2 = 3( 1) + 2 = 5
3n+1 = 32 = 9

Podemos notar que se cumple 3n + 2  3n+1 para n = 1 Supongamos que se cumple para n, es decir
3n + 2  3n+1 que es equivalente a 3n  3n+1 − 2 , luego esa es nuestra hipotesis, ahora veamos si se
cumple para n + 1

3
 3n+1 + 2
= (3n 3) + 2(P orHip.Ind.)
 (3n+1 3) − 2 + 2
 3n+2

Ahora, como llegamos a 3n +2  3n+1 podemos concluir la primera parte de la demostración y así afirmar
que como se cumple para n+1 se tiene que 1 + 2n  3n para todo n ∈ N

3. Ejercicio 6.3.7
Pruebe que (1 + n1 )n <n para todo n ∈ N tal que n  3.

En este ejercicio se va a hacer la inducción sobre la variable n. Veamos que nuestra hipótesis se cumple
para el caso base n = 3

1 n 1
(1 + ) = (1 + )3
n 3
4 3
=( )
3
64
=
27
= 2.370

Así claramente 2.370 < 3 y como n = 3, 2.370 < n.Veamos ahora que nuestra hipótesis de inducción
también se cumple para n + 1

1 n+1 1 1
(1 + ) = (1 + )n (1 + )
n n n
1
< n(1 + )
n
n+1
< n( )
n
<n+1

Finalmente como se cumple también para n + 1 queda demostrado que (1 + n1 )n <n para todo n ∈ N tal
que n  3.

4. Ejercicio 6.3.9
Pruebe que 3n  n3 para todo n ∈ N tal que n≥4 Lo demostraré por inducción matemática sobre la
variable n.
Primero veamos que se cumple para el caso base, es decir, para n = 4
3n = 3( 4) = 81
n3 = (4)3 = 64

4
Así tenemos que se tiene que 3n  n3 para el caso base n = 4 . Ahora supongamos que se cumple para
n, es decir 3n  n3 , luego esa es nuestra hipotesis, ahora veamos si se cumple para n + 1.

3n+1
= 3n 3(P orHip.Ind.)
> n3 3

Ahora devemos revisar que n3 3  (n + 1)3 que lo demostraré por inducción con n∈N Para el caso base
notese n = 4

n3 3 = 3(4)3 = 192
(n − 1)3 = ((4) − 1)3 = 33 = 27

Podemos notar que se cumple n3 3  (n + 1)3 para n  4 Ahora supongamos que se cumple para n, es
decir n3 3  (n + 1)3 , luego esa es nuestra hipotesis, ahora veamos si se cumple para n + 1.

(n + 1)3 3
= (n3 + 3n2 + 3n + 1)3
= (n3 )3 + (3n2 )3 + (3n)3 + (1)3(P orHip.Ind)
 (n + 1)3 + (3n2 )3 + (3n)3 + (1)3
 n3 + 3n2 + 3n + 1 + 9n2 + 9n + 3
 n3 + 12n2 + 12n + 4

Ahora para que se cumpla (n + 1)3 3  (n + 2)3 se debe dar n3 + 12n2 + 12n + 4  (n + 2)3 así que
miremos que pasa con esa desigualdad:
n3 + 12n2 + 12n + 4  (n + 2)3
n3 + 12n2 + 12n + 4  n3 + 6n2 + 12n + 8
6n2  4
Como n  4 podemos afirmar que esa desigualdad se da, y finalmente 3n  n3 para todo n ∈ N tal que
n≥4

5. Ejercicio 6.3.10
Pruebe que
Pn i
i=1 2i = 2 − ( n+2
2n )

Para todo n ∈ N
En este ejercicio se va a hacer la inducción sobre la variable n. Veamos que nuestra hipótesis se cumple
para el caso base n = 1

5
 n 1
X i X i
i
= i
i=1
2 i=1
2
1
=
2
4−3
=
2
3
=2−
2
1+2
=2− 1
2
n+2
=2− n
2

Veamos ahora que nuestra hipótesis también se cumple para n + 1

n+1 n
X i X i n+1
i
= i
+ n+1
i=1
2 i=1
2 2
n+2 n+1
=2− + n+1
2n 2
n+1 n+2
= (2 − n+1 ) − n
2 2
2n+1 + n + 1 n + 2
= − n
2n+1 2
2n+2 + n + 1 − 2(n + 2)
=
2n+1
2n+2 + n + 1 − 2n − 4
=
2n+1
n+2
2 −n−3
=
2n+1
2n+2 n+3
= n+1 − n+1
2 2
n+3
= 2 − n+1
2

Finalmente se cumple también para n + 1 luego queda depostrado por inducción matemática.

6. Ejercicio 6.3.12
Pruebe que :
n
X 1 √
√ > n
i=1
i
Para todo n ∈ N tal que n≥2 Primero veamos que se cumple para el caso base, es decir, para n = 2
Pn 1 P2 1 √1 + √1 = 1 + √1 = 1,7071
i=1 i = i=1 i =
√ √
√ √ 1 2 2
n = 2 = 1,414213

6
Así tenemos que se cumple el caso base:
2
X 1 √
√ > 2
i=1
i
Ahora supongamos que se cumple para n, es decir
n
X 1 √
√ > n
i=1
i

luego esa es nuestra hipotesis, ahora veamos si se cumple para n + 1.

n
X 1 i
√ +√
i=1
i n +1

(Por Hip. Ind)

n
X 1 i √ i
√ +√ > n+ √
i=1
i n+1 n+1
n+1
X 1 √ i
√ > n+ √
i=1
i n+1
n+1 √ √
X 1 n n+1+1
√ > √
i=1
i n+1

√ √
n√ n+1+1 √
Ahora debemos revisar que n+1
 n + 1, con n≥2 y así se cumpliría para n+1, como n≥2

√ √
n n+1+1
√
n+1
√ √
n n+1
 √
n+1
n+1
√
n+1
√
 n+1

√ √
n√ n+1+1 √
Así finalmente se tiene que n+1
 n + 1 , lo que implica que se cumple para n + 1, es decir

n
X 1 √
√ > n
i=1
i

Para todo n ∈ N tal que n≥2

7
7. Ejercicio 6.4.2
Sea b1 , b2 , b3 , ... una secuencia definida por b1 = 1, y b2 = 1, además bn = 31 (bn−1 + bn3− 2 ) para todo n ∈
N tal que n ≥3. Pruebe que 1  bn  23 Lo resolvere mediante inducción fuerte sobre n para ello primero
miraré el caso base: Sea n = 3

1 3
b3 = (b3−1 + )
3 b3−2
1 3
= (b2 + )
3 b1
1 3
= (1 + )
3 1
1
= (1 + 3)
3
4
=
3

Como se da 1  43  32 que completado el caso base, luego entonces voy a definir la hipotesis suponiendo
que es cierto desde 3 hasta n tal que 1  bn  32 , ahora miremos si se cumple con n + 1

3
1  bn 
2
1 1 1
 bn 
3 3 2

1
Ahora quiero sumar bn−1 pero primero debo verificar que la desigualdad siga siendo verdadera, así que
tendré en cuenta las siguientes dos desigualdades y despejaré bn−1
1 1
1 3 + bn−1
2 1
3  bn−1
3
bn−1  2

Además de la desigualdad
1 1 3
2 + 
bn−1 2
1
bn−1  1
1  bn−1
1
Lo que quiere decir que para que pueda sumar bn−1 debe cumplir que 1  bn−1  32 , pero eso ya se da
por la hipótesis, luego:
1
3 + bn−1  ( 31 bn + bn−1
1
)  21 + bn−1
1
3 + bn−1  13 (bn + bn−1
3
)  21 + bn−1
1 1
3 + bn−1  (bn+1 )  2 + bn−1
1  3 + bn−1  (bn+1 )  2 + bn−1  23
1 1

1  (bn+1 )  32
Fionalmente tenemos que también se cumple para (n + 1) por lo que queda demostrado por principio de
inducción matemática

8
8. Ejercicio 6.4.3
Sea d1 .d2 , d3 , ... una secuencia definida por d1 = 2 y d2 = 3 y dn = dn−1 ∗ dn−2 para todo n ∈ N tal que
n  3 luego encuentre la forma explicita de dn y pruebe que funciona.

dn = 2F (n−2) · 3F (n−1)
Vamos a hacer la prueba con inducción matemática sobre la variable n. Primero que todo veamos que
nuestra formula se cumple para nuestro caso base; es decir n = 3

dn = d3
=6
= 21 · 31
= 2F (1) · 3F (2)
= 2F (3−2) · 3F (3−1)
= 2F (n−2) · 3F (n−1)

Ahora supongamos que funciona hasta n, tal que dn = 2F (n−2) · 3F (n−1) , ahora veamos que nuestra
hipótesis también se cumple para n + 1

dn+1 = dn · dn−1
= 2F (n−2) · 3F (n−1) · 2F (n−3) · 3F (n−2)
= (2F (n−2) · 2F (n−3) ) · (3F (n−1) · 3F (n−2) )
= 2F (n−1) · 3F (n)

Finalmente como funciona tambien para n + 1 queda demostrado por inducción matemática.

9. Ejercicio 6.4.8
Sea n ∈ N suponga que n>5. Pruebe que Fn = 5Fn−4 + 3Fn−5 . Vamos a hacer la prueba con inducción
matemática sobre la variable n. Primero que todo veamos que nuestra formula se cumple para nuestro
caso base; es decir n > 5
Fn = F6
F6 = F5 + F4
F4 = F3 + F2
F3 = F2 + F1
F2 = F1 + F0
F2 = 1 + 0 = 1
F3 = 1 + 1 = 2
F4 = 2 + 1 = 3
F5 = 3 + 2 = 5
F6 = 5 + 3 = 8
Ahora revisemos el otro lado de la igualdad

9
 5(Fn−4 ) + 3(Fn−5 )
= 5(F6−4 ) + 3(F6−5 )
= 5(F2 ) + 3(F1 )
= 5(1) + 3(1)
=8

Así llegamos a que es verdadero para el caso basen con n > 5, ahora supongamos que se cumple para n,
es decir Fn = 5(Fn−4 ) + 3(Fn−5 ), luego esa es nuestra hipotesis, ahora veamos si se cumple para n + 1.

Fn+1 = Fn + Fn−1
= 5(Fn−4 ) + 3(Fn−5 ) + Fn−1
= (5Fn−5 + 5Fn−6 ) + (3Fn−6 + 3Fn−7 ) + Fn−1
= 3Fn−7 + 8Fn−6 + 5Fn−5 + Fn−3 + Fn−2
= 3s(Fn−4 ) + 3Fn−7 + 5Fn−6 + 2Fn−5 + Fn−3 + Fn−2
= 3(Fn−4 ) + 2Fn−6 + 3Fn−5 + 2Fn−5 + Fn−3 + Fn−2
= 3(Fn−4 ) + 3Fn−5 + 2Fn−4 + Fn−3 + Fn−2
= 3(Fn−4 ) + 3Fn−5 + 2Fn−4 + (Fn−3 ) + Fn−3 + Fn−4
= 3(Fn−4 ) + 3Fn−5 + 3Fn−4 + 2(Fn−3 )
= 3(Fn−4 ) + 3(Fn−3 ) + 2(Fn−3 )
= 3(Fn−4 ) + 5(Fn−3 )
= 5(Fn−3 ) + 3(Fn−4 )

Así llegamos a que tambien de cumple para (n+1) y por tanto quedó probado que Fn = 5Fn−4 + 3Fn−5
para n > 5.

10