TEMAS SELECTOS DE MATEMÁTICAS

PROF. JESÚS PALACIOS PLASENCIA

ALUMNO 1 CLAVE 1:

ALUMNO 2 CLAVE 2:

ALUMNO 3 CLAVE 3:

ALUMNO 4 CLAVE 4:

Fecha de entrega:
JUEVES 14 DE NOVIEMBRE DE 2019

Usando el método de inducción matemática demuestre lo que se pide en cada caso:

n  n  1 2n  1
1. P  n  :12  22  32  ...  n2 
6
[SOLUCIÓN]
n  n  1 2n  1
Paso [1] - ¿Es cierta P  n  :12  22  32  ...  n 2  cuando n  1 ?
6
11  1  2 1  1
P 1 :12 
6
1 2  3
P 1 :1   1  1  P 1 es verdadera.
6
Paso [2] – Hipótesis de inducción
k  k  1 2k  1
Suponemos que es verdadera P  k  :12  22  32  ...  k 2  k  …(1)
6
Paso [3] – Demostrar P  k  1 k 

 k  1   k  1  1  2  k  1  1
P  k  1 :12  22  32  ...   k  1 
2

6
 k  1 k  2  2k  3
P  k  1 :12  22  32  ...   k  1 
2
… (2)
6
 k 1 -ésimo

Sumamos el  k  1  ésimo término en ambos miembros de la hipótesis (1)

RHS

k  k  1 2k  1
12  22  32  ...  k 2   k  1    k  1
2 2

6
Trabajamos únicamente con RHS
k  k  1 2k  1 k  k  1 2k  1  6  k  1
2
 k  1 k  2k  1  6  k  1  k  1 2k 2  k  6k  6
RHS    k  1   
2

6 6 6 6
 
k  1  2k 2
 7 k  6 
 k  1
 2k 2
 4k  3k  6    k  1 2k  k  2   3  k  2    k  1  k  2  2k  3   k  1 k  2  2k  3

RHS 
6 6 6 6 6
Hemos llegado a la misma expresión del RHS de (2).
Por tanto, concluimos que P  k  1 es verdadera y que P  n  es válida para todos los naturales.

© 2019: JESÚS PALACIOS PLASENCIA/TSM/EVAL3/TAREA 1

 [2] de 6

 n  n  1 
2

2.P  n  :13  23  33  ...  n 3   

 2 
[SOLUCIÓN]
 n  n  1 
2

Paso [1] - ¿Es cierta P  n  :1  2  3  ...  n  

3 3 3 3
 cuando n  1 ?
 2 
 11  1 
2

P 1 :13   
 2 
 1 2  
2

P 1 :1     1  1  P 1 es verdadera.

 2 
Paso [2] – Hipótesis de inducción
 k  k  1 
2

Suponemos que es verdadera P  k  :13  23  33  ...  k 3    k  …(1)

 2 
Paso [3] – Demostrar P  k  1 k 

  k  1 k  2  
2

P  k  1 :13  23  33  ...   k  1  
3
 … (2)
 k 1 -ésimo
 2 
Sumamos el  k  1  ésimo término en ambos miembros de la hipótesis (1)
RHS

 k  k  1 
2

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

 2 
Trabajamos únicamente con RHS
 k  k  1  k 2  k  1 2  k  4  k  1 
2 2
2 k  2  k  4k  4 
2 2 2
RHS      k  1    k  1   k  1    k  1   k  1     k  1 
3 3

 2  4 4   4   4 
2  k  2
 k 2  4k  4   2
   k  1 k  2  2
RHS   k  1     k  1  
2

 4   4   2 
Hemos llegado a la misma expresión del RHS de (2).
Por tanto, concluimos que P  k  1 es verdadera y que P  n  es válida para todos los naturales.

