FACULTAD DE INGENIERÍA

ÁLGEBRA

FUNDAMENTOS DE INDUCCIÓN MATEMÁTICA

1
GUSTAVO BALMORI NEGRETE 13 febrero 2015
INDUCCIÓN MATEMÁTICA

Giuseppe Peano
Este científico matemático nació en Cuneo
Italia, el 27 de agosto de 1858.
Cursó sus estudios en la Facultad de Ciencias
de la Universidad de Turín, donde más tarde
ocupó el puesto de profesor de Cálculo.
Investigó en diferentes áreas de la Ciencias
Exactas y de la Lógica Matemática.
Es conocido por sus trabajos:
Formulario de Lógica Matemática.
Principios de Lógica Matemática.
El Concepto de Número.
Principios de Aritmética.
Teoría de Conjuntos. Espacios Vectoriales.
Murió en Turín Italia, el 20 de abril de 1932. 2
 PROBLEMA 01

Sólo es un sumando

3
 n  n  1 2n  1
PROBLEMA 02

 n1
1  2  3  ...  n 
2 2 2 2

6
1 2  3
P(1): 1 
2
sólo es un sumando  11
6
k  k  1 2k  1
P(k): 1  2  3  ...  k 
2 2 2 2 HIM
6
Por demostrar (tesis) P(k+1):

 k  1  k  2  2k  3
1  2  3  ...  k  (k  1) 
2 2 2 2 2

6
Demostración a partir de la HIM
k  k  1 2k  1
1  2  3  ...  k  k +1
2 2 2 2
 2
  k +1  2

6
k  k  1 2k  1  6  k  1
2


6
 k  1  k  2k  1  6  k  1 
 4
6
 Continua PROBLEMA 02

 k  1  k  2 k  1  6  k  1 

6
 k  1   k  6k  6 
2 k 2


6
 k  1  2k 2  7k  6 

6

 k  1 k  2  2k  3
1  2  3  ...  k  (k  1) 
2 2 2 2 2

5
 n  n  1
2 PROBLEMA 03
2

1  2  3  ...  n 
3 3 3 3
 n1
4
1 21  1 2 11
P(1): 1 3 Sólo es un sumando 
4
k 2 k  1 2
P(k):
1 3  2 3  3 3  ...  k 3  HIM

Por demostrar (tesis) P(k+1):

4
 k  1  k  2
2 2

1  2  3  ...  k   k  1 
3 3 3 3 3

4
Demostración a partir de la HIM
k 2 k  1 2
1 3  2 3  3 3  ...  k 3  k +1  3   k +1  3
4

k 2 k  1 2  4  k  1 3
 6
4
 Continua PROBLEMA 03

k 2  k  1 2  4  k  1 3

4
 k  1 2  k 2  4  k  1 

4
 k  1 2  k 2  4 k  4

4

 k  1 2  k  2  2
1  2  3  ...  k   k  1 
3 3 3 3 3

7
 PROBLEMA 04

2 > 100
n

P(1): 21 > 100 Falso Por demostrar, tesis P(k+1):

P(2): 22 > 100 Falso 2 k+1> 100

P(3): 23 > 100 Falso A partir de la HIM
P(4): 24 > 100 Falso (2) 2 k > (2) 100
P(5): 25 > 100 Falso
2 k+1 > 200
P(6): 26 > 100 Falso 2>1
P(7): 27 > 100 Verdad 200 > 100
128 > 100 2 k+1 > 200 > 100
n≥7 2 k+1 > 100
P(k): 2k > 100 HIM Se verifica para todo n ≥7 8
 PROBLEMA 05

3 es factor de n3 – n + 3 n 1

P(1): 13 -1 + 3 = 3 verdadero

P(k): k3 – k + 3 tiene al 3 como factor. HIM

Por demostrar P(k+1): tesis

3 es factor de (k + 1)3 - (k + 1) + 3
Demostración a partir de la tesis:
(k3 + 3k2 + 3k + 1) - (k + 1) + 3

K3 – k + 3 + 3k2 + 3k

(k3 – k + 3 ) + 3(k2 + k) ; (HIM) + factor de 3

9
 9 es factor de 10 n+1 + 3 (10n) + 5  n 1 PROBLEMA 06

P(1): 101+1 + 3(10 1 ) + 5 = 135 ; 135 = 15 x 9

P(k): 10 k+1 + 3 (10 k ) + 5 tiene al 9 como factor. H I M

Por demostrar, tesis: P(k+1) :
9 es factor de 10 k+2 + 3 (10 k+1 ) + 5
Demostración a partir de la tesis:

