Anda di halaman 1dari 48

INDUCCIN DE MATEMTICA

En matemticas es muy frecuente distinguir dos mtodos diferentes de prueba en


las demostraciones de los diversos teoremas, el llamado mtodo directo y el llamado
mtodo indirecto. En el mtodo directo de prueba, procedemos de la hiptesis a la tesis
(conclusin ) a travs de una serie de deducciones, cada una de las cuales est justificada
por algn axioma o por algn teorema previamente probado. En las pruebas indirectas,
comenzamos por suponer que la conclusin no es cierta y, a continuacin a travs de una
serie de deducciones, obtenemos una proposicin que contradice la hiptesis del teorema.
Luego, bajo la hiptesis no puede ser falsa y debe por tanto ser cierta.
Frecuentemente en matemtica nos enfrentamos con la tarea de establecer que
cierta proposicin Pn es cierta para todo entero n 1 (o quizs para todo entero n N )
Entonces es a menudo posible construir una prueba basada sobre un principio llamado de
induccin matemtica

Por ejemplo, dadas las siguientes proposiciones:


n( n 1)( 2n 1)
1.- Pn: 1 2 2 ... n
2 2 3 2

6
2.- Qn: 2 n n 20

3.- Rn: n 2 n 41 es primo

La proposicin Pn es cierta para todo entero positivo y Qn es cierta para todo entero mayor
o igual que 5. La tercera proposicin Rn es interesante; observe que si:
R(n) = n 2 n 41 , entonces
R(1) = 41 , R(2) = 43 , R(3) = 47, R(4) = 53 , R(5) = 61
R(6) = 71, R(7) = 83 (nmeros primos hasta aqu)

De hecho, obtendremos un nmero primo para todas las ns hasta 40, lo cual fue
demostrado, en 1772, por el matemtico Leonhard Euler. Para n = 41, la frmula da
f(41) = 412 = (41)(41) = 1681. Entonces el hecho, en este caso, de probar la veracidad de
una proposicin para 40 ( o 40 millones ) de casos individuales harn suponer una
conjetura que no siempre ser verdadera.

1
Ejemplos: A continuacin daremos algunos ejercicios aplicables a diversos campos de la
matemtica cuyas demostraciones pueden realizarse utilizando el primer principio de la
induccin matemtica.

1. Demuestre por induccin matemtica que el producto de dos enteros consecutivos


positivos es mltiplo de 2 ( o tambin divisible por 2), es decir, que si n N ,

entonces, n ( n 1) 2

Demostracin:
i) Si n 1 , entonces:

n ( n 1) 1(1 1) 2 2 , la proposicin es verdadera
( paso bsico)
ii) Aceptemos que para n m , la proposicin sea verdadera, es decir que:
...( )

m( m 1) 2

lo cual constituye la hiptesis inductiva.

iii) Demostremos tambin que la proposicin es vlida para n m 1 , es decir que:



( m 1)( m 2) 2 ...
( )

Demostracin que es fcil de realizar desde que ( m 1)( m 2) m( m 1) 2( m 1)


De ( ) : m( m 1) es mltiplo de dos (hiptesis) y
De ( ) : 2( m 1) es mltiplo de dos (entero par) ( m 1)( m 2) 2 , es mltiplo

de dos.

2. Demuestre que el producto de tres enteros cosecutivos positivos es mltiplo de 6, es


decir que si n N entonces,

n ( n 1)( n 2) 6 (I)

Solucin:

i) si n 1 , entonces

n ( n 1)( n 2) 1.2.3 6 6 , la proposicin es verdadera.
Hiptesis Bsica
ii) Para n m , aceptemos que la afirmacin ( I ) es cierta, o sea,

2

Hiptesis Inductiva n ( n 1)( n 2) 6
( )

iii) Demostremos, entonces, que para n m 1 , el producto:



( m 1)( m 2)( m 3) 6

Demostracin:
como : (m 1)(m 2)(m 3) m(m 1)(m 2) 3(m 1)(m 2)
( )

a) m m( m 2)( m 3) 6 ( hiptesis bsica)

, k Z ( ejercicio anterior) , luego,



b) Como: ( m 1)( m 2) 2 2k

3( m 1)( m 2) 3.2k 6k 6
( )
( ) y ( ) en ( ) :

( m 1)( m 2)( m 3) 6 6 6

( m 1)( m 2)( m 3) 6

3. Demuestre, por induccin, que si n N , entonces



n 3 11n 6 (I)
Solucin:
i) Para n 1 :

n 3 11n 13 11 .1 12 6

ii) Supongamos que para n m , la afirmacin ( I ) es cierta, o sea, que



m 3 11m 6
( )

iii) Debemos demostrar para n m 1 , la validez de la proposicin:



( m 1) 3 11( m 1) 6

Demostracin:

(m 1) 3 11(m 1) m 3 3m(m 1) 13 11m 11

m
11
3
m 3
m (m 1) 12

6

+ 3.

2 + 2.6

= 6 + 6 + 6

( m 1) 3 11( m 1) 6

3
4. Demuestre que el producto de cuatro enteros consecutivos positivos es mltiplo de 24,

es decir que si n N , entonces,



n ( n 1)( n 2)( n 3) 24 (I)
Solucin:
i) Para n 1 la afirmacin es vlida, puesto que:

n ( n 1)( n 2)( n 3) 1.2.3.4 24

ii) Para n m , aceptemos que la afirmacin ( I ) es cierta, es decir que:



m ( m 1)(m 2)( m 3) 24 .
( )

iii) Demostremos, entonces, que para n m 1 , tambin la proposicin es cierta, es



decir, que: ( m 1)( m 2)( m 3)( m 4) 24

Demostracin:

(m 1)(m 2)(m 3)(m 4) m(m 1)(m 2)(m 3) 4( m 1)(m 2)(m 3)

de ( ) :

= 24 + 4. 6

= 24 + 24 = 24



( m 1)(m 2)( m 3)( m 4) 24

5. Demostremos que para n N :



n 4 6n 3 11n 2 6n 24 (I)
Solucin:

El lector podr verificar rpidamente que: n ( n 1)( n 2)( n 3) n 4 6n 3 11n 2 6n


luego, el ejercicio ya estara demostrado en el ejercicio 4, pero utilicemos los pasos del
mtodo de induccin para su demostracin, es decir:

i) Para n 1 , la afirmacin es vlida puesto que:



n 4 6n 3 11n 2 6n 14 6.13 11.12 6.1 24

ii) Para n m , aceptemos que la afirmacin ( I ) es cierta, es decir que:


( )

m 4 6m 3 11m 2 6m 24

iii) Demostremos entonces que para n m 1 , la proposicin es tambin cierta.


Demostracin: Sea:

4
S m 1 (m 1) 4 6(m 1) 3 11(m 1) 2 6(m 1)

= m 4 4m 3 6m 2 4m 1 6(m 3 3m 2 3m 1) 11(m 2 2m 1) 6(m 1)


S m1 (m 4 6m 3 11m 2 6m) 24(m 2 1) 4(m 3 11m)

= 24 + 24 + 4. 6

= 24 + 24 + 24 = 24

( m 1) 4 6( m 1) 3 11( m 1) 2 6( m 1) 24

6. Demostrar que si n es un entero positivo, entonces 32 n 7 es mltiplo de 8


Solucin:

i) Si n 1 , luego, 3 2n 7 3 2 7 16 8 es decir, la proposicin es verdadera


ii) Aceptamos que para n m la proposicin: 32m 7



8 es verdadera ...
( )

iii) Debemos demostrar que para n m 1 tambin, la proposicin: 32 ( m 1) 7



8

, sea vlida
Demostracin:
32( m1) 7 32 m 2 7 32.32 m 63 56 9(3 7) 7.8 9.
2m
8 - 8 = 8 -8 =8

32 ( m 1) 7

8

7. Demuestre que n N , 32 n 1 40n 67



64

Solucin:
i) Si n 1 : 32 n 1 40n 67 32.11 40.1 67 0

64 la proposicin es verdadera
ii) Si n m , aceptamos que: 32 m 1 40m 67

64 ...
( )

iii) Verifiquemos, para n m 1 , que: 32( m 1)1 40( m 1) 67



64

Demostracin:
Sea: sm 1 32( m 1)1 40( m 1) 67 3( 2 m1) 2 40m 40 67
9.32 m 1 9.40m 9.67 (8.67 40) - 8.40m

9(32 m 1 40m 67) 9.64 - 64.5m 9.



64 + 64 - 64 = 64

5
32 ( m1)1 40( m 1) 67 64

8. Si n es un entero positivo mayor que 1 entonces 2 2 n 3n 1 es divisible por 9


Solucin:

i) Si n 2 : 2 2 n 3n 1 2 2.2 3.2 1 16 6 1 9

9 la proposicin es
verdadera

ii) Aceptamos que para n m, 2 2 m 3m 1 es divisible por 9

iii) Debemos demostrar que para n m 1 , 2 2 ( m1) 3( m 1) 1 es divisible por 9


Demostracin:
2 2( m 1) 3( m 1) 1 2 2 m 2 3m 3 1 2 2.2 2 m 2 2.3m 4 9m