n  n  1 n  2 
3. P  n  :1 2  2  3  3  4  ...  n  n  1 
3
[SOLUCIÓN]
n  n  1 n  2 
Paso [1] - ¿Es cierta P  n  :1 2  2  3  3  4  ...  n  n  1  cuando n  1 ?
3
11  11  2 
P 1 :1 2 
3
1 2  3
P 1 :1 2   2  2  P 1 es verdadera.
3
Paso [2] – Hipótesis de inducción
k  k  1 k  2 
Suponemos que es verdadera P  k  :1 2  2  3  3  4  ...  k  k  1  k  …(1)
3
Paso [3] – Demostrar P  k  1 k 
 k  1 k  2  k  3 … (2)
P  k  1 :1  2  2  3  3  4  ...   k  1 k  2  
3
 k 1 -ésimo

Sumamos el  k  1  ésimo término en ambos miembros de la hipótesis (1)

k  k  1 k  2 
1  2  2  3  3  4  ...  k  k  1   k  1 k  2     k  1 k  2 
3
RHS
Trabajamos únicamente con RHS
© 2019: JESÚS PALACIOS PLASENCIA/TSM/EVAL2/ACTIVIDAD 1
 [3] de 6
k  k  1 k  2 
RHS    k  1 k  2 
3
Resolviendo la suma de fracciones y factorizando llegamos a :
k  k  1 k  2   3  k  1 k  2   k  1 k  2  k  3
RHS  
3 3
Hemos llegado a la misma expresión del RHS de (2).
Por tanto, concluimos que P  k  1 es verdadera y que P  n  es válida para todos los naturales.

an 1
4. P  n  :1  a  a 2  a3   a n 1  ¿Para qué valor de a no sería válida la fórmula?
a 1
[SOLUCIÓN]
1  a  a 2  a3   an1 es una progresión geométrica. Cada término se obtiene multiplicando el anterior por una razón común (a). Es decir, si
dividimos dos términos consecutivos siempre obtenemos la misma razón.
En este ejercicio se trata de demostrar la fórmula de la suma de los términos de una progresión geométrica.
an 1
Paso [1] - ¿Es cierta P  n  :1  a  a 2  a3   a n 1  cuando n  1 ?
a 1
a1  1
P 1 : a 0 
a 1
a 1
P 1 :1   1  1  P 1 es verdadera.
a 1
Paso [2] – Hipótesis de inducción
ak 1
Suponemos que es verdadera P  k  :1  a  a 2  a 3   a k 1  k  …(1)
a 1
Paso [3] – Demostrar P  k  1 k 
a k 1  1
P  k  1 :1  a  a 2  a 3   a k 11 
a 1
k 1
a  1
P  k  1 :1  a  a 2  a 3   ak  … (2)
* a 1
Sumamos el  k  1  ésimo término en ambos miembros de la hipótesis (1)
ak 1
1  a  a 2  a3   a k 1  a k   ak
a 1
RHS
Trabajamos únicamente con RHS
a k  1 k  a  1  a  a  1  a  1  a  a
k k k k 1 k
a k 1  1
RHS  a   
a 1 a 1 a 1 a 1
Hemos llegado a la misma expresión del RHS de (2).
Por tanto, concluimos que P  k  1 es verdadera y que P  n  es válida para todos los naturales.
Al analizar la fórmula vemos que el denominador se anula cuando a  1  0  a  1
Entonces la fórmula no es válida justamente para a  1

5. P  n  :1  3  5  7    2n 1  n2
[SOLUCIÓN]
Paso [1] – Verificamos la validez de la proposición cuando n  1
P 1 :  2 1  1  1
2

P 1 : 2 1  1  1  1  P 1 es verdadera.

Paso [2] – Hipótesis de inducción
Suponemos que es verdadera P  k  :1  3  5  7    2k 1  k 2 k  …(1)
Paso [3] – Demostrar P  k  1 k 

P  k  1 :1  3  5  7    2  k  1  1   k  1
2

P  k  1 :1  3  5  7    2k  1   k  1 … (2)
2

© 2019: JESÚS PALACIOS PLASENCIA/TSM/EVAL2/ACTIVIDAD 1

 [4] de 6
