SEMANA 4_CLASE 11_TEMARIO: (02 HORAS CTEDRA)

UNIDAD II : NMEROS NATURALES

TEMA 1: PRINCIPIO DE INDUCCIN

LOGRO DE APRENDIZAJE: Utiliza el principio de induccin matemtica para

determinar propiedades y comportamientos de sucesiones numricas.
LOGRO DE APRENDIZAJE: Adquiere habilidades y usa tcnicas de conteo.

SUBLOGRO 1: Comprender el principio de induccin, mencionando las etapas

que involucra su aplicacin en la demostracin de proposiciones.
SUBLOGRO 2: Escribir la hiptesis de induccin de una proposicin.
SUBLOGRO 3: Escribir la tesis de induccin de una proposicin.
SUBLOGRO 4: Aplicar el principio de induccin a frmulas de sumatoria.
SUBLOGRO 5: Escribir la hiptesis e hiptesis de induccin de una proposicin.
SUBLOGRO 6: Escribir la tesis y tesis de induccin de una proposicin.
SUBLOGRO 7: Aplicar el principio de induccin a problemas de divisibilidad.
SUBLOGRO 8: Aplicar el principio de induccin a problemas de desigualdades.

(1.1) INDUCCIN MATEMTICA

Sea T 8 una forma o funcin proposicional que depende de la variable 8 R

(1.1.1) EJEMPLOS:
a) T 8 "$ #$ $$ 8$ "% 8# 8 "# a 8
b) T 8 &# 8 " es mltiplo de 24 a 8
c) Si +" # y +8" # +8 , entonces T 8 +8 # a 8

Para probar que una proposicin T 8 se cumple para todo nmero natural
8 R , se sigue el siguiente procedimiento:
1) Se verifica que la proposicin T " es VERDADERA; es decir se reemplaza en
la proposicin 8 :9< " y se comprueba que se verifica.
Anlogamente se comprueba para 8 # 8 $ etc.

(1.1.2) EJEMPLOS:
Considerando los ejemplos de (1.1.1); verifique lo que se indica en 1):
a) T 8 "$ #$ $$ 8$ "% 8# 8 "# a 8
VERIFICACIN:
T ": "$ "% "# " "# " es VERDADERA.
$ $ " # #
T #: " # % # # " * es VERDADERA.
$ $ $ " # #
T $: " # $ % $ $ " $' es VERDADERA.
b) T 8 &# 8 " es mltiplo de 24 a 8
VERIFICACIN:
T ": &# " " #% es mltiplo de 24 es VERDADERA;
ya que b D " tal que 24 " #%
T #: &## " '#% es mltiplo de 24 es VERDADERA.
ya que b D #' tal que 24 #' '#%
T $: &#$ " "&'#% es mltiplo de 24 es VERDADERA.
ya que b D '&" tal que 24 '&" "&'#%

c) Si +" # y +8" # +8 , entonces T 8 +8 # a 8

OBSERVACIN: Notar que este es un problema, que tiene una HIPTESIS y una
TESIS. En efecto:
HIPTESIS: +" # y +8" # +8
TESIS: T 8 +8 # a 8
Lo que ocurre en este problema a diferencia de los anteriores, es que ahora la
TESIS contiene la proposicin T 8 que hace referencia el PRINCIPIO DE
INDUCCIN MATEMTICA.
VERIFICACIN:
T ": +" # "%"%# # VERDADERO.
T #: +# +"" #+" # # "')") # VERDADERO.

T $: +$ +#" #+# # # # ")$%! # VERDADERO.

2) HIPTESIS DE INDUCCIN (NO SE DEMUESTRA)

Se supone que la proposicin T 5 es VERDADERA; a 5 5 fijo, es decir se
reemplaza en la proposicin 8 por 5 , y se SUPONE que se verifica.

(1.1.3) EJEMPLOS:
Considerando los ejemplos de (1.1.1); escriba la HIPTESIS DE INDUCCIN.
a) T 8 "$ #$ $$ 8$ "% 8# 8 "# a 8
HIPTESIS DE INDUCCIN
T 5 "$ #$ $$ 5 $ "% 5 # 5 "# a 5 5 fijo.

b) T 8 &# 8 " es mltiplo de 24 a 8

HIPTESIS DE INDUCCIN
T 5 &# 5 " es mltiplo de 24 a 5 5 fijo.
Es decir; b D tal que 24 D &# 5 "

c) Si +" # y +8" # +8 , entonces

