6
2.- Qn: 2 n n 20
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.
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
de dos.
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
( )
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)
Demostracin:
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,
Demostracin:
de ( ) :
= 24 + 4. 6
= 24 + 24 = 24
( m 1)(m 2)( m 3)( m 4) 24
4
S m 1 (m 1) 4 6(m 1) 3 11(m 1) 2 6(m 1)
( m 1) 4 6( m 1) 3 11( m 1) 2 6( m 1) 24
, 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
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 ...
( )
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
5
32 ( m1)1 40( m 1) 67 64
i) Si n 2 : 2 2 n 3n 1 2 2.2 3.2 1 16 6 1 9
9 la proposicin es
verdadera
4( 2 2 m 3m 1) 9m
( )
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
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
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
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)
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
( )
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
. . . ( )
a a2 a (1 a ) a
...(
(1 a )(1 a ) (1 a )(1 a ) 1 a 2
2 2
8
Problemas Resueltos
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
9
m
m(m 1)
K 1 2 3 ... m
k 1 2
(1)
( 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
m 1
( m 1)(2m 1)( 2m 3)
(2k 1)
k 1
2
3
( II
m 1 m
k 1 k 1
De (1):
m( 2m 1)( 2m 1) ( 2m 1) m( 2m 1) 3( 2m 1)
= ( 2m 1) 2 =
3 3
m 1
( m 1)( 2m 1)( 2m 3)
(2k 1) 2
k 1 3
( 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 (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
( 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
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)
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
16
m
1 m
k (k 1) m 1
k 1
( )
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
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
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
20
x m y m = ( x y )Qm1 ( x , y ) , para algn polinomio Q ( 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
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:
= 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.
21
Demostracin: Este problema es similar al anterior y la demostracin puede realizarse
de la misma forma o tambin como se muestra seguidamente:
11 m 1 4 m 1 7
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.
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
i) Si n 1
p (1) 2 4.1 1 16 1 15 15 , la proposicin (I) es verdadera
Demostracin:
= 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
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
23
i) Si n 1 : p(1) 13 2 3 33 36 9.4 9 , la proposicin (I) es cierta.
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
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
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
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
m 1 m 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
n n
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
(1)
m 1 m 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
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)
28
iii) Para i m 1 , debemos demostrar que: S m 1 180( m 1) (2
)
S m 1 180(m 1) S n 180 (n 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
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
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
Solucin:
Demostraremos por el mtodo de induccin matemtica que para todo los valores de
n 7 , la desigualdad es verdadera.
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
30
i) P(5) : 2 5 20 32 > 25, luego la proposicin es vlida.
5
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.
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
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
6 2 ( m 1) 1
= 35
6 2 m 1 = 35
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
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
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)
D1-1 f D1g
1
1
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
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
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
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
Y(4) = senx = (-1)4/2 senx y(6) = (-1)6/3 senx y(2n) = (-1)n senx.
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 .
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
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.
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
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 .
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
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.
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.
48