Sumamos el  k  1  ésimo término en ambos miembros de la hipótesis (1)
1 3  5  7    2k  1   2k  1  k 2   2k  1
RHS
Trabajamos únicamente con RHS
RHS  k 2   2k  1   k  1
2

Hemos llegado a la misma expresión del RHS de (2).

Por tanto, concluimos que P  k  1 es verdadera y que P  n  es válida para todos los naturales.

1 1 1 1 n
6. P n :     
1 3 3  5 5  7  2n  1 2n  1 2n  1
[SOLUCIÓN]
1 1 1 1 n
Paso [1] - ¿Es cierta P  n  :      cuando n  1 ?
1 3 3  5 5  7  2n  1 2n  1 2n  1
1 1
P 1 : 
 2 1  1  2 1  1 2 1  1

   P 1 es verdadera.
1 1 1 1
P 1 : 
      3 3
1 3 1 3
Paso [2] – Hipótesis de inducción
1 1 1 1 k
Suponemos que es verdadera P  k  :      k  …(1)
1 3 3  5 5  7  2 k  1 2 k  1 2 k 1
Paso [3] – Demostrar P  k  1 k 
1 1 1 1  k  1
P  k  1 :     
1 3 3  5 5  7  2  k  1  1  2  k  1  1 2  k  1  1
1 1 1 1 k 1
P  k  1 :      … (2)
1 3 3  5 5  7  2 k  1 2 k  3  k 3
2
 k 1  ésimo
Sumamos el  k  1  ésimo término en ambos miembros de la hipótesis (1)
1 1 1 1 1 k 1
      
1 3 3  5 5  7  2 k  1 2 k  1  2 k  1 2 k  3  2 k  1  2 k  1 2k  3
RHS
Trabajamos únicamente con RHS
k 1 k  2k  3  1 2k 2  3k  1 2k 2  2k  k  1 2k  k  1   k  1  k  1 2k  1 k 1
RHS        
2k  1  2k  1 2k  3  2k  1 2k  3  2k  1 2k  3  2k  1 2k  3  2k  1 2k  3  2k 1 2k  3 2k  3
Hemos llegado a la misma expresión del RHS de (2).
Por tanto, concluimos que P  k  1 es verdadera y que P  n  es válida para todos los naturales.

1 1 1 1 1
7. P  n :      1 n
2 4 8 2n 2
[SOLUCIÓN]
1 1 1 1 1
Paso [1] – Verificamos la validez de P  n  :     n
 1  n cuando n  1
2 4 8 2 2
1 1
P 1 :  1 1
21 2
P 1 :  1     P 1 es verdadera.
1 1 1 1
2 2 2 2
Paso [2] – Hipótesis de inducción
1 1 1 1 1
Suponemos que es verdadera P  k  :      1  k k  …(1)
2 4 8 2k 2

© 2019: JESÚS PALACIOS PLASENCIA/TSM/EVAL2/ACTIVIDAD 1

 [5] de 6
Paso [3] – Demostrar P  k  1 k 
1 1 1 1 1
P  k  1 :     k 1
 1 … (2)
2 4 8 2 2k 1
( k 1) ésimo

Sumamos el  k  1  ésimo término en ambos miembros de la hipótesis (1)

1 1 1 1 1 1 1
    k
 k 1  1  k  k 1
2 4 8 2 2 2 2
Trabajamos únicamente con RHS
1 1  1 1  2 1 1
RHS  1    1   k  k 1   1  k 1  1  k 1
2k 2k 1 2 2  2 2

Hemos llegado a la misma expresión del RHS de (2).

Por tanto, concluimos que P  k  1 es verdadera y que P  n  es válida para todos los naturales.

8. Demostrar que n   
, n3  2n es divisible por 3
[SOLUCIÓN]
La proposición que debemos demostrar es equivalente a:
 
P  n  : 3 | n3  2n  n3  2n  3 p n  y para alguna p 
Paso [1] - ¿Es cierta P  n  : n3  2n  3 p cuando n  1 ?

P 1 : 1  2 1  3 p

3