10 (10 k+1 ) +10 ( 3 ) (10k ) + 5

(1 + 9 ) (10 k+1 ) + (1 + 9 ) ( 3) (10k ) + 5

10 k+1 + 3 (10 k ) + 5 + 9(10 k+1 ) + 9 ( 3 ) 10 k

( 10 k+1 + 3 (10 k ) + 5 ) + 9 ( 10 k+1 + ( 3 ) 10 k ) ; ( HIM ) + factor de

10
 PROBLEMA 07

 1
n
1
 1   1   1  ...   1 
1 2 3 n

2
(1)1  1
P(1) : sóloesun sumando (1)  1

2
 1  1
( 1) k
1
P(k ) : (1)  (1)  (1)  ...  (1) 
1 2 3 k
HIM
2
Por demostrar (tesis) P  k  1 :
k 1
k 1 ( 1) 1
(1)  (1)  (1)  ...  (1)  (1) 
1 2 3 k

2
Demostración a partir de H I M

k +1 (1)k  1 k +1
(1)1  (1)2  (1)3  ...  (1) k (-1 )  (-1)
2
11
 Continua PROBLEMA 07

(1)k  1 2(1) k 1
(1)1  (1)2  (1)3  ...  (1) k  (1) k 1  
2 2
(1)k  1  2(1) k 1
(1)1  (1)2  (1)3  ...  (1) k  (1) k 1 
2
(1) k (1)  2(1) k 1  1

2
(1)k (1  2(1))  1

2

(1) k (1)  1

2

(1)k 1  1
(1)1  (1)2  (1)3  ...  (1) k  (1) k 1 
2
12
 PROBLEMA 08

1 1 1 1 7 1 
1  1  2  3  ...  n 1  1  n 
7 7 7 7 6 7 
76
P(1): 1    sólo es un sumando  11
67
1 1 1 1 7 1  HIM
P(k):
1  1  2  3  . . .  k  1  1  k 
7 7 7 7 6 7 
Por demostrar, tesis, P(k+1):

1 1 1 1 1 7 1 
1  1  2  3  . . .  k  1  k  1  k  1 
7 7 7 7 7 6 7 
Demostración a partir de la HIM:

13
 Continua PROBLEMA 08

1 1 1 1 1 7 1  1
1  1  2  3  ...  k  1  k  1  k   k
7 7 7 7 7 6 7  7

7  7 k 1 6  1 
  k   k 
6 7  6 7 

7 k 1 7  6

6 7 k 

1  7 k  1 1 
 
6  7 k 

14
 Continua PROBLEMA 08

1  7 k  1 1
  k 
6 7 

1 7 k 1 1
  k  k
6 7 7 

1 1
 7  k 
6 7 
1 7  1 
 7    k 
6 7  7 

1 1 1 1 1 7 1 
1  1  2  3  ...  k  1  k  1  k  1 
7 7 7 7 7 6 7  15
 PROBLEMA 09

1 1 1 1
   ...   n  2
1 2 3 n
1 1
P(2):   2 sólo son dos sumandos HIM
1 2
2 1
 2
2

2 1 2

2 1 Elevando al cuadrado

2 1 Se verifica la H I M
16
 1 1 1 1 Continua PROBLEMA 09
   ...   k
P(k): 1 2 3 k  HIM

1 1 1 1 1
P(k+1):    ...    k 1  Tesis
1 2 3 k k 1
1
Demostración:
 k 1  k
Proposición  - k 1
1  k 1  k 1  k 
1   k  1  k  k  1
0  k  k k 2

k k  k
2
Elevando al cuadrado

k2  k  k2
k0 17
 PROBLEMA 10
 1  1  1   1  1
 1    1    1   ...  1    n 2
 2  3 4   n  n

 1 1 1 1
P (2) :  1    sólo es un factor  
 2 2 2 2

 1  1  1  1 1
P (k ) :  1    1    1   ...  1    HIM
 2  3 4  k k

Por demostrar: P(k+1). Tesis

 1  1  1  1  1  1
P (k  1) :  1    1    1   ...  1    1   
 2  3  4   k  k  1  k 1
18
 Continua PROBLEMA 10
Tesis

 1  1  1  1  1  1
 1    1    1   ...  1    1  
 2  3 4  k  k  1  k  1
Demostración a partir de la HIM
 1  1  1  1  1   1  1 
 1    1    1   ...  1    1-      1- 
 2  3  4   k  k + 1 k
   k + 1 

 1 k  1  1 
   
k
  k  1 
 1  k 
   
k  k  1 

 1  1  1  1  1  1
 1    1    1   ...  1    1   
 2  3 4  k  k  1  k  1
19