CLASE 08_TEMARIO: (02 HORAS CÁTEDRA)

UNIDAD II : NÚMEROS NATURALES

TEMA 1: PRINCIPIO DE INDUCCIÓN

LOGRO DE APRENDIZAJE: Utiliza el principio de inducción matemática para

determinar propiedades y comportamientos de sucesiones numéricas.
LOGRO DE APRENDIZAJE: Adquiere habilidades y usa técnicas de conteo.

SUBLOGRO 7: Aplicar el principio de inducción a problemas de divisibilidad.

SUBLOGRO 8: Aplicar el principio de inducción a problemas de desigualdades.

(1.7) EJEMPLO:
(1.7.3) T Ð8Ñ À (# 8  %) 8  " es divisible por #$!% à a8 − 
(Recordemos que (# 8  %) 8  " es divisible por #$!%
#8
Í b D − ™ tal que ( %) 8"
#$!% œ D (o bien (# 8  %) 8  " œ #$!% D ) )

SOLUCIÓN: Chequear si se cumplen 1º; 2º; 3º y 4º de (1.1):

1º VERIFICACIÓN:
T Ð"Ñ: (#Ð"Ñ  %)Ð"Ñ  " œ ! es divisible por #$!% es VERDADERAÞ
!
( ya que existe D œ ! − ™ tal que #$!% œ !Ñ
T Ð#Ñ: (#Ð#Ñ  %)Ð#Ñ  " œ #$!% es divisible por #$!% es VERDADERAÞ
( ya que existe D œ " − ™ tal que #$!%
#$!% œ " Ñ
#Ð$Ñ
T Ð$Ñ: (  %)Ð$Ñ  " œ ""(&!% es divisible por #$!% es VERDADERAÞ
( ya que existe D œ &" − ™ tal que ""(&!%
#$!% œ &" Ñ

2º HIPÓTESIS DE INDUCCIÓN:
T Ð5Ñ À (#5  %) 5  " es divisible por #$!%à a5 −  à 5 fijo.
(Es decir:
#5
b D − ™ tal que ( %) 5"
#$!% œ D (o bien (#5  %) 5  " œ #$!% D ) )

3º) TESIS DE INDUCCIÓN:

T Ð5  "Ñ À (#Ð5"Ñ  %) Ð5  "Ñ  " es divisible por #$!%à
(Es decir:
#Ð5"Ñ
b D ‡ − ™ tal que ( %) Ð5"Ñ"
#$!% œ D‡
(o bien (#Ð5"Ñ  %) Ð5  "Ñ  " œ #$!% D ‡ ) )
lo cual es equivalente a:
T Ð5  "Ñ À (#5#  %) 5  %* es divisible por #$!%à
#5#
(Es decir: b D ‡ − ™ tal que ( %) #$!%
5%*
œ D‡
(o bien (#5#  %) 5  %* œ #$!% D ‡ ) )
 DEMOSTRACIÓN:
a) Se sabe por la HIPÓTESIS DE INDUCCIÓN que:
(#5 %) 5"
#$!% œD (o bien (#5  %) 5  " œ #$!% D ).
Se trata de escribir (#5#  %) 5  %* en término de (#5  %) 5  " ;
para lo cual escribamos:
(#5#  %) 5  %* œ ________ Ð(#5  %) 5  "Ñ;
(buscando un término que multiplicado por (#5 resulte (#5# )
En este caso, dicho término es (# Þ
Luego se tiene que:
(#5#  %) 5  %* œ (# Ð(#5  %) 5  "Ñ
œ (#5#  #$&#5  %*
pero, evidentemente la igualdad NO SE VERIFICA.
Se trata entonces de compensar el miembro de la derecha, para que
dicha igualdad se cumpla; lo que se consigue de la siguiente manera:
œ Ð(#5#  #$&#5  %*Ñ  #$!%5 ; es decir
#5# # #5
(  %) 5  %* œ ( Ð(  %) 5  "Ñ  #$!%5

b) Sabemos por la HIPÓTESIS DE INDUCCIÓN que el término

Ð(#5  %) 5  "Ñ œ #$!% D à luego:
#5#
(  %) 5  %* œ (# Ð#$!% D Ñ  #$!%5
factorizando: (#5#  %) 5  %* œ #$!% Ð(# D  5 Ñ
o lo que es equivalente:
(#5# %) 5%*
#$!% œ %*D  5 œ D ‡ − ™; ya que D à 5 − ™

c) Por lo tanto:
b D ‡ œ %*D  5 − ™ tal que (#5#  %) 5  %* œ #$!% Ð(# D  5Ñ
es decir:
T Ð5  "Ñ À (#Ð5"Ñ  %) Ð5  "Ñ  " es divisible por #$!%à
ES VERDADERA.

4º) Luego; de 1º; 2º y 3º

T Ð8Ñ À (# 8  %) 8  " es divisible por #$!%à a8 − Þ
(1.7.4) T Ð8Ñ À &# 8  " es múltiplo de "$ para todo 8 par; 8 − 

(Recordemos que &# 8  " es múltiplo de "$

Í b D − ™ tal que &# 8  " œ "$ D )

SOLUCIÓN:
Chequear si se cumplen 1º; 2º; 3º y 4º de (1.1); pero para el conjunto E œ ˜#3
Î3 − ™ §  .

1º VERIFICACIÓN:
T Ð#Ñ: &#Ð#Ñ  " œ '#% es múltiplo de "$ es VERDADERAÞ
( ya que existe D œ %) − ™ tal que '#% œ "$ Ð%)Ñ Ñ
T Ð%Ñ: &#Ð%Ñ  " œ $*!'#% es múltiplo de "$ es VERDADERAÞ
( ya que existe D œ $!!%) − ™ tal que $*!'#% œ "$ Ð$!!%)Ñ Ñ
T Ð'Ñ: &#Ð'Ñ  " œ #%%"%!'#% es múltiplo de "$ es VERDADERAÞ
( ya que existe D œ ")()!!%) − ™ tal que #%%"%!'#% œ "$ Ð")()!!%)Ñ Ñ

2º HIPÓTESIS DE INDUCCIÓN:
(notar que el término genérico de los pares es de la forma #5 Ñ
T Ð#5Ñ À &#Ð#5Ñ  " es múltiplo de "$ à a5 −  à 5 fijo.
( Es decir: b D − ™ tal que &#Ð#5Ñ  " œ "$ D )

3º) TESIS DE INDUCCIÓN:

(notar que el término siguiente de #5 es #5  # )
T Ð#5  #Ñ À &#Ð#5#Ñ  " es múltiplo de "$à
( Es decir: b D ‡ − ™ tal que &#Ð#5#Ñ  " œ "$ D ‡ )
lo cual es equivalente a:
T Ð#5  #Ñ À &%5%  " es múltiplo de "$à
( Es decir: b D ‡ − ™ tal que &%5%  " œ "$ D ‡ )
DEMOSTRACIÓN:

a) Se sabe por la HIPÓTESIS DE INDUCCIÓN que: &#Ð#5Ñ  " œ "$ D

Se trata de expresar &%5%  " en término de &#Ð#5Ñ  " œ "$ D ; para lo cual
escribamos:
&%5%  " œ ________ Ð&#Ð#5Ñ  "Ñ;
(buscando un término que multiplicado por &#Ð#5Ñ resulte &%5% )
En este caso, dicho término es &% ; luego se tiene que:
&%5%  " œ &% Ð&#Ð#5Ñ  "Ñ
œ &%5%  '#&
pero, evidentemente la igualdad NO SE VERIFICA.
Se trata entonces de compensar el miembro de la derecha, para que dicha
igualdad se cumpla; lo que se consigue de la siguiente manera:
œ Ð&%5%  '#&Ñ  '#%
%5%
es decir & " œ &% Ð&#Ð#5Ñ  "Ñ  '#%
 b) Sabemos por la HIPÓTESIS DE INDUCCIÓN que el término
Ð&#Ð#5Ñ  "Ñ œ "$ D y '#% œ "$ Ð%)Ñà luego:
&%5%  " œ &% Ð"$ D Ñ  "$ Ð%)Ñ
factorizando:
&%5%  " œ "$ Ð&% D  %)Ñ

c) Por lo tanto:
b D œ &% D  %) − ™ tal que &%5%  " œ "$ Ð&% D  %)Ñ
‡

es decir:
T Ð#5  #Ñ À &#Ð#5#Ñ  " es múltiplo de "$à ES VERDADERA.

4º) Luego; de 1º; 2º y 3º

T Ð8Ñ À &# 8  " es múltiplo de "$ para todo 8 parà 8 − Þ
(1.7.5) Si 8 −  à : à ; −  tal que ; € ! y se define B œ :  È ; Þ
Entonces existen + ß , −  tales que B8 œ +  ,È ; .
SOLUCIÓN:

Chequear si se cumplen 1º; 2º; 3º y 4º de (1.1); para

T Ð8Ñ À existen + ß , −  tales que B8 œ +  ,È ; à a8 − Þ

1º VERIFICACIÓN:
T Ð"Ñ: B" œ B œ :  È ; œ +  ,È ; es VERDADERAÞ
( ya que existen + œ : −  ß , œ " −  Ñ Ñ
T Ð#Ñ: B œ Ð:  È ; Ñ# œ :#  #:È ;  ; œ Ð :#  ;Ñ  #:È ;
#

es VERDADERAÞ
#
( ya que existen + œ :  ; −  ß , œ #: −  Ñ Ñ
T Ð$Ñ: B$ œ Ð:  È ; Ñ$ œ :$  $:# È ;  $:;  ; È ;
B$ œ Ð :$  $:;Ñ  Ð$:#  ;ÑÈ ; es VERDADERAÞ
$ #
( ya que existen + œ :  $:; −  ß , œ $:  ; −  Ñ Ñ

2º HIPÓTESIS DE INDUCCIÓN:
T Ð5Ñ À existen + ß , −  tales que B5 œ +  ,È ; à a5 −  à 5 fijo.

3º) TESIS DE INDUCCIÓN:

T Ð5  "Ñ À existen +‡ ß ,‡ −  tales que B5" œ +‡  ,‡ È ; .
DEMOSTRACIÓN:

a) Se sabe por la HIPÓTESIS DE INDUCCIÓN que:

existen + ß , −  tales que B5 œ +  ,È ;
Luego À
B5 œ +  , È ; Î B œ :  È;
5 5"
B BœB œ Ð+  ,È ; ÑÐ:  È ; Ñ
œ +:  +È ;  ,:È ;  ,;
œ Ð+:  ,;Ñ  Ð+  ,:ÑÈ ;

b) Es decir: B5" œ Ð+:  ,;Ñ  Ð+  ,:ÑÈ ;

c) Por lo tanto:
T Ð5  "Ñ À existen +‡ ß ,‡ −  tales que B5" œ +‡  ,‡ È ;
ES VERDADERA.
‡ ‡
( ya que existen + œ +:  ,; −  ß , œ +  ,: −  Ñ Ñ

4º) Luego; de 1º; 2º y 3º

T Ð8Ñ À existen + ß , −  tales que B8 œ +  ,È ; à a8 − Þ
(1.7.6) Si +" es dado y +8" œ #+8  " Þ
Entonces +8  " œ #8" Ð+"  "Ñ à a 8 −  Þ
SOLUCIÓN:

Chequear si se cumplen 1º; 2º; 3º y 4º de (1.1); para

T Ð8Ñ À +8  " œ #8" Ð+"  "Ñ à a 8 − 

1º VERIFICACIÓN:
T Ð"Ñ: +"  " œ #"" Ð+"  "Ñ es VERDADERAÞ
T Ð#Ñ: +#  " œ +""  " œ Ð#+"  "Ñ  " œ #+"  #
œ #Ð+"  "Ñ œ #Ð#"" Ð+"  "ÑÑ
œ ##" Ð+"  "Ñ es VERDADERAÞ
T Ð$Ñ: +$  " œ +#"  " œ Ð#+#  "Ñ  " œ #+#  #
œ #Ð+#  "Ñ œ #Ð##" Ð+"  "ÑÑ
œ #$" Ð+"  "Ñ es VERDADERAÞ

2º HIPÓTESIS DE INDUCCIÓN:
T Ð5Ñ À +5  " œ #5" Ð+"  "Ñ à a5 −  à 5 fijo.

3º) TESIS DE INDUCCIÓN:

T Ð5  "Ñ À +Ð5"Ñ  " œ #Ð5"Ñ" Ð+"  "Ñ .
DEMOSTRACIÓN:
a) Se sabe por la HIPÓTESIS DEL PROBLEMA que:
+" es dado y +8" œ #+8  " Þ
Luego.
+Ð5"Ñ  " œ Ð#+5  "Ñ  " œ #+5  # œ #Ð+5  "Ñ
y por la HIPÓTESIS DE INDUCCIÓN se sabe que:
+5  " œ #5" Ð+"  "Ñ

b) Luego:
+Ð5"Ñ  " œ #Ð+5  "Ñ œ #Ð#5" Ð+"  "ÑÑ œ #Ð5"Ñ" Ð+"  "Ñ

c) Por lo tanto:
T Ð5  "Ñ À +Ð5"Ñ  " œ #Ð5"Ñ" Ð+"  "Ñ ES VERDADERA.

4º) Luego; de 1º; 2º y 3º

T Ð8Ñ À +8  " œ #8" Ð+"  "Ñ à a 8 − 