P 1 :1  2  3 p  3  3 p  p  1
P 1 es verdadera.
Paso [2] – Hipótesis de inducción
Suponemos que es verdadera P  k  : k 3  2k  3 p k  y p …(1)
Paso [3] – Demostrar P  k  1 k 

P  k  1 :  k  1  2  k  1  3q …(2)
3

Debemos demostrar que existe una q 

Desarrollamos el LHS (el miembro izquierdo) de (2)
LHS   k  1  2  k  1  k 3  3k 2  3k  1  2k  2  k 3  2k  3k 2  3k  1  2  k 3  2k  3k 2  3k  3  3 p  3  k 2  k  1  3  p  k 2  k  1
3

(1)

p  k  k  1
2

Luego: P  k  1 :  k  1  2  k  1  3q  q  p  k 2  k  1 
3

Por tanto, concluimos que P  k  1 es verdadera y que P  n  es válida para todos los naturales.

9. Encontrar el primer natural     para el cual se cumple que 2n  n  4 y demuestre por inducción matemática que P  n  se cumple
para n  
[SOLUCIÓN]
P  n  : 2n  n  4
P 1 : 21  1  4  2  5  FALSO
P  2 : 22  2  4  4  6  FALSO
P  3 : 23  3  4  8  7  VERDADERO
Luego   3 
Construiremos la demostración por inducción matemática para n  3

Paso [1] - ¿Es cierta P  n  : 2n  n  4 cuando n  3 ?

P  3 : 23  3  4  8  7  P  3 es verdadera.
Paso [2] – Hipótesis de inducción
Suponemos que es verdadera P  k  : 2k  k  4 k   k  3 …(1)

© 2019: JESÚS PALACIOS PLASENCIA/TSM/EVAL2/ACTIVIDAD 1

 [6] de 6
Paso [3] – Demostrar P  k  1 k  k 3
P  k  1 : 2 k 1
  k  1  4
P  k  1 : 2 k 1
 k 5
Multiplicamos ambos miembros de la hipótesis (1) por 2
2  2k  2  k  4 
2k 1  2  k  4  2k  8
Claramente también se cumple que 2 k  8  k  5
Luego por transitividad
2k 1  2k  8  k  5  2k 1  k  5
Por tanto, concluimos que P  k  1 es verdadera y que P  n  es válida para todos los naturales.

2 n 1 n 1
10. Demuestre que n  , 4  3 es múltiplo de 13
[SOLUCIÓN]
La proposición que debemos demostrar es equivalente a:
 
P  n  :13 | 42 n 1  3n 1  42 n 1  3n 1  13 p n  y para alguna p 
Paso [1] - ¿Es cierta P  n  : 42n1  3n1  13 p cuando n  1 ?
P 1 : 4
21 1
 311  4  32
P 1 : 4  9  13 p  13  13 p  p  1
P 1 es verdadera.
Paso [2] – Hipótesis de inducción
Suponemos que es verdadera P  k  : 42k 1  3k 1  13 p k  y p …(1)
Paso [3] – Demostrar P  k  1 k 
P  k  1 : 4
2 k 1 1
 3
k 1 1
 13q
P  k  1 : 4 2 k 1
3 k 2
 13q …(2)
Debemos demostrar que existe una q 
Partimos de la hipótesis
42 k 1  3k 1  13 p
Multiplicamos ambos miembros por 42  16  13  3
4 2 k 1
 3k 1  16   13 p 16 
42  42k 1  3k 1 13  3  16 13 p
42 k 1  13  3k 1  3  3k 1  16 13 p
42 k 1  3k  2  16 13 p  13  3k 1
42 k 1  3k  2  13 16 p  3k 1 
q
k 1
16 p  3 
Luego: P  k  1 : 42k 1  3k  2  13q  q  16 p  3k 1 
Por tanto, concluimos que P  k  1 es verdadera y que P  n  es válida para todos los naturales.

© 2019: JESÚS PALACIOS PLASENCIA/TSM/EVAL2/ACTIVIDAD 1