T 8 +8 # a 8
HIPTESIS DE INDUCCIN
T 5 +5 # a 5 5 fijo.
 3) TESIS DE INDUCCIN (SE DEMUESTRA)
Se debe PROBAR que la proposicin T 5 " es VERDADERA; es decir se reem -
plaza en la proposicin 8 por 5 " y se debe DEMOSTRAR que se verifica.

(1.1.4) EJEMPLOS:
Considerando los ejemplos de (1.1.1); SOLAMENTE escriba la TESIS DE
INDUCCIN.

a) T 8 "$ #$ $$ 8$ "% 8# 8 "# a 8

TESIS DE INDUCCIN
T 5 " "$ #$ $$ 5 $ 5 "$ "% 5 "# 5 " "
#

b) T 8 &# 8 " es mltiplo de 24 a 8

TESIS DE INDUCCIN
T 5 " &#5" " es mltiplo de 24 .
Es decir; b D tal que 24 D &# 5" "

c) Si +" # y +8" # +8 , entonces T 8 +8 # a 8

TESIS DE INDUCCIN
T 5 " +5" # .

4) Por lo tanto, de verificarse 1), 2) y 3); se concluye que la proposicin T 8

es VERDADERA PARA TODO NMERO NATURAL 8 R .

(1.2) OBSERVACIN: En el caso que la forma o funcin proposicional T 8 sea

para un subconjunto de los Nmeros Naturales; digamos E R tal que

E + " + # + $

las propiedades del PRINCIPIO DE INDUCCIN se deben verificar considerando que

+" es el primer trmino; +# es el segundo trmino; y as sucesivamente.

(1.3) EJEMPLO:
(1.3.1) T 8 # 8 " es divisible por $ para todo 8 impar.
En este caso, se debe verificar para 8 " $ & ( ; es decir el conjunto
E " $ & (

(1.3.2) T 8 #8 8# # ; a partir de cierto 8 .

En este caso, note que para 8 " # $ % ; la proposicin no se verifica.
Por lo tanto; habra que verificar si se cumple a partir de 8 & en adelante,
es decir
E & ' (
(1.4) EJEMPLO: Dada la proposicin:
Si +" $ +# " +$ ! y +8 % +8" & +8# # +8$ ; a 8 $ ,
Entonces +8 #8" $8 & a 8

SOLAMENTE ESCRIBA:

(1.4.1) la HIPTESIS de esta proposicin es:

RESPUESTA:
+" $ +# " +$ ! y +8 % +8" & +8# # +8$ ; a 8 $.
________________________________________________________________
(1.4.2) la HIPTESIS DE INDUCCIN de esta proposicin es:
RESPUESTA:
T 5 +5 #5" $5 & a 5 5 fijo.
________________________________________________________________
(1.4.3) la TESIS de esta proposicin es:
RESPUESTA:
+8 #8" $8 & a 8
________________________________________________________________
(1.4.4) la TESIS DE INDUCCIN de esta proposicin es:
RESPUESTA:
T 5 " +5" #5"" $5 " &
________________________________________________________________

(1.5) EJEMPLO: Dada la proposicin:

Si +" es dado y +8" # +8 " ,
Entonces +8 " #8" +" " a 8

SOLAMENTE ESCRIBA:

(1.5.1) la HIPTESIS de esta proposicin es:

RESPUESTA:
+" es dado y +8" # +8 "
________________________________________________________________
(1.5.2) la HIPTESIS DE INDUCCIN de esta proposicin es:
RESPUESTA:
T 5 +5 " #5" +" " a 5 5 fijo.
________________________________________________________________
(1.5.3) la TESIS de esta proposicin es:
RESPUESTA:
+8 " #8" +" " a 8
________________________________________________________________
(1.5.4) la TESIS DE INDUCCIN de esta proposicin es:
RESPUESTA:
T 5 " +5" " #5"" +" "
________________________________________________________________
(1.6) EJEMPLO: Dada la proposicin:
Si 8 ; : y ; con ; ! y se define B : ;
Entonces existen + , tales que B 8 + , ; .

SOLAMENTE ESCRIBA:

(1.6.1) la HIPTESIS de esta proposicin es:

RESPUESTA:
: y ; con ; ! ; B : ; 8
________________________________________________________________
(1.6.2) la HIPTESIS DE INDUCCIN de esta proposicin es:
RESPUESTA:
T 5 existen + , tales que B 5 + , ; a 5 5 fijo.
________________________________________________________________
(1.6.3) la TESIS de esta proposicin es:
RESPUESTA:
existen + , tales que B 8 + , ; a 8
________________________________________________________________
(1.6.4) la TESIS DE INDUCCIN de esta proposicin es:
RESPUESTA:
T 5 " existen + , tales que B 5" + , ;
________________________________________________________________