4( 2 2 m 3m 1) 9m
( )

y 4( 2 2 m 3m 1) son divisibles por 9, luego de ( )



como: 9m = 9

2 2 ( m1) 3( m 1) 1 es divisible por 9

9. Demuestre por induccin que la suma de los cubos de tres enteros consecutivos es
divisible entre 9
Sean n, n 1 y n 2 tres enteros consecutivos tal que:
Solucin: n 3 (n 1) 3 (n 2) 3 , nN

9 (I)
i) Para n 1 : 13 2 3 33 36 4.9

9

ii) Para n m aceptemos que, m 3 (m 1) 3 (m 2) 3 9 , n N



(
)
iii) Para n m 1 , se debe demostrar que:
( m 1) 3 ( m 2) 3 ( m 3) 3 9

Demostracin:
( m 1) 3 ( m 2) 2 ( m 3) 3 ( m 1) 3 ( m 2) 3 m 3 3m.3( m 3) 33

m 3 ( m 1) 3 ( m 2) 3 9m( m 3) 9.3

De ( ) :

= 9 +9 =9 + 9 +9 =9

6
(m 1) 3 (m 2) 3 (m 3) 3 9 , m N

10. Demostrar, utilizando el mtodo de induccin matemtica que si n N y n 3


2 n > 2n 1 ... ( I
)
Solucin:
i) Si n 3 : 2 3 2.3 1 , la proposicin es vlida.
ii) Si n m 3 , aceptemos que se cumple que: 2 m 2m 1 ( )
iii) Debemos demostrar que para n m 1 , se cumple que:
2 m 1 2( m 1) 1 2m 3

Demostracin:
De ( ) : 2.2 m 2( 2m 1) 2 m1 4m 2
2 m 1 ( 2m 3) ( 2m 1) (1)
Si m 3 2m 1 5 0
( 2m 3) ( 2m 1) 2m 3 (2)
De (1) y (2): 2 m 1 2m 3

11. Utilizando el primer principio de induccin matemtica, demuestre que:


1 n
1 a b 1

( a b)( a b 1) k o ( a b 1)
n k

ab
, n N , donde a , b 0,

Solucin: La igualdad dada podemos expresarla como:


n
1 a b 1 1 (a b 1) n 1 1

k 0 ( a b 1) k

ab

(a b)( a b 1) n (a b)( a b 1) n
(I)

Demostracin:

i) Si n 1 :
1
1 1 1 1 ab2

k 0 (a b 1) k

(a b 1) (a b 1) 1
1
a b 1 a b 1
(1)

(a b 1)11 1 ( a b 1) 2 12 (a b 2)(a b) ab2


y = = (2)
(a b)(a b 1) 1
(a b)(a b 1) ( a b)(a b 1) a b 1

es decir, la igualdad es vlida para n 1

7
ii) si n m , aceptemos la validez (hiptesis inductiva) que:

m
1 (a b 1) m 1 1
(a b 1)
k 0
k

( a b)(a b 1) n
( )

iii) Entonces, debemos demostrar que para n m 1 :

m 1
1 ( a b 1) m2 1

k 0

( a b 1) k (a b)( a b 1) m 1
( )

De: ( ) Como:

m 1
1 m
1 1 (a b 1) m1 1 1

k 0 ( a b 1) k

k 0 ( a b 1)
k

(a b 1) m 1

(a b)(a b 1) m

( a b 1) m1

(a b 1) m 2 ( a b 1) (a b) ( a b 1) m 2 ( a b) 1 ( a b)

( a b)( a b 1) m 1 ( a b)( a b 1) m1
m 1
1 ( a b 1) m 2 1
, es decir la igualdad es vlida n N y
k 0 ( a b 1) k ( a b)( a b 1) m 1
a , b 0,

k 1 n
n
a2 a a2
12.
k 1 1 a2
k
(1 a )(1 a 2 )
n , n y a 1

Demostracin:

k 1 0
1
a2 a2 a
i) Si n 1 :
k 1 1 a2
k
1 a 2

1 a2
. . . ( )

y para n 1 el segundo miembro de la ecuacin resulta:

a a2 a (1 a ) a
...(
(1 a )(1 a ) (1 a )(1 a ) 1 a 2
2 2

8
Problemas Resueltos

I. En los problemas 1 al 16 utilice el principio de Induccin Matemtica para probar


que la proposicin dada es verdadera para cada entero n 1

n
n(n 1)
1. K 1 2 3 ... n
k 1 2
n
n( n 1)
Solucin: Si : K 1 2 3 ... n
k 1 2
(I)

n
1(1 1)
i) Si n 1 : K 1
k 1 2
, la frmula ( I ) es vlida

ii) Supongamos que para n m la expresin ( I ) es correcta, es decir que :

9
m
m(m 1)
K 1 2 3 ... m
k 1 2
(1)

iii) Entonces, debemos demostrar que, si n m 1 , se cumplir que:


m 1
( m 1)(m 2)
K
k 1 2

( II )
lo cual es cierto puesto que de ( 1 )
m 1 m
m( m 1) m 1
( m 1)( m 2)
K K (m 1)
k 1 k 1 2
( m 1) K
k 1 m 1

n
2. (2 K 1) 1 3 5 ... (2n 1) n
k 1
2

n
Solucin: Si: (2K 1) 1 3 5 ... (2n 1) n
k 1
2
(I)

1
i) Para n 1 : (2 K 1) 2.1 1 1 1
k 1
2
( cierto )

m
ii) Para n m , aceptemos que (2 K 1) m
k 1
2
(1

)
iii) Entonces, se debe cumplir, la validez de ( I ) , para n m 1 , es decir:
m 1

(2 K 1) (m 1)
k 1
2

m 1 m
como: ( 2 K 1) ( 2 K 1) 2( m 1) 1 m 2m 2 1 m 2m 1
2 2

k 1 k 1

m 1
(2 K 1) (m 1)
k 1
2

n
3. 2 K 2 4 6 ... 2n n(n 1)
k 1

n
Solucin: Si: 2 K 2 4 6 ... 2n n(n 1)
k 1

1
i) Para n 1 : 2 K 2.1 1(1 1)
k 1
( cierto )

10
m
ii) Para n m , aceptemos que 2 K m(m 1)
k 1
(1

)
m 1
iii) Entonces, para n m 1 , debe cumplirse que: 2 K ( m 1)( m 2)
k 1

De ( 1 ):
m 1 m
como : p 2 K 2 K 2( m 1) m(m 1) 2( m 1) ( m 1)(m 2)
k 1 k 1

m 1
2 K (m 1)(m 2)
k 1

n
1
4. K
k 1
2
12 2 2 32 ... n 2 n( n 1)( 2n 1)
6
n
n( n 1)( 2n 1)
Solucin: Sea: K
k 1
2

6

(I)
1
1(1 1)( 2.1 1)
i) Para n 1 : K
k 1
2
12
6
( cierto )

m
m( m 1)( 2m 1)
ii) Para n m, K k 1
2

6

(1)
iii) Entonces, para n m 1 , debemos demostrar que
m 1
( m 1)( m 2)( 2m 3)
K
k 1
2

6
m 1 m
m(m 1)(2m 1)
como : K
k 1
2
K 2 (m 1) 2
k 1 6
(m 1) 2

m 1
( m 1) m( 2m 1) 6( m 1)
K
k 1
2

6
(m 1)(m 2)(2m 3)
=
6
m 1
(m 1)(m 2)(2m 3)
K
k 1
2

6

11
n
n( 2n 1)(2n 1)
5.
k 1
( 2k 1) 2 12 32 52 7 2 ... ( 2n 1) 2
3
(I )
Solucin:

1
1( 2.1 1)( 2.1 1) 1(1)(3)
i) Si n 1 : (2k 1)
k 1
2
12
3

3
1 , luego, la formula

es vlida para n 1

ii) Supongamos que para n m la expresin (I) es correcta, es decir que:


m
m( 2m 1)( 2m 1)
(2k 1)
k 1
2

3
(1)

iii) Entonces, debemos demostrar que si n m 1 , se cumplir que:

m 1
( m 1)(2m 1)( 2m 3)
(2k 1)
k 1
2

