INDUCCIN EJERCICIOS RESUELTOS

1. Demostrar que la suma de los primeros nmeros naturales es igual a ( +1)/2.

Solucin: Queremos probar que

: 1 + 2 + 3 + + = ( +1)/2

Sea () : 1 + 2 + 3 + + = ( +1)/2 ; debemos probar que () satisface

las propiedades (1) y (2) del teorema 2.

(1) (1): 1 = 1(1 + 1)/2 , lo cual es verdadero.

(2) Sea , debemos probar que () ( + 1) es verdadero. Ntese que si

() es falsa la implicacin es verdadera, de modo que hay que hacer la
demostracin suponiendo que () es verdadera. (Esto es lo que se llama hiptesis
inductiva).

Supongamos entonces que () es verdadera, es decir, que 1 +2 +3 + ... + = (+1)/2

es verdadera.

Como (+1) : 1 +2 +3 + ... + (+1) = (+1) [ (+1) + 1 ] /2 ,

(+1) debe poder formarse de () sumando +1 a ambos miembros de la igualdad
(de la hiptesis inductiva) :

1 +2 + 3 + + + (+1) = (+1)/2 + (+1)

= (+1) [ /2+1]
= (+1) (+2) /2

Hemos confirmado nuestras sospechas, lo que, en lenguaje formal, significa que hemos
deducido que (+1) es verdadera, suponiendo que () lo es. As, hemos probado que
: () (+1) es verdadera.

Luego, : 1 +2 + 3 + + = (+1) /2 es una frmula correcta.

2. Probar que , : 13+24+35+ +(+2) = (+1) (2+7) /6.

Solucin : Sea () : 13+24+35+ +(+2) = (+1) (2+7) /6

Entonces (1) : 13 = 1(1+1) (21+7) /6 = 29 /6 = 3,

prueba que (1) es verdadera.

Hiptesis inductiva :

13+24+35++(+2) = (+1) (2+7) /6

(suponemos que () es verdadera)

Tesis : 12+24+35++(+1) (+3) = (+1) (+2) (2+9) /6

(queremos probar que (+1) es verdadera)

Tenemos : 13+24+35++(+2) + (+1) (+3) =

= (+1) (2+7) /6 + (+1) (+3)
= (+1) /6[(2+7) + 6(2+7)]
= (+1) [ (2 2 + 13 + 18) ] /6
= (+1) (2+9) (+2) /6

lo que prueba que (+1) es verdadera.

Luego, la frmula es verdadera para todo

3. Determinar si el producto de 3 nmeros impares consecutivos es siempre divisible por 6

Solucin : Sea () : (21) (2+1) (2+3) = 6q, donde q es algn nmero natural.
Queremos determinar si () se cumple .

5
(1) : 135 = 6q q = (1) es falso. Luego () no es necesariamente
2
cierto para todo .
4. Determinar si la suma de 3 enteros consecutivos es siempre divisible por 6.

Solucin : Sea () : +(+1) + (+2) = 6q, q .

Entonces (1) : 1+2+3 = 6 es verdadera [ q = 1 ]

Hiptesis inductiva : () = +(+1) + (+2) = 6q 1 , q 1 es verdadera.

Por dem. (+1) = (+1) + (+2) + (+3) = 6q 2 , q2 es verdadera

(+1) + (+2) + (+3) = { (+1) + (+2) + }+3 =6q 1 + 3 =

1 1
6( q 1 + ). Pero q 1 + .
2 2

Luego () verdadero no implica (+1) verdadero.

Por lo tanto, (): + (+1) + (+2) = 6q , q , es falso. La suma de 3 enteros

consecutivos no es necesariamente divisible por 6.

NOTAS : (1) ejercicio 3 y 4 muestran que las propiedades (1) y (2) del teorema 2 son
necesarias.

(2) en los ejercicios siguientes no se explicitarn las funciones proposicionales

() ; el lector no tendr dificultades en identificarlas.

5. Determinar todos los nmeros naturales para los cuales :

1 2 3 > 2 n .