(1.7) EJEMPLOS:
Verifique aplicando el Principio de Induccin Matemtica si son verdaderas
las siguientes proposiciones:
(1.7.1)
T 8 "# ## "8" 8# "# "8" 88 " a8
SOLUCIN: Chequear si se cumplen 1; 2; 3 y 4 de (1.1):
1 VERIFICACIN:
T ": "# "# """ "" " " es VERDADERA.
# # " #"
T #: " # # " ## " $ es VERDADERA.
# # # " $"
T $: " # $ # " $$ " ' es VERDADERA.

2 HIPTESIS DE INDUCCIN:
"
T 5 "# ## "5" 5 # # "5" 55 " a5 5 fijo.

3) TESIS DE INDUCCIN:
T 5 " "# ## "5" 5 # "5"" 5 "#
"# "5"" 5 "5 " "
lo cual es equivalente a:
T 5 " "# ## "5" 5 # "5# 5 "#
"# "5# 5 "5 #
 DEMOSTRACIN:
a) Se sabe por la HIPTESIS DE INDUCCIN que:
"# ## "5" 5 # "# "5" 55 " / "5# 5 "#
(ya que si comparamos el miembro izquierdo de la igualdad en la HIPTESIS Y
TESIS DE INDUCCIN, lo que difiere es el ltimo sumando de la TESS DE
INDUCCIN)

b) "# ## "5" 5 # "5# 5 "#

"# "5" 55 " "5# 5 "#
(notar que solamente falta verificar algebraicamente que el miembro derecho de esta
" 5#
ltima igualdad es lo mismo que # " 5 "5 # )

"
c) # "5" 55 " "5# 5 "#
factorizando:
"5" 5 " "# 5 "5 "
"5" 5 " "# 5 "
"5" 5 " " "# 5 #
"# "5# 5 "5 #

d) Por lo tanto:
T 5 " "# ## "5" 5 # "5# 5 "#
"# "5# 5 "5 #
ES VERDADERA.

4) Luego; de 1; 2 y 3
"
T 8 "# ## "8" 8# # "8" 88 " a8

(1.7.2) T 8 ! 3 3"
8
" " " " 8
" "" # #" 8 8" 8" ; a8
3"
SOLUCIN: Chequear si se cumplen 1; 2; 3 y 4 de (1.1):

1 VERIFICACIN:
T ": ! 3 3"
"
" " " "
" "" "" # es VERDADERA.
3"

T #: ! 3 3"
#
" " " # #
" "" # #" #" $ es VERDADERA.
3"

T $: ! 3 3"
$
" # " $ $
$ $ $" $" % es VERDADERA.
3"

2 HIPTESIS DE INDUCCIN:
T 5 ! 3 3"
5
" " " 5
" "" 5 5" 5" a5 5 fijo.
3"
3) TESIS DE INDUCCIN:
T 5 " ! 3 3"
5"
" " " " 5"
5"5""
" "" 5 5" 5""
3"
lo cual es equivalente a:
T 5 " ! 3 3"
5"
" " " " 5"
" "" 5 5" 5"5# 5#
3"
DEMOSTRACIN:
a) Se sabe por la HIPTESIS DE INDUCCIN que:
!
5
" " " 5 "
3 3" " "" 5 5" 5" / 5"5#
3"
(ya que si comparamos el miembro izquierdo de la igualdad en la HIPTESIS Y
TESIS DE INDUCCIN, lo que difiere es el ltimo sumando de la TESS DE
INDUCCIN)

!
5"
" " " " 5 "
b) 3 3" " "" 5 5" 5"5# 5" 5"5#
3"
(notar que solamente falta verificar algebraicamente que el miembro derecho de esta
5"
ltima igualdad es lo mismo que 5# )

5 "
c) 5" 5"5#
factorizando:
" " " 55#" " 5 # #5" " 5"# 5"
5" 5 5# 5" 5# 5" 5# 5" 5# 5#

d) Por lo tanto:
T 5 " ! 3 3"
5"
" " " " 5"
" "" 5 5" 5"5# 5#
3"
ES VERDADERA.

4) Luego; de 1; 2 y 3
T 8 ! " "
8
" " 8
3 3" " "" # #" 8 8" 8" a8
3"