3
( II

Expresin que es cierta puesto que:

m 1 m

(2k 1) 2 (2k 1) 2 2(m 1) 1 2

k 1 k 1

De (1):

m( 2m 1)( 2m 1) ( 2m 1) m( 2m 1) 3( 2m 1)
= ( 2m 1) 2 =
3 3

( 2m 1)( 2m 2 5m 3) ( 2m 1)( m 1)( 2m 3)


= =
3 3

m 1
( m 1)( 2m 1)( 2m 3)
(2k 1) 2
k 1 3

6. Calcule y luego demuestre que el resultado obtenido es correcto, utilizando el principio


de induccin matemtica, la siguiente suma indicada:

( 2k )
k 1
2
2 2 4 2 6 2 82 10 2 ... ( 2n ) 2

Solucin:

( 2k )
k 1
2
2 2 4 2 6 2 82 102 ... ( 2n ) 2

12
n

( 2k )
k 1
2
(2.1) 2 ( 2.2) 2 ( 2.3) 2 ( 2.4) 2 ... (2.n )

= 2 2 (1) 2 2 2 ( 2) 2 2 2 (3) 2 2 2 ( 4) 2 ... 2 2 ( n ) 2

= 2 2 (12 2 2 32 4 2 ... n 2 )

n n
n ( n 1)( 2n 1)
( 2k ) 2 4 k 2 4.
k 1 k 1 6

n
2n ( n 1)(2n 1)
( 2k ) 2
k 1 3
(I)

Debe notarse, adems, que el resultado obtenido puede hallarse por propiedades;
puesto que:

n n
n( n 1)( 2n 1) 2n(n 1)(2n 1)
n

( 2k )
k 1
2
2 2 k 2 4 k 2 4.
k 1 k 1 6
=
3
n
2.1(1 1)( 2.1 1) 2( 2)( 3)
i) si n 1 : ( 2k ) 2 4
2 2
= 4 , luego, la
k 1 3 3
frmula es valida para n 1

ii) Supongamos que para n m la expresin (I) es correcta, es decir que:


m
2m( m 1)(2m 1)
( 2k ) 2
k 1 3
(1)

iii) Entonces, si n m 1 , debe cumplirse que:


m 1
2( m 1)(m 2)( 2m 3)
( 2k ) 2
k 1 3
m 1 m

( 2k ) ( 2k ) 2 2( m 1)
2 2
Es decir, como:
k 1 k 1
m 1
2m( m 1)( 2m 1)
De (1): ( 2k )
k 1
2
=
3
4( m 1) 2
m 1
2(m 1) m(2m 1) 6(m 1)
(2k )
k 1
2
=
3
=

2( m 1)( 2m 7m 6)
2

m 1
2(m 1)(m 2)(2m 3)
( 2k )
k 1
2

3

13
2
n
n( n 1)
6. k 1 2 3 ... n
3 3 3 3 3

k 1 2
2
n
n ( n 1)
Solucin: Sea:
k 1
k3
2
(I)

2
1
1(1 1)
i) Para n 1 :
k 1
k 3 13
2 12 1 (cierto)

2
m
m( m 1)
ii) Para n m : k 3 ...(1) , aceptamos la validez de la formula
k 1 2
(1)

2
m 1 m
m( m 1)
Como:
k 1
k 3

k 1
k 3 ( m 1) 3
2

( m 1) 3
2 2 2
m 1 m 1 m 1
= m 4( m 1) = m 4m 4) m 2
2 2 2

2 2 2

2
m 1
(m 1)(m 2)

k 1
k3
2

n
n( n 1)(6n 3 9n 2 n 1)
7. k 1 2 3 ... n
4 4 4 4 4

k 1 30
n
n( n 1)(6n 3 9n 2 n 1)
Solucin: Sea: k4
k 1 30
(I)
1
1(1 1)(6.13 9.12 1 1)
i) Para n 1 : k 1 1
4 4

k 1 30

ii) Aceptamos la validez de la frmula, para n m , de que:


m 1
(m 1)(6m 3 9m 2 m 1)
k4
k 1 30
(I)

iii) Entonces debemos verificar para n m 1 que:

m 1

( m 1)(m 2) 6( m 1) 3 9( m 1) 2 m
k4
k 1 30
m 1 m
m( m 1)( 6m 3 9m 2 m 1)
Como: k
k 1
4
k 4 ( m 1) 4
k 1
=
30
( m 1) 4

=

( m 1) m(6m 3 9m 2 m 1) 30( m 1) 3
30

14
( m 1)(6m 4 9m 3 m 2 m 30m 3 90m 2 90m 30)
=
30
( m 1)(6m 39m 91m 2 89m 30)
4 3
=
30
( m 1)( m 2)(6m 27m 2 37m 15)
3
=
30
m 1

( m 1)( m 2) 6( m 1) 3 9(m 1) 2 m

k 1
k 4

30

n
n( n 1)n 2)
8. k (k 1) 1.2 2.3 3.4 ... n(n 1)
k 1 3

n
n ( n 1)( n 2)
Solucin: Sea: k (k 1)
k 1 3
.

(I)

1
1(1 1)(1 2)
i) Para n 1 : k (k 1) 1(1 1)
k 1 3
(cierto)

m
m( m 1)( m 2)
ii) Para n m , aceptamos la validez de que k (k 1)
k 1 3
.

(I)

m 1
(m 1)( m 2)( m 3)
iii) Entonces, para n m 1 se tendr que: k (k 1)
k 1 3
m 1 m
Como: k (k 1) k (k 1) (m 1)(m 2)
k 1 k 1
m( m 1)( m 2)
= ( m 1)(m 2)
3
m 1
( m 1)(m 2)( m 3)
k (k 1)
k 1 3

n
9. (3k
k 1
2
3k 1) n 3
n
Solucin: Sea: (3k
k 1
2
3k 1) n 3
(I)
1
i) Para n 1 : (3k
k 1
2
3k 1) 3(1) 2 3(1) 1 13 (es cierto)

m
ii) Para n m , aceptamos la validez de : (3k
k 1
2
3k 1) m 3 (1)

15
Aceptamos la validez de (1)

m 1
iii) Entonces, para n m 1 , se debe cumplir que: (3k
k 1
2
3k 1) (m 1) 3
m 1 m
Como (3k
k 1
2
3k 1) (3k 2 3k 1) 3( m 1) 2 3( m 1) +1
k 1

m 3 3( m 1) 2 3( m 1) 1 m 3 3m 2 3m 1
m
(3k
k 1
2
3k 1) ( m 1) 3

n
10. k .2
k 1
k 1
1 ( n 1)2 n
n
Solucin: Sea: k .2
k 1
k 1
1 ( n 1)2 n

(I)
1
i) para n 1 : k .2
k 1
k 1
1.211 1 1 (1 1)21 (es cierto)

ii) Para n m , supongamos que (I) sea vlido, es decir que:


m

k .2
k 1
k 1
1 (m 1)2 m

(I)

m 1
iii) Entonces, para n m 1 se debe demostrar que: k .2
k 1
k 1
1 m.2 m 1

Demostracin:
m 1 m
Como: k .2 k .2 ( m 1).2
k 1 k 1 m 11
= 1 ( m 1)2 m (m 1).2 m
k 1 k 1
m 1

(2k )
k 1
2
= 1 ( m 1 m 1)2 m = 1 ( 2m )2 m 1 m.2.2 m
m 1
k .2
k 1
k 1
1 m.2 m 1

n
1 1 1 1 1 n
11. k (k 1) 1.2 2.3 3.4 ... n(n 1) n 1
k 1
Solucin:

1
1 1 1 1
i) Si: k (k 1) 1(1 1) 2 1 1
k 1
cumple para n 1

ii) Supongamos que se cumpla para n m (paso inductivo)

16
m
1 m
k (k 1) m 1
k 1
( )

iii) Debemos demostrar que para: n m 1 se cumpla que:

m 1
1 m 1
k (k 1) m 2
k 1
( )

m 1 m
Demostracin: Como: a
k 1
k a k a m 1 , entonces:
k 1
m 1 m
1 1 1 m 1
k (k 1) k (k 1) (m 1)(m 1 1) m 1 (m 1)(m 2)
k 1 k 1

a m 1

m 1
1 m ( m 2) 1 m 2 2m 1 ( m 1) 2 m 1
k (k 1)
k 1

( m 1)( m 2) ( m 1)( m 2)

(m 1)( m 2) m 2

m 1
1 m 1

k 1

k ( k 1) m 2

n
1 rn
12. ar k 1 a ar ar 2 ar 3 ... ar n1
k 1 1 r
( r 1) aR
n
1 rn
Solucin: Si: ar k 1
k 1 1 r
, r 1,0 , aR

(I)
Demostracin:
1
1 r1
i) Si n 1 : k 1
ar k 1 ar11 ar 0 a.1 a a
1 r
m
1 r m 1
ii) Aceptamos la validez que para n m : k 1
ar k 1 a
1 r

( )

m 1
1 r m 1
iii) Entonces, para n m 1 : k 1
ar k 1 a
1 r

( )
es la expresin que se debe demostrar luego:

m 1 m


k 1
ar k 1 ar k 1 ar
k 1
m 11
= a
1 rm
ar m a
1 r m (1 r )r m
1 r

1 r
( para . k m 1)

1 r m r m r m 1 1 r m 1
a a
1 r 1 r

17
m 1
1 r m 1
ar k 1 a
k 1 1 r

n
13.
k 1
(6k 2) 4 10 16 ... (6n 2) n(3n 1)
n
Solucin: Se pide que:
k 1
(6k 2) n (3n 1)
(I)
1
i) Si n 1 6k 2 6(1) 2 4 1(3.1 1) , es cierto
k 1
m
ii) Si: n m : acepamos que:
k 1
(6k 2) m(3m 1) (a )
iii) Se debe cumplir que para n m 1 :

m 1

(6k 2) ( m 1) 3( m 1) 1 ( m 1)(3m 4)
k 1
m 1 m


k 1
(6k 2) (6k 2) 6( m 1) 2
k 1
m 1