Solucin : La frmula no es vlida para = 1, 2, 3.

Para = 4, se tiene que: 1234 > 2 4 = 16 es verdadero

Supongamos que la desigualdad es vlida para k , con k 4 ;

esto es 1 2 k > 2 k , k 4.

Por demostrar que la desigualdad es vlida para k + 1, es decir que

1 2 (k+1) > 2 k + 1 , k 4 .
En efecto :

1 2 (k +1) = (1 2 k ) (k+1) > 2 k (k+1)

> 2 k 2 = 2 k +1 .
Luego 1 2 (k +1) > 2 k +1 , y por lo tanto:
, 4 : 1 2 > 2 [teorema 3]
6. Demostrar por induccin, que si es impar, 7 + 1 es divisible por 8.

Solucin: Antes de aplicar induccin conviene hacer un cambio de ndices.

Sea = 2i 1.

Entonces si i = 1,2,3, ... se tiene que = 1,3,5, ... , y nuestro enunciado se

transforma en :

7 2i 1 + 1 es divisible por 8 , i .

Para i = 1: 7 1 + 1 es divisible por 8 es una proposicin verdadera.

Hiptesis inductiva: 7 2i 1 + 1 es divisible por 8.

Tesis: 7 2i + 1 + 1 es divisible por 8.

Dado que nuestra nica informacin es la hiptesis debemos hacer que la expresin
2i 1
7 + 1 , aparezca en nuestro desarrollo.

2 2 2
7 2i + 1 + 1 = 7 ( 7 2i 1 ) +1 = 7 ( 7 2i 1 + 1 ) - 7 +1

2
= 7 ( 7 2i 1 + 1 ) - 48

y aqu ambos sumandos son divisibles por 8

Luego: 8 divide a : 7 2i + 1 + 1

As, por teorema (2) resulta que 7 + 1 es divisible por 8 para todo impar
7. Se define f : en la forma siguiente
f (1) = 25 y : f(+1) = f() + 4

a) Examinando algunos valores de f, conjeturar una frmula para f en trminos de .

b) Demostrar la conjetura de a)

Solucin : a) f(1) = 25, f(2) = f(1) + 4 = 25 + 4

f(3) = f(2) + 4 = 25 + 2 4,
f(4) = f(3) + 4 = 25 + 3 4

una frmula razonable para f parece ser

f() = 25 + (-1) 4

b) Si = 1 tenemos
25 + (1-1) 4 = f(1) ; lo que prueba que la frmula es vlida para 1.

Supongamos que para la frmula es verdadera, entonces,

f( + 1) = f() + 4 [definicin de f ]
= 25 + ( - 1) 4 +4 [hiptesis inductiva]
= 25 + 4,

prueba que tambin es verdadera para +1.

Luego, el teorema (2) nos dice que

f() = 25 + ( - 1) 4 es verdadera.
8.- Sean a 1 , a 2 , ... , a (-1, 0 ]. Probar que

(1 + a 1 ) (1 + a 2 ) ... (1 + a ) 1 + a 1 + a 2 + ... + a

Solucin: Si = 1, la desigualdad es 1 + a 1 1 + a 1 , que ciertamente es verdadera.

Supongmosla vlida para algn , entonces

(1+ a 1 ) (1 + a 2 ) ... (1 + a ) 1 + a 1 + a 2 + ... + a .

Si a +1 (-1,0] , entonces 1 + a +1 > 0 , con lo que

(1 + a 1 )(1 + a 2 ) ... (1 + a ) (1+ a +1 )

(1 + a 1 + a 2 +... + a ) (1+ a +1 )

1 + a 1 + a 2 +... + a + a +1 + a 1 a +1 + a 2 a +1 + ... + a a +1 .

Pero a 1 a +1 0, a 2 a +1 . 0, ... , a a +1 . 0 luego

(1 + a 1 )(1 + a 2 ) ... (1+ a +1 ) 1 + a 1 + a 2 +... + a +1 , relacin que prueba que la

desigualdad es vlida para + 1 . As, sta es verdadera para todo .