(6k 2) ( m 1) 3( m 1) 1
k 1
( m 1)(3m 4)

m 1 m

Demostracin: k 1
(6k 2) (6k 2) 6(m 1) 2
K 1

para . n m 1

m(3m 1) 6m 4 3m 2 m 6m 4 3m 2 7m 4
m 1 n
k 1
(6k 2) ( m 1)(3m 4)
k 1
(6k 2) n(3n 1)
1
1 1 1 1 1 1 n
14.
k 1 ( 2k 1)( 2k 1)

1.3 3.5 5.7 7.9
...
( 2n 1)( 2n 1) 2n 1
Solucin:

1
1 1 1 1
i) Si n 1 :
k 1 ( 2k 1)(2k 1) ( 2.1 1)(2.1 1) 1.3 2.1 1

ii) Para n m , aceptamos la validez de la formula, es decir que:


m
1 m

k 1

( 2k 1)( 2k 1) 2m 1

( )
iii) Entonces, se debe demostrar que para n m 1 que:

18
m 1
1 m 1 m 1

k 1

( 2k 1)( 2k 1) 2( m 1) 1 2m 3
( )

Demostracin:
m 1 m
1 1 1

k 1 ( 2 k 1)( 2 k 1)

k 1 ( 2k 1)( 2k 1)

2(m 1) 1 2(m 1) 1
m 1
1

k 1 ( 2k 1)( 2k 1)
m 1 m( 2m 3) 1

2m 1 ( 2m 1)( 2m 3) ( 2m 1)( 2m 3)
2m 2 3m 1 ( 2m 1)( m 1) m 1
=
(2m 1)( 2m 3) ( 2m 1)( 2m 3) 2m 3
m 1
1 m 1 m
1 m

k 1 ( 2k 1)( 2k 1)

2m 3

k 1

( 2k 1)( 2k 1) 2m 1

1
1 1 1 1 1 1 n
(4k 3)(4k 1) 1.5 5.9 9.13 13.17 (4n 3)(4n 1) 4n 1
15 . k 1

1
1 n
Solucin: Si: (4k 3)(4k 1)
k 1
=
4n 1

(I)

1
1 1 1
i) Si n 1 : , es vlido
k 1 ( 4k 3)( 4k 1) 1.5 1.4 1
m
1 m
ii) Si: n m , aceptamos que:
k 1 ( 4 k 3)( 4k 1) 4m 1
iii) Se debe cumplir que para n m 1

m 1
1 m 1 m 1

k 1

( 4k 3)( 4k 1) 4( m 1) 1 4m 5

Demostracin:

m 1 m
1 1 1

k 1

(4k 3)(4k 1) k 1 ( 4k 3)(4k 1) 4( m 1) 3. 4(m 1) 1

m 1
1 m 1 m( 4m 5) 1

k 1 (4k 3)( 4k 1)

4m 1 ( 4m 1)( 4m 5) ( 4m 1)( 4m 5)
4m 5m 1
2
( 4m 1)( m 1)
m 1
1 m 1

( 4m 1)( 4m 5) ( 4m 1)( 4m 5) k 1 ( 4k 3)( 4k 1) 4m 5
n
1 n

k 1 ( 4k 3)( 4k 1) 4n 1

19
16. (2n 1) + (2n 3) + (2n 5) + + (4n 1) = 3n 2

Solucin: La expresin: (2n 1) + (2n 3) + (2n 5) + + (4n 1) = 3n 2 , podemos


n
expresar lo como: (2n 2k 1) =
k 1
3n 2 (I)
Resultado que es correcto puesto que:

n n n

(2n 2k 1) =
k 1
k 1
2n + (2k 1) = 2n.n n
k 1
2
= 2n 2 + n 2 = 3n 2
n
i) Si n =1: (2n 2k 1) = 2.1 2.1 1 = 3 = 3.1 , luego la formula ( I ) es
k 1
2

correcta para n 1
ii) Supongamos que para n = m, la formula ( I ) es correcta, es decir que:

(2m 2k 1) = 3m
K 1
2
.(

1)
iii) Entonces, para n = m+1, la formula (I), tambin debe ser cierta, o sea se debe
m 1
cumplir que: 2(m 1) (2k 1)
k 1
= 3(m 1) 2

Demostracin:

m 1 m

2(m 1) (2k 1)
k 1
= 2(m 1) 2k 1 + 2(m 1) 2(m 1) 1
K 1
m
= (2m 2k 1) 2
k 1
+ 4m 3
m m
= (2m 2k 1) +
k 1
2 4m 3
k 1

= 3m 2m 4m 3 3(m 2 2m 1) 3(m 1) 2
2

m 1
2(m 1) (2k 1)
k 1
= 3(m 1) 2

17. Demostrar que x y es un factor de: x n y n , n N


Se dice que x y es un factor de x n y n , n N , siempre que:

Pn : x n y n = ( x y ).Qn1 ( x, y ) , Qn1 ( x , y ) es un polinomio de x e y.

i) si n 1 , es trivial que x y es un factor de x 1 y 1 , puesto que:


x1 y 1Q0 ( x, y ) ( x y ).1 x y , as P1 es cierta

ii) supongamos que para n m , x y es un factor de x m y m , esto es, que:

20
x m y m = ( x y )Qm1 ( x , y ) , para algn polinomio Q ( x, y )
( )

iii) Entonces, para n m 1 , debe cumplirse que: x m 1 y m 1 = ( x y )Qm ( x, y )

Demostracin:

Pm+1 : x m1 y m1 x m1 x m y x m y y m1 x m ( x y ) y ( x m y m )

x m ( x y ) y ( x y )Qm 1 ( x, y ) ( x y )( x m y.Qm 1 ( x, y ))
Expresin ultima que tiene a ( x y ) como un factor. Por consiguiente, la veracidad
de Pm implica la veracidad de Pm 1 . Por el principio de Induccin Matemtica
concluimos que, Pm es cierto para todo n 1

18. Todos los nmeros de la forma 7 n 2 n son divisibles por 5.


Debemos demostrar que: 7 n 2 n 5 5k , k N

i) La base de la induccin p (1) es claramente cierta, puesto que si n 1 :



p (1) 71 21 5 5

ii) Para el paso inductivo suponemos que para n m , p (m ) es verdadera, es decir


( )

que: p( m) 7 m 2 m 5

iii) Nuestra tarea es utilizar el supuesto anterior para que de alguna manera establecer
que:

P (m 1) : 7 m 1 2 m 1 es divisible por 5.

Demostracin:

p ( m 1) 7 m 1 2 m 1 7 m.7 2 m.2 7 m (5 2) 2 m.2 5.7 m 2.7 m 2.2 m


= 5.7 m 2( 7 m 2 m ) 5.7 m 2. 5 5 5 5


7 m 1 2 m 1 5 , puesto que 5.7 m es divisible por 5 y 7 m 2 m es divisible
por hiptesis.

19. Demuestre que 11n 4 n es divisible por 7 k N


Solucin: Debemos demostrar que: p(n ) 11n 4 n 7 7k k N

( I )
i) Si n 1 : p(1) 111 41 7 7 , la proposicin (I) es valida.

ii) Si
n m , aceptemos la validez de: p (m) 11m 4m 7
(1)

iii) Entonces, debemos demostrar que para n m 1 , p ( m 1) : 11m 1 4 m 1 es


divisible por 7.

21
Demostracin: Este problema es similar al anterior y la demostracin puede realizarse
de la misma forma o tambin como se muestra seguidamente:

p (m 1) 11 m1 4 m 1 11 m 1 11 .4 m 11 .4 m 4 m 1 (11 .11 m 11 .4 m ) (11 .4 m 4.4 m )


11(11m 4 m ) ) 4 m (11 4) 11 . 7 4 m.7 7 7 7


11 m 1 4 m 1 7

20. Demuestre que n 3 4 n 6 es divisible por 3, n N

n N

Solucin: Debemos demostrar que: p ( n ) n 3 4n 6 3 (I)

i) Si n 1 :

p (1) 13 4.1 6 3 3 , la proposicin (I) es cierta.

ii) Si n m , aceptamos la validez de: p ( m ) m 3 4m 6 3



(1)

iii) Entonces, debemos demostrar que para n m 1



p ( m 1) ( m 1) 3 4( m 1) 6 3

Demostracin:

p( m 1) ( m 1) 3 4( m 1) 6 m 3 3m 2 3m 1 4m 4 6
( m 3 4m 6) 3( m 2 m 1) 3 3 3



p ( m 1) p ( m 1) 3 4( m 1) 6 3

21. Demuestre que 2 4 n 1 es divisible entre 15 para n 1,2,3.....


Solucin: Debemos demostrar que 2 4 n 1 es divisible entre 15, es decir que:

p ( n ) 2 4 n 1 15 (I)

i) Si n 1

p (1) 2 4.1 1 16 1 15 15 , la proposicin (I) es verdadera

ii) Si n m , aceptamos que: p ( m ) 2 4 m 1 15



. (1)

iii) Luego, para n m 1 , debe cumplirse que:



p( m 1) 2 4 ( m 1) 1 15

Demostracin:

p( m 1) 2 4 ( m 1) 1 2 4 m.2 4 1 ( 2 4 m.16) 16) (16 1) 16( 2 4 m 1) 15


= 16. 15 + 15 = 15 + 15 = 15

2 4( m 1) 1

15 2 4m 1 15

22. Prubese que para cualquier nmero real p 1 y cualquier entero positivo n,
(1 p) n 1 np

22
Solucin: n pR , p 1 , (1 p) n 1 np
i) Si n = 1: (1 p )1 1 1. p , la proposicin es cierta.
ii) si n = m , aceptamos que (1 p ) m 1 mp , es vlida.
iii) Si Para n = m + 1, debemos mostrar que: (1 p ) m 1 1 (m 1) p
Demostracin:
De ( ii ) , si: (1 p) m 1 1 mp
(1 p ) m (1 p ) (1 mp)(1 p)
(1 p ) m 1 1 mp p mp 2

(1 p ) m 1 1 (m 1) p mp 2 (1)
Si p 1 p 2 0 mp 2 0
1 (m 1) p mp 2 1 (m 1) p (2)
De ( 1 ) y ( 2 ): (1 p ) m 1 1 (m 1) p

23. Prubese que n 3 3 es divisible entre 6.


Debemos demostrar que: p (n) n3 n, n 2 es divisible entre 6
(I)
o
i) Si n 2 : p(1) 2 3 2 6 6 , la proposicin (I) es verdadera.

o
ii) Si n m , aceptamos la validez de: p (m) m3 m 6 (1)

o
iii) Para n m 1 , debe cumplirse que: p (m 1) (m 1)3 ( m 1) 6

Demostracin:
3
p(m 1) (m 1) 3 ( m 1) m 3m 2 3m 1 - m - 1

o o o o o o
p ( m 1) = m3 m 3m 2 3m = + 3m(m 1) +3. = + =
6 6 2 6 6 6
o
(m 1)3 (m 1) 6

24. n 3 (n 1) 3 (n 2) 3 es divisible entre q


Solucin: Debemos demostrar que: p (n) = n 3 (n 1) 3 (n 2) 3 n N ( I

9
)

23
i) Si n 1 : p(1) 13 2 3 33 36 9.4 9 , la proposicin (I) es cierta.

ii) Si n m , aceptamos que: p(m) m 3 (m 1) 3 (m 2) 3 es divisible entre 9 ( 1 )


iii) Para n m 1 , debemos de mostrar que:
p ( m 1) ( m 1) 3 ( m 2) 3 ( m 3) 3 9

Demostracin:
3
p( m 1) ( m 1)3 ( m 2)3 ( m 3)3 m3 (m 1)3 (m 2)


+ ( m 3)3 - m 3
9

= + ( m 3 m )(( m 3) 2 m( m 3) m 2 ) = 9 + 3(3m 2 9m 9)

= 9 3.3( m 2 3m 3) = 9 + 9( m 2 3m = 9 + 9 = 9

(m 1) 3 (m 2) 3 (m 3) 3 = 9

25. Sean A1 , A2 , A3 ,., An n subconjuntos cualesquiera de un conjunto U.


Demuestre por induccin, que:
n n

A K A K
K 1 K 1

Solucin:
i) n = 2, el resultado es trivial, puesto que es una aplicacin de la ley de Morgan.
2 2

A K A1 A 2 A1 A 2 A1 A 2 Ak
K 1 k 1

ii)Supngase que P( n ) es verdad para alguna n 1, sean


A1 , A2 , A3 ,..., An , An 1 , n 1
conjuntos cualquiera de U.
n 1 n 1

iii) Para n = m +1, debemos demostrar que: AK A K


K 1 K 1
n 1 n

Solucin: Como : AK = ( A1 A2 A3 A4 ... An ) a n 1 A K An 1


K 1 K 1

Por lo tanto, si B = A1 A2 A3 A4 ... An se tiene:


n 1 n n n 1

A K A K An 1 = B A n 1 = B An 1 = A k A n 1 A k
K 1 K 1 k 1 k 1
n
A K 1
k = A K
K 1

26. Demuestre por induccin matemtica que si A1 , A2 , A3 ,., An son n


subconjuntos cualesquiera de un conjunto U, entonces:
n n

A
k 1
k = A
K 1
K

24
n n
Solucin: Debemos demostrar que: Ak A k , entonces:
k 1 k 1
2 2 2

i) Si n = 2 A k A k A1 A 2 A1 A 2 = A , es decir, la
k
k 1 k 1 k 1

proposicin es cierta
m m

ii) Si n = m aceptamos la validez de: AK A k


K 1 k 1


m 1 m 1

iii) Entonces, para n = m + 1, debemos demostrar que: A K A k


K 1 k 1

Demostracin:

m 1 m m m

AK
A K Am 1 A K Am 1 = A K Am 1 =
K ?1 K 1 K 1 k 1

m 1

A K
k 1

27. Demuestre por induccin matemtica que si A1 , A2 , A3 ,...., An , yB son


subconjuntos de un conjunto U, entonces:
n n
Ak B Ak B
k 1 k 1

n n

Solucin: Debemos demostrar que: Ak B Ak B


k 1 k 1

2
2

i) Si n = 1: Ak B = Ak B = ( A1 A2 ) B = ( A1 B ) ( A2 B)
k 1 k 1
2
A
k 1
k B , la proposicin es cierta.

m
m

ii) Para n = m aceptamos que: AK B AK B


K 1 K 1

(1)

m 1 m 1

iii) Entonces, para n = m + 1, debemos demostrar que: AK B AK B


K 1 K 1

Demostracin:


m1 m
AK B AKAm1B
K 1
m

= AK B Am 1 B


K1 K1
25
m m 1

= AK B Am 1 B = AK B
K 1 K 1

n n
AK B ( A K B
K 1 K 1

28. Demuestre por induccin matemtica que si A1 , A2 , A3 ,...., An , yB son


subconjuntos de un conjunto , entonces:
n n

K A B AK B
K 1 K 1

n n

Solucin: Debemos demostrar que: K A B AK B
K 1 K 1

2
i) Si n = 2:
AK B ( A1 A2 ) B ( A1 A2 ) ( A2 B) =
K 1
n

A 1 B
K 1

la proposicin es cierta .
m m
AK
ii) Si n = m: aceptamos que: B AK B
K 1 K 1

(1)
m 1 m 1

iii) Para n = m + 1 debemos demostrar que: K A B AK B
K 1 K 1

m 1 m

Demostracin: K A B
AK Am 1
B
k 1 K 1
m
m

= AK B Am 1 B = AK B Am 1 B =
K 1 K 1
m 1

A K B
K 1

m 1 n n

AK
B =
AK
B ( A K B)
K 1 K 1 K 1

29. Para todo nmero natural n >1, calcular el nmero de rectas determinadas por n puntos
situados en un plano y tal que cada tres de ellos no estn alineados. Demustrese por
induccin dicha afirmacin.

P1 L1 Solucin: N de Puntos
N de Rectas
P2 L1 2 puntos 1
2( 2 1)
P1 recta 1
2

26 P3
L2
L2
3(3 1)
3 puntos 3 rectas 3
2

recta Npts
3 rectas =
1 2
a nterio anterioes
4( 4 1)
4 puntos 6 rectas 6
2

N rectas
3
L1
P2
6 rectas = + 3 ( N de

anteriores
P3 L2
P1 L4

puntos anteriores)
L3
P4
L5 5 puntos 10 rectas:
5(5 1)
L6 10
2

27
N de N

10
rectasrectas 4pts
anterioes anterioes

Observamos segn la ley de formacin que con n puntos determinamos:
n( n 1) n( n 1) (n 1)n
rectas p( n) p (n 1)
2 2 2
Demostracin:

2( 2 1)
i) Si n = 2: p( 2) 1 , es decir, una recta, la proposicin es verdadera
2
m( m 1)
ii) Si n = m, aceptamos que: p(m) = es verdadera. (1
2
)
( m 1) m
iii) Si n = m + 1, debemos demostrar que: p ( m 1) =
2
n (n 1) n( n 1) 2n n (n 1)
p ( m 1) = p ( m9 m n
2 2 2

30. La suma de las medidas de los ngulos interiores de un polgono convexo de n lados
(sin hoyos ni aboyaduras) es n 2 , demustrelo por induccin matemtica.

Solucin:
Sea S i la suma de las medidas de los ngulos interiores de un polgono convexo de
i lados, donde:
S i = 180(i - 2)
(I)

i) Si i = 3 S 3 = 180(3 - 2) = 180 , la proposicin es verdadera


ii) Para i = m, aceptamos la validez de: S m = 180(m - 2)
(1)

28
iii) Para i m 1 , debemos demostrar que: S m 1 180( m 1) (2
)

Como: S 3 = 180 = 180 = 180 (3-3) + 180


S 4 = 360 = 180 + 180 = 180 (4-3) + 180
S 5 = 540 = 360 + 180 = 180 (5-3) + 180
S 6 = 720 = 540 + 180 = 180 (6-3) + 180
S 7 = 900 = 720 + 180 = 180 (7-3) + 180
. S m = 180 (m-3) + 180 = 180 (m-2)
Demostracin:

S m 1 S m 180 = 180 m 2 180 = 180 m 2 1 = 180 m 1

S m 1 180(m 1) S n 180 (n 2)

31. Demuestre, utilizando el principio de induccin matemtica, que el nmero de


n n 3
diagonales de un polgono convexo de n lados es:
2
Solucin: Sea d n el nmero de diagonales de un polgono de n lados, donde:
n ( n 3)
dn , n4
2

4( 4 3) 4.1
i) Si n = 4 d 4 2 = =2
2 2
m(m 3)
ii) Para n = m , aceptamos la validez de la formula: d m
2
(1)

( m 1)( m 2)
iii) Para n = m + 1, debemos demostrar que: d m 1
2
Observamos que para: n = 4 d 4 = 2 = 0 + (3-1)
n = 5 d 5 = 5 = 2 + (4-1)
n = 6 d 6 = 9 = 5 + (5-1)
n = 7 d 7 = 14 = 9 + (6-1)
n = 8 d 8 = 20 = 14 + (7-1)
Demostracin:
d m 1 d m m 1
m( m 3) m(m 3) 2(m 1) m 2 3m 2m 2
= m 1 =
2 2 2
d m 1 =
m m 2 ( m 1)( m 2)
2

2 2

32. Si D(n) es n 3 - 4n + 6, entonces es D(n) divisible por 3?

29
Solucin: Sea: D( n ) : n 4n 6 3
3

i) Si n = 1 13 4.1 6 3 3
ii) Si n = m, aceptamos la validez de la proposicin: m 3 - 4m + 6 = 3
(1)
iii) Para n = m + 1 debemos demostrar que: ( m 1) 3 4(m 1) 6 3

D(m+1) = (m+1) 3 - 4(m+1) + 6 = m 3 + 3m 2 + 3m + 1 - 4m - 4 +6

D(m+1) = m 3 - 4m + 6 + 3m 2 + 3m -3 = D(m) + 3(m 2 + m - 1) = 3 + 3


= 3

33. Determine para que valores naturales de n es justa la desigualdad:


2 n n 2 4n 5
Solucin:

Al evaluar la desigualdad para valores naturales de n, la desigualdad es falsa para


n 6.
Por ejemplo, si:

i) n = 5 2 5 5 2 4.5 5 es incorrecto
ii) n = 6 2 6 6 2 4.6 5 es incorrecto
iii) n = 7 2 7 7 2 4.7 5 128 > 49 + 28 +5 = 82 es correcto

34. Demuestre que es vlida n N , n 7 por el principio de induccin matemtica.

Solucin:

Demostraremos por el mtodo de induccin matemtica que para todo los valores de
n 7 , la desigualdad es verdadera.

i) Si n = 7, obtenemos : 2 7 128 7 2 4.7 5 82 , es decir, la desigualdad es correcta.


ii) Supongamos que la desigualdad es vlida para cierto valor de n = m, es decir que,

2 m m2 4m 5 ( 1 )
iii) Para N = m + 1, debemos demostrar que: 2 m1 m 2 6m 12

2.2 m 2 m 2 4m 5 2m 2 8m 10
2 m 1 (m 1) 2 4(m 1) m 2 2m 5
Como: m 2 2m 0 2 m 1 (m 1) 2 4(m 1) 5
Por lo tanto, la desigualdad es cierta para n = m + 1, m 7

35. Pruebe que P n : 2 n n + 20 es cierto para cada entero n 5


Solucin: Sea P( n ) : 2 n 20
n
, n5

30
i) P(5) : 2 5 20 32 > 25, luego la proposicin es vlida.
5

ii) Aceptamos que la proposicin P( m ) : 2 m 20 sea cierto para m 5


m
( )
m 1
iii) Para n = m + 1 debemos demostrar que: P( m1) : 2 m 21
Demostracin: De ( ) : 2.2 m 2(m 20)
2 m 1 2m 40 m 1 20 (m 19) ( )
m 5 , m 19 0 m 1 20 (m 19) m 1 20 (
)
De ( ) y ( ): 2 m 1 m 1 20

36. Sea S 0 0, S1 1 y S n 2 S n 1 S n para n 0 (esta es la sucesin de Fibonacci).


Entonces:
1 1 5 n 1 5 n
Sn
2

5 2

1 1 5 n 1 5 n
Solucin: Si: Sn
2
(I)
5 2

1 1 5 1 5
i) Si n = 1: S1
5 2

2

1
5
5 1 S1 1

1 1 5 m 1 5 m
ii) Si n = m, aceptamos que: Sm
2
(1)
5 2
iii) Para n = m + 1, debemos demostrar que:
1 1 5 m 1 1 5 m 1
S m 1
5 2 2

n
7
37. Si S1 1, S 2 2, y S n S n 1 S n 2 para n = 3, 4, 5, , demostrar que S n
4

m
7
Solucin: Si S1 1 , S 2 2 , y S n S n 1 S n 2 , n = 3,4,5 S m ( I )
4

2
7
i) S 2 2
4
m
7
ii) Para n = m S m (1)
4
m 1
7
iii) Para n = m + 1, debemos demostrar que S m1
4
Demostracin: Si S m S m 1 S m 2 , entonces:
m m 1 m 1
7 7 7 7
S m1 S m S m 1 = 1
4 4 4 4

31
m 1 m 1 2 m 1
7 11 7 7 7
S m 1 = S m 1
4 4 4 4 4

38. Demostrar que para cualquier nmero entero positivo n es vlida la igualdad:
2 3 n n n 1
sen sen sen .... sen 2 sen sen
3 3 3 3 6 6

n
k
Solucin: Si : sen
K 1 3
=
2 3 n n n 1
sen sen sen .... sen 2 sen sen (I)
3 3 3 3 6 6

2
i) Si n =1: sen 2 sen sen 2 sen cos 2 sen sen
3 6 3 6 6 6 3

2 m m m 1
ii) Si n = m: sen sen .... sen 2 sen sen (1)
3 3 3 6 6

k m 1
iii) iii) Si n m 1 , debemos demostrar que:
K 1 3
sen
2 (m 1) m2
sen sen .... sen(m 1) 2 sen sen
3 3 3 6 6
m 1
k m 1
k
Demostracin: sen = sen sen(m 1)
K 1 3 K 1 3 3
2 m
= sen sen .... sen 2sen(m 1)
3 3 3 3

m 1
k m (m 1)
sen
K 1 3
2 sen
6
sen
6
sen(m 1)
3

m ( m 1)
= 2 sen sen 2 sen( m 1) cos(m 1)
6 6 6 6

( m 1)
= 2 Sen
6 Senm 6 Cos( m 1) 6

( m 1) m
= 2 Sen
6 Sen 6 Sen 2 ( m 1) 6

m 2 m
= 2 Sen(m 1) Sen 6 Sen
6 6
1
2
= (m 1) (m 1)
2 sen 2s en cos
6 6 6

32
(m 1) (m 1) (m 1) (m 2)
= 2sen sen 2sen sen
6 2 6 6 6

n 5 5n 3 4n
39. Para n entero positivo, se tiene: E( n )
n2
Entonces:
A) E(n) es siempre divisible entre 24.
B) E(n) es siempre divisible entre 30.
C) E(n) genera un decimal peridico puro.
D) E(n) puede ser un racional no entero.
E) E(n) es siempre divisible entre 36.

n 5 5n 3 4n n(n 4 5n 2 4) n(n 2 4)(n 2 1)


Solucin: E ( n ) =
n2 n2 n2
n( n 2)(n 2)(n 1)8n 1)
E( n ) = E( n ) (n 2)(n 1)n(n 1) , n = 2,3,4
( n 2)
( I )
i) Si n = 2: E ( 2 ) 0 =

24

Si n = 3: E (3) (3 2)(3 1)3(3 1) 24 24 x1


24

Si n = 4: E ( 4 ) (4 2)(4 1)4(4 1) 120 24 x5


24

Si n = 5: E (5) (5 2)(5 1)5(5 1) 360 24 x15


24
ii) Si n = m, aceptamos la validez que:

E ( m ) (m 2)(m 1)m(m 1)

24
( )
iii) Para N = m + 1, debemos demostrar que: E ( m1) ( m 1)m( m 1)(m 2)
Demostracin: E( m 1) ( m 1)m( m 1)(m 2) = ( m 1)m( m 1)( m 2 4)

E ( m 1) = ( m 1) m( m 1)(m 2) 4( m 1) m( m 1)
( II )
o
m N , ( m 1)(m)(m 1) = 6
( )

( ) y ( ) en ( II ) y (m+1) =
+
4. 6 =
+
=
24 24 24 24

E ( m 1) =
24

40. Demostrar que 6 2 n 1 es divisible entre 35, para n = 1, 2,3


Solucin: P(n):
6 2 n 1 = 35 , n = 1,2,3,

33

i) n = 1 6 2.1 1 = 36 - 1 = 35 = 35



ii) n = m aceptamos que: 6 2 m 1 = 35 es verdadera 6 2 m 1 = 35

iii) Para n = m +1, debemos demostrar que: 6 2 ( m 1) 1 = 35




( )

Demostracin: p(m+1): 6 2( m 1) 1 6 2 m 2 1 = 6 2 m.6 2 1 = 6 2 m (35 1) 1




= 35.6 2 m 6 2 m 1 = 35 + 35 = 35

6 2 ( m 1) 1
= 35
6 2 m 1 = 35

41. 1.2 + 2.2 2 3.2 3 ... n.2 n 2 ( n 1)2 n 1

n 1
Solucin: Sea: S ( n ) 1.2 2.2 3.2 4.2 ... n.2 2 ( n 1)2
2 3 4 n

n
S ( n ) K .2 K 2 (n 1)2 n 1 (I)
K 1

1
i) Si n = 1: S (1) K .2 1.2 2 2 (1 1)2
K 1 2

K 1

m
ii) Si: n = m, aceptamos que S ( m ) K .2 2 ( m 1)2
K m 1
es verdadera
K 1
( )

m 1
iii) Para n = m + 1, debemos demostrar que: S ( m 1) K .2 K 2 m.2 m 2
K 1
m 1 m
Demostracin: S ( m 1) K .2 K .2 (m 1)2
K K m 1

K 1 K 1

S ( m 1) = 2 ( m 1).2 m 1 ( m 1)2 m 1
S ( m 1) = 2 ( m 1 m 1).2 m1 = 2 2m.2 m 1
S ( m 1) = 2 m.2.2 m 1 2 m.2 m 2

42. si n N , n 3 entonces, 2 n 2n 1

Solucin: p( n ) : 2 n 2n 1 , nN , n3

i) Para n = 3: 2 3 2.3 1 la desigualdad es cierta.


ii) Supongamos que para n = m (m > 3) la desigualdad: 2 m 2m 1 , es cierta
( )
iii) Entonces, demostremos que para n = m + 1: 2 m1 2(m 1) 1 2m 3

34
Demostracin: Si: 2 m 2m 1 2.2 m 2(2m 1) 2 m1 4m 2 ( )

Si: m N : 2m 1 0
2m 3 2m 1 2m 3 4 m 2 2 m 3 ( )

De ( ) y ( ) : 2 m 1 2m 3 2 m 2m 1

1 1 1 1 n
43. Si n N , entonces: 1 ... n
2 3 4 2 1 2

n
1 1 1 1 1 n
Solucin: nN : 2K 1
K 1
= 1 ...
2 3 4

2n 1 2

1
1 1 1
i) Si n = 1 1 , la proposicin es cierta
K 1 2 K 1 2. 1 1 2

n
1 m
ii) Si: n = m , aceptamos la validez que: 2K 1
K 1 2

( )
m 1
1 m 1
iii) Entonces para n = m + 1 debemos demostrar que: 2K 1
K 1 2
Demostracin:

n 1 n m
1 1 1 1 1

K 1 2 K 1

K 1 2 K 1

2(m 1) 1
= 2 K 1 2m 1
K 1

( )

1 1
m N : m 1 2m 1 3 2 0
2m 1 2

44. Dm(f + g) = Dmf + Dng sobre I


Demostracin: Para esta demostracin usaremos el Principio de Induccin
matemtica, el cual nos dice que cualquier conjunto S de entero positivos que:
i) Contiene a 1
ii) Contiene a m + 1 siempre que contiene a m es el conjunto de todos los
enteros positivos.
Sea S = { nZ+/Dn(f + g) = Dnf + Dng, sobre I}

i) Vemos que i S:Dm(f+g) = Dmf+Dmg sobre I ...(1)


ii) mS: Dm(f + g) = Dmf + Dng sobre I ... (1)
=> m + 1 S: Dm+1 f + Dm+1 g, que es lo que debemos demostrar.

35
Como Dm+1 (f + g) = D(Dm(f + g) ...(T: 4.13.2)
= D(Dmf + Dmg) ...(De (1))
= D(Dmf) + D(Dmg)= Dm+1 f + Dm+1 g ...(T: 4.13.2)

=> Dm+1 (f + g) = Dm+1 f + Dm+1 g sobre I

Teorema: (Regla de Leibniz para la n-sima derivada del producto de dos


funciones):

Si Dnf y Dng existen sobre un intervalo I, entonces Dn(fg) existe sobre I y


1
Dn(fg) = Dn-k f Dkg en I
n
k
k 0

(UNI: Primera Prctica. Ciclo: 72.II. Lima, Octubre de 1972).

Demostracin: Por el Principio de Induccin Matemtica:


1
i) 1S: D1(fg) = n
k Dn-k f Dkg = D1-0f D0g+
1
0
k 0

D1-1 f D1g
1
1

donde: D1f = Df y D0f = f, D0g = g


=> D(fg) = Df.g + f Dg = f Dg + gDf ...(verdadero)
m
ii) Si n = mS: Dm(fg) = Dm-kf Dkg ... (1)
m
k
k 0

m 1
=> Dm+1 (fg)= m 1
k Dm+1-kf dkg, que es lo que tenemos que demostrar.
k 0

m
Como: Dm+1(fg) = D(dm(fg)= D D
m
k
mk
f D k g
k 0
m
= D D mk f
m
k Dkg
k 0

D mk f
m
= m
k D (D k g ) D k gD(D mk f )
k 0

m
= D m k f
m
k D k 1g D k g D m 1 k f
k 0

m m
= m
k m+1-k
D k
fDg+ m
k Dm-kf Dk+1g
k 0 k 0

36

D D m 1
D
m
f D0g f D k g + f Dk+1g+ f
m m 1 0 m m 1 k m m-k
= 0 k k
m
m
k 1 k 0
Dm+1g

Por propiedades de sumatorias y de nmeros combinatorios

D D
m 1 m 1
= 0m 1 Dm+1f.g + f Dk+1g + f Dk+1g+ f
m m-k m m-k m 1
k 1 k m 1
k 0 k 0

Dm+1g

Agrupando:

Dm+1f D0g + m
k 1 k
m 1
Dm-kf Dk+1g + D0f Dm+1g
m 1 m m 1
= 0 m 1
k 0

mm1 1m1 m1
m10 mk 1 0m 1
=


DfgDf gDfg
0 k0k1 m1

37
mm1 1m1 m1
m10 m1k 0m 1
=


DfgD fgD g
0 k1k m1
n 1 m 1
m1 kk
=
k D fDg l.qd.
k 0
Teorema: Demustrese que:

m! m n
n m m n! I ; Si n m
Dl
0 ; Si n m

Demostracin: Por el Principio de Induccin Matemtica:

a)

n m
Si n < m S = n Z / D I
m!
m n
I m n, n Z

m! m m 1! m 1
i) Si 1 S: D1Im = Im 1 I mIm 1
m 1! m n!

38
DIm = mIm-I 1 S
m! m k
ii) Sea KS DkIm= m k ! ! ...(1) K+1 S y

m!
Dk+1lm = m k 1 ! Im-(k+1) ... (2)
m!
Dk+1Im = D(DkIm) = D I m k ... De (I)
m k!

=
m!
m k!

D Im k m!
m k!
m k I m k 1

m! m k
Im k 1
m!
= Im k 1
m k m k 1 ! m k 1!
I m k 1 k 1 S
m!
Dk 1I m
m n !
m!
n m
Luego: D I I m n Si n < m
m n !

b) Si n > m
Hagamos: n = m + r / r Z+
m! m n
DnIn = D(m+r) Im = Dr[DmIm] = Dr I
m n !

m! 0 m!
I Dr .1 Dr m! Dr 1 D m!
= Dr O! 1

Como: m! = Cte. D(m!) = 0 Dr-1 (0). = 0


DnIm = 0 Si n > m.
n
Teorema: Demostrar que: i) Dn sen = sen x
2

D2nsen = (-1)nsen.

Demostracin:
1.
Si y=sen yi = cosx = sen x sen x ...(1)
2 2

2
yn = -senx = sen (x+)= sen x ...(2)
2

3
y(3) = cosx = sen x ...(3)
2

39
4
y(4) = senx = sen(x+2) = se x ...(4)
2

:.......................
........................
........................
n
Deducimos que: y(n) = sen x , entonces, debemos demostrar que: y(n+1) = sen
2

n 1
x
2

n n 1
Si y(n) sen x sen x l.q.q.d.
2 2

(n) n
Si y = senx y sen x
2

Apreciamos de y, y, y, y(4) , ..., etc.


Y = senx y = senx y = -senx (-1)2/2 senx

Y(4) = senx = (-1)4/2 senx y(6) = (-1)6/3 senx y(2n) = (-1)n senx.

D2n sen = (-1)n sen

Teorema: Demostrar que:


n
i) D(n)cosx = cos x , ii) D2ncos = (-1)ncos
2

Demostracin: Si y = cosx

y= -senx = cos x
2

2
y= -cosx = cos(x+) = cos x =(-1)2/2cosx
2

3
y= senx = cos x
2

4
y(4) = cosx = cos x = (-1)4/2 cosx.
2

................

40
................
................
n
y(n) = cosx x y D2ny = (-1)n y = (-1)n cos
2

m m 1
Es decir, si y(n) = cos x y(m+1) = cos x
2 2

m m
Y(m+1) = D(Dmy) = D cos x sen x
2 2

m
= cos x
2 2

m 1
y(m+1 = cos x
2

m 1 m 1
es decir: D cos x cosx
2

n n
i) D cos x cos x
2

Tambin apreciamos:
D2n cosx = (-1)n cosx .

45. Halle la derivada n-sima de las siguientes funciones:


a) y = sen a x b) y = cos mx c) y = sen2x
Solucin:
1
a) Si y = senx y= a cos a x = a sen a x
2

2
Y= -a2 sen a x = a2 sen ax
2

3
Y= -a3 cos a x = a 3 sen ax
2

41
n
y n an sen a x
2

Se deja al lector para que verifique este resultado por Induccin Matemtica.


b) Si y = cos mx = m2 cos mx
2

2
Y = -m2 cos mx = m2 cos mx
2

3
Y=m3 sen mx = m3 cos mx
2

n
y n m n cos mx
2

0
c) Si: y=sen2x y=2sen x cos x=sen 2x = 21-1 2x
2

1
Y=2 cos 2x = sen22-1 sen 2x
2

1
Y=-4 sen 2x = 23-1 sen 2x
2

3
Y4 = - 8 sen 2x = 24-1 sen 2x
2

n 1 n
y(n) = n2-1 sen 2x yn-1 = 2nsen 2x
2 2

Demostracin:
n 1 n 1
Si y(n) = 2n-1 sen 2x D y(n) = D 2n-1 sen 2x
2 2

n 1 n 1
y(n-1) = 2n-1. cos 2x . 2 = 2n+1 sen 2x
2 2 2

n 1 2n sen 2x n
y l.q.q.d.
2

42
43
PROBLEMAS PROPUESTOS

I) Si n es un nmero natural por induccin matemtica la veracidad o falsedad de:


n
n(3n 1)
1. (3k 2) = 1 + 4 + 7 + 10 + +(3n 2) =
K 1 2
n
2. (4k 2) =
K 1
2 + 6 + 10 + 14 + + 4n 2 = 2n 2
n
n(5n 1)
3. (5k 3)
K 1
= 2 + 7 + 12 + 17 + + 5n 3 =
2
n 3

4. (2k 1) = 13 33 53 + (2n 1) 3 = n 2 (2n 2 1)


K 1
n 3

5. ( 2k )
K 1
= 2 3 4 3 6 3 + ( 2n) 3 = 2n 2 (n 1) 2
n K

6. 2
K 1
= 2 2 2 2 3 + 2 n = 2( n 2 1)

7. n 2 es divisible por 2
2

8. ( n 3 n) es divisible por 3
9. Si n es un nmero natural impar, entonces n( n 1) es divisible por 24
n n
10. ( k ) k
3 3

k 1 k 1

II) Probar cada una de las proporciones siguientes, usando induccin matemtica.

1. 5 n 2 n es divisible por 3.
2. n 3 2n es divisible por 3.
3. 6 n 1 4 es divisible por 5.
4. 9 n 1 es divisible por 6.
5. n 3 n es divisible por 3.
6. Si n es un nmero natural impar, entonces n( n 1) es divisible por 24.
7. n n 1 n 2 es divisible por 3.
8. n 3 5 es divisible por 3.
9. 3 n 2n 1
10. 2n 2 n
11. a n b n es divisible por a b.
12. a 2 n 1 b 2 n 1 es divisible por a b.

13. a 2 n b 2 n es divisible por a b con a, b y a b 0.

44
1.a) Decida para qu valores positivos de n es verdadera la desigualdad: 3n n 2 1
b) Demuestre lo que se establece en (a).
2. Demuestre que n 2 n 1 , n 2

3. Demuestre que n!> n 2 para n 4

4. Repita el ejercicio (21) para 4n n 2 7

5. Prubese que para cualquier nmero real p 1 y cualquier entero positivo


n, (1 p ) n 1 np

a2 a n
8. Sea a1 1 , para todo n 2 hagamos a n a1 ... n 1 . Demostrar que: a n
2 n 1 2
n 2, n N
9. Trtese de obtener una formula que de el nmero de regiones en que queda dividido un
plano por n rectas, no habiendo dos de elles paralelas ni tres de ellas concurrentes.
Demustrese que la formula obtenida es correcta.

10. En un plano hay n rectas, no habiendo dos de ellas paralelas y tres de ellas
concurrentes. Determine y demuestre que el nmero de puntos de interseccin es:
n( n 1)
2
3 7
11. Dados a1 1, a 2 2, y 2a n a n 1 a n 2 , para n = 3,4,5, Demostrar que an
2 4
para n = 3,4,5,

12. Sea p(n) una proposicin que se sabe cierta para n n0 , donde n0 1, y supngase
p(k) p(k+1). Demostrar que p(n) es cierta para todo n n0 .

13. Sea {x n / n N } un conjunto de nmeros reales tales que:


x1 600 : x n 1 x n 60 , 1 n N probar por induccin matemtica que
x n 4 n N
(2 3 ) n ( 2 3 ) n
14. Probar que para todo entero n N , la expresin An es nmero
2
entero positivo.

15. Dado el conjunto {a n / n N } de nmeros definidos de la siguiente manera recursiva:


a a n2
a1 0, a1 1 a n n 1 , 3 n N
2
2 2 (1) n
Demostrar por induccin matemtica que : a n n 1 , n = 1,2,3,
3 3 2

16. Demostrar que para todo entero n 1, si senx 0

45
n
sen( 2nx)
cos(2k 1) x
K 1 2 senx
17. Demostrar que:

n 1 nx
Sen xSen
Senx Sen2 x ... Sennx 2 2
, x 2k
x
Sen
2
18. Demostrar que:
nh n 1
Sen( x
) Sen( h)
Senx Sen( x h) Sen( x 2h) ... Sen( x nh) 2 2
, h 2k
h
Sen
2
19. Una pila de bolas se arregla en forma de pirmide. Hallar una formula para el nmero
de bolas de pirmide cuando la base es:
a) Un triangulo equiltero que tiene n bolas por lado
b) Un cuadrado que tiene n bolas por lado.

1 1 1 1
20. Demostrar que: ...
9 25 ( 2n 1) 2
4
21. Aplicando el mtodo de induccin matemtica, demuestre que la desigualdad
1 1 1 1 13
... es justa para todos los n >1 naturales.
n 1 n 2 n 3 2n 14

Utilizando el mtodo de induccin matemtico, demuestre que n N :

22. n(2n 2 3n 1) se divide exactamente por 6.

23. n 5 n se divide exactamente por 5.

24. 4 n 15n 1 se divide por 9.

25. n 7 n se divide por 7.

26. 11n 2 122 n 1 se divide por 133.

Para qu valores naturales de n es correcta la desigualdad?

27. 3 n 2 n 7n

28. n! 2 n 1

29. 2 n .n! n n

2n
2n 1
30. ( 2n)!
2
n
n 1
31. n!
2

46
n
(n 1)(2n 1)
32. (n!)
2

6
33. Demuestre que: n N , n 3 n es par.

En los ejercicios siguientes demuestre o refute:

34. La suma de dos enteros pares es siempre par.

35. La suma de dos enteros impares es un entero impar.

36. La suma de dos primos nunca es primo.

37. La suma de dos enteros consecutivos es impar.

38. La suma de tres enteros consecutivos es divisible por 3.

39. La suma de cuatro enteros consecutivos es divisible por 4.

40. La suma de cinco enteros consecutivos es divisible por 5.

41. Demuestre que el producto de dos enteros pares en un entero par.

42. Demuestre que el producto de un entero par con un impar es par.

43. Demuestre que el producto de dos enteros positivos consecutivos es par.

44. Demuestre que el producto de tres enteros positivos y consecutivos es mltiplos de 6.

45. Demuestre que el producto de cuatro nmeros consecutivos es mltiplo de 24.

46. Para n entero positivo, se tiene:


n 5 5n 3 4 n
E( n)
n2
Entonces:
A) E (n ) es siempre divisible entre 24.
B) E (n ) es siempre divisible entre 30.
C) E (n ) genera un decimal peridico puro.
D) E (n ) puede ser un racional no entero.
E) E (n ) es siempre divisible entre 36.
47. Buscar una expresin igual al producto
1 1 1 1
1 1 1 ...1 2
4 9 16 n
Valido para n 2 y demostrar por induccin matemtica que efectivamente son iguales

Utilizando el principio de induccin matemtica demuestre que:

47
48. 2a 4a 6a ... 2na n(n 1)a

1
49. 2 5 8 ... 3n 1 n(3n 1)
2
50. Si n N y n 4 : 2 n n!

51. Demuestre que toda la suma de dinero mayor que 7 kopekes se puede cambiar
utilizando solo los modelos de tres kopekes y de 5 kopekes.

52. Prubese que si 0 x 1 y n es un entero positivo


Cualquier, 0 x n 1
34. Considere la proposicin p(n) = 11 n - 4 n es divisible por 7 n. Es cierta?
justifique.

48

Anda mungkin juga menyukai